14 Dec 17:47 2014Alessio Guglielmi
*3.5-year PhD positions from October 2015 at the University of Bath
21 Nov 12:04 2014Anupam Das
*DICE 2015: Call for papers
3 Jun 10:39 2014Willem Heijltjes
*Structures and Deduction 2014 - call for participation
27 May 13:40 2014Pym, David
*PhD Studentship at UCL: Algebra and Logic for Policy and Utility in In
7 May 14:21 2014Bruno Woltzenlogel Paleo
*∀X.Xπ - APPA - Call for Participation/Registration
5 May 14:40 2014Alessio Guglielmi
*VirginiaLake 2.01
17 Apr 15:06 2014Lutz Strassburger
*Workshop "Structures and Deduction" at VSL2014
13 Apr 22:31 2014Lutz Strassburger
*Deadline Extension: SD14, July 12-13, 2014, Vienna
4 Apr 21:25 2014Alessio Guglielmi
*PhD Studentships from October 2014 at the University of Bath
4 Apr 17:14 2014Bjoern Lellmann
*LATD 2014 - Deadline extension
3 Mar 18:29 2014Pym, David
*JLC Special Issue on Logics for Resources, Processes, and Programs
5 Feb 13:05 2014Kuznets
*CFP: Workshop on Gentzen Systems and Beyond, Vienna (Austria), 13 July
3 Feb 12:18 2014Bjoern Lellmann
*2nd CFP LATD 2014: Logic, Algebra and Truth Degrees, Vienna (Austria),
21 Jan 16:59 2014Lutz Strassburger
*First Call for Papers for SD14, July 12-13, 2014, Vienna
6 Dec 10:41 2013Gmail Team
*Welcome to the new Gmail inbox
6 Dec 10:48 2013Alessio Guglielmi
*PhD Studentships at the University of Bath - Mathematical Foundations
29 Nov 17:10 2013David Pym
*JLC Special Issue: Logics for Resources, Processes, and Programs
2 Nov 22:30 2013Alessio Guglielmi
*PhD Studentships at the University of Bath
26 Jun 14:55 2013Pym, Professor David J.
*LRPP 2013 @ Tableaux 2013: Last Call for Papers: Deadline 26 July 2013
14 Jun 20:08 2013Pym, Professor David J.
*Second Call: Workshop on Logics for Resources, Processes and Programs
10 May 12:06 2013Bruno Woltzenlogel Paleo (Goog
*Bruno Woltzenlogel Paleo invited you to Workshop on Proof Compression
18 Mar 18:33 2013Alessio Guglielmi
*PhD Research Project: Efficient and Natural Proof Systems
22 Feb 20:03 2013Anupam Das
*Two preprints
19 Feb 16:23 2013Anupam Das
*Linear inferences and derivations 3
18 Feb 15:46 2013Ozan Kahramanogullari
*interana: interactive prover for Multiplicative Linear Logic
29 Jan 16:47 2013Alessio Guglielmi
*Two recent books
10 Jan 13:35 2013Lutz Strassburger
*Postdoc position in proof theory in Paris
4 Jan 16:31 2013Alessio Guglielmi
*Post-doc in Bath on the semantics of a bureaucracy-free formalism
4 Jan 21:33 2013Karn Kallio
**Post-doc in Bath on the semantics of a bureaucracy-free formalism
7 Jan 18:04 2013Alessio Guglielmi
***Post-doc in Bath on the semantics of a
9 Jan 18:34 2013Alessio Guglielmi
***Post-doc in Bath on the semantics of a
18 Nov 20:17 2012Alessio Guglielmi
*PhD opportunities
26 Sep 19:10 2012Anupam Das
*Linear inferences and derivations 2
26 Sep 18:22 2012Anupam Das
*Linear inferences and derivations 1
3 Aug 08:18 2012Giorgi Japaridze
*Quasipolynomial cut-elimination in CoS
3 Aug 13:10 2012Tom Gundersen
**Quasipolynomial cut-elimination in CoS
4 Jun 21:45 2012Anupam Das
*Note: Pigeonhole principle in deep inference
8 May 19:30 2012Pym, Professor David J.
*Last CFP: Workshop on Logics for Resources, Processes and Programs (LR
27 Sep 14:34 2011Agata Ciabattoni
*Announcement
11 Jul 06:13 2011Google+
*Bruno Woltzenlogel Paleo invited you to join him on Google+
6 May 21:03 2011Alessio Guglielmi
*Marketing
25 Apr 03:49 2011Lutz Strassburger
*Postdoc position in proof theory in Paris
16 Apr 15:55 2011Alessio Guglielmi
*Sophia Strassburger
17 Mar 03:17 2011kahramanogullari
*Deeper Cuts in Deep Inference
15 Mar 19:17 2011Bruno Woltzenlogel Paleo
*Deeper Cuts in Deep Inference
15 Mar 21:29 2011Alessio Guglielmi
**Deeper Cuts in Deep Inference
17 Mar 01:46 2011Bruno Woltzenlogel Paleo
***Deeper Cuts in Deep Inference
17 Mar 12:22 2011Alessio Guglielmi
****Deeper Cuts in Deep Inference
16 Feb 22:14 2011Kai Brünnler
*deep inference combinators implementation
20 Jan 17:08 2011Jon Awbrey
*Facebook Pages on Logical Subjects
7 Jan 11:43 2011Lutz Strassburger
*HDR
10 Jan 09:28 2011Richard Blute
**HDR
10 Jan 19:09 2011Laurent Méhats
**HDR
20 Aug 15:10 2010Lutz Strassburger
*REDO meeting in Bath, Sep 14-16
14 Mar 20:04 2010Jon Awbrey
*Animated Proofs
15 Mar 01:09 2010Michael Lamport Commons
**[FOM] Animated Proofs
22 Mar 15:18 2010Jon Awbrey
**Animated Proofs : Praeclarum Theorema
8 Mar 11:01 2010Alessio Guglielmi
*Syntax Independence?
2 Mar 01:26 2010Alessio Guglielmi
*Extension
2 Mar 09:54 2010Lutz Strassburger
**Extension
2 Mar 12:44 2010Alessio Guglielmi
***Extension
2 Mar 14:18 2010Lutz Strassburger
****Extension
2 Mar 17:51 2010Alessio Guglielmi
*****Extension
3 Mar 10:32 2010Lutz Strassburger
******Extension
3 Mar 15:03 2010Alessio Guglielmi
*******Extension
3 Mar 15:14 2010Jon Awbrey
********Syntax Independence?
4 Mar 15:27 2010Perry Wagle
********Extension
4 Mar 15:31 2010Perry Wagle
********Extension
5 Aug 13:13 2009Alessio Guglielmi
*Meeting in Vienna
30 Mar 11:03 2009Lutz Strassburger
*decomposition and splitting for NEL
25 Mar 13:07 2009Alessio Guglielmi
*Quasipolynomial normalisation in deep inference
17 Mar 15:56 2009Kai Brünnler
*Workshop Announcement: Gentzen Systems and Beyond
2 Mar 23:56 2009Lutz Strassburger
*Deadline Extension for SD'09 in Bordeaux
13 Feb 12:53 2009Arno Bastenhof
*(Frogs) Calculus of Structures and substructura
13 Feb 12:33 2009Arno Bastenhof
*(Frogs) Calculus of Structures and substructura
13 Feb 11:02 2009Kai Brünnler
*(Frogs) Calculus of Structures and substructura
12 Feb 18:27 2009Lutz Strassburger
*(Frogs) Calculus of Structures and substructura
11 Feb 19:17 2009Arno Bastenhof
*(Frogs) Calculus of Structures and substructural lo
11 Feb 14:18 2009Jon Awbrey
*Workshop "Stuctures and Deduction", Bordeaux, J
11 Feb 10:50 2009Lutz Strassburger
*Workshop "Stuctures and Deduction", Bordeaux, July
5 Feb 17:40 2009Jan Krajicek
*[Proof Complexity] a PhD student position in Prague
5 Nov 19:04 2008Jon Awbrey
*Avoiding Red Tape Frees Up Logic (ARTFUL)
2 Nov 11:11 2008Alessio Guglielmi
*Correction
2 Nov 10:56 2008Alessio Guglielmi
*Change of address
30 Oct 15:22 2008Jon Awbrey
*self-introduction : jon awbrey
18 Sep 10:32 2008Agata Ciabattoni
*Call For Papers: Analytic Proof Systems 4
13 Aug 17:16 2008Alessio Guglielmi
*Projects in France
18 Jul 13:38 2008Berarducci Alessandro
*5 Year Research Position in Math. Logic in Lisbon
16 Jul 10:37 2008Andreas Weierman
*3 years Postdoc position available in Ghent
11 Jul 15:16 2008Bertram Fronhöfer
*JELIA - registration opened
11 Jul 13:02 2008Bertram Fronhöfer
*JOB OPPORTUNITY
8 Jul 14:35 2008Alessio Guglielmi
*Software update
8 Jul 13:51 2008Alessio Guglielmi
*Test
6 May 15:18 2005Carlos Areces
*ESSLLI 2006 - Call for Course and Workshop Proposal
21 Sep 14:38 2004Luca Paolini
*BOOK ANNOUNCEMENT: The Parametric Lambda Calculus
14 Feb 23:31 2004Alessio Guglielmi
*Archives
13 Nov 11:12 2009Alessio Guglielmi
*Tom and REDO
12 Sep 10:48 2009Ville Nurmi
*Thesis announcement
23 Jun 15:07 2008Lutz Strassburger
*Extension
23 Jun 15:04 2008Kai Brünnler
*Algorithmic Interpretation