science.mathematics.prooftheory (thread)

[PT] ESSLLI'05 Student Session: Final Call for Papers and Posters, Judit Gervain
[PT] ACKERMANN AWARD - Second Call for Submissions, Andrzej Murawski
[PT] CSL'05 - Second Call for Papers, Andrzej Murawski
[PT] Beth Dissertation Prize, Carlos Areces
ICML 2005, Bonn, Germany - call for tutorial (deadline: Febr 11, 2005) proposals, lauth
[PT] ALC9, Asian Logic Conference 2005
[PT] ICALP'05: Call for Papers, Luis Caires
ICALP'05: Call for Papers, Luis Caires
[PT] Structures and Deduction Workshop CfP - ICALP '05 Satellite, Paola Bruscoli
[PT] MLL + mix + mix0, Ozan Kahramanogullari
- Re: [PT] MLL + mix + mix0, Lutz Strassburger