Mail Thread Index

Main Index

(0) Re: typed-based analysis and application,
(0) Type inference without principal types, Jonathan Aldrich
(0) Address changes for me and TYPES, Benjamin C. Pierce
(0) MFPS Call for Papers, Andre Scedrov
(0) Paper available on Java bytecode verific, Zhenyu Qian
(0) paper on functions as pi-calculus proces, Davide Sangiorgi
(0) Announcement, Morten Heine S|rensen
(0) Research Associate Position, Harry Mairson
(0) Research Positions in Logic, Types, and , Fairouz Kamareddine
(0) Re: Type inference without principal typ, Jens Palsberg
(0) Call for Participation - ICFP'98 - Early, Jon Mountjoy
(0) Call for Papers, Robert A.G. Seely
(0) ICCPL-workshop, LICS
(0) Call for Participation - Int. Conf. on F, Jon Mountjoy
(0) Re: STACS'99: Call for Papers, Sophie.Tison
(0) paper on an extension of linear types, KOBAYASHI Naoki
(0) WPAM: Call for Participation, Stephan Diehl
(0) PEPM'99 CFP (reminder), Olivier Danvy
(0) LICS'99: Call for Papers (text & LaTeX), Leonid Libkin
(0) TLCA99 : extended deadline, Typed Lambda-Calculi and Applications
(0) Call for Participation : ASIAN 98, Atsushi Ohori
(0) Lectures on the Curry-Howard Isomorphism, Morten Heine S|rensen
(0) top down type inferece, Daniel Leivant
(0) Lambda Calculus with Explicit Substituti, Sanjiva Prasad
(0) An efficient implementation of type infe, Francois Pottier
(0) URL update for Category group, Montreal , R.A.G. Seely
(0) Re: Lambda Calculus with Explicit Substi, Rene Vestergaard
(0) FSTTCS 98, Call for Participation, 18th FST Fsttcs98 TCS Conf 1998 at IMSc
(0) ECOOP'99 --- Call for Contributions, Vasco Thudichum Vasconcelos
(0) workshop announcement, delia Kesner
(0) position opennings, Kwangkeun Yi
(0) Book: "Theorem Proving with the Real Num, John Harrison
(0) A new proof of the wellfoundednes of the, Tobias.Nipkow
(0) Re: A new proof of the wellfoundednes of, chet
(0) DMTCS'99 and CATS'99 Call for Participat, Paul Bonnington
(0) a repository for CS research, Gopalan Nadathur
(0) An old proof of the wellfoundednes of th, Tobias.Nipkow
(0) International Masters Programme in Compu, CL Advertisement
(0) Static Analysis Symposium '99 (cfp), Agostino Cortesi
(0) Paper announcement: What is a Recursive , Robert Harper
(0) Thesis announcement: Types For Modules, Claudio Russo
(0) Correction: URL for "What is a Recursive, Robert Harper
(0) Recent papers, Guo-Qiang Zhang
(0) Update on FISh and shape, Barry Jay
(0) FLOPS'99 Call for Papers, Aart Middeldorp
(0) Research Positions at BRICS Research Cen, Uffe Henrik Engberg
(0) Call for Papers: ICFP'99, Jon Mountjoy
(0) the strength of the typed lambda calculu, Brian Postow
(0) FMOODS99 Preliminary programme, Alessandro Fantechi
(0) Postdoctoral Fellowship, Samson Abramsky
(0) MFPS deadline extension, Andre Scedrov
(0) Faculty positions at DePaul University, Alan Jeffrey
(0) A paper on pi-calculus types., Kohei Honda
(0) post-doctoral positions, Samson Abramsky
(0) Transparent and opaque interpretations o, Karl Crary
(0) Paper on (CBV) lambda-mu-calculus, G M Bierman
(0) Professorship in Programming Theory, Uni, Magne Haveraaen local
(0) Release of Twelf 1.2 Logical Framework, Carsten Schuermann
(0) Communication errors in the polyadic pi-, Vasco Thudichum Vasconcelos
(0) PPDP'99, Francois Fages
(0) Final program for FOOL 6, Kim Bruce
(0) Positions in Programming Theory, Univers, Magne Haveraaen local
(0) TACAS '99 Accepted Papers, Rance Cleaveland
(0) abstract syntax and variable binding, Daniele Turi
(0) Thesis Announcement: Type Inference with, Dilip Sequeira
(0) CONCUR'99 CFP, Sjouke Mauw
(0) studentship positions, Dave Schmidt
(0) Formalization of COM, Rosziati Ibrahim
(0) Call for Papers - LambekFest, Robert A.G. Seely
(0) Grothendieck Logical Relations., Marcelo Fiore
(0) Postdoc at Penn, bcpierce
(0) call for PPDP workshop proposals, Gopalan Nadathur
(0) CTCS '99 FIRST CALL FOR PAPERS], Martin Hofmann
(0) [CFP] 5th Mobile Object Systems Workshop, Jan.Vitek
(0) Vacancy for Ph.D. student (Netherlands), Herman Geuvers
(0) 6th WoLLIC'99, Ruy de Queiroz
(0) Lectureships in Computer Science, Roy L. Crole
(0) New paper: The Category of Strongly Fini, Ralf Greb
(0) PhD program at Wesleyan, Daniel J. Dougherty
(0) MOD Summerschool on FOUNDATIONS OF SECU, Oscar Slotosch
(0) Papers on Typed Assembly Language, Karl Crary
(0) Anti-Symmetry of Higher-Order Subtyping, Adriana Compagnoni
(0) Maude 1.0 Release, Jose Meseguer
(0) Jobs in computer algebra and reasoning, S.J.Thompson
(0) Re: Yamaha, ChasJDavid
(0) Distributed Systems, Michael B Greenwald
(0) PPDP'99 Call for Papers, Francois Fages
(0) CFP Types Summer School'99, Joelle Despeyroux
(0) categories: TLCA'99 Call for Participati, tlca99.aquila
(0) School on Logic and Computation, Fairouz Kamareddine
(0) MFPS XV Update, Michael Mislove
(0) [SOAP @ ECOOP] Semantics of Objects As P, Uwe Nestmann
(0) TLCA'99 Call for Participation (Text & L, tlca99.aquila
(0) ICFP 99 -- Call for Papers, Didier Remy
(0) Handbook of Automated Reasoning, volunte, Andrei Voronkov
(0) book announcement: Categorical Logic and, Bart Jacobs
(0) New technical reports on coinduction, Jan Rutten
(0) 2nd CFP: Intuitionistic Modal Logic and , Federated Logic Conference 1999
(0) Paper announcement: What is a Recursive , Karl Crary
(0) Spring School on Categorical Methods in , Gradkolleg LI
(0) Paper Announcement: Control Categories a, Peter Selinger
(0) Paper on linear bicategories and non-com, Robert A.G. Seely
(0) FSTTCS '99, First Call for Papers, FSTTCS99
(0) OOSDS'99 Call for Papers, Natalia Ioustinova
(0) *** FLOC-99 --- WORKSHOP AND CONTEST ON , Dieter Hutter
(0) Research scholarships available at Birmi, Marta Z Kwiatkowska
(0) email address change, Robert Kiessling
(0) Paper announcement: Flexible Type Analys, Stephanie Weirich
(0) Re: Paper announcement: Flexible Type An, Barry Jay
(0) School of Logic and COmputation program , Fairouz Kamareddine
(0) summer internships, Andrew Wright
(0) PhD Studentship at Edinburgh, Gordon Plotkin
(0) CTCS '99 (Deadline 23 April 1999), Martin Hofmann
(0) Announcement for ISDT'99, Chen yixiang
(0) [SOAP @ ECOOP] Semantics of Objects As P, Uwe Nestmann
(0) FLOPS'99, Aart Middeldorp
(0) CFP, LPAR'99, Andrei Voronkov
(0) Call For Papers: Logical Frameworks and , Amy Felty
(0) MOS'99 CFP, Jan.Vitek
(0) CFP: Realizability Semantics and Applica, Lars Birkedal
(0) New paper: Union types for semistructure, Benjamin C. Pierce
(0) Revised paper: Behavioral Equivalence in, Benjamin C. Pierce
(0) Position at U. Ottawa, Phil Scott
(0) Call For Papers: HOOTS99 Paris, Sept 199, Andy Gordon
(0) paper on pre-logical relations available, Don Sannella
(0) CTCS'99 Deadline extended till 7 May 199, Martin Hofmann
(0) Logic texts for computer scientists, Benjamin C. Pierce
(0) ICLP99, Logic Programming Rsrch Association
(0) Summary: logic texts for computer scient, Benjamin C. Pierce
(0) Papers by M Hofmann on HOAS & on Linear , Martin Hofmann
(0) Summary: logic texts for computer scient, Mitchell Wand
(0) Lectureship in Computer Science, Roy L. Crole
(0) LPAR'99 deadline extension, Andrei Voronkov
(0) visiting fellowships:, Fairouz Kamareddine
(0) Research positions, Matthew Hennessy
(0) ICLP'99 Workshop: Verification in Logic , J.G.Smaus
(0) British Logic Colloquium 1999, Anuj Dawar
(0) ECOOP'99 - Call for Participation, vv
(0) last CFP Types Summer School'99 - dead-l, Joelle Despeyroux
(0) WoLLIC'99 - Call for Participation, Ruy de Queiroz
(0) Recursive types in polymorphic lambda ca, Philip Wadler
(0) Type soundness issues in Java, Martin Buechi
(0) Re: Type soundness issues in Java, Kim Bruce
(0) RE: Type soundness issues in Java, Don Syme
(1) RE: Type soundness issues in Java, Don Syme

(0) RE: Type soundness issues in Java, Martin Buechi

