science.mathematics.prooftheory (thread)

Invitation to submit a paper to a special issue of JSAT on CFV, Miroslav Velev
ATPN 2007 - Call for Papers, Artur Niewiadomski
[PT] Juniorprofessorship in Applied Logic (again), Ulrich Kohlenbach
[PT] Juniorprofessorship in Applied Logic at TUD, Ulrich Kohlenbach
[PT] Universal Logic, China 2007: Call for papers, COSTA LEITE Alexandre
Re: [PT] Proof nets and the identity of proofs, Lutz Strassburger
[PT] TABLEAUX 2007: Call for Workshop Proposals, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
[PT] ICALP 2007 Call for Papers -- First Announcement, ICALP 2007 conference
CfP: Special issue I&C on SOS, Rob van Glabbeek and Peter Mosses
[PT] ICALP 2007 Second Call for Workshop Proposals, ICALP 2007 conference
[PT] CiE 2007 - First Call for Papers, S B Cooper
[PT] Bedwyr: a proof search approach to model checking, Alwen Tiu