science.types (date)

science.types (date)

November 30, 2004

CFP: FOAL 2005, Foundations Of Aspect-oriented Languages, Curtis Clifton

November 29, 2004

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

November 24, 2004

MSCS special issue on quantum programming languages, Peter Selinger
CALL FOR PAPERS: 7th Workshop on Logic and Computational Complexity, Jim Royer

November 23, 2004

CMSB 05: Announcement and Call for Papers, Gordon Plotkin
CfP update: LDTA 2005, Thomas Noll
WRS'05: First Call For Papers, roberto-KhLBrAOhdpNAfugRpC6u6w

November 22, 2004

PhD position in Munich (fwd), Martin Hofmann
FroCoS 2005: First Call for Papers, Bernhard Gramlich

November 17, 2004

CFP: Trustworthy Global Computing '05, Davide Sangiorgi

November 15, 2004

Call for Papers, AIOOL'05, Paris 21st January 2005, Francesco Logozzo

November 12, 2004

Three Xtatic technical reports, Benjamin Pierce

November 11, 2004

Paper: Polymorphic Typed Defunctionalization and Other Tales, Francois Pottier

November 10, 2004

LPAR'04: Deadline approaching, Prof. Franz Baader

November 09, 2004

CFP: Symposium on DataBase Programming Languages 2005 (DBPL'05), Gavin Bierman

November 08, 2004

PPDP 2005 First Call for Papers, Amy Felty

November 05, 2004

stacks in call-by-push-value, Paul B Levy

November 04, 2004

theorems on termination of reduction, Jeremy Dawson

News | FAQ | advertise