science.types (thread)

LOPSTR'05 call for papers, P M Hill
CFP - Advanced Studies in Mathematics and Logic, Ricercapopolare
ETAPS 2005: CALL FOR PARTICIPATION, David Aspinall
terminology for different kinds of proof terms?, Joe Wells
- Re: terminology for different kinds of proof terms?, Carl Eastlund
- Re: 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
Deadline extended: FMOODS'05 (abstracts 24.Jan.05, papers 1.Feb.05), Martin Steffen
Call for Papers MMM_ACNS-05, pc-mmmacns05
ESSLLI'05 Student Session: 2nd Call for Papers, Judit Gervain
ICLP 2005: Call for Papers, ICLP 2005
Games for Logic and Programming Languages: Deadline Extension, Dan Ghica
Constructive Logic for Automated Software Engineering (CLASE) at ETAPS deadline extension, Iman Hafiz Poernomo
- CFP: INFINITY 2005, Scott Smolka
- 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
TIME'05 Last Call for Papers (extended deadline), David Toman
ICALP'05 Invited Speakers and Workshop Announcements, Luis Caires
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
PhD positions+weblink, smriis-9gaWkGYbp/DQzY9nttDBhA
FGJ interpreter, Alexandra Stefan
- Re: FGJ interpreter, Burak Emir
- Re: FGJ interpreter, Matthias Felleisen
Structures and Deduction Workshop CfP - ICALP '05 Satellite, Paola Bruscoli
CfC: GPCE'05 - Generative Programming and Component Engineering, Eelco Visser
Research Fellow/Postdoc (UOttawa), P. Scott
CFP - CSFW18 - Aix-en-Provence, Roberto Amadio
MTCoord'05: First call for papers, Isabelle Linden