science.types (date)

science.types (date)

December 30, 2004

Re: Reg Axioms of pure type systems, Thorsten Altenkirch
Re: Reg Axioms of pure type systems, Param Jyothi Reddy

December 29, 2004

Positions available in the EDOS project, Roberto Di Cosmo
AVIS'05 Call for Papers (Deadline Extended), Supratik Mukhopadhyay

December 27, 2004

Reg Axioms of pure type systems, Param Jyothi Reddy

December 23, 2004

Acknowledgements, Rene Vestergaard

December 22, 2004

TLCA'05 Accepted papers, tlca05-Q8V+/IQ443oFrruU7OxjDg
WoLLIC'2005 - CfP, Ruy de Queiroz

December 21, 2004

First Call for Papers RE'05, Selmin Nurcan

December 20, 2004

TIME'05 Last Call for Papers, David Toman

December 18, 2004

ICFP 2005 - Call for Papers, Benjamin Pierce

December 16, 2004

Research positions in Network Semantics, University of Cambridge, Peter Sewell

December 15, 2004

Final CFP and announcement of speaker for FOUNDATIONS OF INTERACTIVE COMPUTATION, Goldin, Dina

December 14, 2004

Ph.D. scholarships at the IT University of Copenhagen, Lars Birkedal

December 13, 2004

FOOL 2005: Invitation to participate, Philip Wadler
Tenure track position open at Wesleyan, USA (in CS), James Lipton
Distributed Event-based Systems (DEBS'05): Call for Papers, Juergen Dingel

December 10, 2004

2nd Call for papers: 6th International Workshop on Rule-Based Programming RULE'05, Horatiu Cirstea
PLAN-X (Call for Participation), Haruo HOSOYA
CFP: VEE 2005, Michael Hicks

December 09, 2004

Two technical reports on inference/translation methods of, Martin Sulzmann

December 08, 2004

TLDI 05 Call for Participation, David Walker

December 06, 2004

CHAIR POSTS - UNIVERSITY OF DURHAM, Susan Bates
AVIS'05 Call for Papers, Supratik Mukhopadhyay

December 03, 2004

Coordination 2005: Last call for papers, Jean-Marie JACQUET

December 02, 2004

CLIMA VI :: First Call for Papers, Unknown

News | FAQ | advertise