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