science.types (date)

science.types (date)

November 30, 2005

Re: Semantics of Intersection Type, DeLiguoro Ugo

November 29, 2005

SPACE 2006 registration, Richard Jones
Re: Semantics of Intersection Type, Kenneth Louden

November 28, 2005

Re: Semantics of Intersection Type, Arend Rensink
Re: Semantics of Intersection Type, Steffen van Bakel
Semantics of Intersection Type, Hongseok Yang

November 26, 2005

[ECOOP 2006 / Final CFP / D - 3 weeks], Olivier Roux

November 22, 2005

Lisbon positions in quantum computation and information, Amilcar Sernadas

November 21, 2005

postdoc at Oxford, Oege de Moor

November 19, 2005

postdoc on component-based embedded systems at Verimag (France), Radu Iosif

November 17, 2005

Re: normalization and programming languages, François-Régis Sinot
Re: normalization and programming languages, François-Régis Sinot

November 16, 2005

Re: normalization and programming languages, Barry Jay
MPC 2006 First Call for Papers, Tarmo Uustalu
Re: normalization and programming languages, Andrew Kennedy
Re: normalization and programming languages, Jon Fairbairn
Re: normalization and programming languages, Yong Luo
Re: normalization and programming languages, Pawel Urzyczyn
Re: normalization and programming languages, Thorsten Altenkirch
Re: normalization and programming languages, Rene Vestergaard
Re: normalization and programming languages, Joe Wells
Research position at University of Birmingham, Dan Ghica
normalization and programming languages, Gerard Boudol

November 15, 2005

RTA'06: 1st Call for Papers, Frank Pfenning

November 14, 2005

QAPL 2006 - call for papers, Bernhard K. Aichernig

November 13, 2005

Call For Papers - ICLP 2006, A Serebrenik
CiE06: 2nd Call for Papers, Ulrich Berger
SAS 2006: First Call for Paper, Kwangkeun Yi

November 11, 2005

CfP LDTA 2006, Eric Van Wyk
FLOPS 2006 Deadline Extended to November 18, Yoshihiko Kakutani

November 10, 2005

ICALP 2006 -- Call for Affiliated Workshops, Convegno ICALP '06

November 09, 2005

postdoc opening in VERIMAG, Grenoble (France), Radu Iosif

November 08, 2005

WRLA 2006 CFP submission deadline November 11, wrla06-1VPwtPCARB1BDgjK7y7TUQ

November 07, 2005

REMINDER: Proposals for workshops (ICFP '06) due this Friday!, Matthias Blume
QAPL'06 (ETAPS Satellite): Call for Papers, Herbert Wiklicky
TYPES 2006 workshop, Thorsten Altenkirch

November 04, 2005

POPL 2006 Call for Participation, David Walker
PODS 2006 Call For Papers, Stijn Vansummeren
CSL'06 CALL FOR PAPERS, Computer Science Logic '06 Conference
Ackermann Award, csl06-p4MUbJqB5LmPstMMyx8rHA

November 03, 2005

CfP: Applied Semantics, Special Issue of J of TCS, Hans-Wolfgang Loidl

November 02, 2005

Call for papers and workshop proposals - DAIS 2006, DAIS'06

November 01, 2005

1st CfP ESSLLI 2006 STUDENT SESSION, J. Huitink

News | FAQ | advertise