(0) RE: Type soundness issues in Java, Ole Agesen - SunLabs
(0) Re: Type soundness issues in Java, Phillip M. Yelland
(0) Re: Type soundness issues in Java, David Wragg
(0) SAICSIT'99 call for papers, Philip Machanick
(0) RE: Type soundness issues in Java, Sophia Drossopoulou(Osp. Dezani)
(0) Re: Type soundness issues in Java, Zhenyu Qian
(0) Re: Type soundness issues in Java, Sophia Drossopoulou(Osp. Dezani)
(0) Re: OOSDS99 Call for papers, Natalia Ioustinova
(0) Paper on dependent types with subtyping , Giuseppe Castagna
(0) CfP: Wolam'99, Eike Ritter
(0) Research Position, Gilles Barthe
(0) CATS 2000, First Call for Papers, Bob Edwards
(0) Position announcement, Martin Odersky
(0) Research fellowship at the Computer Scie, Mariangiola Dezani
(0) Paper on Subtyping and Locality in Distr, Nobuko Yoshida
(0) Re: Recursive types in polymorphic lambd, Philip Wadler
(0) CONCUR'99 Call for participation, Sjouke Mauw
(0) Call-For-Participation: PLI 99 = ICFP + , Didier.Remy
(0) PhD Studentship, Zhaohui Luo
(0) IFIP TC1 TCS Conference Y2000 in Japan, ito@ito.ecei.tohoku.ac.jp
(0) Type Fixpoints: Iteration vs. Recursion, Pawel Urzyczyn
(0) "OctoberFest" category theory meeting in, Robert A.G. Seely
(0) New paper: How Good is Local Type Infere, Haruo Hosoya
(0) Static Interpretation of Modules, Martin Elsman
(0) CTCS '99 CALL FOR PARTICIPATION DEADLINE, Martin Hofmann
(0) Posts at Heriot-Watt, Fairouz Kamareddine
(0) Second order logic and recursion, Laszlo Nemeth
(0) Re: Second order logic and recursion, Jonathan P. Seldin
(0) Re: Second order logic and recursion, Tarmo Uustalu
(0) Final CFP: ASIAN'99, Phuket, Dec 10-12, , Roland Yap Hock Chuan
(0) PhD and post-doc positions in formal pro, Thomas Jensen
(0) CFP (reminder): PLI99 = ICFP + PPDP + H, Didier.Remy
(0) Formal Specification of PLAN, Carl Gunter
(0) Faculty Position at Sussex, Matthew Hennessy
(0) British Logic Colloquium 1999, Anuj Dawar
(0) FOOL 7 Workshop - Call for papers, Kim Bruce
(0) Post-FSTTCS Workshop on Mobile Computati, FSTTCS99
(0) job announcement, Thomas Streicher
(0) CTCS `99 Call for Participation, Samson Abramsky
(0) Lectureship in Theoretical Computer Scie, Achim Jung
(1) Call for Participation: HOOTS99, Paris, , Andy Gordon

(0) Haskell99 Call for Participation, Erik Meijer

(0) Paper anouncement, Hongwei Xi
(0) CATS 2000: CALL FOR PAPERS, David A Wolfram
(0) A simple categorical model of predicativ, Olaf Chitil
(0) Re: A simple categorical model of predic, P. Scott
(0) Summary: A simple categorical model of p, Olaf Chitil
(0) PADL00 DEADLINE EXTENSION, Vitor Santos Costa
(0) TCS2000, call for papers, HAGIYA Masami
(0) Research Positions in Semantics, KINOSHITA Yoshiki
(0) Call for Participation: Logical Framewor, Amy Felty
(0) HTML at McGill Maths Dept, R.A.G. Seely
(0) New Paper: Object Closure Conversion, Neal Glew
(0) PhD and Postdoc Positions in Software Te, Erik Meijer
(0) CFP: ISDT'99 Program, Guo Qiang Zhang
(0) Workshop on Generic Programming 2000, ca, Johan Jeuring
(0) ESOP 2000: Call for Papers, Gert Smolka
(0) research positions available, David Naumann
(0) Announcing PVS Version 2.3, Dave Stringer-Calvert
(0) FMOODS 2000 Preliminary Call for Papers, Carolyn Talcott
(0) FMOODS 2000 CFP correction, Carolyn Talcott
(0) New paper: an intuitionistic lambda-calc, Georges Mounier
(0) FOSSACS 2000, Call for Papers, Jerzy Tiuryn
(0) FOSSACS'2000: Call for papers, Marta Z Kwiatkowska
(0) Job Opportunity at INRIA Sophia Antipoli, Isabelle Attali
(0) POPL '00, List of accepted papers, Thomas Reps
(0) Linear types and malloc()-free C, Martin Hofmann
(1) Cfp: Realizability Semantics and Applica, Lars Birkedal

(0) Cfp: Realizability Semantics and Applica, Giuseppe Rosolini

(0) Chair in Computer Science, Roy L. Crole
(0) Journal of Functional Programming, Philip Wadler
(0) MSCS: Special Issue on "Lambda-Calculus , Mariangiola Dezani
(0) CFP PPDP 2000, Franck van Breugel
(0) MPC2000: 5th Int. Conf. on Mathematics o, Jose N. Oliveira
(0) Deadline for ICLP99 early registration/h, Publicity for ICLP 99
(0) SUMMER SCHOOL ON MATHEMATICS OF PROGRAM , Roy L. Crole
(0) Unique Decomposition Categories, Geometr, Esfandiar Haghverdi
(0) ICFP 2000: Call for Papers, Philip Wadler
(0) Paper Announcement: Resource Bound Certi, Stephanie Weirich
(0) PLI 2000: Call for Workshops, Amy Felty
(0) CMCS2000, Horst Reichel
(0) Call for Papers, ICFP 2000 (correction), Philip Wadler
(0) New paper: Featherweight Java, a Core Ca, igarasha
(0) BOOK: Principles of Program Analysis, Flemming Nielson
(0) [CONCUR 2000] Conference Announcement an, Uwe Nestmann
(0) Book announcement, Jean Gallier
(0) ASIAN'99 Preliminary Program (Dec 10-12,, Roland Yap Hock Chuan
(0) PADL'00: Call for Participation, Logic Programming Rsrch Association
(0) Lectureship at Warwick University, UK., Gavin Bierman
(0) Research Associate Position at Leicester, Roy L. Crole
(0) PhD in Informatics (AI, CS, CogSci) at E, rbf
(0) Paper ann.: A Calculus of Order and Inte, Alessio Guglielmi
(0) SAS2000: First Call for Papers, Dave Schmidt
(0) CMS Applied Logic, Announcement, Phil Scott
(0) CFP: Special Journal Issue on Logical Fr, Amy Felty
(0) Position available, Michael Mislove
(0) TCS2000 call for papers, Shinya MIYAKAWA
(0) PADL'00: Call for Participation, Publicity for ICLP 99
(0) Possible amusement, Jon Riecke
(0) FMOODS'2000 cfp, Carolyn Talcott
(0) New lectureship/senior lectureship at No, gmh
(0) WoLLIC'2000, Ruy de Queiroz
(0) Did anyone ever write out a/the type sys, John C Mitchell
(0) Re: Did anyone ever write out a/the type, sbalasubramaniam
(0) Workshop on subtyping & dependent types , Gilles Barthe
(0) Paper Announcement: Assigning Types for , N. Yoshida
(0) causal wrapper types, Peter Sewell
(0) FOOL 7 workshop - call for participation, Martin Abadi
(1) Faculty Positions at DePaul University, Alan Jeffrey

(0) Faculty Positions at DePaul University, Alan Jeffrey

(0) Final CFP: ASIAN'99, Dec 10-12, Phuket, , Roland Yap Hock Chuan
(0) POST-DOC at ENS-LYON, Pierre Lescanne
(0) LICS 2000, Call for Papers, Martin Grohe
(0) New paper: On Inner Classes, Atsushi IGARASHI
(0) Proof General --- Version 3.0 release, David Aspinall
(0) Haskell Workshop, gmh
(0) Positions at the University of Kent, UK, S.J.Thompson
(0) CSL 2000, call for papers, Thorsten Altenkirch
(0) CFP: ITRS '00 (Workshop on Intersection , Joe Wells
(0) Winter Workshop in Logics, Types and Rew, Fairouz Kamareddine
(0) No Subject, Christopher A. Stone
(0) Thesis on type-theory for OOP, Jan Zwanenburg
(0) CTCS '99 Special Issue in TCS, Martin Hofmann
(0) Call for papers, EuroPar2000, Topic Obje, Francoise Baude
(0) PEPT: A Mailing-List for Partial Evaluat, Eijiro Sumii
(0) CONCUR 2000: Call for Papers, Concur2000
(0) Faculty positions, especially in program, Gary T. Leavens
(0) type safety, Philip Wadler
(0) Re: type safety, Matthias Felleisen
(0) Re: type safety, Jon Fairbairn
(0) Re: type safety, Jon Riecke
(1) Re: type safety, Matthias Felleisen

(1) Re: type safety, Jon Fairbairn

(0) Re: type safety, Matthias Felleisen

(0) Re: type safety, Matthias Felleisen
(0) Re: type safety, Corky Cartwright
(1) Re: type safety, Corky Cartwright

(0) Re: type safety, Jon Fairbairn

(0) RE: type safety, Greg Morrisett
(0) Re: type safety, Mark Lillibridge
(0) Re: type safety, Jon Riecke
(0) safety and types, Matthias Felleisen
(0) abstraction power, Matthias Felleisen
(0) Re: type safety, Krishna N V
(0) Re: type safety, Matthias Felleisen
(0) Re: abstraction power, Jon Riecke
(0) RE: type safety, Greg Morrisett
(0) RE: type safety, Corky Cartwright
(0) Static typing disciplines, Corky Cartwright
(0) Re: abstraction power, Matthias Felleisen
(0) RE: type safety, Greg Morrisett
(0) RE: type safety, Kim Bruce
(1) RE: type safety, Hongwei Xi

(0) RE: type safety, Corky Cartwright

(0) RE: type safety, Shriram Krishnamurthi
(0) Re: abstraction power, Shriram Krishnamurthi
(0) RE: type safety, Robert Harper
(0) Re: abstraction power, Matthias Felleisen
(0) two research positions, Barry Jay
(0) Abstraction Power, ohearn
(0) Re: type safety, Matthias Felleisen
(0) RE: Abstraction Power, Greg Morrisett
(0) DML type checking, Corky Cartwright
(0) RE: type safety, Corky Cartwright
(0) Submitting type theory papers to CADE, David McAllester
(0) Announcement: EXTENDED DEADLINE FOR CMC, Jan Rutten
(0) Re: type safety, Frank Pfenning
(0) LFM 2000 (Logical Frameworks and Meta-la, Joelle Despeyroux
(0) Special issue of JFP - Logical Framework, Joelle Despeyroux
(0) A meta language for programming with bou, Andrew Pitts
(0) CFP PPDP 2000, Franck van Breugel
(0) RE: Abstraction Power, Peter O'Hearn
(0) RE: Abstraction Power, Greg Morrisett
(0) functorial lambda calculus, Barry Jay
(0) Europar'2000 Workshop on OO Architecture, Michael Philippsen
(0) new logic programming journal, Krzysztof Apt
(0) Re: type safety, Joe Wells
(1) RE: Abstraction Power, Robert Harper

(0) RE: Abstraction Power, Peter O'Hearn

(0) Paper announcement: Sound and Complete E, Karl Crary
(1) Re: type safety, Jamie Andrews

(0) Re: type safety, Joe Wells

(0) URL for functorial lambda-calculus, Barry Jay
(0) CFP: Implicit Computational Complexity w, Jean-Yves Marion
(0) Winter Workshop in Logics, Types and Rew, Fairouz Kamareddine
(0) Negative results about the power of stat, Allen Stoughton
(0) Paper announcement: Implicitly-Typed Dea, KOBAYASHI Naoki
(0) PS on Negative results about the power o, Allen Stoughton
(0) Call for PhD and Postdoc Grant Applicati, Gradkolleg LI
(0) FICS'2000 Call for Papers, Irene GUESSARIAN
(0) Position announcement, Fairouz Kamareddine
(0) Announcement: PhD-thesis, Lars Birkedal
(0) Applied Semantics Summer School APPSEM'2, Simao Desousa
(0) The LINEAR International Summer School, Nuno Barreiro
(0) FMOODS'2000 cfp, Carolyn Talcott
(0) CFP CADE-17 Workshop "Type-theoretic Lan, Didier Galmiche
(0) Scheme and Functional Programming 2000, matthias
(0) Grad positions available, Richard Blute
(0) Workshop on Domains IV, 1998, Dieter Spreen
(0) FMOODS'2000 cfp - WITH SUBMISSION INSTR, Fmoods Mailbox
(0) CfP: ECOOP 2000 Workshop on Formal Techn, Peter Mueller
(0) New release of Wallace, Francois Pottier
(0) PhD positions available at Heroit-Watt, Fairouz Kamareddine
(0) Tenured posts at Heriot-Watt, Fairouz Kamareddine
(0) CFP PPDP 2000, Franck van Breugel
(0) Call for papers FST TCS 2000, Sanjiva Prasad
(0) HOOTS 2000 Call for Papers, Alan Jeffrey
(0) ICFP 2000, Philip Wadler
(0) EFF foundations school in deduction and , Fairouz Kamareddine
(0) 2nd CFP: ITRS '00 (Workshop on Intersect, Joe Wells
(0) First CFP: Types in Compilation 2000, Robert Harper
(0) PPDP 2000 Deadline Extension, Frank Pfenning
(0) Paper announcement: Dependently Typed Re, Randy Pollack
(0) ICFP 2000: new submission deadline, Philip Wadler
(0) FMOODS 2000 Submission Deadline Extensio, Fmoods Mailbox
(0) Haskell Workshop, gmh
(0) Implementing a Program Logic of Objects , Francis Tang
(0) 7th WoLLIC'2000, Ruy de Queiroz
(0) Paper Announcement: Secure Information F, N. Yoshida
(0) ETAPS 2000 - 2nd Call for Participation, Doris Faehndrich
(0) MetaML release Version 1.0, Zino Benaissa
(0) International Summer School on Computati, Sandro Etalle
(0) CP2000: Final Call for Papers [NEW SUBMI, Martin Henz
(0) MFCS 2000 - Submission Deadline Approach, MFCS 2000
(0) Postdoctoral Research Associate, Frank Pfenning
(0) cfp: ICFP wkshp on Program Generation, Walid Taha
(0) WESTAPP - 2nd Call for Papers, Therese HARDIN
(0) CFP: CADE-17 WORKSHOP ON AUTOMATION OF P, Carsten Schuermann
(0) ESSLLI 2000 in Birmingham, ESSLLI 2000 in Birmingham
(0) Mutually recursive types, Daniel Wang
(0) reminder -- FMOODS 2000 Submission Deadl, Fmoods Mailbox
(0) extended deadline: ITRS '00 (Intersectio, Joe Wells
(0) typo in dates for ITRS '00 (Intersection, Joe Wells
(0) Reasoning with Higher-Order Abstract Syn, R.C. McDowell
(0) Paper announcement: From Polymorphic Su, Jakob Rehof
(0) Postdoctoral Research Position at Yale, Zhong Shao
(0) LICS 2000 Invited Talks and Accepted Pap, Martin Grohe
(0) CTCS '99 Special Issue in TCS. Final Rem, Martin Hofmann
(0) Postdoc Opportunities with the Yale Hask, John Peterson
(0) FICS 2000, change in submission guidlein, esik (researcher;Itou Masami)
(0) EEF Foundations School of Deduction and , Fairouz Kamareddine
(0) HLCL 00 -- call for papers, Peter Sewell
(0) ECOOP Tutorials (Types), Giuseppe Castagna
(0) LICS 2000 - Short Presentations Deadline, Martin Grohe
(0) ICC : New submission deadline, Jean-Yves Marion
(0) TPHOLs 2000 --- call for short papers, Tom Schubert
(0) POPL2001: Call for Papers, Dave Schmidt
(0) New submission deadline Workshop on TYPE, Didier Galmiche
(0) Special Issue of Mathematical Structures, Viviana Bono
(0) International Summer School on Computati, Sandro Etalle
(0) Second CFP: Types in Compilation 2000, Robert Harper
(0) Research position at Sophia Antipolis, Maryse Renaud
(0) Paper on type-safety bugs in JDK1.2.2, Alessandro Coglio
(0) Call for Participation: Workshop on Proo, Trevor Jim
(0) workshop announcement, WRLA 2000, Ataru T. Nakagawa
(0) Paper on Java class loading, Alessandro Coglio
(0) LPAR'2000: call for papers, parigot
(0) LICS Workshop on Chu Spaces and Applicat, Valeria Correa Vaz de Paiva
(0) JFP Special Issue on Haskell, gmh
(0) Paper available on Hoare logic for Java, David von Oheimb
(0) IFIP TCS2000 preliminary program, Shinya MIYAKAWA
(0) 1st CFP FLOPS2001, Herbert Kuchen
(0) Scheme and Functional Programming 2000, matthias
(0) Extended Deadline for early registration, Simao Desousa
(0) LICS 2000 Call for Participation and Pre, Martin Grohe
(0) SAS2000: Call for Participation, Dave Schmidt
(0) Associate Professorship in Logic in Comp, Karen =?iso-8859-1?Q?Kj=E6r?= =?iso-8859-1?Q?_?= =?iso-8859-1?Q?M=F8ller?=
(1) LINEAR Summer School (2nd call), Nuno Barreiro

(0) LINEAR Summer School, Nuno Barreiro

(0) CSL2000 - 1st call for participation, Computer Science Logic 2000
(0) Postdoc - wide area programming, Peter Sewell
(0) CFP: Workshop on Program Generation, Walid Taha
(0) DTP00---Call for Participation, Gilles Barthe
(0) ASIAN'00: Call for Papers, masahiko
(0) IFIP TCS2000 program and registration in, Shinya MIYAKAWA
(0) paper: Towards an abstract model of Java, Sophia Drossopoulou
(0) International Summer School on Computati, Sandro Etalle
(0) New Paper: Safe and Flexible Dynamic Lin, Michael Hicks
(0) TPHOLs 2000: Call for Participation, Mark Aagaard
(0) call for participation: ITRS '00 (Inters, Joe Wells
(0) Post-Doc in France available., Christophe Raffalli
(0) NWPT'00 - 12th Nordic workshop on progra, nwpt00
(0) CFP: LPAR'2000, Reunion Island, France, Andrei Voronkov
(0) XIII. ESSLLI 2001 in Helsinki, Marcus Kracht
(0) FST TCS 2000: One week extension on the , Sanjiva Prasad
(0) Lectureships in Computer Science, Roy L. Crole
(0) post-doc position at Chalmers, Bengt Nordstrom
(0) Call for Participation: Workshop on Proo, Trevor Jim
(0) Scheme and Functional Programming 2000, Matthias Felleisen
(0) TPHOLs: student bursaries available!, Mark Aagaard
(0) LPAR'2000: deadline extended, Andrei Voronkov
(0) Four lectureships in Nottingham, gmh
(0) TLCA 2001, Samson Abramsky
(0) CSL2000 : Early Registration extended un, Computer Science Logic 2000
(0) PhD grant at INRIA Sophia Antipolis, Yves Bertot
(0) ETAPS 2001: FIRST ANNOUNCEMENT & CALL FO, Etaps 2001
(0) Christopher Strachey, Olivier Danvy
(0) HOOTS 2000 invited speakers, Alan Jeffrey
(0) Positions Available in programming langu, Atsushi Ohori
(0) Call for Papers STACS 2001, Horst Reichel
(0) Faculty post in foundations of computer , Peter Williams
(0) BCV, nipkow
(0) CONCUR 2000: Call for Participation and , Catuscia Palamidessi
(0) Festival Workshop in Foundations and Com, Fairouz Kamareddine
(0) Call for Participation : Workshop on Imp, Jean-Yves Marion
(0) 2nd CFP FLOPS 2001, Herbert Kuchen
(0) Proof General --- Version 3.1 release, David Aspinall
(0) CFP: CP2000, 18-22 September, Singapore,, Roland Yap Hock Chuan
(0) FLOC 2002 - Preliminary Announcement, Martin Grohe
(0) State of the art in dependent typing?, Tim Sweeney
(0) Software for teaching logic, S.J.Thompson
(0) Post-doctoral position at INRIA-Rennes, Jean-Pierre Talpin
(0) State of the art in dependent typing?, Thorsten Altenkirch
(0) WoLLIC'2000 - Call for Participation, Ruy de Queiroz
(0) Job opportunity at INRIA Sophia Antipoli, Isabelle Attali
(0) MFCS 2000 - Call for Participation, MFCS 2000
(0) ICFP 2000 Preliminary Program, =?iso-8859-1?Q?Konstantin_L=E4ufer?=
(0) FMOODS 2000 Call for Participation, Demo, Fmoods Mailbox
(0) New collection of links to Mobile Ambien, Xudong Guan
(0) LICS 2001 Preliminary Call for Papers, Martin Grohe
(0) Preliminary program for ICFP 2000 (updat, =?iso-8859-1?Q?Konstantin_L=E4ufer?=
(0) Conference on foundations and applicatio, Giuseppe Longo
(0) preliminary program PPDP 2000, Franck van Breugel
(0) program: ITRS '00 (Intersection Types & , Joe Wells
(0) Call for papers: FOOL 8, Kathleen Fisher
(0) Overview of systems, Freek Wiedijk
(0) Call for participation PLI 2000, Franck van Breugel
(0) WoLLIC'2000 - Programme, Ruy de Queiroz
(0) Tbilisi Summer School, Chikoidze
(0) Haskell Workshop, gmh
(0) ICFP 2000 Programming Contest, August 26, =?iso-8859-1?Q?Konstantin_L=E4ufer?=
(0) ASIAN'00: Call for Papers, masahiko
(0) LICS 2001 Call for Affiliated Workshops, Martin Grohe
(0) Call for Papers: LDTA'2001, Marjan Mernik
(0) PhD studentship at Edinburgh for October, Ian.Stark
(0) Postdoc grant available, Gradkolleg LI
(0) Research/Study in Logics, Types, Rewriti, Joe Wells
(0) 3rd SIGPLAN Continuations Workshop -- ca, Continuation Workshop 1997
(0) paper announcement: Relating Cryptograph, Eijiro Sumii
(0) Job openings at INRIA, Gilles Barthe
(0) Job opening at Utrecht: Generic Haskell, Johan Jeuring
(0) POSTDOC still available...until Friday t, Christophe Raffalli
(0) PADO-II call for papers, Symposium on Program as Data Objects
(0) Call for Papers (Continuations Workshop , Amr Sabry
(0) Postdoc and PhD Student Position Announc, Martin Odersky
(0) Workshop Program: Types in Compilation 2, Robert Harper
(0) 12th Nordic workshop on programming theo, nwpt00
(0) FLOPS 2001, Final Call for Papers, Herbert Kuchen
(0) Professorship in Software Engineering, Bengt Nordstrom
(0) Chair in Theoretical Computer Science at, Gordon Plotkin
(0) Job: post doc researcher in type systems, David Aspinall
(0) Research Assistant/PhD Vacancy, nipkow
(0) Paper announcement: Constructive Foundat, Thomas Studer
(0) Lipari Summer School 2001, Vladimiro Sassone
(0) Post-doctoral position announcement, Jean-Pierre Talpin
(0) Seeking papers on Type-Directed Compilat, Oukseh Lee
(0) Reminder/Deadline extension for NWPT'00 , nwpt00
(0) ETAPS-2002: Call for Affiliated Workshop, Rachid Echahed
(0) New programs in the foundation of mathem, Giuseppe Longo
(0) LICS 2001 - 2nd Call for Affiliated Work, Martin Grohe
(0) PhD & postdoc positions available, Bart Jacobs
(0) Practical Aspects of Declarative Languag, Compulog Americas
(0) Re: Seeking Papers on Type-Directed Comp, Oukseh Lee
(0) Tech reports on Modules and Versioning, , Peter Sewell
(0) Extended Submission Deadline (Continuati, Amr Sabry
(0) TACS 2001 CFP, Benjamin C. Pierce
(0) TLCA -- WWW page and deadline reminder, Pawel URZYCZYN
(0) ECOOP 2001 --- Call for Contributions, Horv�th Zolt�n
(0) LDTA'2001 Remainder, Marjan Mernik
(0) PLI 2001-Call for workshop proposals, b.venneri
(0) CFP: Computer Security Foundations Works, Andre Scedrov
(0) FoSSaCS'01 deadline is Oct, 20, Furio Honsell
(0) TLCA 2001: DEADLINE EXTENSION, Samson Abramsky
(0) 2 PhD positions in Automated Verificatio, Jaco van de Pol
(0) MFPS XVII, Michael Mislove
(0) LACL 2001, Catherine Piliere
(0) PADO-II CFP -- reminder, Symposium on Program as Data Objects
(0) Director, Computer Science Department, Adriana Compagnoni
(0) Correspondence of Linear Logic & Geometr, Tim Sweeney
(0) FST TCS 2000 Call for Participation, Sanjiva Prasad
(0) Research Associateship in Metaprogrammin, Andrew Pitts
(0) Postdoctoral Position at University of M, Gopalan Nadathur
(0) Request for literature recommendations., Denby Wong
(0) POPL'01 Call for Participation, Dave Schmidt
(0) Post-Doc on memory management of embedde, Jean-Pierre Talpin
(2) CFP: JFP on SAIG, Walid Taha

(0) CFP: JFP on SAIG [Extended deadline], Walid Taha
(0) CFP: SAIG'01, Walid Taha

(0) LICS 2001 Call for Papers, Martin Grohe
(0) FST TCS 2000 Call for Participation, Sanjiva Prasad
(0) Announcement: Ph.D. thesis, Carsten Schuermann
(0) Lecuturer Security, Pieter Hartel
(0) TPHOLs 2001 Call For Papers, simon gay
(0) ETAPS 2002 - Call for Satellite Events, Etaps 2002
(0) extended deadline for PADO-II, Symposium on Program as Data Objects
(0) positions available at Imperial, Philippa Gardner
(0) CFP: ACM Transactions on Internet Techno, Bongki Moon
(0) CONCUR 2001 -- PRELIMINARY CALL FOR PAPE, Anna Ingolfsdottir
(0) Loyola University Chicago - Chair, Depar, =?iso-8859-1?Q?Konstantin_L=E4ufer?=
(0) Relaunch of the Journal of Logic and Alg, Inge Bethke
(0) Book on types, Till Mossakowski
(0) Static Analysis Symposium 2001, Paris : , Radhia Cousot
(0) Fool 8: Call for Participation, Kathleen Fisher
(0) Call for Participation (Continuations Wo, Amr Sabry
(0) CMCS 2001 - Call for Papers, Andrea Corradini
(0) No Subject, Thomas Streicher
(0) Categories with subtypes, Tom Burt
(0) Looking for a few good types/PL lecturer, bcpierce
(0) Summary or recommendation responses (hig, Denby Wong
(0) WoLLIC'2001 - Call for Papers, Ruy de Queiroz
(0) 1st CFP: Workshop on Implicit Computatio, Martin Hofmann
(0) TYPES list pause, Dec. 7-24, bcpierce
(0) Post-Docs at OGI, Andy Moran
(0) Call for Paper ICTCS'01, Ferruccio DAMIANI
(0) PPDP 2001: Call for Papers, Harald Sondergaard
(0) Call for papers ICTCS'01 (UPDATED), Ferruccio DAMIANI
(0) call for papers ICFP 2001, Xavier Leroy
(0) Ask for help: any previous work that has, Xudong Guan
(0) FoSSaCS 2001 Accepted Papers, Marino Miculan
(0) TLCA 2001 Accepted Papers, Samson Abramsky
(0) CfP CMCS2001 - Extended deadline, Ugo Montanari
(0) International Termination Workshop 2001, Nachum Dershowitz
(0) Re: Typing non-uniform concurrent object, Antonio Ravara
(0) BRICS PhD grants, fellowships, and resea, Uffe Henrik Engberg
(0) Post-doc in security and static analysis, Thomas Jensen
(0) Lipari Summer School 2001, Vladimiro Sassone
(0) CFP: Book on Linear Logic (Reminder), Paul RUET
(0) Symposium on Domain Theory, Guo-Qiang Zhang
(0) APPSEM Workshop, Thomas Streicher
(0) FLOPS 2001 - Call for Participation, Herbert Kuchen
(0) lectureship position at Oxford, Samson Abramsky
(0) TPHOLs 2001 2nd CALL FOR PAPERS, simon gay
(0) PADL'01 -- call for participation, iclp99pub
(0) CFP: ECOOP Workshop on Formal Techniques, Peter.Mueller
(0) MERLIN 2001 Call for Papers, Roy L. Crole
(0) Marktoberdorf Intl. summer school, Alexander Pretschner
(0) Book on Linear Logic (deadline extension, Paul RUET
(0) Research job in model checking applicati, Mark D Ryan
(0) PLI 2001 Announcement, Rosario Pugliese
(0) programming languages as a core topic, Matthias Felleisen
(0) Re: programming languages as a core topi, Kim
(0) 8th Static Analysis Symposium : Last CFP, Radhia Cousot
(0) Call for participation TLCA2001, TLCA Conference 2001
(0) Termination Workshop - Deadline Extensio, Juergen Giesl
(0) PFM 01: CALL for PARTICIPATION, Davide Sangiorgi
(0) TACS 2001 -- call for papers, bcpierce
(0) WFLP 2001 - Call for Papers, Frank Steiner
(0) cfp Strategies 2001, Maria Paola Bonacina
(0) CFP: JLAP special issue on pi-calculus, Bjorn Victor
(0) Intellectual history of types, Benjamin C. Pierce
(0) Re: Intellectual history of types, Benjamin C. Pierce
(0) Research studentships available at Birmi, Marta Z Kwiatkowska
(0) Re: intellectual history of types, Benjamin Pierce
(0) Posting for Types Bulletin Board, John Reynolds
(0) SAS'01 : Submission Deadline Extension, Radhia Cousot
(0) TPHOLs 2001 FINAL CALL FOR PAPERS, simon gay
(0) announcement for Bohm's thm workshop, Jean-Jacques Levy
(0) FICS'2001 - CFP, Anna Labella
(0) logical relations and contextual equival, Eijiro Sumii
(0) WoLLIC'2001 - Call for Papers, Ruy de Queiroz
(0) CSL 2001 -- last CALL FOR PAPERS and FOR, fl
(0) ETAPS 2001: SECOND CALL FOR PARTICIPATIO, Etaps 2001
(0) ICC '01: new time and 2nd CFP, Martin Hofmann
(0) 2001 Haskell Workshop: 1st call for pape, Ralf Hinze
(0) lectureships at Durham UK, Zhaohui.Luo
(0) WRS'2001 - Extended deadline, Salvador Lucas Alba
(0) PLI 2001: submission deadline is approac, Rosario Pugliese
(0) QAPL'01 Workshop - 1st Call for Papers, Herbert Wiklicky
(0) TLCA 2001 -- grants for participants, Konferencja TLCA'2001
(0) CALL FOR PAPERS -- JOURNAL OF FUNCTIONAL, Simon Helsen
(0) object-oriented type systems in practice, Kathleen Fisher
(0) UNIF 2001 Junior Researcher Travel Award, Ralf Treinen
(0) PEPM'02, Preliminary Call for Papers, Peter Thiemann
(0) Higher-order linear logic, Daniel Wang
(0) ConCoord: Concurrency and Coordination, Vladimiro Sassone
(0) International Masters Programme in COMPU, CL Advertisement
(0) Summary: object-oriented type systems in, Kathleen Fisher
(0) undergrad research, Norman Danner
(0) CONCUR 2001 FINAL CFP & EXTENDED DEADLIN, Anna Ingolfsdottir
(0) Research Assistant/PhD Vacancy, nipkow
(0) workshop announcement, Scott Stoller
(0) CfP: Babel01 Workshop on Multi-Language , Nick Benton
(0) Is extensionality equational in the abse, Philip Wadler
(0) TACS 2001 -- call for papers, Benjamin C. Pierce
(0) TLCA 2001 -- EARLY REGISTRATION DEADLINE, Konferencja TLCA'2001
(0) Re: Is extensionality equational in the , Peter Selinger
(0) Re: Is extensionality equational in the , Peter Selinger
(0) PPDP'01 deadline extension to 23 March, Harald Sondergaard
(0) PLT is moving, Matthias Felleisen
(0) Announcement, Ulisses Ferreira
(0) Notice of paper, Robert A.G. Seely
(0) Post-doc advertisement at PacSoft, Kelly Atkinson
(0) Re: Higher-order linear logic, Sara Kalvala
(0) CFP and dealine extension: ECOOP Worksho, Sophia Drossopoulou
(0) Re: Higher-order linear logic, David Pym
(0) Re: Higher-order linear logic, Dale Miller
(0) List of online PL theory texts, Frank Atanassow
(0) PhD studentships at the LFCS, U. of Edin, Paul Jackson
(0) ECOOP'2001 Call for Participation, =?ISO-8859-1?Q?Horv=E1th_Zolt=E1n?=
(0) UNIF'01: 2nd Call for Abstracts/Partici, Ralf Treinen
(0) 2nd Call for Papers: 7th International C, Ian Miguel
(0) ICTCS'01: DEADLINE EXTENSION, Ferruccio DAMIANI
(0) Faculty Positions, Universite Laval Queb, Nadia Tawbi
(0) Book announcement: Handbook of Process A, Alban Ponse
(0) TACS 2001 -- extended deadline, Benjamin C. Pierce
(0) Extended Deadline: Workshop on MEchaniz, A. Momigliano
(0) STRATEGIES 2001 (last cfp - ext. deadlin, Bernhard Gramlich
(0) two technical reports, Matthew Hennessy
(0) ICC'01: new deadline 10.5.2001, Martin Hofmann
(0) 13 vacant positions at the IT University, Mads Tofte
(0) ISAAC-01: Call for Papers, paddy
(0) ConCoord: Concurrency and Coordination, Vladimiro Sassone
(0) Barendregt was right after all ... almos, Rene Vestergaard
(0) Re: Barendregt was right after all ... a, ian a. mason
(0) Foundational Methods in Computer Science, David Benson
(0) Re: positions at the Technical Universit, Flemming Nielson
(0) Re: Is extensionality equational in the , Thierry Joly
(0) SAS'01 Call For Participation, radhia
(0) Post-doctoral positions in the EPATR-ESP, Jean-Pierre Talpin
(0) Update on Named Variables & Church Rosse, ian a. mason
(0) BRICS EVENTS - Registration deadline, Karen =?iso-8859-1?Q?Kj=E6r?= =?iso-8859-1?Q?_?= =?iso-8859-1?Q?M=F8ller?=
(0) Classical Logic and Coq, Herman Geuvers
(0) Re: Classical Logic and Coq, Gerard Huet
(0) Technical Report Available, simon gay
(0) Mechanical Verification of a Context Lem, ian a. mason
(0) Foundational Methods in Computer Science, David Benson
(0) Erlang workshop, John Hughes
(0) Paper Announcement: An Expressive, Scala, Joseph Vanderwaart
(0) MERLIN Call for Participation, Roy L. Crole
(0) paper on recursive modules, Derek R. Dreyer
(0) STRATEGIES 2001 (call for participation,, Bernhard Gramlich
(0) Survey of object oriented models of comp, Brian Postow
(0) UNIF 2001: Call for Participation, Ralf Treinen
(0) CFP - Coordination 2002, Alan Wood
(0) A New Manuscript, Ulisses Ferreira
(0) WFLP 2001 deadline extension to May 22, , Frank Steiner
(0) PhD position "A theory for object algebr, Maarten Fokkinga
(0) SAIG'01 Extended Deadline, Walid Taha
(0) Cryptyc papers, Alan Jeffrey
(0) QAPL'01 Workshop - Final Call for Papers, Herbert Wiklicky
(0) Concoord 2001: Call for Participation, Vladimiro Sassone
(0) TPHOLs 2001 Call For Participation, simon gay
(0) ETAPS 2002, FIRST ANNOUNCEMENT & CALL FO, Etaps 2002
(0) chair in tcs, Astrid Kiehn
(0) Research Job in Modular Program Analysis, Joe Wells
(0) POSTDOCTORAL RESEARCH POSITIONS and PROG, Insup Lee
(0) POPL 2002 CALL FOR PAPERS, John Mitchell
(0) Better vector math using dependent types, Tim Sweeney
(0) QAPL'01 - ACM Workshop - Deadline Extent, Herbert Wiklicky
(0) FMOODS 2002 --- Call for Papers, Bart Jacobs
(0) A new book of logic, =?iso-8859-1?Q?Ren=E9?= David
(0) CFP: ICLP ws SAVE 2001, Giorgio Delzanno
(0) Ann: new research report, Francois Pottier
(0) typed-based analysis and applications, Jens Palsberg
(0) LICS 2001 Final Program, Martin Grohe
(0) New book on Bytecode verification for Ja, boerger
(0) paperback announcement: Categorical Logi, Bart Jacobs
(0) ECOOP 2001 - Final Call for Participatio, ECOOP 2001 Poster
(0) Re: typed-based analysis and application, Mario Coppo
(0) thesis available, Paul Levy
(0) PLI 2001 in Firenze: call for participat, Rocco De Nicola
(0) Working Conference on Generic Programmin, Johan Jeuring
(0) WoLLIC'2001 - Call for Participation, Ruy de Queiroz
(0) International Masters Programme in COMPU, CL Advertisement
(0) paper on recursion and objects, Gerard Boudol
(0) CONCUR 2001--Call for participation, Anna Ingolfsdottir
(0) STACS 2002 -- Call for papers, Jerome Durand-Lose
(0) TACS 2001 call for participation, Benjamin C. Pierce
(0) Research Associate Job in Foundations of, N. Yoshida
(0) CFP: PEPM'02, Peter Thiemann
(0) 30th SPRING SCHOOL THEORETICAL COMPUTER , Ecole d'ete 2001
(0) ICFP programming contest, Benjamin C. Pierce
(0) SAIG'01 Prelim Program, Walid Taha
(0) Type Systems Postdoc in LFCS, Edinburgh, David Aspinall
(0) LPAR 2001 Last CFP, Robert Nieuwenhuis
(0) Types list on vacation, July 16 - Aug 5, Benjamin C. Pierce
(0) announcement book on the pi-calculus, Davide Sangiorgi
(0) Post-doc Positions Available at Stevens, Adriana Compagnoni
(0) PADL'02: Call for papers, Gopal Gupta
(0) FLOPS 2002, First Call for Papers, Zhenjiang Hu
(0) BABEL'01: Preliminary programme and Call, Andrew Kennedy
(0) 2001 Haskell Workshop: call for particip, Ralf Hinze
(0) PLI2001: Early Registration Deadline is , Rosario Pugliese
(0) CFP: FOOL 9 -- Foundations of Object-Ori, Martin Odersky
(0) FICS'01 call for partecipation, Anna Labella
(0) VMlambda: A Functional Calculus for Scie, Eijiro Sumii
(0) CFP: ICLP ws SAVE 2001, Giorgio Delzanno
(0) Jobs at INRIA Sophia, Gerard Boudol
(0) Lectureship, Edinburgh University, Alex Simpson
(0) PADL'02: Deadline extension, Gopal Gupta
(0) Two papers on the pi-calculus., Kohei Honda
(0) CICLOPS'01 -- Call for Papers, Logic Programming Rsrch Association
(0) CFP, Workshop on Issues in the Theory of, Joshua D. Guttman
(0) EMSOFT 2001: First International Worksho, Christoph Kirsch
(0) A General Type Class Framework, Martin Sulzmann
(0) Erlang workshop registration, John Hughes
(0) TCS 2002 - Preliminary Call for Papers, Nicola Santoro
(0) Two year postdoc position available at U, Julian Rathke
(0) TACS2001 PROGRAM AND REGISTRATION INFORM, Shinya MIYAKAWA
(0) ICTCS'01 - GRANTS FOR PARTECIPATION, Ferruccio DAMIANI
(0) CFP: JLAP special issue on pi-calculus (, Bjorn Victor
(0) paper on typing for non-interference of , Gerard Boudol
(0) FMOODS 2002 -- deadline extension: 19 se, Arend Rensink
(0) FOSSACS'2002 - Call for papers, Uffe Henrik Engberg
(0) FroCoS'2002, Alessandro Armando
(0) CFP: Computer Aided Verification 2002, Kim G. Larsen
(0) STACS 2002 -- Extended Deadline, Jerome Durand-Lose
(0) post-doc position at Genoa, rosolini
(0) Final CFP: WITS '02, Joshua D. Guttman
(0) TIE: A CHR-based Type Inference Engine, Martin Sulzmann
(0) PhD studentship at Sussex, Bernhard Reus
(0) ETAPS 2003: CALL FOR SATELLITE EVENT PRO, etaps03
(0) WWW2002 CFP, Benjamin C. Pierce
(0) LICS 2002 Call for Papers, Martin Grohe
(0) ACM SIGPLAN 2002 PLDI, Berlin, Germany -, Jens Knoop
(0) a paper on call-by-value recursion, HASEGAWA Masahito
(0) Help with type advocacy, Ken Shan
(0) RE: Help with type advocacy, Robert Harper
(0) Re: Help with type advocacy, Daniel Wang
(0) Re: Help with type advocacy, Kohei Honda
(0) PLI 2002-Call for workshop proposals, Carsten Schuermann
(0) Re: Help with type advocacy, Matthias Felleisen
(0) FOUR research positions in Edinburgh and, Don Sannella
(0) Two post-docs available in the ESPRESSO , Jean-Pierre Talpin
(0) TPHOLs 2002 -- First Call For Papers, Cesar Munoz
(0) AMAST'2002: Call For Papers, Christophe Ringeissen
(0) ETAPS 2002, CALL FOR SUBMISSIONS -- DEAD, etaps02.VERIMAG
(0) Research position available, Ranko Lazic
(0) Announcement of technical report, Jan Rutten
(0) Job Announcement TU Darmstadt, Thomas Streicher
(0) Two PhD positions at ILLC, Ingrid van Loon
(0) LI2002 Announcement, The Logic and Interaction weeks
(0) CFP FroCoS'02: Deadline Extension and Ca, Alessandro Armando
(0) POSITION AT ENS PARIS, Giuseppe Castagna
(0) Research Job in Compositional Reasoning , Joe Wells
(0) Postdoc positions in Foundations of Dist, Peter Sewell
(0) Faculty Position, Zena Matilde Ariola
(0) International Masters Programme in COMPU, CL Advertisement
(0) ICLP'01/CP'01: Extended Deadline for Ear, Dr. Gopal Gupta
(0) RESEARCH FELLOWSHIP AT "CA' FOSCARI", VE, Michele Bugliesi
(0) VMCAI 2002, Agostino Cortesi
(0) F-WAN: Foundations of Wide Area Network , Vladimiro Sassone
(0) Post-doctoral position at University of , Vasco Thudichum Vasconcelos
(0) Positions at the Technical University of, Hanne Riis Nielson
(0) intersection values and union types?, Pixel
(0) [very] basic question, Scott Finnie
(0) Logic Teaching Position at Stanford, Solomon Feferman
(0) Workshop on Higher-Order Rewriting, Delia Kesner
(0) PLI 2002-Second call for workshop propos, Carsten Schuermann
(0) TCS 2002 - Call for Papers, Nicola Santoro
(0) Re: [very] basic question, Mark A. Sheldon
(0) Re: [very] basic question, jeremy
(0) Re: [very] basic question, Frank Atanassow
(0) Computer Science Logic 2002 (CSL'02) ann, CSL02
(0) Re: [very] basic question, John R Harrison
(1) Re: [very] basic question, jeremy

(0) Re: [very] basic question, John R Harrison

(0) Re: [very] basic question, Robin Adams
(0) Re: [very] basic question, Jamie Andrews
(0) Re: [very] basic question, Robert L. Constable
(0) book announcement, Andrei Voronkov
(0) second reply to Scott Finnie, Robert L. Constable
(0) Re: [very] basic question, Scott Finnie
(0) Formalising the safety of Java, the Java, Pieter Hartel
(0) Re: [very] basic question, Francois Pottier
(0) PhD position, Colin Stirling
(0) RE: [very] basic question, Henson, Martin C
(0) 30th Spring School Theorical Computer Sc, Ecole d'ete 2001
(0) CFP: 4th International Workshop on Impli, Jim Royer
(0) lambda calculus with co-products, Robert Harper
(0) Re: lambda calculus with co-products, P. Scott
(0) Re: [very] basic question, Pixel
(0) Re: lambda calculus with co-products, P. Scott
(0) STUDENT WORKSHOP @ FMOODS 2002, Trevor Jones
(0) PhD Studentship, Zhaohui.Luo
(0) PhD postions in Informatics, Bergen Univ, Marc Bezem
(0) Postdoctoral Research Associate, "Refact, C.Reinke
(0) CTCS '02, Richard Blute
(0) FICS 02, a satellite workshop to LICS 02, Zoltan Esik
(0) ESSLLI 2002 Student Session, Malvina Nissim
(0) Postdoc in lightweight formal methods fo, Jamie Andrews
(0) Paper on higher order matching., Ralph Loader
(0) PEPM'02 -- call for participation, Peter Thiemann
(0) PADL'02, Logic Programming Rsrch Association
(0) CFP: Special Journal Issue on Proof-Carr, Amy Felty
(0) WITS at POPL: Workshop on Issues in the, Joshua D. Guttman
(0) Spam on Types, Benjamin C. Pierce
(0) FOOL 9 Call for Participation, Martin Odersky
(1) Positions in Paris 7 University, Pierre-Louis Curien

(0) Positions in Ecole des mines de Nantes, Pierre Cointe

(0) LICS 2002 Call for Papers, Martin Grohe
(0) 6th Workshop Domains, Birmingham, Septem, Achim Jung
(0) Re: Research Associates - Foundations of, Peter Sewell
(0) Types Query: type classes and SML module, Tom Murphy
(0) Re: Types Query: type classes and SML mo, Fergus Henderson
(0) WAAAPL 2002, preliminary announcement, Ralf Hinze
(1) CFP : ASIA-PEPM 2002, Chin Wei Ngan

(0) Final CFP : FLOPS'02 / ASIA-PEPM'02, Zhenjiang Hu

(0) postdoc at INRIA Sophia-Antipolis (MIMOS, Ilaria Castellani
(0) positions in core computing science (1 P, Uwe.Nestmann
(0) New paper on Java bytecode subroutines, Alessandro Coglio
(0) paper announcements, Haruo Hosoya
(0) Host of TPHOLs 2003, call for bids, Victor A. Carreno
(0) Re: more than covariance, distributivity, Pixel
(0) Ottawa Logic Group invites graduate stud, Peter Selinger
(0) Parametricity Theorem, relational interp, Janis Voigtlaender
(0) Re: Parametricity Theorem, relational in, Andrew Pitts
(0) CMCS 02 2nd Call For Papers, larry moss
(0) Generic Java type inference is unsound, Alan Jeffrey
(0) faculty position in logic, LICS
(0) 4th Int'l Symp.: Practical Aspects of De, Dr. Gopal Gupta
(0) ICALP2002 call for papers, icalp2002
(0) Working Conference on Generic Programmin, Johan Jeuring
(0) 1st CFP Types Summer School'02, Joelle Despeyroux
(0) ICFP (Functional Programming) 2002: Call, Shriram Krishnamurthi
(0) 2002 Haskell Workshop, Manuel M. T. Chakravarty
(0) EMSOFT 2002: FIRST CALL FOR PAPERS, Emsoft02 VERIMAG
(0) Formal semantics for C, S.J.Thompson
(0) Re: Formal semantics for C, Ken Friis Larsen
(1) Re: Formal semantics for C, Matthias Felleisen

(1) Re: Formal semantics for C, Michael Norrish

(1) Re: Formal semantics for C, Matthias Felleisen

(1) Re: Formal semantics for C, Michael Norrish
(0) Re: Formal semantics for C, Matthias Felleisen

(0) Re: Formal semantics for C, Sava Krstic
(1) Re: Formal semantics for C, Fergus Henderson

(1) Re: Formal semantics for C, Matthias Felleisen

(1) Re: Formal semantics for C, Fergus Henderson

(2) Re: Formal semantics for C, Matthias Felleisen
(0) Re: Formal semantics for C, Fergus Henderson
(0) Re: Formal semantics for C, Michael Norrish

(0) Nondeterminism (was: Formal semantics fo, Viktor Kuncak
(0) Re: Formal semantics for C, Fritz K Ruehr
(1) Re: Formal semantics for C, Corky Cartwright

(2) Re: Formal semantics for C, Fergus Henderson

(1) Re: Formal semantics for C, Matthias Felleisen

(0) Re: Formal semantics for C, Fergus Henderson

(1) Re: Formal semantics for C, Corky Cartwright

(1) Re: Formal semantics for C, Fergus Henderson
(1) Re: Formal semantics for C, Corky Cartwright
(1) Re: Formal semantics for C, Fergus Henderson
(1) Re: Formal semantics for C, Corky Cartwright
(0) Re: Formal semantics for C, Fergus Henderson

(0) Re: Nondeterminism (was: Formal semantic, Fergus Henderson
(0) Component Pascal type system is unsound, Fergus Henderson
(0) Formal semantics for C++ type inference?, Dave Berry
(0) Re: Formal semantics for C, Dan Grossman
(0) Re: Nondeterminism (was: Formal semantic, Michal Walicki
(0) Nondeterminism / formal semantics of C, Benjamin C. Pierce
(0) Re: Nondeterminism / formal semantics of, Andrew Myers
(0) Re: Nondeterminism / formal semantics of, Fergus Henderson
(0) Re: Nondeterminism / formal semantics of, martinb
(0) Re: Formal semantics for C, Dan Grossman
(0) Announcing OMDoc (Open Mathematical Docu, Michael Kohlhase
(0) RE: Nondeterminism / formal semantics of, Gregory Morrisett
(0) PostDoc opportunity at Stony Brook in Mo, Scott Smolka
(0) More on C semantics / nondeterminism, Benjamin C. Pierce
(0) Re: More on C semantics / nondeterminism, Philip Wadler
(0) Memory safe implementations of C/C++, Corky Cartwright
(1) Re: Memory safe implementations of C/C++, Philip Wadler

(0) Re: Memory safe implementations of C/C++, David Detlefs - Sun Microsystems Labs BOS

(0) Call For Papers: Computer Science Logic , CSL02
(0) Senior Researcher Position open in Cente, sekar
(0) Decidable polymorphic recursion?, Josef Svenningsson
(0) CMCS 02 2nd Call For Papers (extended de, larry moss
(0) Re: Decidable polymorphic recursion?, Ferruccio DAMIANI
(1) Re: Decidable polymorphic recursion?, Francois Pottier

(0) Re: Decidable polymorphic recursion?, Josef Svenningsson

(0) Re: Formal Semantics for C, Michael Norrish
(0) Extended deadline for ICALP 2002, icalp2002
(1) Re: Memory safe implementations of C/C++, Corky Cartwright

(0) Re: Memory safe implementations of C/C++, Michael Norrish

(0) Call for Partic 7th Estonian Winter Scho, Tarmo Uustalu
(0) Call for Papers Euro-Par 2002 - Topic 10, Bernard Bauer
(0) Re: Decidable polymorphic recursion?, Carlos Camarao de Figueiredo
(0) Re: Decidable polymorphic recursion?, Radhia Cousot
(0) TYPES 2002 Workshop, Berg en Dal (NL)Cal, Herman Geuvers
(0) Re: Decidable polymorphic recursion?, Carlos Camarao de Figueiredo
(0) Paper on Using Types for Termination Che, Andreas Abel
(0) RE: Decidable polymorphic recursion?, Jakob Rehof
(0) Sound Generic Java type inference, Martin Odersky
(0) Preprint: Semantic Analysis of Normalisa, Marcelo Fiore
(0) Workshop on Programming Technologies for, Benjamin C. Pierce
(0) Re: Decidable polymorphic recursion?, Fritz Henglein
(0) Five Lectureships at King's College Lond, David Clark
(0) Re: Decidable polymorphic recursion?, Fritz Henglein
(0) Call for papers: ICLP'02 (Intl Conf on L, Peter Stuckey
(0) CFP: CTCS'02 and Grad Student Preconfere, Peter Selinger
(0) CFP Foundations of Aspect-Oriented Langa, Gary T. Leavens
(0) CFP : ACM SIGPLAN ASIA-PEPM 2002, Chin Wei Ngan
(0) ITRS'02 call for papers, Steffen van Bakel
(0) UNIF'2002 -- call for papers, Christophe Ringeissen
(0) Call for Participation: FroCoS'02, Alessandro Armando
(0) Postdoc and PhD student position in Theo, Joachim Parrow
(0) Graduate School Track on Global Computin, Martin Odersky
(0) Symposium on Cyber Security, March 15, Dominic Duggan
(0) Cfp: Domain Theory Workshop in Honour of, Lars Birkedal
(0) TYPES2002 Meeting Call for Presentations, Herman Geuvers
(0) paper announcement: Principal Typing in , Paolo Coppola
(0) AMAST'2002 **** NEW EXTENDED DEADLINE **, Christophe Ringeissen
(0) Job offer in TCS at Ludwig-Maximilians-U, nentwich
(0) CFP: Thirty Five years of Automath, Fairouz Kamareddine
(0) WoLLIC'2002 - call for papers, Ruy de Queiroz
(0) Summer School on Generic Programming, Johan Jeuring
(0) HOL and ML-Polymorphism, Lutz Schroeder
(0) CP-2002: Call for Papers, Constraint Programming 2002
(0) Summer School on Computational Logic, P M Hill
(0) Call for Papers: Formal Techniques for J, Erik Poll
(0) ETAPS 2002: CALL FOR PARTICIPATION, etaps02.VERIMAG
(0) CFP Generators and Components (GCSE/SAIG, Walid Taha
(0) ACM school on Internet security - call f, Summer School on Foundations of Internet Security
(0) ACM school on Internet security - correc, Summer School on Foundations of Internet Security
(0) Call for papers: TIP'02, tip02
(0) Working Conf on Generic Programming: dea, Jeremy Gibbons
(0) SBLP'2002 Call for Papers, Carlos Camarao de Figueiredo
(0) CFP: LFM'02 - Logical Frameworks and Met, Frank Pfenning
(0) CTCS02 Call for Students, P. Scott
(0) PPDP 2002 - Call for papers --> March 21, Claude Kirchner
(0) IMLA 02 Second Call for Papers, Valeria de Paiva
(0) Professorship in Software Engineering at, Bengt Nordstrom
(0) ICFP 2002: write now!, Simon Peyton-Jones
(0) Call for Papers EXPRESS 2002, Brno, 19th, Prakash PANANGADEN
(0) New book: Types and Programming Language, Benjamin C. Pierce
(0) NASSLLI, Darko Sarenac
(0) Mathematical Knowledge Management 2003 (, Zhaohui.Luo
(0) Full professorship in Programming Langua, Bernhard Gramlich
(0) SBLP'2002 deadline extension --> March 7, Carlos Camarao de Figueiredo
(0) CFP: USE2002, mwh
(0) FroCoS 2002: 2nd Call for Participation, Alessandro Armando
(0) ETAPS 2002: LAST DAYS OF EARLY REGISTRAT, etaps02.VERIMAG
(0) Thirty Five years of Automath, Fairouz Kamareddine
(0) Flocasa: 1st Call for Paper, Jean-Marie JACQUET
(0) Research Opportunity: Refactoring Functi, C.Reinke
(0) Second Call For Papers: Computer Science, CSL02
(0) Colloquium on the occasion of Helmut Sch, Reinhard Kahle
(0) Special issue on Mechanising and Automat, Fairouz Kamareddine
(0) Re: Formal semantics for C, Jim Huggins
(1) Re: Formal semantics for C, martinb

(0) Re: Formal semantics for C, Jim Huggins

(0) CFP FLOPS'02 and ASIA-PEPM'02 : Last Dea, Chin Wei Ngan
(0) Position at ENS Paris, Giuseppe Castagna
(0) Linear Logic Workshop at FLoC'02, Andre Scedrov
(0) 2nd CFP Types Summer School'02, Joelle Despeyroux
(0) Summer School on the Proofs-as-Programs , Zena Matilde Ariola
(0) Postdoc in lightweight formal methods fo, Jamie Andrews
(0) Final call for participation (25 March c, Fairouz Kamareddine
(0) Functional and Declarative Programming i, Michael Hanus
(0) RE: IMLA 02 LAST Call for Papers, deadli, Valeria de Paiva
(0) CFP: Programming Language Technologies f, Benjamin C. Pierce
(0) Book announcement: Foundations of OO Lan, Kim Bruce
(0) POPL'03 Call for Papers, Alex Aiken
(0) [E-CFP] WFLP2002 - deadline EXTENSION, WFLP2002 Organizing Committee
(0) CTCS-Final CFP and deadline extension, blute
(0) 2nd CFP: Implicit Computational Complexi, Jim Royer
(0) More on Formal Semantics of C, Benjamin C. Pierce
(0) LICS 2002 Accepted Papers, Martin Grohe
(0) F-WAN: Extended Submission Deadline, Vladimiro Sassone
(0) Summer School on the Proofs-as-Programs , Zena Matilde Ariola
(0) FINAL CALL For Papers: Computer Science , CSL02
(0) 2WFTop: last announcement, Giovanni Sambin
(0) 2WFTop: last announcement, Giovanni Sambin
(0) Reminder: LICS 2002 Short Presentations, Martin Grohe
(0) 2002 Static Analysis Symposium (SAS'02) , sas02
(0) 20 Years of PLDI - A Selection, Philip Wadler
(0) Re: CTCS-Final CFP and deadline extensio, blute
(0) workshop on higher-order rewriting 2002 , Delia Kesner
(0) CALL FOR PROPOSALS FOR ORGANIZING ICLP'0, Dr. Gopal Gupta
(0) Schedule of ICALP 2002, Rafael Morales
(0) CFP: TIP'02 Workshop on Types in Program, Workshop on Types in Programming
(0) New book: Isabelle/HOL Tutorial, nipkow
(0) RE: Component Pascal type system is unso, Clemens Szyperski
(0) Doctoral Programme of CP-2002: Call for , Ian Miguel
(0) Summer School on Foundations of Internet, Summer School on Foundations of Internet Security
(0) book announcement--Bruce, Jud Wolfskill
(0) FICS'02- EXTENDED DEADLINE April 20, Anna Ingolfsdottir
(0) Lambda calculus w/theory of computation, Kim Bruce
(0) Summer School on Computational Logic, Roberto Bagnara
(0) Natural deduction systems for the lambda, Eduardo Ochs
(0) Flocasa: 2nd Call for Paper, Jean-Marie JACQUET
(0) Summer School on Proofs as Programs, Zena Matilde Ariola
(0) call for papers SECI'02 Tunis --- deadli, Jean Goubault-Larrecq
(0) RDP'03 - First announcement, Salvador Lucas Alba
(0) SAS'02 CFP Reminder -- Submission Deadli, SAS2002
(0) CFP: 2002 Haskell Workshop ** 1 month un, Manuel M. T. Chakravarty
(0) FLoC 2002 Call for Participation, Martin Grohe
(0) Calculating Functors, Samuel E. Moelius III
(0) Results and Summary from the FOAL worksh, Gary T. Leavens
(0) 2nd CfP: Categorical Methods for Concurr, Alexander Kurz
(0) Deadline change: Programming Language Te, Benjamin C. Pierce
(0) Kernel Mode Linux (KML), Eijiro Sumii
(0) 1st CFP: NWPT'02, Tarmo Uustalu
(0) FSTTCS 2002 call for papers, Anil Seth
(0) Implicit Computational Complexity(ICC'02, Jim Royer
(0) Re: Lambda calculus w/theory of computat, Kim Bruce
(0) RE: Lambda calculus w/theory of computat, Sandeep K. Shukla
(0) Master Program Software Technology at Ut, Eelco Visser
(0) SAS'02 -- DEADLINE EXTENSION -- MAY 10, SAS2002
(0) CFP: JFP Special Issue on Functional Pea, Ralf Hinze
(0) Workshop on Proof Theory and Computation, Alessio Guglielmi
(0) Paper announcement, Alex Simpson
(0) Call for Papers - Participation, TPHOLs
(0) Remarks on type isomorphisms with the em, Roberto Di Cosmo
(0) EXTENDED DEADLINE - workshop on higher-o, Delia Kesner
(0) Domains VI 2nd Call for Abstracts, Domains VI Conference
(0) Call for Participation -- ACM SIGPLAN 20, Jens Knoop
(0) 3rd FLIRTS workshop, 24th to 27th Septem, Till Mossakowski
(0) Summer School on Generic Programming: ea, Jeremy Gibbons
(0) Advanced Functional Programming: early r, Johan Jeuring
(0) More on Formal Semantics of C, Michael Norrish
(0) Strafunski: Major New Edition, Ralf Laemmel
(0) Second Call for Papers: RULE'02 - Worksh, Eelco Visser
(0) EXTENDED DEADLINE of Special Issue on Me, Fairouz Kamareddine
(0) Ph.D. scholarships at the IT University , Lars Birkedal
(0) Job announcement at Darmstadt, Thomas Streicher
(0) ICALP 2002. Last news, icalp2002
(0) Subject: Scheme Workshop 2002 -- submiss, Olin Shivers
(0) PADL'03: First Call for Papers, Dr. Gopal Gupta
(0) Five Positions in Computer Science, Roy L. Crole
(0) Web-based Interface for Experimenting wi, Geoff Washburn
(0) ACM SIGPLAN PLDI 2002: Programme // Earl, Jens Knoop
(0) Research associate position at JAIST, Rene Vestergaard
(0) CTCS '02, Aug. 15-17, Ottawa, P. Scott
(0) workshop on isomorphism of types, Sergei SOLOVIEV
(0) FLoC 2002 - Registration Discounts and T, Martin Grohe
(0) [EXPRESS 2002] deadline extension: June , Uwe.Nestmann
(0) Extended Deadline for CMCIM, Alexander Kurz
(0) TYPES submission guidelines (FYI), Benjamin C. Pierce
(0) Final CFP / Deadline Extension: RULE'02, Bernd Fischer
(0) Do you, or would you, teach ML or Scheme, Joshua S. Hodas
(0) International Masters Programme in COMPU, CL Advertisement
(0) Re: Imperative structure-copying languag, Jamie Andrews
(0) Preliminary program for the Implicit Com, Jim Royer
(0) WoLLIC'2002 - Call for Participation, Ruy de Queiroz
(0) TYPES on vacation, Benjamin C. Pierce
(0) LFM'02 Program and Call for Participatio, Frank Pfenning
(0) CfP: Special JAR issue on BYTECODE VERIF, nipkow
(0) Re: Imperative structure-copying languag, Viktor Kuncak
(0) TIP'02: Call for Participation, Peter Thiemann
(0) CONCUR'02 Call for Participation, tony
(0) CP-2002 Workshop Programme: Call for Con, Constraint Programming 2002
(0) IMLA'02 Program and Call for Participati, Valeria de Paiva
(0) CSL'02 Accepted Papers and CALL FOR PART, CSL02
(0) ETAPS 2003 - call for submissions, etaps03
(0) open positions in software technology at, Lars Birkedal
(0) professor position in Marseille, Thomas EHRHARD
(0) CTCS'02 (Aug. 15-17), P. Scott
(0) pattern-matching: a new approach, Barry Jay
(0) CTCS'02 (Expanded 2nd Call for Participa, P. Scott
(0) Re: pattern-matching: a new approach, Ralf Laemmel
(0) a first proof of the decision of equalit, Pierre Lescanne
(0) F-WAN: Programme and Call for Participat, Vladimiro Sassone
(0) TLDI'03 Call for Papers, Zhong Shao
(0) TPHOLS early registration announcement, TPHOLs 2002
(0) Workshop on Isomorphisms of Types (2nd C, David Chemouil
(0) ESSLLI Student Session - Call for Partic, Malvina Nissim
(0) Research Job: Compositional Analysis & R, Joe Wells
(0) cfp: Proceedings of the Second Workshop , Giovanni Sambin
(0) CfP: 2nd Workshop on Domain-Specific Vis, Juha-Pekka Tolvanen
(0) ESOP'03 CFP -- please post, Pierpaolo Degano
(0) CATS 2003: 1st Call for Papers, James Harland
(0) CFP: PADL'03, Dr. Gopal Gupta
(0) CTCS'02 Final CFP and Schedule, Richard Blute
(0) Help with temporal type semantics, Simon Courtenage
(0) ETAPS 2004: CALL FOR SATELLITE EVENTS, ETAPS 2004
(0) VMCAI '03 - Call for Papers, Barbara Koenig
(0) TLCA 03, Call for papers., Martin Hofmann
(0) CP-2002 program and registration info no, cp2002
(0) British Logic Colloquium, Birmingham, Se, Eike Ritter
(0) SAS'02 Call for Participation -- Early R, Manuel Hermenegildo
(0) Special issue of Journal of Automated Re, Gail Pieper
(0) ICFP programming contest 2002 announceme, Iavor S. Diatchki
(0) Important Deadline Information Regarding, Constraint Programming 2002
(0) Dijkstra, Mitchell Wand
(0) Kristin Nygaard, Mitchell Wand
(0) FOOL'03: Call for Papers, ghelli
(0) TCS 2002 - Final Program, Nicola Santoro
(0) Paper announcement: Language-Based Infor, Andrei Sabelfeld
(0) CfP: 2nd Workshop on Domain-Specific Vis, Juha-Pekka Tolvanen
(0) PLANX workshop: program and call for par, Benjamin C. Pierce
(0) 2nd CFP: NWPT'02, Tarmo Uustalu
(0) PLI 2002 early registration deadline app, Shriram Krishnamurthi
(0) ICFP 2002 early registration deadline ap, Mitchell Wand
(0) VMCAI'03 -- EXTENDED DEADLINE, Radu Grosu
(0) PPDP 2002 - early registration deadline , Claude Kirchner
(0) Paper announcement: Validation and boole, Haruo Hosoya
(0) FOSSACS'03 call-for-papers; deadline Fri, Andy Gordon
(0) Type inference for object calculi S and , Luis Dominguez
(0) Type inference and related research..., Vahram
(0) preprints about continuations, Hayo Thielecke
(0) Re: Type inference and related research., Tim Sweeney
(0) Moscow ML's higher-order modules are uns, Derek Dreyer
(0) FOOL'03: Final Call for Papers, ghelli
(0) WIT2002, last call and deadline extensio, Sergei SOLOVIEV
(0) research position avaliable, Philippa Gardner
(0) ETAPS 2003 - call for submissions, Konferencja ETAPS'03
(0) CFP COCV 2003, in conjunction with ETAPS, Jens Knoop
(0) Cryptyc Research Associate Position, Alan Jeffrey
(0) IEEE/ACM MEMOCODE conference, Sandeep K. Shukla
(0) Position Announcement, Martin Odersky
(0) TACAS 2003: Paper Submission Deadline ap, etaps02 VERIMAG
(0) SBLP 2003 - call for papers, Lucilia Camarao de Figueiredo
(0) DOMAIN THEORY AND APPLICATIONS -- cfp, rosolini
(0) FMCO: Last Call and Final Program, F.S.de.Boer
(0) CSMR2003 - New Deadline for Submission, csmr2003
(0) CFP for LDTA 2003, Pierre-Etienne.Moreau
(0) Lectureship of interest for type theoret, Anton Setzer
(0) Final CfP First International Conference, Dieter Hutter
(0) semantics for F_{sub,rec} ??, Thomas Streicher
(0) WoLLIC'2003 - Call for Papers, Ruy de Queiroz
(1) Re: semantics for F_{sub,rec} ??, Martin Abadi

(0) Re: semantics for F_{sub,rec} ??, Thomas Streicher

(1) Re: semantics for F_{sub,rec} ??, Martin Abadi

(0) Re: semantics for F_{sub,rec} ??, Thomas Streicher

(1) Re: semantics for F_{sub,rec} ??, Kim Bruce

(0) Re: semantics for F_{sub,rec} ??, Thomas Streicher

(0) PSSL 78 - First announcement, crans
(0) ETAPS 2004: CALL FOR SATELLITE EVENTS, ETAPS 2004
(0) Research positions in pure and applied l, John K. SLANEY
(0) LICS 2003 CFP, Alex Simpson
(0) CFC: SCP Special Issue on Program Transf, Ralf Laemmel
(0) International Symposium on Domain Theory, GQ Zhang
(0) WOOD 2003: Workshop on Object-Oriented D, Michele Bugliesi
(0) POPL 03 Call for Participation, David Walker
(0) Mini-school on theoretical computer scie, =?ISO-8859-1?Q?Ren=E9?= David
(0) RTA'03: call for papers, Femke van Raamsdonk
(0) ICTCS'03, Cosimo Laneve
(0) New technical report on types for mobile, Matthew Hennessy
(0) paper: towards a quantum programming lan, Peter Selinger
(0) Re: semantics for F_{sub,rec} ??, Matthias Felleisen
(0) TLCA 2003 Last call for papers, Martin Hofmann
(1) Re: semantics for F_{sub,rec} ??, Thomas Streicher

(0) the point of (any) semantics, was Re: se, Matthias Felleisen

(0) Paper announcement: on tree automata for, dalzilio
(0) Re: the point of (any) semantics, was Re, Dan Grossman
(0) Re: the point of (any) semantics, was Re, Chet Murthy
(0) Re: the point of (any) semantics, was Re, nipkow
(0) "foundations built on sand", Thomas Streicher
(0) Re: "foundations built on sand", Kim Bruce
(0) Re: the point of (any) semantics, was Re, Didier Remy
(0) Re: the point of (any) semantics, was Re, nipkow
(0) Re: "foundations built on sand", Gordon Plotkin
(0) assistent professorship at Technische Un, Erik de Vink
(0) 8 Assistant/Associate Professorships at , Camilla Jensen
(0) featherweight java implementation in SML, David Walker
(0) Professorship opening, Jean-Marie JACQUET
(0) LaTeX resources, Mitchell Wand
(0) FGC: Foundations of Global Computing, Vladimiro Sassone
(0) OO polymorphism, Lauri Alanko
(0) Re: OO polymorphism, Jacques Garrigue
(0) Re: OO polymorphism, Giuseppe Castagna
(0) Web Demonstration of Type Error Slicing, Christian Haack
(0) Re: OO polymorphism, Philip Wadler
(0) ANNOUNCE: Chameleon, Martin Sulzmann
(0) Research Grants at UPM, clip-small
(0) failures, Matthias Felleisen
(0) Re: failures, Martin Abadi
(0) Re: failures, Olivier Ridoux
(0) Re: failures, Martin Odersky
(0) Re: failures, Xavier Leroy
(0) Re: failures, Philip Wadler
(0) Re: failures, Vijay Saraswat
(0) RE: failures, Robert Harper
(0) POPL 03 Second Call for Participation, David Walker
(0) Re: failures, Uwe.Nestmann
(0) Doctoral studies at the University of Pe, Benjamin C. Pierce
(0) Re: failures, Dave Berry
(0) HOSC call for papers about Krivine's abs, Olivier Danvy
(0) LICS 2003 2nd CFP and deadline alteratio, Alex Simpson
(0) Re: failures, matt hellige
(0) RTA'03: call for papers, Femke van Raamsdonk
(0) PSSL 78 - Second announcement, crans
(0) GPCE 03, Akos Ledeczi
(0) Workshop on "Formal Methods and Security, Pierre-Louis Curien
(0) WOOD2003: 2nd Call For Papers, Michele Bugliesi
(0) POPL 03: Updated Call for Participation, David Walker
(0) Foundations of Object-Oriented Languages, ghelli
(0) LaTeX resources, Mitchell Wand
(0) Professorship opening, Jean-Marie JACQUET
(0) The Fun of Programming, Jeremy Gibbons
(0) Announce: Types for Global Computing, Giuseppe Castagna
(0) Open Position in Programming Languages a, Thore Husfeldt
(0) William Cook update and papers, William Cook
(0) CFP: 5th Int. Workshop on Implicit Compu, Jim Royer
(0) [CSL03] Call For Papers: Computer Scienc, csl03
(0) ETAPS03 - grants, Konferencja ETAPS'03
(1) Re: failures, Matthias Felleisen

(0) Re: failures, Matt Hellige

(0) Classifying the cardinalities of types, Tim Sweeney
(0) EMSOFT 2003 Call For Papers, Stephen A. Edwards
(0) Re: Classifying the cardinalities of typ, Tim Sweeney
(0) Call for Papers: 10th Static Analysis Sy, Radhia Cousot
(0) BRICS PhD grants and Marie Curie fellows, Uffe Henrik Engberg
(0) Field's Institute Summer School in Logic, Phil Scott
(0) CFP: FOAL 2003--Foundations Of Aspect-or, Curtis Clifton
(0) PLI'03 Call for Workshop Proposals, Peter Lee
(0) Intuitionistic logic on real line, Pawel Urzyczyn
(0) First APPSEM-II Workshop, Graham Hutton
(0) ETAPS 2003 - call for participation, Konferencja ETAPS'03
(0) ACM-IEEE MEMOCODE'2003 - Call for Papers, Jean-Pierre Talpin
(0) PPDP 2003: call for papers, Dale Miller
(0) FICS 03 Call for Papers, �sik Zolt�n
(0) TYPES 2003 - Call for Participation, stefano berardi
(0) SBLP2003 - call for papers, Lucilia Camarao de Figueiredo
(0) PEPM'03 - Call for Papers, Michael Leuschel
(0) ICALP WORKSHOP IN HONOR OF DE BRUIJN'S 8, Fairouz Kamareddine
(0) FTP'2003 Preliminary Call for Papers, Laurent Vigneron
(0) Job in Munich Germany, Heath.Putnam.Extern
(0) Call for Post PhD Grant Applications, Gradkolleg LI
(0) CFP: ICFP 2003, Christian Schulte
(0) CFP: ECOOP 2003 Workshop on Formal Techn, =?iso-8859-1?Q?Peter_M=FCller?=
(0) Summer schools in Types?, Christophe Raffalli
(0) Fields Institute Summer School in Logic , P. Scott
(0) First APPSEM-II Workshop, Graham Hutton
(0) Re: Summer schools in Types?, Achim Jung
(0) Chair of Theoretical Computer Science, Gordon Plotkin
(0) Ph.D. scholarships at the IT University , Lars Birkedal
(0) Haskell Workshop 2003, Johan Jeuring
(0) Proof Theory List, Alessio Guglielmi
(0) Summer school on the Foundation of Secur, Zena Matilde Ariola
(0) CFP: International Workshop on Aliasing,, Dave Clarke
(0) ICFP 2003 Call for Papers -- deadline ex, shivers
(0) Paper announcement: A Metalogical Approa, Karl Crary
(0) WoLLIC'2003, Ruy de Queiroz
(0) SBLP 2003 - extended deadline, Lucilia Camarao de Figueiredo
(0) CFP for RULE 2003, RULE'03 workshop
(0) Postdoc position at ENS, Giuseppe Castagna
(0) FMCS 2003: preliminary announcement (cal, Robin Cockett
(0) new paper on type inference in light log, Patrick Baillot
(0) ICLP'03: Call for WORKSHOP proposals, Jan-Georg Smaus
(0) WAIT 2003: Call For Papers, WAIT 2003
(0) 2 Research Fellow/Postdoc positions, Ott, Peter Selinger
(0) Postdoctoral Research Scientist (Opening, Walid Taha
(0) FCT 2003 / Deadline February 20/ ASCII, Andrzej Lingas
(0) FCT'2003 - Deadline extended to February, Andrzej Lingas
(0) AMILP III Announcement, Anton Nijholt
(0) research vacancy at sussex, Matthew Hennessy
(0) WSSA 2003: Call for Participation, Alberto Pardo - INCO
(0) teaching position at Imperial College, L, Sophia Drossopoulou
(0) CP2003: CFP and doctoral programme, Steve Prestwich
(0) LICS 2003 Call for Short Presentations, Alex Simpson
(0) International Masters Programme in COMPU, CL Advertisement
(0) CfP: CMCIM'03, A.Kurz
(0) CfP: Onward! at OOPSLA 2003, William Cook
(0) FMOODS'03, J.Derrick
(0) FMOODS'03 - CfP, J.Derrick
(0) FCT'2003 - Deadline extended to March 3, Andrzej Lingas
(0) Lectureships at Leicester, Roy L. Crole
(0) BCTCS 19, N Ghani
(0) CP2003: call for workshops and tutorials, Steve Prestwich
(0) Postdoc & PhD positions in Datatype-Gene, Jeremy Gibbons
(0) Extended deadline of de Bruijn's 85th an, Fairouz Kamareddine
(0) Second NJITES Cybersecurity Symposium, A, Dominic Duggan
(0) Summer School on the Foundations of Secu, Zena Matilde Ariola
(0) MFPS Call for participation, Prakash PANANGADEN
(0) Best GPCE'03 Papers Will Be Recommended , Akos Ledeczi
(0) 1st MM-NET Workshop on Analytical Techni, Richard Jones
(0) Concur 2004, Philippa Gardner
(0) CONCUR 2003 - Call for papers - Marseill, =?iso-8859-1?Q?R=E9mi?= Morin
(0) ICTCS03 call for papers, Blundo Carlo
(0) Technical Report: Session Types for Inte, simon gay
(0) CP'03 final CFP: new submission deadline, Steve Prestwich
(0) Final CFP: 5th Workshop on Implicit Comp, Jim Royer
(0) NASSLLI 2003. Registration is open now., NASSLLI'03 Bloomington, Indiana
(0) Course materials using "Types and Progra, James Riely
(0) Re: Course materials using "Types and Pr, Gary T. Leavens
(0) LPAR'03 - Call for Papers, Moshe Vardi
(0) UNIF'03 second call for papers, Workshop unif03
(0) Foclasa: 1st Call for Papers, Jean-Marie JACQUET
(0) types as set of values, Giuseppe Castagna
(0) FMCO 2003: Call for Participation, frb
(0) Re: types as set of values, Uwe.Nestmann
(0) RE: types as set of values, Robert Harper
(0) Re: types as set of values, Ed Lowry
(0) Re: Course materials using "Types and Pr, Jason Hickey
(0) CfP: ACM SIGPLAN MERLIN 2003, MERLIN'03
(0) symposium announcement, Pierre-Louis Curien
(0) CFP: DALT'03 - 1st Workshop on Declarati, =?iso-8859-1?Q?Jo=E3o_Alexandre_Leite?=
(0) UNIF'03 extended deadline, Workshop unif03
(0) Proof Theory, Computation and Complexity, Proof Theory, Computation and Complexity
(0) a paper on *-autonomous categories and l, Hasegawa Masahito
(0) LICS 2003 - Call for Participation, Alex Simpson
(0) Kernel Mode Linux with libc support, Eijiro Sumii
(0) ICTCS03 - deadline extention, Blundo Carlo
(0) Ottawa Summer School + Workshops: Call f, Peter Selinger
(0) ICLP 03 call for contributions, Jan-Georg Smaus
(0) Call for participation ICALP2003, icalp2003
(0) Assistant (PhD) positions at ETH Zurich,, Bertrand Meyer
(0) RDP'03 - Call for participation, Salvador Lucas
(0) Deadline Extension: ECOOP 2003 Workshop , =?iso-8859-1?Q?Peter_M=FCller?=
(0) Extension to ECOOP 2003 workshop IWACO d, Dave Clarke
(0) FLOPS2004 First Call for Papers, Yukiyoshi Kameyama
(0) A paper on an imperative core calculus f, Gavin Bierman
(0) TPLP Special Issue: Specification Analys, Giorgio Delzanno
(0) ECOOP 2003 Call for Participation, Klaus Ostermann
(0) Call for Papers -- ASIAN '03 (Mumbai, De, Vijay Saraswat
(0) EEF Global Computing Summer School, Edin, Stephen Gilmore
(0) ICLP 03: Final call for papers. Deadline, Jan-Georg Smaus
(0) book announcement: Terese, Roel de Vrijer
(0) APLAS'03 : Asian Symposium on Programmin, Atsushi Ohori
(0) Proof Theory, Computation and Complexity, Alessio Guglielmi
(0) LICS 2003 - Call for Participation, Amy Felty
(0) BIOCONCUR'03, laneve
(0) Research Job: Compositional Reasoning & , Joe Wells
(0) CfP: 3rd Workshop on Domain-Specific Vis, Juha-Pekka Tolvanen
(0) Paris Kanellakis Memorial Workshop, Scott Smolka
(0) Program for ICC'03, Jim Royer
(0) ETAPS 2004: FIRST CALL FOR SUBMISSIONS, ETAPS 2004
(0) LATIN 04 CFP, Martin Farach-Colton
(0) Paper: Subtyping Recursive Types modulo , Francois Pottier
(0) FAST CfP: Workshop on Formal Aspects in , Fabio Martinelli
(0) Express 2003 - Last Call for Papers, flavio
(0) POPL 2004 Call for Papers, David Walker
(0) TYPES forum on vacation, May 27 to June , Benjamin C. Pierce
(0) Research assistent in proof theory and d, Anton Setzer
(0) Call for Tutorials: Distributed Applicat, dncr
(0) call-by-value with sums and products, Philip Wadler
(0) CFP: ACM SAC'04 Programming Languages Tr, Marjan Mernik
(0) Paper announcement, semantics of classic, David J. Pym
(0) Research assistant, Deadline June 13th, , Anton Setzer
(0) Paper on a very simple cut elimination, Kai =?iso-8859-1?Q?Br=FCnnler?=
(0) PhD studentship, Ranko Lazic
(0) ICLP03: Call for Poster Submissions, Jan-Georg Smaus
(0) POPL 2004 Call for Papers, David Walker
(0) PhD position at INRIA Sophia, Roberto Amadio
(0) Post-doctoral Fellowships at Chalmers Un, Ana Bove
(0) "twisted" Galois connections?, Philip Wadler
(0) Re: "twisted" Galois connections?, John Clements
(0) CFP: OOPS track at SAC 2004, Object Orie, Davide Ancona
(0) Re: "twisted" Galois connections?, Sven-Olof Nystr|m
(0) Post-doctoral positions in formal method, Gilles Barthe
(0) re Logic for Computer Science, Jean Gallier
(0) WLPE'03 - CALL FOR PAPERS, Alexander Serebrenik
(0) WRLA 2004 - Call for papers, alberto
(0) ICLP'03 call for posters. Deadline appro, Jan-Georg Smaus
(0) POST-DOC Opportunity, Gilles Grimaud
(0) Open positions: Research (Bunched ML); L, David Pym
(0) type inference visualization, Hugo Simoes
(0) Suggestions for textbook?, Mitchell Wand
(0) Re: Suggestions for textbook?, =?ISO-8859-1?Q?G=E9rard_Huet?=
(0) New Article on Enforceable Security Poli, David Walker
(0) Open research position in types for secu, Manuel M T Chakravarty
(0) call for papers for the post-proceedings, Mario Coppo
(0) Call-by-value is Dual to Call-by-name, Philip Wadler
(0) Information flow analysis: Flow Caml, Vincent Simonet
(0) Fresh Objective Caml, Mark Shinwell
(0) Re: Call-by-value is Dual to Call-by-nam, Paul B Levy
(0) CDuce public release, Giuseppe Castagna
(0) [Csl03] Call for Participation, csl03
(0) research position in Foundations of Dist, Peter Sewell
(0) Call for Papers: VMCAI'04, Venice, Italy, Dave Schmidt
(0) Special Symp. on The Unusual Effectivene, Moshe Vardi
(0) CFP - LPAR'03 - September 22-26th, 2003,, Moshe Vardi
(0) CFP FOOL 11, January 2004, Venice Italy, Sophia Drossopoulou
(0) Formula Tree Lab: a tool for studying in, Sabine Broda
(0) Apologies for bogus Types message, Benjamin C. Pierce
(0) 3 positions for junior researchers/ post, Herman Geuvers
(0) Cryptographic Protocol Logic (CPL), Simon Kramer
(0) COORDINATION 2004 - First Call for paper, Emilio Tuosto
(0) Thesis announcement: A Type System Equiv, Mayur Naik
(0) Call for Papers: Continuations Workshop , Hayo Thielecke
(0) Call for Papers: 13th Workshop on Logic , Alexander Serebrenik
(0) cfp ijcar 2004 - please post, Maria Paola Bonacina
(0) CFP: CLIMA IV - 4th Intl. Workshop on Co, =?iso-8859-1?Q?Jo=E3o_Alexandre_Leite?=
(0) SVV'03 Call for Papers, Supratik Mukhopadhyay
(0) Region-Based Model Abstraction (paper an, Jakob Rehof
(0) ETAPS 2004: FIRST CALL FOR SUBMISSIONS, ETAPS 2004
(0) CP 2003: call for participation and prel, Steve Prestwich
(0) Job Opening: Professor in the Foundation, rinus plasmeijer
(0) Open faculty positions in Formal methods, S. Purushothaman Iyer
(0) Job openings in Amsterdam in Programming, Ralf Laemmel
(0) Re: Type theory vs floating-point arithm, Benjamin C. Pierce
(0) CFP JLAP: Processes and Security", Roberto Amadio
(0) Deadline Extension: VMCAI'04, Dave Schmidt
(0) Type theory vs floating-point arithmetic, Tim Sweeney
(0) Call For Papers - 13th Workshop on Logic, Alexander Serebrenik
(0) RE: Type theory vs floating-point arithm, Joe Darcy
(0) Re: Type theory vs floating-point arithm, Peter Selinger
(0) Re: Type theory vs floating-point arithm, Matthias Blume
(0) Final Call for Papers: IFM 2004, Graeme Smith
(1) Re: Type theory vs floating-point arithm, Achim Jung

(0) Re: Type theory vs floating-point arithm, Joe Darcy

(0) Re: Type theory vs floating-point arithm, Sergei SOLOVIEV
(0) Re: Type theory vs floating-point arithm, Matthias Blume
(1) Re: Type theory vs floating-point arithm, Ross Casley

(0) Re: Type theory vs floating-point arithm, Joe Darcy

(0) Re: Type theory vs floating-point arithm, Yong Luo
(0) PhD and postdoc position in Graphs for O, Arend Rensink
(0) CFP PLAN-X 2004..., Michael I. Schwartzbach
(0) SVV'03 Call for Papers, Abhik Roychoudhury
(0) Graduate School of Language Technology, Aarne Ranta
(0) TYPES'03 post-conference proceedings: re, Types 2003 proceedings
(0) Postdoc Position on Global Computing Pro, Luis Caires
(0) Fundamenta Informaticae: Special Issue o, Maurizio Proietti
(0) ANN: X-Klaim & Klava ver 2, Lorenzo Bettini
(0) Book Announcement: "Logic for Concurrenc, Ruy de Queiroz
(0) CMCS '04, FIRST ANNOUNCEMENT, CALL FOR P, Frank Rust
(0) ESOP 2004, Barcelona: Call for Papers, Dave Schmidt
(0) Special Issue on Types in Concurrency fo, Davide Sangiorgi
(0) Implementation of 2nd-order lambda to co, Jo Erskine Hannay
(0) Mathematical Knowledge Management Sympos, Fairouz Kamareddine
(0) FOSSACS 2004, call for papers, Igor Walukiewicz
(0) Results about F^omega with type fixed-po, Andreas Abel
(0) Positions at DoCoMo Labs USA (San Jose, , David Espinosa
(0) SPACE 2004, Richard Jones
(0) FOOL11 - deadline extended to 1/10/03, Sophia Drossopoulou
(0) Call for Papers: ICFP 2004, Kathleen Fisher
(0) FLOPS deadline extension, Yukiyoshi Kameyama
(0) CHAIRS, READERS AND LECTURERS, Susan Bates
(0) ACM PODS 2004, Call for Papers, Frank Neven
(0) TYPES'03 proceedings: extended deadline, Mario Coppo
(0) CW'04 deadline extension, Hayo Thielecke
(0) Postdoc Position in Separation Logic, Peter O'Hearn
(0) ECOOP 2004 call for contributions, Martin Odersky
(0) CONCUR 2004 -- Call for Workshop Proposa, Vladimiro Sassone
(0) type-based information flow analyis for , kobayasi
(0) Two papers on abstract logic programming, Paola Bruscoli
(0) FMCO 2003: CALL FOR PARTICIPATION, etaps02 VERIMAG
(0) CFP: LL3; Submission deadline Oct. 17, Jeremy Hylton
(0) 5-year Lectureship, Queen mary, Univ of , Peter O'Hearn
(0) Call for Participation: The 13th worksho, Alexander Serebrenik
(0) APLAS 2003 Call for Participation, Atsushi Ohori
(0) CFP for LDTA 2004, jas
(0) Call for papers: HOSC Special Issue foll, MERLIN'03
(0) Call for PhD and Post PhD Grant Applicat, Gradkolleg LI
(0) mechanical proof checkers for type sound, Eric Allen
(0) ICLP'03: call for participation, Jan-Georg Smaus
(0) DAIS-FMOODS'03 - Paris 18-21 Nov - Call , Kurt Geihs
(0) RE: mechanical proof checkers for type s, Eric Allen - Sun Microsystems - Burlington United States
(0) Paper on semantics of Java-like language, nipkow
(0) Concur 2004 Preliminary Announcement, Iain Phillips
(0) EXTENDED DEADLINE OF MKM SUBMISSIONS, Fairouz Kamareddine
(0) Opening positions for young researchers , Marco Bozzano
(0) RTA'04: call for papers, Femke van Raamsdonk
(0) 9th Estonian Winter School in Comp. Sci., Tarmo Uustalu
(0) AlphaProlog 0.3 releae announcement, James Cheney
(0) Subject: CFP: Computer Aided Verificatio, Doron Peled TMP ACCT
(0) query: models of CIC, Milad Niqui
(1) query: models of CIC, Thorsten Altenkirch

(0) Re: query: models of CIC, Milad Niqui

(0) CFP: 10th Conference on Category Theory , Thomas Hildebrandt
(0) CFP: 10th Conference on Category Theory , Thomas Hildebrandt
(0) query: models of CIC, Thorsten Altenkirch
(0) Call for papers: Fourth International Wo, Sergio Antoy
(0) Workshop on Lambda-Calculus, Type Theory, Maribel Fernandez
(0) addendum to models of CIC, Thomas Streicher
(0) Re: query: models of CIC, Thomas Streicher
(0) Software Security Track at HASE'2004: CF, Supratik Mukhopadhyay
(0) AVIS'04 Call for Papers, Supratik Mukhopadhyay
(0) addendum to models of CIC, Thorsten Altenkirch
(0) United States Midwest Region: MSPLS Work, Matthias Blume
(0) LICS 2004 - Call for Papers, Alex Simpson
(0) ICLP'04 (International Conference on Log, Arnaud.Gotlieb\
(0) ICLP'04 -- Call For Workshops Proposals, Arnaud Gotlieb
(0) ICLP03: Call for participation, Jan-Georg Smaus
(0) WoLLIC'2004 - Call for Papers, Ruy de Queiroz
(0) DAIS-FMOODS 2003 - Paris 18-21 Nov - 2nd, dncr
(0) Faculty positions at Indiana, larry moss
(0) NASSLLI04 Call for Proposals, Marcus Kracht
(0) research position at the University of I, Aart Middeldorp
(0) ASIAN'03 -- Call for Participation, Kazunori UEDA
(0) TPHOLs: Call for papers, Konrad Slind
(0) POPL 04 Call for Participation, David Walker
(0) ECOOP 04 Call for Contributions, Martin Odersky
(0) ECOOP 04 Call for Contributions, Martin Odersky
(0) Preliminary CFP: GPCE'04 -- Generative P, Eelco Visser
(0) Program announcement and call for partic, Fairouz Kamareddine
(0) CfP: ESSLLI'04 Student session, =?iso-8859-1?B?UGF1bCBFZ3Lp?=
(0) CFP: PASTE 2004 - Program Analysis for S, Andreas Zeller
(0) equational proof checker for lambda calc, jhines
(0) (no subject), Philip Wadler
(0) WRLA 2004 - Last call for papers (EXTEND, alberto
(1) Re: Cut-Elimination in Linear Logic (was, Frank Pfenning

(0) Re: Cut-Elimination in Linear Logic, Philip Wadler

(0) equational proof checker for lambda calc, Mitchell Wand
(0) equational proof checker for lambda calc, Michael Norrish
(0) question from Phil Wadler re cut/linear , Jeremy DAWSON
(0) Re: equational proof checker for lambda , =?ISO-8859-1?Q?G=E9rard_Huet?=
(0) graduate student positions, Ottawa, Peter Selinger
(0) Re: equational proof checker for lambda , Klaus Ebbe Grue
(0) Public release of the Triveni concurrent, Konstantin L=?ISO-8859-1?B?5A==?=ufer
(0) equational proof checker for lambda calc, Thorsten Altenkirch
(0) New technical report, Matthew Hennessy
(1) Re: Cut-Elimination in Linear Logic, sanjiva

(1) Re: Cut-Elimination in Linear Logic, Philip Wadler

(0) Re: Cut-Elimination in Linear Logic, sanjiva

(0) TCS 2004, Jean-Jacques Levy
(0) Re: Call for submissions - SASYFT2004, Siva Anantharaman
(0) thanks, and generating simply-typed term, jhines
(0) interview with Robin Milner, Martin Berger
(0) PLAN-X 2004 Call for Participation, Michael I. Schwartzbach
(0) Conference on TeX, XML and Digital Typop, Apostolos Syropoulos
(0) CW'04 Call for Participation, Hayo Thielecke
(0) FOOL 2004 - Call for Participation, Sophia Drossopoulou