science.mathematics.prooftheory (thread)

DATICS'09 - Call For Papers, SS DATICS
[PT] PhD Program at IMT, Lucca, Ugo Montanari
[PT] Paper announcement: Product-free Lambek Calculus is NP-complete, pentus-g1PpH8CQihff4gZOjg57VQ
[PT] [ESSLLI 2010] Call for Bids, Carlos Areces
[PT] full professor position, Tom Hirschowitz
[PT] CSR-2009: First Call for Papers, Edward A. Hirsch
[PT] Invitation to attend the Summer Schools in Logic and Learning, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
[PT] New Association Computability in Europe formed, S B Cooper
(unknown), owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
- (unknown), owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
TYPES 2008 Volume: EXTENDED DEADLINE to Wednesaday, October 15, 2008, Stefano Berardi
[PT] ESSLLI 2009 Deadline Extension and Final Call for, Richard Moot
[PT] Basing proof theory on circuits, Giorgi Japaridze