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
20 Mar 15:41Saeed Salehi
*PhD thesis?
21 Mar 08:38Alessio Guglielmi
**PhD thesis?
18 Mar 11:03D Richardson
*congratulations!
18 Mar 12:37David J. Pym
**congratulations!
28 Feb 15:41Guillaume Burel
*Deduction modulo in CoS
28 Feb 22:50Elaine Pimentel
**Deduction modulo in CoS
6 Mar 15:32Alessio Guglielmi
**Deduction modulo in CoS
15 Mar 16:45Guillaume Burel
**Deduction modulo in CoS
27 Feb 10:57Tristan Crolard
*Fundamenta Informaticae: special issue on the Logic for Pragmatics
16 Feb 11:29Ozan Kahramanogullari
*arrow in front of the down rules
12 Jan 15:26Alessio Guglielmi
*Deductive nets
22 Dec 15:49Lutz Strassburger
*Proof Nets, Boolean Categories, and Medial
22 Dec 14:54lutz
*Proof Nets, Boolean Categories, and Medial
22 Dec 22:26Alessio Guglielmi
**Proof Nets, Boolean Categories, and Medial
18 Dec 18:18Paul B Levy
*jumbo connectives - comments please!
13 Dec 16:13Agata Ciabattoni
*An International Symposium Celebrating the 100th Birthday of Kurt Gö
3 May 21:05Elaine Pimentel
**LSFA'06 - Brazilian Workshop on Logical and Semantic Frameworks, with
7 Dec 22:11Alessio Guglielmi
*ESSLLI 2006
5 Dec 14:34Alessio Guglielmi
*Papers
21 Nov 19:03Ozan Kahramanogullari
*ICCL Autumn Workshop - Deep Inference and Proof Theory
20 Oct 13:05Alessio Guglielmi
*Conference announcements
20 Oct 11:40Alexander Kurz
*CfP: AiML 2006
11 Oct 16:11Lutz Strassburger
*Workshop on Logic programming and concurrency
3 Oct 22:43Computer Science Logic '06 Con
*[PT] CSL'06 workshops and Ackermann Award
4 Oct 01:36Rajeev.Gore
**[PT] CSL'06 workshops and Ackermann Award
4 Oct 12:24Alessio Guglielmi
***SD06 in Wien?
4 Oct 12:35Alessio Guglielmi
***[PT] CSL'06 workshops and Ackermann Award
29 Sep 17:28Dale Miller
*Red and blue (again)
6 Oct 12:32Alessio Guglielmi
**Red and blue (again)