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