science.types (date)

science.types (date)

January 28, 2005

LOPSTR'05 call for papers, P M Hill
CFP - Advanced Studies in Mathematics and Logic, Ricercapopolare
Re: terminology for different kinds of proof terms?, Joe Wells
ETAPS 2005: CALL FOR PARTICIPATION, David Aspinall
Re: terminology for different kinds of proof terms?, Carl Eastlund

January 26, 2005

terminology for different kinds of proof terms?, Joe Wells
PPDP 2005 Second Call for Papers, Amy Felty
Postdoctoral position in coordination languages and web services, Jean-Marie JACQUET
FCS05: Foundations of Computer Security - call for papers, Andrei Sabelfeld

January 19, 2005

Constructive Logic for Automated Software Engineering (CLASE) at ETAPS deadline extension, Iman Hafiz Poernomo
Deadline extended: FMOODS'05 (abstracts 24.Jan.05, papers 1.Feb.05), Martin Steffen
Call for Papers MMM_ACNS-05, pc-mmmacns05

January 18, 2005

ESSLLI'05 Student Session: 2nd Call for Papers, Judit Gervain
CFP: INFINITY 2005, Scott Smolka
ICLP 2005: Call for Papers, ICLP 2005
Games for Logic and Programming Languages: Deadline Extension, Dan Ghica

January 14, 2005

Constructive Logic for Automated Software Engineering (CLASE) at ETAPS deadline extension, Iman Hafiz Poernomo
SCP special issue on Foundations of AOP --- Last CFC + Deadline extension, Ralf Laemmel
New paper and questions/answers web page for Poly*, a retargetable polymorphic type system for mobility calculi, Henning Makholm
FOAL 2005 Deadline Extended, Curtis Clifton

January 13, 2005

TIME'05 Last Call for Papers (extended deadline), David Toman

January 12, 2005

ICALP'05 Invited Speakers and Workshop Announcements, Luis Caires

January 11, 2005

Goedel prize 2005, Curien Pierre-Louis
CFP: CLASE at ETAPS deadline extension, Iman Hafiz Poernomo
SFM-05:Moby -- spring school on mobile computing (2nd cfpart), Marco Bernardo

January 10, 2005

Re: FGJ interpreter, Matthias Felleisen
Re: FGJ interpreter, Burak Emir

January 09, 2005

PhD positions+weblink, smriis-9gaWkGYbp/DQzY9nttDBhA
FGJ interpreter, Alexandra Stefan

January 07, 2005

Structures and Deduction Workshop CfP - ICALP '05 Satellite, Paola Bruscoli

January 06, 2005

CfC: GPCE'05 - Generative Programming and Component Engineering, Eelco Visser
Research Fellow/Postdoc (UOttawa), P. Scott
CFP - CSFW18 - Aix-en-Provence, Roberto Amadio

January 04, 2005

MTCoord'05: First call for papers, Isabelle Linden

News | FAQ | advertise