science.types (date)

science.types (date)

April 29, 2005

Call for Participation: DAIS-FMOODS 2005 (June 15-17, 2005, Athens), Martin Steffen
Announcement: The Fortress Language Specification, Sukyoung Ryu

April 28, 2005

First CLIMA Contest: participate by May 20, 2005, Unknown
CFP: SAVCBS'05 (Specification & Verification of Component-Based Systems), Dimitra Giannakopoulou

April 27, 2005

Call for participation: Quantum Programming Languages workshop, Peter Selinger
ESCAR in Tallinn, final CFP, geoff-RUaG/XBVoqD2fBVCVOL8/A
[verimag-news ] Call for Participation: CAV 2005, Susanne Graf

April 26, 2005

research positions 2005-9, Carlos Martin-Vide

April 21, 2005

ICLP 2005: Call for Papers, ICLP 2005
FORTE 2005: FIRM deadline extension: Monday 25 April 2005, Farn Wang
DISPROVING 2005, Last Call for Papers, Wolfgang Ahrendt
Program logics for imperative higher-order functions and aliasing., Kohei Honda

April 20, 2005

Final CFP: Bounded Model Checking workshop (BMC'05), Ofer Strichman
IBM PL Day --- schedule and final reminder, Mukund Raghavachari

April 19, 2005

CFP: FOOL/WOOD '06 - Foundations and Developments of Object-Oriented Languages, Christopher A. Stone

April 18, 2005

FroCoS 2005: Last Call for Papers, Bernhard Gramlich
SD05: Deadline extension, Paola Bruscoli
Paper on Dependent Types in Programming, Thorsten Altenkirch

April 15, 2005

Final CFP: Intuitionistic Modal Logic and Applications (IMLA'05), Frank Pfenning
CALCO Young Researchers Workshop (CALCO-jnr 2005), Monika Seisenberger

April 13, 2005

PDMC'05 Deadline Extension, Martin Leucker
CFP - NETCA Workshop on Verification and Theorem Proving for Continuous Systems, Hanne Gottliebsen
RA position at Royal Holloway, Univ of London, Zhaohui Luo
ARSPA'05: Deadline Extended (Workshop on Automated Reasoning for Security Protocol Analysis, co-located with ICALP'05), lvigano-gy3b+zu4XSAfv37vnLkPlQ
GTTSE Summer School: Early registration deadline April 15, GTTSE 2005
Post-doc position in Martin Odersky's group, EPFL, Switzerland, Martin Odersky
PDPAR'05: Submission deadline extended to April 18, 2005, Alessandro Cimatti
Call for Papers - ICTAC05 (Hanoi), Bernhard K. Aichernig
research positions 2005-8, Carlos Martin-Vide
Formal Methods 2005: Call for Participation, events-admin-UYyDbajZw9Ng9hUCZPvPmw
Announcing SMT-COMP, Clark Barrett

April 09, 2005

TWO WEEKS LEFT TO CLOSING DOWN OF CHEAP REGISTRATION, Fairouz Kamareddine

April 08, 2005

FINAL CFP: 7th Intl Workshop on Logic & Computational Complexity, Jim Royer
FIT 2005 -- 1st CfP, Jakob Rehof
Haskell workshop 2005: call for papers, Daan Leijen
Post-Doc position at Paris-Nord, Patrick Baillot
Call for Papers: Fifth International Conference on Integrated Formal Methods (IFM 2005), Graeme Smith
Announcement and 1-st CfP Amsterdam Colloquium 2005, Paul Dekker

April 07, 2005

[GDV05] First Call for Papers, Rupak Majumdar
FORTE 2005: Submission deadline extended to April 20, 2005, Farn Wang

April 06, 2005

PhD vacancy at the VU, Roel de Vrijer
CfP WCAT'05 at ECOOP 2005: Coordination and Adaptation Techniques for Software Entities, Carlos Canal
CFP: MERLIN'05 at ICFP'05, Alwen Tiu
CFP: The Second MetaOCaml Workshop, Kedar Swadi
LICS 2005: Call for Participation, Alex Simpson

April 04, 2005

LPNMR'05: Call for Systems and Applications, lpnmr05 . publicity-33dx9VLCGIT+4Q1iCOyYsQ
lectureship at Imperial, Philippa Gardner

April 02, 2005

CLIMA VI :: new deadline April 15, Unknown
IFL'05 - preliminary CFP, Glenn Strong
CfP FOCLASA'05 at CONCUR 2005: Foundations of Coordination Languages and Software Architectures, Carlos Canal

April 01, 2005

CfP: PDMC'05 at ICALP'05, Martin Leucker
Summer School on Reliable Computing -- Revised Registration Date, Steve Zdancewic
ESCAR in Tallinn, 2nd CFP, geoff-RUaG/XBVoqD2fBVCVOL8/A
FLoC 2006 Preliminary Announcement, Kreutzer + Schweikardt
LPAR-12 in Jamaica, geoff-RUaG/XBVoqD2fBVCVOL8/A
7th ECOOP Workshop on Formal Techniques for Java-like Programs, logozzo francesco
second cfp: COSMICAH 2005, Dino Distefano

News | FAQ | advertise