science.types (date)

science.types (date)

July 31, 2005

ASE05 Workshop Traceability in Emerging Forms of Software Engineering CfP, Yunwen Ye
4-year PhD Positions at UPM -- MOBIUS EU Project, MOBIUS PhD Grants

July 29, 2005

ASE05 Workshop Software Assurance Tools Techniques and Metrics CfP, Yunwen Ye
post-doc job in functional programming, Colin Runciman

July 28, 2005

WLPE 2005: Call for Participation, A Serebrenik

July 27, 2005

Call for Participation: ML Workshop 2005, Matthias Blume
CfP: OOPSLA Workshop on Multiparadigm Programming in OO Languages, Kei Davis
Re: Subtyping, extensional equality, and contravariance, Andreas Abel

July 26, 2005

Subtyping, extensional equality, and contravariance, Tim Sweeney
Geocal06: first announcement, Laurent Regnier

July 25, 2005

FORTE 2005: Preliminary Program and the 1st Call for Participation, Farn Wang
[ICLP 2006] Call for WORKSHOP proposals, A Serebrenik
Haskell workshop 2005 -- Call for participation., Daan Leijen
Call for Participation: MERLIN 2005, Alwen Tiu

July 20, 2005

CFP: Workshop on Software Certificate Mangement, Ewen Denney
[SEFM 2005] CfParticipation - Early Registration ends 31 July 2005, Bernhard Beckert

July 19, 2005

LICS 2006 Call for Workshops, Kreutzer + Schweikardt

July 18, 2005

Call for Participation/Programme: SAS'05, Herbert Wiklicky
ICLP 2005: Call for Participation, ICLP 2005
Call for participation - DBPL'05, Gavin Bierman

July 15, 2005

Early registration: GPCE'05 -- Generative Programming and Component Engineering, Eelco Visser
[CfP] DisCoVeri - satellite event of CONCUR - August 26, 2005, Uwe Nestmann
Announcement of paper on differential categories, Robert Seely

July 12, 2005

Tenure-track Position at U. Ottawa, Phil Scott
PADL'06 Call for Papers, Logic Programming Rsrch Association

July 11, 2005

CONCUR 2005: Call for Participation, Early Registration Jul 20, CONCUR 2005 Announcements

July 08, 2005

[verimag-news ] FMCO 2005: 2nd Call for Tutorial Papers, Susanne Graf
FACS'05: Deadline Extended 29 July, Luis Barbosa

July 06, 2005

Final Call for papers: MoveLog05 (ICLP workshop), James Lipton
ISAAC: Young Researcher Position at ITC-IRST, Trento, Marco Bozzano
CfP: Workshop: Constructive analysis, types and exact real numbers, Bas Spitters
OOPS at SAC 2006, Davide Ancona
E.W. Beth Dissertation Prize Winner, Carlos Areces
IFL'05 - 2nd Call for Papers (new: Accomodation/Registration details), Andrew Butterfield

July 05, 2005

PASTE 2005 call for participation: Program Analysis for Software Tools & Engineering, Michael Ernst
Post.Doc and Assist. Prof. position Radboud University Nijmegen, Herman Geuvers
ICFP 2005 - Call for Participation, Dariusz Biernacki
SPIN 2005 Call for Participation, Patrice Godefroid
LPNMR'05: Call for Participation, lpnmr05-33dx9VLCGIT+4Q1iCOyYsQ
NEW DEADLINE Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05), A Serebrenik

July 01, 2005

Final Call for Participation: ForTIA Industry Day at FM'05, events-admin-UYyDbajZw9Ng9hUCZPvPmw
PhD studentship, Hayo Thielecke
PhD position in Monadic Computational Logics, Lutz Schroeder
Call for Papers: APAL Special Issue on Game Semantics, Dan Ghica

News | FAQ | advertise