science.types (date)
<
Prev Period
]
[
Next Period
>
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
<
Prev Period
]
[
Next Period
>
News
|
FAQ
|
advertise