science.types (date)

science.types (date)

May 30, 2005

The 17th Nordic Workshop on Programming Theory (NWPT'05), Jesper Andersen

May 29, 2005

2005 ICFP Programming Contest, Robby Findler

May 28, 2005

Re: Latex input mode, Geoffrey Alan Washburn
Re: Latex input mode, Joe Wells
*** Final Call for Papers (Increased Page Limit): ML Workshop 2005, Matthias Blume

May 27, 2005

Re: Latex input mode, apostolo-y12yqu3BuI/JryvfcubUmFAUjnlXr6A1

May 26, 2005

Re: Latex input mode, Giuseppe Castagna
Re: Latex input mode, Bill Rounds
Re: Latex input mode, Norman Ramsey
Re: Latex input mode, Geoffrey Alan Washburn
Re: Latex input mode, Stefan Monnier
Positions available:Microsoft Research - University of Trento Centre, Nones, Elisabetta
POPL 06 Call for Papers, David Walker
Latex input mode, Giuseppe Castagna

May 25, 2005

GT-VC @ Concur 2005: Second Call for Papers, Arend Rensink
professor positions in Innsbruck, Aart Middeldorp
Positions available at UCD, Simon Dobson

May 24, 2005

PhD Fellowships at GSLT, Aarne Ranta
Call for Participation and studentship applications for CLIMA VI, Unknown
Accepted Papers - Structures and Deduction Workshop (ICALP'05 Satellite), Paola Bruscoli
ICALP'05 CALL FOR PARTICIPATION, Luis Caires
1st Int. Workshop on Applications of Constraint Satisfaction and Programming to Computer Security (CPSec), Stefano Bistarelli
PhD Position, N Ghani
CADE'05: Call for Participation and Accepted Papers, Brigitte Pientka

May 23, 2005

PhD in aspect-oriented languages, Oege de Moor

May 22, 2005

Call for Papers for CICLOPS'2005, Fernando Silva

May 21, 2005

ATVA 2005: Final CFP (New Deadline: May 27), Yih-Kuen Tsay
London PhD Studentships in Quantitative Information Flow, Sebastian Hunt
ICFEM 2005 * Call for Workshops and Tutorials * IC Formal Engineering Methods *, Mike Poppleton
CFP APLAS'05, Kwangkeun Yi
Re: Decidability of polymorphic recursion revisited, camarao-qr4C/KlikRcIdKJ7tpkyPg

May 20, 2005

PPDP 2005 Call for Participation, Amy Felty

May 17, 2005

CALCO: 1st call for Participation, Markus Roggenbach
Decidability of polymorphic recursion revisited, Lukasz Stafiniak
FCS05 call for participation, Andrei Sabelfeld

May 14, 2005

ECOOP 2005 First Workshop on Building a System Using Patterns -- Deadline extended, m . fayad-F6pzM3ESD20
Re: Parametricity with subtyping and a Top type, Haruo HOSOYA
Re: Parametricity with subtyping and a Top type, Simone Martini
Re: Parametricity with subtyping and a Top type, Matt Hellige
Re: Parametricity with subtyping and a Top type, Martin Abadi

May 12, 2005

Re: Parametricity with subtyping and a Top type, Derek Dreyer
Doctoral Studentships in Computing Science, Jeremy . Gibbons-wzN9gXeOksgSiZgQ0OGTRA
Parametricity with subtyping and a Top type, Tim Sweeney

May 11, 2005

FSTTCS05, S. P. Suresh
DEADLINE EXTENSION: COSMICAH 2005, Dino Distefano
Final CFP: MERLIN'05 at ICFP'05, Alwen Tiu
Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05), A Serebrenik

May 09, 2005

MKM 2005 Final CfP, Michael Kohlhase
PASTE 2005 CFP: Workshop on Program Analaysis for Software Engineering, Michael Ernst
ACM Transactions on Computational Logic - Call for Nominations, Moshe Vardi
ECOOP 2005 First Workshop on Building a System Using Patterns -- Deadline extended, m . fayad-F6pzM3ESD20

May 06, 2005

ESSLLI 2006 - Call for Course and Workshop Proposals, Carlos Areces

May 04, 2005

Announcement: TYPES Summer School, August 15 - 26, Bengt Nordström
FroCoS 2005: Final cfp - extended submission deadline: May 16, 2005, Bernhard Gramlich
CFP: MICAI-2005 Artificial Intelligence, Springer LNAI: submission reminder and CFP-2, Alexander Gelbukh \(MICAI\)
ICLP 2005: Extended Deadlines, ICLP 2005
FAST2005: Extended deadline for the 3rd International Workshop on Formal Aspects in Security and Trust, Fabio Martinelli
AVoCS '05 [First CALL for PAPERS], AVoCS 2005

May 02, 2005

Disproving 2005 DEADLINE EXTENDED, Wolfgang Ahrendt

May 01, 2005

CFP: Term Graph Rewriting - special issue of MSCS, Ian Mackie
Reminder: PAT2005 Summer School, Jesper Andersen
2nd CfP: 10th Symposium on Database Programming Languages (DBPL 05), Gavin Bierman

News | FAQ | advertise