science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

January 31, 2005

[PT] ESSLLI'05 Student Session: Final Call for Papers and Posters, Judit Gervain

January 24, 2005

[PT] ACKERMANN AWARD - Second Call for Submissions, Andrzej Murawski
[PT] CSL'05 - Second Call for Papers, Andrzej Murawski

January 19, 2005

[PT] Beth Dissertation Prize, Carlos Areces

January 15, 2005

ICML 2005, Bonn, Germany - call for tutorial (deadline: Febr 11, 2005) proposals, lauth
[PT] ALC9, Asian Logic Conference 2005

January 10, 2005

[PT] ICALP'05: Call for Papers, Luis Caires
ICALP'05: Call for Papers, Luis Caires

January 07, 2005

[PT] Structures and Deduction Workshop CfP - ICALP '05 Satellite, Paola Bruscoli

January 06, 2005

Re: [PT] MLL + mix + mix0, Lutz Strassburger

January 04, 2005

[PT] MLL + mix + mix0, Ozan Kahramanogullari

News | FAQ | advertise