10 May 2013 12:06Bruno Woltzenlogel Paleo (Goog
*Bruno Woltzenlogel Paleo invited you to Workshop on Proof Compression
18 Mar 2013 18:33Alessio Guglielmi
*PhD Research Project: Efficient and Natural Proof Systems
22 Feb 2013 20:03Anupam Das
*Two preprints
19 Feb 2013 16:23Anupam Das
*Linear inferences and derivations 3
18 Feb 2013 15:46Ozan Kahramanogullari
*interana: interactive prover for Multiplicative Linear Logic
29 Jan 2013 16:47Alessio Guglielmi
*Two recent books
10 Jan 2013 13:35Lutz Strassburger
*Postdoc position in proof theory in Paris
4 Jan 2013 16:31Alessio Guglielmi
*Post-doc in Bath on the semantics of a bureaucracy-free formalism
4 Jan 2013 21:33Karn Kallio
**Post-doc in Bath on the semantics of a bureaucracy-free formalism
7 Jan 2013 18:04Alessio Guglielmi
***Post-doc in Bath on the semantics of a
9 Jan 2013 18:34Alessio Guglielmi
***Post-doc in Bath on the semantics of a
18 Nov 2012 20:17Alessio Guglielmi
*PhD opportunities
26 Sep 2012 19:10Anupam Das
*Linear inferences and derivations 2
26 Sep 2012 18:22Anupam Das
*Linear inferences and derivations 1
3 Aug 2012 08:18Giorgi Japaridze
*Quasipolynomial cut-elimination in CoS
3 Aug 2012 13:10Tom Gundersen
**Quasipolynomial cut-elimination in CoS
4 Jun 2012 21:45Anupam Das
*Note: Pigeonhole principle in deep inference
27 Sep 2011 14:34Agata Ciabattoni
*Announcement
11 Jul 2011 06:13Google+
*Bruno Woltzenlogel Paleo invited you to join him on Google+
6 May 2011 21:03Alessio Guglielmi
*Marketing
25 Apr 2011 03:49Lutz Strassburger
*Postdoc position in proof theory in Paris
16 Apr 2011 15:55Alessio Guglielmi
*Sophia Strassburger
17 Mar 2011 03:17kahramanogullari
*Deeper Cuts in Deep Inference
15 Mar 2011 19:17Bruno Woltzenlogel Paleo
*Deeper Cuts in Deep Inference
15 Mar 2011 21:29Alessio Guglielmi
**Deeper Cuts in Deep Inference
17 Mar 2011 01:46Bruno Woltzenlogel Paleo
***Deeper Cuts in Deep Inference
17 Mar 2011 12:22Alessio Guglielmi
****Deeper Cuts in Deep Inference
16 Feb 2011 22:14Kai Brünnler
*deep inference combinators implementation
20 Jan 2011 17:08Jon Awbrey
*Facebook Pages on Logical Subjects
7 Jan 2011 11:43Lutz Strassburger
*HDR
10 Jan 2011 09:28Richard Blute
**HDR
10 Jan 2011 19:09Laurent Méhats
**HDR
20 Aug 2010 15:10Lutz Strassburger
*REDO meeting in Bath, Sep 14-16
14 Mar 2010 20:04Jon Awbrey
*Animated Proofs
15 Mar 2010 01:09Michael Lamport Commons
**[FOM] Animated Proofs
22 Mar 2010 15:18Jon Awbrey
**Animated Proofs : Praeclarum Theorema
8 Mar 2010 11:01Alessio Guglielmi
*Syntax Independence?
2 Mar 2010 01:26Alessio Guglielmi
*Extension
2 Mar 2010 09:54Lutz Strassburger
**Extension
2 Mar 2010 12:44Alessio Guglielmi
***Extension
2 Mar 2010 14:18Lutz Strassburger
****Extension
2 Mar 2010 17:51Alessio Guglielmi
*****Extension
3 Mar 2010 10:32Lutz Strassburger
******Extension
3 Mar 2010 15:03Alessio Guglielmi
*******Extension
3 Mar 2010 15:14Jon Awbrey
********Syntax Independence?
4 Mar 2010 15:27Perry Wagle
********Extension
4 Mar 2010 15:31Perry Wagle
********Extension
5 Aug 2009 13:13Alessio Guglielmi
*Meeting in Vienna
30 Mar 2009 11:03Lutz Strassburger
*decomposition and splitting for NEL
25 Mar 2009 13:07Alessio Guglielmi
*Quasipolynomial normalisation in deep inference
17 Mar 2009 15:56Kai Br=?ISO-8859-1?Q?=FC?=nnle
*Workshop Announcement: Gentzen Systems and Beyond
2 Mar 2009 23:56Lutz Strassburger
*Deadline Extension for SD'09 in Bordeaux
13 Feb 2009 12:33Arno Bastenhof
*(Frogs) Calculus of Structures and substructura
11 Feb 2009 19:17Arno Bastenhof
*(Frogs) Calculus of Structures and substructural lo
11 Feb 2009 10:50Lutz Strassburger
*Workshop "Stuctures and Deduction", Bordeaux, July
5 Feb 2009 17:40Jan Krajicek
*[Proof Complexity] a PhD student position in Prague
5 Nov 2008 19:04Jon Awbrey
*Avoiding Red Tape Frees Up Logic (ARTFUL)
2 Nov 2008 11:11Alessio Guglielmi
*Correction
2 Nov 2008 10:56Alessio Guglielmi
*Change of address
30 Oct 2008 15:22Jon Awbrey
*self-introduction : jon awbrey
18 Sep 2008 10:32Agata Ciabattoni
*Call For Papers: Analytic Proof Systems 4
13 Aug 2008 17:16Alessio Guglielmi
*Projects in France
18 Jul 2008 13:38Berarducci Alessandro
*5 Year Research Position in Math. Logic in Lisbon
16 Jul 2008 10:37Andreas Weierman
*3 years Postdoc position available in Ghent
11 Jul 2008 15:16Bertram Fronh=?ISO-8859-1?Q?=C
*JELIA - registration opened
11 Jul 2008 13:02Bertram Fronh=?ISO-8859-1?Q?=C
*JOB OPPORTUNITY
8 Jul 2008 14:35Alessio Guglielmi
*Software update
8 Jul 2008 13:51Alessio Guglielmi
*Test
6 May 2005 15:18Carlos Areces
*ESSLLI 2006 - Call for Course and Workshop Proposal
21 Sep 2004 14:38Luca Paolini
*BOOK ANNOUNCEMENT: The Parametric Lambda Calculus
14 Feb 2004 23:31Alessio Guglielmi
*Archives
13 Nov 2009 11:12Alessio Guglielmi
*Tom and REDO
12 Sep 2009 10:48Ville Nurmi
*Thesis announcement
13 Feb 2009 12:53Arno Bastenhof
*(Frogs) Calculus of Structures and substructura
12 Feb 2009 18:27Lutz Strassburger
*(Frogs) Calculus of Structures and substructura
13 Feb 2009 11:02Kai Br=?ISO-8859-1?Q?=FC?=nnle
*(Frogs) Calculus of Structures and substructura
11 Feb 2009 14:18Jon Awbrey
*Workshop "Stuctures and Deduction", Bordeaux, J
23 Jun 2008 15:07Lutz Strassburger
*Extension
23 Jun 2008 15:04Kai Brünnler
*Algorithmic Interpretation
20 Jun 2008 22:59Alessio Guglielmi
*Extension
11 Jun 2008 18:21Francois Lamarche
*Last Call, Nancy Workshop on Deep Inference
25 May 2008 21:27lamarche
*Workshop on Deep Inference, Nancy
7 May 2008 14:42Francois Lamarche
*Workshop on Deep Inference in Nancy
3 Apr 2008 10:10Alessio Guglielmi
*Meeting in Bath?
3 Apr 2008 14:40Alessio Guglielmi
**Meeting in Bath?
2 Apr 2008 23:55Giorgi Japaridze
*Cirquent calculus deepened
10 Mar 2008 02:46FORTAINE Guillaume
*GC6 workshop, 18 March, 9am - 4.30pm, BCS Offices, London
15 Mar 2008 00:59FORTAINE Guillaume
**The Compcert Verified Compiler
25 Feb 2008 11:38Alessio Guglielmi
*Atomic flows
18 Feb 2008 15:31Elaine Pimentel
*LSFA 2008 - First call for papers
8 Feb 2008 10:56Sylvain Pogodalla
*[CFP] Workshop on Symmetric calculi and Ludics for the semantic interp
3 Jan 2008 23:03Lutz Strassburger
*Happy new year!
17 Nov 2007 10:34Michel Parigot
*Workshop on "computational interpretations of proofs"
29 Oct 2007 17:00Kai Brünnler
*Meeting in Bern
29 Oct 2007 16:12Kai Brünnler
*Meeting in Bern
29 Oct 2007 16:20Stéphane Lengrand (Work
**Meeting in Bern
18 Oct 2007 09:45Lutz Strassburger
*DI christmas meeting
18 Oct 2007 16:06Stéphane Lengrand (Work
**DI christmas meeting
15 Oct 2007 10:49Kai Bruennler
*(unknown)
13 Oct 2007 15:27Alessio Guglielmi
*Approval of messages