science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

March 31, 2007

SOS 2007 - Final Call for Papers, Rob van Glabbeek and Matthew Hennessy

March 30, 2007

[PT] ***Submission Deadline Postponed*** Workshop on Termination 2007, A Serebrenik
[PT] CiE 2007 - Call for Participation, S B Cooper

March 29, 2007

[PT] Types Summer School 07, Claudio Sacerdoti Coen
[PT] SOS 2007 - Final Call for Papers, Rob van Glabbeek and Matthew Hennessy

March 27, 2007

[PT] CSL07: last call for papers, Alessandro Facchini

March 22, 2007

Concur 2007 Final CFP, Luís Caires

March 21, 2007

Concur 2007 Final CFP, Luís Caires
[PT] CSR 2007 DEADLINE EXTENSION, csr2007

March 20, 2007

[PT] Thesis Fellowship in Computer Science, Francois Lamarche
Thesis Fellowship in Computer Science, Francois Lamarche
[PT] CFP: Workshop Logic, Rationality and Interaction, Beijing, China, Carlos Areces

March 19, 2007

[PT] ACL2 2007 CALL FOR PAPER, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
[PT] Second Call for papers - Workshop on Termination (WST 2007) - Paris, A Serebrenik

March 17, 2007

[PT] CiE 2007 - Call for informal presentations, S B Cooper

March 15, 2007

EUROCORES Programme LogICCC - CfP, Carlos Areces

March 14, 2007

[PT] Postdoctoral Fellowship in France, Francois Lamarche

March 13, 2007

(unknown), csr2007

March 09, 2007

[PT] HyLo 2007 CFP, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

March 05, 2007

[PT] Call for papers - Workshop on Termination (WST 2007) - Paris, A Serebrenik

March 01, 2007

[PT] Announcement:Kurt Goedel Centenary Research Prize Fellowships, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

News | FAQ | advertise