science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

May 29, 2008

[PT] LPAR submission deadline extended, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

May 25, 2008

[PT] Workshop on Deep Inference, Nancy, lamarche-/zGXu1G9BXs
Workshop on Deep Inference, Nancy, lamarche-/zGXu1G9BXs

May 24, 2008

[PT] CfP: Trends in Logic VI in Brussels (Studia Logica), Patrick Allo
[PT] LSFA'08 - last call for papers -- deadline extended!, Elaine Pimentel
[PT] EUROPEAN MASTERS PROGRAM IN COMPUTATIONAL LOGIC, Bertram Fronhoefer

May 21, 2008

[PT] LPAR Call for Papers, Geoff Sutcliffe

May 19, 2008

CALL FOR PARTICIPATION, Logic Colloquium 2008
[PT] CALL FOR PARTICIPATION, Logic Colloquium 2008

May 13, 2008

[PT] "Proof-search in Type Theories" workshop, 5th June, Paris:, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
(unknown), Florian Rabe

May 07, 2008

"Proof-search in Type Theories" workshop, 5th June, Paris: Call for talks / participation, "Stéphane Lengrand (Work)"

May 06, 2008

[PT] CFP: Workshop CEDAR 2008, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
[PT] Postdoctoral Scholarship Available in Lisbon (CMU-PT Project), Luis Caires

May 04, 2008

[PT] Computability in Europe 2008 - early registration reminder, Arnold Beckmann

May 01, 2008

[PT] Automated Reasoning in Mathematics, Geoff Sutcliffe
[PT] IJCAR Calls and Awards, Geoff Sutcliffe

News | FAQ | advertise