science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

September 27, 2008

DATICS'09 - Call For Papers, SS DATICS

September 25, 2008

[PT] PhD Program at IMT, Lucca, Ugo Montanari

September 22, 2008

[PT] Paper announcement: Product-free Lambek Calculus is NP-complete, pentus-g1PpH8CQihff4gZOjg57VQ

September 19, 2008

[PT] [ESSLLI 2010] Call for Bids, Carlos Areces

September 16, 2008

[PT] full professor position, Tom Hirschowitz

September 11, 2008

[PT] CSR-2009: First Call for Papers, Edward A. Hirsch

September 08, 2008

[PT] Invitation to attend the Summer Schools in Logic and Learning, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

September 04, 2008

[PT] New Association Computability in Europe formed, S B Cooper
(unknown), owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE
(unknown), owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

September 03, 2008

TYPES 2008 Volume: EXTENDED DEADLINE to Wednesaday, October 15, 2008, Stefano Berardi

September 01, 2008

[PT] ESSLLI 2009 Deadline Extension and Final Call for, Richard Moot
[PT] Basing proof theory on circuits, Giorgi Japaridze

News | FAQ | advertise