science.types (date)

science.types (date)

August 31, 2005

Postdoc at the Center for Embedded Systems for Critical Applications (CESCA), Stephanie Weirich
workshop on invertibility of terms, Sergei SOLOVIEV

August 30, 2005

ACM PODS 2006, first call for papers, Stijn Vansummeren
UPDATE: NWPT05 Annoucenment, Jesper Andersen

August 29, 2005

[verimag-news ] FMCO 2005: Call for Tutorial Papers, Susanne Graf
Job: Postdoc (two years), ak155-KujIM1l7rAGFxr2TtlUqVg
CFP: MSCS special issue on Developments in Computational Models, Maribel Fernandez

August 25, 2005

APLAS 2005 -- Call For Posters, Hongseok Yang

August 23, 2005

2nd Workshop on Lambda-Calculus, Type Theory and Natural Language --- Call for Participation, Maribel Fernandez
FroCoS'05: Call for Participation (Early Reg. Deadline: Sept. 1, 2005), Bernhard Gramlich
Second Announcement-Octoberfest '05, P. Scott
5th International PhD School in Formal Languages and Applications 2005-2007, Carlos Martin-Vide

August 22, 2005

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

August 20, 2005

*Extended Deadline* ASE WS "Software Certificate Management", Bernd Fischer

August 19, 2005

PLID 2005 call for participation, David Clark

August 18, 2005

postdoc position: arbitrary precision geometric computation, Michal Konecny

August 17, 2005

ACM SAC 2006 CFP: Software Verification Track, Lunjin Lu

August 15, 2005

Research positions in Mobility and Security at Edinburgh, Ian . Stark-5WhEfG1TI8k
A message from the moderator, Stephanie Weirich
NETCA Workshop - Final Call for Participation, Hanne Gottliebsen

August 13, 2005

IJCAR 2006: Call For Papers (CFP), Sergey Berezin
CFP WRLA06, WRLA Acct (Denker)

August 10, 2005

[verimag-news ] Summer School on "Components & Modelling, Testing & Verification, and Static Analysis of Embedded Systems", Susanne Graf

August 09, 2005

CFP: TCS special issue on Automated Reasoning for Security Protocol Analysis, vigano-gy3b+zu4XSAfv37vnLkPlQ

August 07, 2005

Last call for registration: GPCE'05 (deadline 2 september), Eelco Visser
AVoCS '05 [Call for Participation], Ranko Lazic

August 04, 2005

ACM PEPM 2006 -- Call For Papers, John Hatcliff
Call for Participation: MoveLog'05, Alwen Tiu

News | FAQ | advertise