science.types (thread)

CFP: FOAL 2005, Foundations Of Aspect-oriented Languages, Curtis Clifton
Call for papers: FMOODS 05 (Formal Methods for Open Object-based Distributed Systems), Martin Steffen
D. E. Rydeheard's book "Computational Category Theory", Galchin Vasili
Games for Logic and Programming Languages [CFP], Dan Ghica
Symposium on Principles of Programming Languages 2005: Call for Participation, David Walker
MSCS special issue on quantum programming languages, Peter Selinger
CALL FOR PAPERS: 7th Workshop on Logic and Computational Complexity, Jim Royer
CMSB 05: Announcement and Call for Papers, Gordon Plotkin
CfP update: LDTA 2005, Thomas Noll
WRS'05: First Call For Papers, roberto-KhLBrAOhdpNAfugRpC6u6w
PhD position in Munich (fwd), Martin Hofmann
FroCoS 2005: First Call for Papers, Bernhard Gramlich
CFP: Trustworthy Global Computing '05, Davide Sangiorgi
Call for Papers, AIOOL'05, Paris 21st January 2005, Francesco Logozzo
Three Xtatic technical reports, Benjamin Pierce
Paper: Polymorphic Typed Defunctionalization and Other Tales, Francois Pottier
LPAR'04: Deadline approaching, Prof. Franz Baader
CFP: Symposium on DataBase Programming Languages 2005 (DBPL'05), Gavin Bierman
PPDP 2005 First Call for Papers, Amy Felty
stacks in call-by-push-value, Paul B Levy
theorems on termination of reduction, Jeremy Dawson