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
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 21:56Alessio Guglielmi
********Deep cirquent calculus
17 Sep 17:23Lutz Strassburger
********Deep cirquent calculus
18 Sep 04:20Giorgi Japaridze
*********Deep cirquent calculus
8 Sep 12:37Alessio Guglielmi
*Macros and FAQ
22 Aug 01:48Guillaume FORTAINE
*Functional Computer from the ground up
21 Aug 18:19Kai Brünnler
*Deep sequents for modal logic
18 Jun 08:34Tom E Gundersen
*Normalisation Control in Deep Inference Via Atomic Flows
23 May 19:18Lutz 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:41Kai Brünnler
**Frogs and Pigeons
16 Apr 12:42Ozan Kahramanogullari
***PhD Thesis
8 Mar 14:29Lutz Strassburger
***Frogs and Pigeons
22 Mar 07:43Giorgi Japaridze
****Frogs and Pigeons
27 Mar 17:28Lutz Strassburger
*****Frogs and Pigeons
22 Feb 12:35Lutz Strassburger
*Postdoc Positions on Deep Inference in Paris
12 Feb 17:01Lutz Strassburger
*medial
17 Jan 19:13Lutz Strassburger
*Units and second order in linear logic
30 Nov 22:18Agata Ciabattoni
*KURT GÖDEL CENTENARY RESEARCH PRIZE FELLOWSHIPS
12 Sep 03:01Alwen Tiu
*Paper announcement: CMDL in CoS
16 Sep 15:04Alessio Guglielmi
**Paper announcement: CMDL in CoS
26 Aug 19:14Alessio Guglielmi
*Grants
1 Aug 15:21Kurt Goedel Society
*Call for Papers
4 Jul 11:15Lutz Strassburger
*ESSLLI'06 lecture notes
3 Jul 22:43Max Schäfer
*Introducing the GraPE Graphical Proof Editor