science.types (date)

science.types (date)

June 30, 2005

Book Announcement: A Theory of Distributed Objetcs, Gerstner, Ralf, Springer DE
research vacancies in Amsterdam (VU, CWI) and Utrecht, Roel de Vrijer
postdoc position: semantics of nondeterminism, Paul B Levy
Developments in Computational Models (DCM'05) - Call for Participation, Maribel Fernandez

June 29, 2005

CFP for CICLOPS 2005, Fernando Silva
POPL 06: now accepting submissions, David Walker
COSMICAH 2005: Call for participation, Dino Distefano
MathSAT: PhD positions at ICT-Trento, Alessandro Cimatti

June 27, 2005

MKM 2005 Program and Final Call for Participation (Early Registration Deadline ends Monday), Michael Kohlhase
ARSPA'05: Call for Participation, AVISPA

June 25, 2005

PLID'05 call for contributions and participation, David Clark

June 23, 2005

CfP: SAS'05 - 12th International Static Analysis Symposium, Herbert Wiklicky
Re: SOS 2005: Programme, iu3-KujIM1l7rAGFxr2TtlUqVg
7th GPCE Young Researchers Workshop Deadline: June 30, 2005, GPCE YRW Organizers

June 21, 2005

FLoC 2006: Call For Workshop Proposals, Kreutzer + Schweikardt

June 20, 2005

Intelligent Cybernetic Systems Journal Call For Papers, xiaochun cheng
PhD studentship, Probabilistic Model Checking with PRISM, Marta Kwiatkowska
Research Fellowships in Databases and Digital Curation, University of Edinburgh, James Cheney

June 18, 2005

CFP: M4M-4 (Methods for Modalities 2005), Holger Schlingloff
Lectures on Categorical structures for system modelling, Markus Michelbrink
Call for Papers: FACS'05 - Macao, Bernhard K. Aichernig

June 17, 2005

CPSec 2005: Extended Submission Deadline, Stefano Bistarelli
Re: type-sensitive CFA?, Paul A. Steckler

June 16, 2005

Professor Eiichi Goto, Bruno Buchberger

June 15, 2005

CFP --- LPAR 2005 WS: Empirically Successful Automated Reasoning in Higher-Order Logic (ESHOL), Christoph Benzmueller
PDPAR'05 call for participation, Alessandro Cimatti
Calculemus 2005 Call for Participation, William Farmer
CfP: The 5th OOPSLA Workshop on Domain-Specific Modeling, Jonathan Sprinkle
Job: Lectureship, Alexander Kurz
Call for contributions: Industrial Session at the Applied Semantics (APPSEM) Workshop, John Hughes
CATS'06 - call for papers, cbj-IuPLbuXCSHZWG/WdbR7gnQ
The AVISPA Tool v.1.0 - Official release, AVISPA
SEFM 2005 Call for Participation, Wolfgang Ahrendt

June 14, 2005

REMINDER: ASE05 calls for Tutorial, Workshop, Doctoral Symposium and Demo are due Jun 17, Yunwen Ye
Second MetaOCaml Workshop: Final CFP, Kedar Swadi
CFP: Library-Centric Software Design - LCSD'05, Jaakko Järvi

June 13, 2005

CFP: PLAN-X 2006, Giuseppe Castagna

June 10, 2005

CPSec workshop, Stefano Bistarelli
ICFP 2005 - Accepted papers, Benjamin Pierce

June 09, 2005

CSL'05 Call for Participation, Andrzej Murawski
First release of AlphaCaml, Francois Pottier
CONCUR 2005: Call for Participation, CONCUR 2005 Announcements

June 07, 2005

[GDV 2005] Call for Participation, Rupak Majumdar
FINAL CALL FOR ESSLLI05 registration, Fairouz Kamareddine
SAVCBS'05 **** DEADLINE EXTENSION ****, Dimitra Giannakopoulou

June 06, 2005

ICLP 2005: Call for Posters, ICLP 2005
PhD Studentships at Swansea University, Prof Faron G Moller
sabbatical positions: 2005-10, Carlos Martin-Vide

June 04, 2005

Re: type-sensitive CFA?, Josef Svenningsson

June 03, 2005

SCOOL, Michael Hicks
Re: type-sensitive CFA?, John Reppy
Re: type-sensitive CFA?, Nadia Tawbi

June 02, 2005

Job offer in Munich in Theoretical Computer Science, Ralph . Matthes-8CdL1Ux1Ca+ELgA04lAiVw
type-sensitive CFA?, John Reppy

June 01, 2005

Call for Participation: GPCE'05 - Generative Programming and Component Engineering, Eelco Visser
Call for papers: MoveLog05, James Lipton
Reduction of Martin-Loef type theory with the logical framework to one without it, anton setzer

News | FAQ | advertise