science.types (date)

science.types (date)

February 25, 2005

Announcement: TYPES Summer School, August 15 - 26, Bengt Nordström

February 24, 2005

MKM 2005 (Mathematical Knowledge Management) first Call for Papers, Michael Kohlhase
RTA'05: 1st Call for Participation, Ralf Treinen
RDP 2005 Call for Participation, Hasegawa Masahito
uses of higher-order/applicative functors in practice, Derek Dreyer

February 23, 2005

SPIN 2005 Call for Papers, god-zWi12Q5vYqaakBO8gow8eQ
PhD positions, theory, Philippa Gardner
CFP: GPCE'05 -- Generative Programming and Component Engineering, Eelco Visser
ICLP 2005: Call for Workshops, ICLP 2005

February 21, 2005

Etaps Workshop on Games for Logic and Programming Languages, Dan Ghica
Job Advert, N Ghani
Re: Terminology in operational semantics, Arend Rensink
ETAPS Workshop on the Grand Challenge of Software Verification, Peter O'Hearn
Paper Announcement: Free Boolean Categories, Francois Lamarche
CFP: Iaugural Issue of the International Journal of IT & Web Engineering, Hamdi Yahyaoui

February 18, 2005

mapping oo structural to name (sub)types, Sophia Drossopoulou
Midlands Graduate School, Paul B Levy
Announcement: APPSEM-II Summer School, Sep 8-12, Hans-Wolfgang Loidl
Re: Terminology in operational semantics, David Hopwood

February 17, 2005

Re: Complexity of row unification, Henning Makholm
CADE-20: final call for papers, Brigitte Pientka
Re: Terminology in operational semantics, sanjiva-iYJspoae9e62cYYX7Tv7sP8+0UxHXcjY
Re: Complexity of row unification, Francois Pottier
ATVA 2005: Announcement and Preliminary Call for Papers, Yih-Kuen Tsay
Book announcement: Advanced Topics in Types and Programming Languages, Benjamin Pierce
PhD and Postdoc positions available at INRIA Grenoble for Kell Calculus research, Alan Schmitt

February 16, 2005

SOS 2005: Call for Papers, sos2005-KujIM1l7rAGFxr2TtlUqVg
CFP: KAZAM workshop, Hayo Thielecke
Re: Terminology in operational semantics, Roy L. Crole
Sixth Annual IBM Programming Languages Day (Call for Presentations), Mukund Raghavachari
POSTDOCTORAL POSITION IN CERTIFIED ANALYSIS OF SOFTWARE, Thomas Genet
Complexity of row unification, Henning Makholm
cfp: COSMICAH 2005, Dino Distefano
Terminology in operational semantics, Johan Glimming
CMSB 2005: Second Announcement, gdp-9iOJEv++55WFxr2TtlUqVg
CFP: Intuitionistic Modal Logic and Applications (IMLA'05), Frank Pfenning
PPDP 2005 Submission Deadline Extended to February 22, Amy Felty

February 10, 2005

ICLP 2005 Doctoral Consortium: Call for Applications, ICLP 2005

February 09, 2005

CfP: Graph Transformation for Verification and Concurrency (Concur 2005 satellite), Arend Rensink
ARSPA'05: Workshop on Automated Reasoning for Security Protocol Analysis (co-located with ICALP'05), lvigano-gy3b+zu4XSAfv37vnLkPlQ

February 07, 2005

MKM 2005 (Mathematical Knowledge Management) first Call for Papers, Michael Kohlhase

February 04, 2005

UNIF'05 Deadline Extended, Pawel Urzyczyn
1st CFP - ICFEM '05 -, Taguchi
International M.Sc. Program in COMPUTATIONAL LOGIC, Int. Center for Computational Logic

February 01, 2005

LICS Workshop on Quantum Programming Languages, Peter Selinger

News | FAQ | advertise