science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

February 27, 2008

[PT] Cl&C 2008 - Second Call for Papers, Paola Bruscoli

February 25, 2008

[PT] Postdoctoral Fellowhships, Matthew Hennessy
Postdoctoral Fellowhships, Matthew Hennessy
[PT] Normalisation Control in Deep Inference via Atomic Flows, Alessio Guglielmi
[PT] 2nd Call for Papers: LOFT 2008, Amsterdam (The Netherlands), 3-5 July 2008, LOFT 2008

February 24, 2008

[PT] Russell'08, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

February 22, 2008

Re: [PT] Girard quantales, negri-pAfYPePEUuXPzSBurWbDF/UpdFzICT1y
[PT] Girard quantales, Pawel Waszkiewicz
[PT] Book Announcement, S B Cooper

February 18, 2008

[PT] Paper announcement: Focusing on Binding and Computation, Robert Harper
[PT] LSFA 2008 - First call for papers, Elaine Pimentel
[PT] IMLA'08: Call for papers, Aleksandar Nanevski
[PT] G6 - Dependable systems, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
G6 - Dependable systems, FORTAINE Guillaume

February 14, 2008

[PT] WoLLIC 2008 - DEADLINE APPROACHING: Feb 24th, ruy-UbDI/fEVTnQIdKJ7tpkyPg

February 12, 2008

[PT] PohlersFest 2008, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
[PT] CALL FOR PAPERS AND PARTICIPATION, Logic Colloquium 2008

February 11, 2008

[PT] On the Proof Complexity of Deep Inference, Alessio Guglielmi

February 08, 2008

[PT] AMAST'08 : Final CFP, Grigore Rosu
[PT] [CFP] Workshop on Symmetric calculi and Ludics for the, Sylvain Pogodalla
[CFP] Workshop on Symmetric calculi and Ludics for the semantic interpretation, Sylvain Pogodalla

February 06, 2008

[PT] Messages to the list, Alessio Guglielmi
[PT] INRIA Postdoc Position in the Paris area (Ecole Polytechnique), owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
[PT] CFP: Journal of Logic, Language and Information, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

February 02, 2008

[PT] TYPES 2008 TORINO - CALL FOR TALKS AND REGISTRATION, piccolo-2eFfYwgyqgY1GQ1Ptb7lUw

News | FAQ | advertise