science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

November 27, 2006

Invitation to submit a paper to a special issue of JSAT on CFV, Miroslav Velev

November 24, 2006

ATPN 2007 - Call for Papers, Artur Niewiadomski

November 23, 2006

[PT] Juniorprofessorship in Applied Logic (again), Ulrich Kohlenbach
[PT] Juniorprofessorship in Applied Logic at TUD, Ulrich Kohlenbach

November 22, 2006

[PT] Universal Logic, China 2007: Call for papers, COSTA LEITE Alexandre

November 21, 2006

Re: [PT] Proof nets and the identity of proofs, Lutz Strassburger

November 16, 2006

[PT] TABLEAUX 2007: Call for Workshop Proposals, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

November 15, 2006

[PT] ICALP 2007 Call for Papers -- First Announcement, ICALP 2007 conference

November 12, 2006

CfP: Special issue I&C on SOS, Rob van Glabbeek and Peter Mosses

November 07, 2006

[PT] ICALP 2007 Second Call for Workshop Proposals, ICALP 2007 conference

November 02, 2006

[PT] CiE 2007 - First Call for Papers, S B Cooper

November 01, 2006

[PT] Bedwyr: a proof search approach to model checking, Alwen Tiu

News | FAQ | advertise