science.types (thread)

Positions available in the EDOS project, Roberto Di Cosmo
AVIS'05 Call for Papers (Deadline Extended), Supratik Mukhopadhyay
Reg Axioms of pure type systems, Param Jyothi Reddy
- Re: Reg Axioms of pure type systems, Param Jyothi Reddy
  - Re: Reg Axioms of pure type systems, Thorsten Altenkirch
Acknowledgements, Rene Vestergaard
TLCA'05 Accepted papers, tlca05-Q8V+/IQ443oFrruU7OxjDg
WoLLIC'2005 - CfP, Ruy de Queiroz
First Call for Papers RE'05, Selmin Nurcan
TIME'05 Last Call for Papers, David Toman
ICFP 2005 - Call for Papers, Benjamin Pierce
Research positions in Network Semantics, University of Cambridge, Peter Sewell
Final CFP and announcement of speaker for FOUNDATIONS OF INTERACTIVE COMPUTATION, Goldin, Dina
Ph.D. scholarships at the IT University of Copenhagen, Lars Birkedal
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
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
Two technical reports on inference/translation methods of, Martin Sulzmann
TLDI 05 Call for Participation, David Walker
CHAIR POSTS - UNIVERSITY OF DURHAM, Susan Bates
AVIS'05 Call for Papers, Supratik Mukhopadhyay
Coordination 2005: Last call for papers, Jean-Marie JACQUET
CLIMA VI :: First Call for Papers, Unknown