science.types (date)

science.types (date)

December 31, 2005

CFP: Combining Theory and Systems Building in Pervasive Computing, hilde-YidNj35/HaM
summer school on concurrency, jv-nuFhL+xPIxPV1CgomF1qdQ

December 30, 2005

Splitting types into types-announce and types-discuss, Nathaniel Gray

December 23, 2005

Re: stricter moderation...?, Radu Grigore
Re: Limited use of negation types?, Alain Frisch
Re: Limited use of negation types?, Neelakantan Krishnaswami
Re: Limited use of negation types?, Carl Eastlund
Re: stricter moderation...?, Carl Eastlund
Limited use of negation types?, Jim Apple

December 22, 2005

Re: stricter moderation...?, Stephanie Weirich
Re: stricter moderation...?, William Lovas
Re: stricter moderation...?, David J. Pym
research positions 2005-14, D.FILROM - CARLOS MARTIN VIDE
MFCS'06 - call for papers, Pawel Urzyczyn
Re: stricter moderation...?, Geoffrey Alan Washburn
Re: stricter moderation...?, David Teller
Re: stricter moderation...?, Benjamin Pierce
Re: stricter moderation...?, Benjamin Pierce
Int. Conference on Emerging Trends in Information and Communication Security 2006 - Submission deadline: January 22, 2006, types-list-5Ct/+cvLAjbddJNmlsFzeA
Re: stricter moderation...?, Philip Wadler
Re: stricter moderation...?, Tim Sweeney
Re: stricter moderation...?, Matthias Felleisen
Second call for papers - DAIS 2006, DAIS'06
Re: stricter moderation...?, Thorsten Altenkirch
stricter moderation...?, Laurent Regnier
Re: stricter moderation...?, Eijiro Sumii
Re: stricter moderation...?, David J. Pym

December 21, 2005

Re: stricter moderation...?, Stephanie Weirich
stricter moderation...?, Eijiro Sumii

December 20, 2005

CiE 2006 - Student Grants and grants for researchers from the former Soviet Union, Ulrich Berger
EAAI'06 cfp, Francesco Ranzato
AMAST06 CFP (Feb closing date), Michael Johnson
11th Est. Winter School in Comp. Sci., Call for Participation, Tarmo Uustalu
FMOODS 06: 2nd Call for Papers, Martin Steffen
lambda-mu, mahmoud abou ghaly

December 15, 2005

ETAPS 2007: Call for Satellite Events, Joost Visser
CFP: STRATEGIES 06, Cesar A. Munoz
Fundamenta Informaticae: special issue on the Logic for Pragmatics (call for papers), Tristan Crolard
Second call for papers - DAIS 2006, DAIS'06
PLAN-X 2006: Call for Participation, Anders Møller

December 14, 2005

POPL 06: Final Call for Participation, David Walker

December 09, 2005

Call for papers -- FOAL 2006: Foundations ofAspect-Oriented Languages, Ralf Lammel

December 08, 2005

Extended Deadline: QAPL'06 (ETAPS Satellite, Vienna), Herbert Wiklicky
goedel prize 2006 (deadline for nominations Jan. 31, 2006), Pierre-Louis Curien

December 07, 2005

CfP: International Conference on Emerging Trends in Information and Communication Security 2006, types-list-5Ct/+cvLAjbddJNmlsFzeA
CMCS 2006, Neil X Ghani

December 06, 2005

SPACE 2006: Call for Participation, Richard Jones

December 05, 2005

Re: Semantics of Intersection Types, Adriana Compagnoni
Positions in IT Security at Siemens Corporate Technology, Munich, Germany, David von Oheimb

December 02, 2005

[Fwd: Re: Semantics of Intersection Type], Adriana Compagnoni
Re: Semantics of Intersection Type, Simona Ronchi Della Rocca
Re: Semantics of Intersection Type, Gerard Boudol

News | FAQ | advertise