science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

March 31, 2008

[PT] 3rd International Compulog/ALP Summer School on Logic, announce-LHSRS/D5yqu0A8gFx8LKWw
[PT] ICLP'08 CALL FOR WORKSHOP PROPOSALS *** CALL FOR WORKSHOP PROPOSALS ***, ICLP 08

March 27, 2008

[PT] PhD or PostDoc opening in Dresden, Janis Voigtlaender
[PT] LSFA'08 - 2nd call for papers, Elaine Pimentel
[PT] Last Call for Papers: Advances in Modal Logic, Carlos Areces

March 25, 2008

CFP: HPCC-08, Laurence T. Yang
[PT] Call for papers: ESHOL workshop at IJCAR 2008, Florian Rabe

March 21, 2008

[PT] E. W. Beth Dissertation Prize: 2008 call for submissions, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

March 18, 2008

[PT] CSL 2008 - Last CfP - Deadline is March 28th, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
LC08: SECOND CALL FOR PAPERS AND PARTICIPATION, Logic Colloquium 2008
[PT] LC08: SECOND CALL FOR PAPERS AND PARTICIPATION, Logic Colloquium 2008

March 14, 2008

[PT] CSR 2008 in Moscow: Call for Participation, CSR-2008

March 11, 2008

[PT] [CFP] Advances in Modal Logic 2008, Carlos Areces

March 10, 2008

[PT] deadline extension for ESSLLI workshops to March 27, Hans van Ditmarsch

March 06, 2008

[PT] AMAST'08 - New Deadline - March 12, AMAST 2008
[PT] CiE 2008 - grants, Arnold Beckmann
[PT] CiE 2008 - accepted papers, informal presentations, participation, Arnold Beckmann

March 03, 2008

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

News | FAQ | advertise