science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

April 28, 2006

[PT] LAST CFP: LFMTP 2006 (a.k.a. LFM + MERLIN), Alberto Momigliano

April 27, 2006

LAST CFP: LFMTP 2006 (a.k.a. LFM + MERLIN), Alberto Momigliano
[PT] ESSLLI 2007 - Call for Course and Workshop Proposals, Tomaz Erjavec
[ESSLLI 2007] Calll for Course and Workshop Proposals, Carlos Areces
[PT] Open position for a postdoctoral researcher at the TU Munich, Christian Urban

April 24, 2006

[PT] Workshop on termination, Andreas Weiermann

April 22, 2006

[PT] LPAR 2006 (Phnom Penh, Cambodia), Last CFP, Miki Hermann
[PT] CFP: Uncertainty: Reasoning about, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

April 21, 2006

[PT] Computability in Europe 2006 - Call for Participation, Arnold Beckmann
[PT] *FMCAD 2006 Deadline Extended*, Panagiotis Manolios

April 19, 2006

(unknown), Informacion . Simposio . Latinoamericano . de . Logica . Matematica-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

April 14, 2006

[PT] CSL'06 CALL FOR PAPERS [final version], Computer Science Logic '06 Conference

April 13, 2006

[PT] WRS06 last call for paper, wrs06-PMrjgKuCo4Swq3qWMQLUlje48wsgrGvP
[PT] HyLo2006, Torben Brauner
[PT] *ACL2 2006 Deadline Extended*, Panagiotis Manolios
[PT] CFP: 2nd International Congress on Tools for Teaching Logic, Carlos Areces
(unknown), Foundations . of . Software . Technology . and . Theoretical . Computer-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

April 05, 2006

[PT] FMCAD 2006 Second Call for Papers, Panagiotis Manolios

April 04, 2006

[PT] Faculty positions at Computer Science Department, University of Porto, nam

News | FAQ | advertise