2003 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Wed Sep 17 14:26:00 EST 2003
Ending: Tue Dec 30 02:02:35 EST 2003
Messages: 78

• [Types-list] CMCS '04, FIRST ANNOUNCEMENT, CALL FOR PAPERS   Frank Rust
• [Types-list] ESOP 2004, Barcelona: Call for Papers   Dave Schmidt
• [Types-list] Special Issue on Types in Concurrency for ACTA INFORMATICA   Davide Sangiorgi
• [Types-list] E-Cap2004_Italy Call for papers   Lorenzo Magnani
• RTA'04: call for papers   Femke van Raamsdonk
• 9th Estonian Winter School in Comp. Sci., 1st call for partic.   Tarmo Uustalu
• AlphaProlog 0.3 releae announcement   James Cheney
• Subject: CFP: Computer Aided Verification (CAV) 2004, Boston, MA   Doron Peled TMP ACCT
• Call for papers: Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04)   Sergio Antoy
• query: models of CIC   Thorsten Altenkirch
  • query: models of CIC   Milad Niqui
• query: models of CIC   Milad Niqui
• CFP: 10th Conference on Category Theory and Computer Science (CTCS 2004) and Summer School   Thomas Hildebrandt
• Software Security Track at HASE'2004: CFP   Supratik Mukhopadhyay
• AVIS'04 Call for Papers   Supratik Mukhopadhyay
• Workshop on Lambda-Calculus, Type Theory and Natural Language   Maribel Fernandez
• addendum to models of CIC   Thomas Streicher
• query: models of CIC   Thomas Streicher
• addendum to models of CIC   Thorsten Altenkirch
• United States Midwest Region: MSPLS Workshop on November 15   Matthias Blume
• LICS 2004 - Call for Papers   Alex Simpson
• ICLP'04 (International Conference on Logic Programming) -- First Call For Papers   Arnaud Gotlieb (sanspub)
• ICLP'04 -- Call For Workshops Proposals   Arnaud Gotlieb
• ICLP03: Call for participation   Jan-Georg Smaus
• WoLLIC'2004 - Call for Papers   Ruy de Queiroz
• position announcement again (in text form)   larry moss
• DAIS-FMOODS 2003 - Paris 18-21 Nov - 2nd Call for Participation   dncr
• Forward of moderated message (fwd)   Stephanie C. Weirich
• NASSLLI04 Call for Proposals   Marcus Kracht
• research position at the University of Innsbruck   Aart Middeldorp
• ASIAN'03 -- Call for Participation   Kazunori UEDA
• TPHOLs: Call for papers   Konrad Slind
• POPL 04 Call for Participation   David Walker
• ECOOP 04 Call for Contributions   Martin Odersky
• Preliminary CFP: GPCE'04 -- Generative Programming and Component Engineering   Eelco Visser
• CfP: ESSLLI'04 Student session   Paul Egré
• Program announcement and call for participation   Fairouz Kamareddine
• CFP: PASTE 2004 - Program Analysis for Software Tools and Engineering   Andreas Zeller
• equational proof checker for lambda calculus?   jhines at haverford.edu
• WRLA 2004 - Last call for papers (EXTENDED DEADLINE)   alberto at sip.ucm.es
• (no subject)   Philip Wadler
• Public release of the Triveni concurrent programming framework for Java   Konstantin L ä ufer
• Cut-Elimination in Linear Logic (was: (no subject))   Frank Pfenning
  • Cut-Elimination in Linear Logic   Philip Wadler
• equational proof checker for lambda calculus?   Mitchell Wand
• graduate student positions, Ottawa   Peter Selinger
• equational proof checker for lambda calculus?   Gérard Huet
• equational proof checker for lambda calculus?   Michael Norrish
• question from Phil Wadler re cut/linear logic   Jeremy DAWSON
• equational proof checker for lambda calculus?   Klaus Ebbe Grue
• equational proof checker for lambda calculus?   Thorsten Altenkirch
• New technicl report   Matthew Hennessy
• Cut-Elimination in Linear Logic   Philip Wadler
  • Cut-Elimination in Linear Logic   sanjiva at cse.iitd.ernet.in
• Cut-Elimination in Linear Logic   sanjiva at cse.iitd.ernet.in
• TCS 2004   Jean-Jacques Levy
• Call for submissions - SASYFT2004   Siva Anantharaman
• thanks, and generating simply-typed terms   jhines at haverford.edu
• PLAN-X 2004 Call for Participation   Michael I. Schwartzbach
• interview with Robin Milner   Martin Berger
• === FOOL 2004 - Call for Participation   Sophia Drossopoulou
• CW'04 Call for Participation   Hayo Thielecke
• Conference on TeX, XML and Digital Typopography   Apostolos Syropoulos
• nominations for Goedel Prize 2004   Pierre-Louis Curien
• Mathematics of Program Construction   Jeremy.Gibbons at comlab.ox.ac.uk
• TIME 2004 Symposium - call for papers   Carlo Combi
• Tech report: "Cut Elimination for a Weakly Typed Higher Order Logic"   Jamie Andrews
• CFP FOAL 2004: Foundations of Aspect-Oriented Languages   Curtis Clifton
• LICS 2004: 2nd CFP   Alex Simpson
• PPDP 2004: 1st Call for Papers   Fausto Spoto
• SAS 2004: 1st Call for Papers   Fausto Spoto
• PEPM 2004: 1st Call for Papers   Fausto Spoto
• LOPSTR+PEPM+PPDP+SAS 2004: Call for Workshop Proposals   Fausto Spoto
• Linear Logic and Noncommutativity in the Calculus of Structures   Lutz Strassburger
• FOOL 2004 Preliminary Program   Sophia Drossopoulou
• First CFP: GPCE'04 -- Generative Programming and Component Engineering   Eelco Visser
• Polyglot extensible compiler framework release 1.1.1   Andrew Myers
• CATALOG'04: first CFP   Jonathan Ginzburg

Last message date: Tue Dec 30 02:02:35 EST 2003
Archived on: Tue Dec 30 10:07:02 EST 2003

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...