30 Mar 10:59Lutz Strassburger
*decomposition and splitting for NEL
25 Mar 13:05Alessio Guglielmi
*Quasipolynomial normalisation in deep inference
17 Mar 15:56Kai Brünnler
*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 substructural logics
11 Feb 19:16Arno Bastenhof
*(Frogs) Calculus of Structures and substructural logics
12 Feb 18:27Lutz Strassburger
**(Frogs) Calculus of Structures and substructural logics
13 Feb 12:53Arno Bastenhof
***(Frogs) Calculus of Structures and substructural logics
13 Feb 11:02Kai Brünnler
**(Frogs) Calculus of Structures and substructural logics
11 Feb 10:48Lutz Strassburger
*Workshop "Stuctures and Deduction", Bordeaux, July 20-24, 2009
11 Feb 14:18Jon Awbrey
**Workshop "Stuctures and Deduction", Bordeaux, July 20-24, 2009
5 Feb 17:38Jan Krajicek
*[Proof Complexity] a PhD student position in Prague
5 Nov 19:03Jon Awbrey
*Avoiding Red Tape Frees Up Logic (ARTFUL)
2 Nov 11:08Alessio Guglielmi
*Correction
2 Nov 10:55Alessio Guglielmi
*Change of address
30 Oct 15:21Jon Awbrey
*self-introduction : jon awbrey
18 Sep 10:32Agata Ciabattoni
*Call For Papers: Analytic Proof Systems 4
13 Aug 17:13Alessio Guglielmi
*Projects in France
18 Jul 13:35Berarducci Alessandro
*5 Year Research Position in Math. Logic in Lisbon
16 Jul 10:36Andreas Weierman
*3 years Postdoc position available in Ghent
11 Jul 15:15Bertram Fronhöfer
*JELIA - registration opened
11 Jul 12:59Bertram Fronhöfer
*JOB OPPORTUNITY
8 Jul 14:30Alessio Guglielmi
*Software update
8 Jul 13:48Alessio Guglielmi
*Test
23 Jun 15:07Lutz Strassburger
*Extension
23 Jun 15:02"Kai =?iso
*Algorithmic Interpretation
20 Jun 22:58Alessio Guglielmi
*Extension
11 Jun 18:19Francois Lamarche
*Last Call, Nancy Workshop on Deep Inference
25 May 21:24lamarche
*Workshop on Deep Inference, Nancy
7 May 14:39Francois Lamarche
*Workshop on Deep Inference in Nancy
3 Apr 10:06Alessio Guglielmi
*Meeting in Bath?
3 Apr 14:40Alessio Guglielmi
**Meeting in Bath?
2 Apr 23:52Giorgi 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:35Alessio Guglielmi
*Atomic flows
18 Feb 15:28Elaine Pimentel
*LSFA 2008 - First call for papers
8 Feb 10:55Sylvain Pogodalla
*[CFP] Workshop on Symmetric calculi and Ludics for the semantic interp
3 Jan 23:00Lutz Strassburger
*Happy new year!
17 Nov 10:31Michel Parigot
*Workshop on "computational interpretations of proofs"
29 Oct 16:57"Kai =?iso
*Meeting in Bern
29 Oct 16:10"Kai =?iso
*Meeting in Bern
29 Oct 16:20
**Meeting in Bern
18 Oct 09:45Lutz Strassburger
*DI christmas meeting
18 Oct 16:06
**DI christmas meeting
15 Oct 10:46Kai Bruennler
*(unknown)
13 Oct 15:24Alessio 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:23Jean-Luc Delatre
*Puzzling "premisse"
11 Oct 21:01"Kai =?iso
**Puzzling "premisse"
12 Oct 12:49Jean-Luc Delatre
***Puzzling "premisse"
12 Oct 15:24"Kai =?iso
****Puzzling "premisse"
12 Oct 20:41Jean-Luc Delatre
*****Puzzling "premisse"
11 Oct 21:55Alessio Guglielmi
**Puzzling "premisse"
13 Oct 17:25owner
**Puzzling "premisse"
16 Sep 00:22Giorgi Japaridze
*Deep cirquent calculus
11 Sep 08:47Giorgi Japaridze
*Deep cirquent calculus
14 Sep 22:35Giorgi Japaridze
**Deep cirquent calculus
11 Sep 17:10Giorgi Japaridze
*Deep cirquent calculus
13 Sep 03:26Alessio Guglielmi
**Deep cirquent calculus
13 Sep 07:00Giorgi Japaridze
***Deep cirquent calculus
13 Sep 18:18Lutz Strassburger
****Deep cirquent calculus
14 Sep 04:48Giorgi Japaridze
*****Deep cirquent calculus
16 Sep 18:29Lutz Strassburger
******Deep cirquent calculus
16 Sep 22:49Giorgi Japaridze
*******Deep cirquent calculus
17 Sep 17:23Lutz Strassburger
********Deep cirquent calculus
18 Sep 04:20Giorgi Japaridze
*********Deep cirquent calculus
17 Sep 21:56Alessio Guglielmi
********Deep cirquent calculus
8 Sep 12:35Alessio Guglielmi
*Macros and FAQ
22 Aug 01:45Guillaume FORTAINE
*Functional Computer from the ground up
21 Aug 18:17"Kai =?iso
*Deep sequents for modal logic
18 Jun 08:32Tom E Gundersen
*Normalisation Control in Deep Inference Via Atomic Flows
23 May 19:16Lutz Strassburger
*deep inference meeting
20 Mar 15:30Francois Lamarche
*Thesis Fellowship in Computer Science
14 Mar 09:53Francois Lamarche
*Postdoctoral Fellowship in France
8 Mar 07:24Giorgi Japaridze
*Frogs and Pigeons
8 Mar 11:41"Kai =?iso
**Frogs and Pigeons
8 Mar 14:29Lutz Strassburger
***Frogs and Pigeons
22 Mar 07:43Giorgi Japaridze
****Frogs and Pigeons
27 Mar 17:28Lutz Strassburger
*****Frogs and Pigeons
16 Apr 12:42Ozan Kahramanogullari
***PhD Thesis
22 Feb 12:35Lutz Strassburger
*Postdoc Positions on Deep Inference in Paris
12 Feb 17:00Lutz Strassburger
*medial
17 Jan 19:12Lutz Strassburger
*Units and second order in linear logic
30 Nov 22:15Agata Ciabattoni
*KURT GÖDEL CENTENARY RESEARCH PRIZE FELLOWSHIPS
12 Sep 02:57Alwen Tiu
*Paper announcement: CMDL in CoS
16 Sep 15:04Alessio Guglielmi
**Paper announcement: CMDL in CoS
26 Aug 19:12Alessio Guglielmi
*Grants
1 Aug 15:20Kurt Goedel Society
*Call for Papers
4 Jul 11:12Lutz Strassburger
*ESSLLI'06 lecture notes
3 Jul 22:41Max Schäfer
*Introducing the GraPE Graphical Proof Editor
2 Jun 13:12Alessio Guglielmi
*Meeting in Bath
25 May 08:09René David
*post-doc position
19 May 11:08Alessio Guglielmi
*Post-docs
19 May 02:02Alwen Tiu
*Intuitionistic and intermediate logics in CoS
29 Mar 15:00Alessio Guglielmi
*Lutz and Goedel
28 Mar 19:57Alessio Guglielmi
*PCC 06
27 Mar 12:10Alessio Guglielmi
*Baez