science.mathematics.prooftheory (thread)

[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
[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
CFP: HPCC-08, Laurence T. Yang
[PT] Call for papers: ESHOL workshop at IJCAR 2008, Florian Rabe
[PT] E. W. Beth Dissertation Prize: 2008 call for submissions, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
[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
[PT] CSR 2008 in Moscow: Call for Participation, CSR-2008
[PT] [CFP] Advances in Modal Logic 2008, Carlos Areces
[PT] deadline extension for ESSLLI workshops to March 27, Hans van Ditmarsch
[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
[PT] Russell'08, final call, extended deadline, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE