science.types (date)

science.types (date)

March 31, 2005

[verimag-news ] FMCO 2005: preliminary call for papers, Susanne Graf
PhD position in formal mathematics at RU Nijmegen, Freek Wiedijk

March 30, 2005

call for papers ML Workshop 2005, Xavier Leroy
CLIMA VI :: Final Call for Papers and Tutorial Programme, Unknown

March 28, 2005

FInCo 2005 (April 9): CALL FOR PARTICIPATION, Goldin, Dina
Job advert: Lecturership, Edinburgh, Julian Bradfield

March 25, 2005

Call for Papers for the Sixth Tbilisi Symposium on Language, Logic and Computation, Paul Dekker

March 23, 2005

Rigorous HOL specification for TCP, UDP, and Sockets, Peter Sewell
CFP: Developments on Computational Models (satellite of ICALP 05), Maribel Fernandez
PAT2005 Summer School Announcement, Jesper Andersen
Final CFP: GPCE'05 -- Generative Programming and Component Engineering, Eelco Visser
Type inference and principal typings for record concatenation and mixin modules, Henning Makholm

March 21, 2005

Coordination 2005: Grants, Jean-Marie JACQUET

March 18, 2005

CFP: International Conference AUTOMATED SOFTWARE ENGINEERING, Yunwen Ye
Algebraic Process Calculi: Call for Participation, Wan Fokkink
ESSLLI 2005 registration Now open, Fairouz Kamareddine
Structures and Deduction Workshop 2nd cfp - ICALP'05 Satellite, Paola Bruscoli
CfP: Curry and Functional Logic Programming 2005, Michael Hanus

March 17, 2005

ICLP 2005: Call for Workshops, ICLP 2005
The POPLmark Challenge, Peter Sewell
ARSPA'05: Workshop on Automated Reasoning for Security Protocol Analysis (NEW: ENTCS publication of proceedings), lvigano-gy3b+zu4XSAfv37vnLkPlQ
Small types workshop: Constructive analysis, types and exact real numbers., Bas Spitters

March 16, 2005

PhD studentships, Paul B Levy
Second CfP: MKM 2005 (extended deadline: May 15), Michael Kohlhase
Express'05 First CFP, Iain Phillips
UNIF'05 Call for Participation, Pawel Urzyczyn
FCS05: Foundations of Computer Security - deadline extended, Andrei Sabelfeld

March 14, 2005

[CFP] MICAI-2005, Mexican International conference on ARTIFICIAL INTELLIGENCE (Springer LNAI), Alexander Gelbukh

March 11, 2005

ICFP 2005 - Final Call for Papers, Benjamin C. Pierce

March 10, 2005

Coordination 2005: First call for participation, Stephanie Weirich

March 09, 2005

LICS 2005: Call for Short Presentations, Alex Simpson

March 05, 2005

FACS'05 Call for Papers, Luis Barbosa

March 03, 2005

Workshop on Lambda Calculus, Type Theory and Natural Language, Maribel Fernandez
Summer School on Reliable Computing: Call for Participation, Steve Zdancewic
TLCA 2005 Call for Participation, Hasegawa Masahito

March 02, 2005

CLIMA VI :: First Call for Papers, Unknown

March 01, 2005

CfP: 3rd International Workshop on Formal Aspects in Security and Trust (FAST2005), Fabio Martinelli

News | FAQ | advertise