TYPES list archives

• Re: typed-based analysis and applications
  
• Type inference without principal types Jonathan Aldrich <jonal@cs.washington.edu>
  
• Address changes for me and TYPES "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• MFPS Call for Papers Andre Scedrov <scedrov@saul.cis.upenn.edu>
  
• Paper available on Java bytecode verification Zhenyu Qian <qian@kestrel.edu>
  
• paper on functions as pi-calculus processes Davide Sangiorgi <Davide.Sangiorgi@sophia.inria.fr>
  
• Announcement Morten Heine S|rensen <rambo@diku.dk>
  
• Research Associate Position Harry Mairson <mairson@lapis.cs.brandeis.edu>
  
• Research Positions in Logic, Types, and Rewriting fairouz@cee.hw.ac.uk (Fairouz Kamareddine)
  
• Re: Type inference without principal types Jens Palsberg <palsberg@cs.purdue.edu>
  
• Call for Participation - ICFP'98 - Early Registration Deadline Jon Mountjoy <jon@wins.uva.nl>
  
• Call for Papers "Robert A.G. Seely" <rags@triples.math.mcgill.ca>
  
• ICCPL-workshop LICS <lics@cs.indiana.edu>
  
• Call for Participation - Int. Conf. on Functional Languages '98 - Early Deadline Jon Mountjoy <jon@wins.uva.nl>
  
• Re: STACS'99: Call for Papers Sophie.Tison@lifl.fr
  
• paper on an extension of linear types KOBAYASHI Naoki <koba@lute.is.s.u-tokyo.ac.jp>
  
• WPAM: Call for Participation Stephan Diehl <diehl@cs.uni-sb.de>
  
• PEPM'99 CFP (reminder) Olivier Danvy <danvy@brics.dk>
  
• LICS'99: Call for Papers (text & LaTeX) lics-owner@research.bell-labs.com (Leonid Libkin)
  
• TLCA99 : extended deadline Typed Lambda-Calculi and Applications <tlca99@iml.univ-mrs.fr>
  
• Call for Participation : ASIAN 98 Atsushi Ohori <ohori@kurims.kyoto-u.ac.jp>
  
• Lectures on the Curry-Howard Isomorphism Morten Heine S|rensen <rambo@diku.dk>
  
• top down type inferece Daniel Leivant <leivant@cs.indiana.edu>
  
• Lambda Calculus with Explicit Substitution as a term assignment? Sanjiva Prasad <sanjiva@brics.dk>
  
• An efficient implementation of type inference with subtyping Francois Pottier <Francois.Pottier@inria.fr>
  
• URL update for Category group, Montreal (Lambek Festschrift, etc) "R.A.G. Seely" <rags@math.mcgill.ca>
  
• Re: Lambda Calculus with Explicit Substitution as a term assignment? Rene Vestergaard <jrvest@cee.hw.ac.uk>
  
• FSTTCS 98, Call for Participation 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
  
• ECOOP'99 --- Call for Contributions Vasco Thudichum Vasconcelos <vv@padme.di.fc.ul.pt>
  
• workshop announcement delia Kesner <Delia.Kesner@lri.fr>
  
• position opennings Kwangkeun Yi <kwang@compiler.kaist.ac.kr>
  
• Book: "Theorem Proving with the Real Numbers" John Harrison <John.Harrison@cl.cam.ac.uk>
  
• A new proof of the wellfoundednes of the multiset ordering Tobias.Nipkow@informatik.tu-muenchen.de
  
• Re: A new proof of the wellfoundednes of the multiset ordering chet@watson.ibm.com
  
• DMTCS'99 and CATS'99 Call for Participation Paul Bonnington <p.bonnington@auckland.ac.nz>
  
• a repository for CS research Gopalan Nadathur <gopalan@cs.uchicago.edu>
  
• An old proof of the wellfoundednes of the multiset ordering Tobias.Nipkow@informatik.tu-muenchen.de
  
• International Masters Programme in Computational Logic CL Advertisement <cladv@pikas.inf.tu-dresden.de>
  
• Static Analysis Symposium '99 (cfp) Agostino Cortesi <cortesi@dsi.unive.it>
  
• Paper announcement: What is a Recursive Module? Robert Harper <rwh@cs.cmu.edu>
  
• Thesis announcement: Types For Modules Claudio Russo <claudio@harlequin.co.uk>
  
• Correction: URL for "What is a Recursive Module" Robert Harper <rwh@cs.cmu.edu>
  
• Recent papers gqz@alpha.CES.CWRU.Edu (Guo-Qiang Zhang)
  
• Update on FISh and shape Barry Jay <cbj@socs.uts.EDU.AU>
  
• FLOPS'99 Call for Papers Aart Middeldorp <ami@is.tsukuba.ac.jp>
  
• Research Positions at BRICS Research Centre and Int. PhD School Uffe Henrik Engberg <engberg@brics.dk>
  
• Call for Papers: ICFP'99 Jon Mountjoy <jon@wins.uva.nl>
  
• the strength of the typed lambda calculus Brian Postow <bpostow@cs.umd.edu>
  
• FMOODS99 Preliminary programme Alessandro Fantechi <fantechi@dsi.unifi.it>
  
• Postdoctoral Fellowship Samson Abramsky <samson@dcs.ed.ac.uk>
  
• MFPS deadline extension Andre Scedrov <scedrov@saul.cis.upenn.edu>
  
• Faculty positions at DePaul University Alan Jeffrey <ajeffrey@cs.depaul.edu>
  
• A paper on pi-calculus types. Kohei Honda <kohei@dcs.qmw.ac.uk>
  
• post-doctoral positions Samson Abramsky <samson@dcs.ed.ac.uk>
  
• Transparent and opaque interpretations of datatypes Karl Crary <crary@cs.cmu.edu>
  
• Paper on (CBV) lambda-mu-calculus G M Bierman <Gavin.Bierman@cl.cam.ac.uk>
  
• Professorship in Programming Theory, University of Bergen magne@ii.uib.no (Magne Haveraaen local)
  
• Release of Twelf 1.2 Logical Framework Carsten Schuermann <carsten+@cs.cmu.edu>
  
• Communication errors in the polyadic pi-calculus are undecidable Vasco Thudichum Vasconcelos <vv@padme.di.fc.ul.pt>
  
• PPDP'99 Francois Fages <Francois.Fages@ens.fr>
  
• Final program for FOOL 6 Kim Bruce <kb@CS.Princeton.EDU>
  
• Positions in Programming Theory, University of Bergen magne@ii.uib.no (Magne Haveraaen local)
  
• TACAS '99 Accepted Papers Rance Cleaveland <rance@cs.sunysb.edu>
  
• abstract syntax and variable binding "Daniele Turi" <dt@dcs.ed.ac.uk>
  
• Thesis Announcement: Type Inference with Bounded Quantification Dilip Sequeira <dilip@harlequin.co.uk>
  
• CONCUR'99 CFP sjouke@win.tue.nl (Sjouke Mauw)
  
• studentship positions Dave Schmidt <schmidt@cis.ksu.edu>
  
• Formalization of COM Rosziati Ibrahim <ibrahim@fit.qut.edu.au>
  
• Call for Papers - LambekFest "Robert A.G. Seely" <rags@triples.math.mcgill.ca>
  
• Grothendieck Logical Relations. Marcelo Fiore <marcelo@cogs.susx.ac.uk>
  
• Postdoc at Penn bcpierce@cis.upenn.edu
  
• call for PPDP workshop proposals Gopalan Nadathur <gopalan@cs.uchicago.edu>
  
• CTCS '99 FIRST CALL FOR PAPERS] "Martin Hofmann" <ctcs99@dcs.ed.ac.uk>
  
• [CFP] 5th Mobile Object Systems Workshop Jan.Vitek@cui.unige.ch
  
• Vacancy for Ph.D. student (Netherlands) Herman Geuvers <herman@win.tue.nl>
  
• 6th WoLLIC'99 Ruy de Queiroz <ruy@di.ufpe.br>
  
• Lectureships in Computer Science "Roy L. Crole" <R.Crole@mcs.le.ac.uk>
  
• New paper: The Category of Strongly Finite Sequent Structures Ralf Greb <ralfgreb@informatik.uni-siegen.de>
  
• PhD program at Wesleyan "Daniel J. Dougherty" <ddougherty@condor.fddi.wesleyan.edu>
  
• MOD Summerschool on FOUNDATIONS OF SECURE COMPUTATION Oscar Slotosch <slotosch@informatik.tu-muenchen.de>
  
• Papers on Typed Assembly Language Karl Crary <crary@cs.cmu.edu>
  
• Anti-Symmetry of Higher-Order Subtyping Adriana Compagnoni <abc@guinness.cs.stevens-tech.edu>
  
• Maude 1.0 Release Jose Meseguer <meseguer@csl.sri.com>
  
• Jobs in computer algebra and reasoning S.J.Thompson@ukc.ac.uk
  
• Re: Yamaha ChasJDavid@aol.com
  
• Distributed Systems Michael B Greenwald <mbgreen@central.cis.upenn.edu>
  
• PPDP'99 Call for Papers Francois Fages <Francois.Fages@ens.fr>
  
• CFP Types Summer School'99 Joelle Despeyroux <Joelle.Despeyroux@sophia.inria.fr>
  
• categories: TLCA'99 Call for Participation (Text & LaTex versions) "tlca99.aquila" <tlca99@univaq.it>
  
• School on Logic and Computation fairouz@cee.hw.ac.uk (Fairouz Kamareddine)
  
• MFPS XV Update Michael Mislove <mwm@math.tulane.edu>
  
• [SOAP @ ECOOP] Semantics of Objects As Processes '99 (CFP) Uwe Nestmann <uwe@cs.auc.dk>
  
• TLCA'99 Call for Participation (Text & LaTex versions) "tlca99.aquila" <tlca99@univaq.it>
  
• ICFP 99 -- Call for Papers Didier Remy <remy@morgon.inria.fr>
  
• Handbook of Automated Reasoning, volunteer readers Andrei Voronkov <voronkov@groucho.csd.uu.se>
  
• book announcement: Categorical Logic and Type Theory Bart Jacobs <Bart.Jacobs@cs.kun.nl>
  
• New technical reports on coinduction Jan Rutten <Jan.Rutten@cwi.nl>
  
• 2nd CFP: Intuitionistic Modal Logic and Applications Federated Logic Conference 1999 <floc99im@dcs.shef.ac.uk>
  
• Paper announcement: What is a Recursive Module? Karl Crary <crary@cs.cmu.edu>
  
• Spring School on Categorical Methods in Logic & Computer Science Gradkolleg LI <gkli@rz.mathematik.uni-muenchen.de>
  
• Paper Announcement: Control Categories and Duality Peter Selinger <selinger@math.lsa.umich.edu>
  
• Paper on linear bicategories and non-commutative linear logic "Robert A.G. Seely" <rags@triples.math.mcgill.ca>
  
• FSTTCS '99, First Call for Papers FSTTCS99 <fsttcs99@imsc.ernet.in>
  
• OOSDS'99 Call for Papers Natalia Ioustinova <ustin@informatik.uni-rostock.de>
  
• *** FLOC-99 --- WORKSHOP AND CONTEST ON INDUCTIVE THEOREM PROVING *** Dieter Hutter <hutter@dfki.de>
  
• Research scholarships available at Birmingham Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
  
• email address change Robert Kiessling <kiesslin@fmi.uni-passau.de>
  
• Paper announcement: Flexible Type Analysis "Stephanie Weirich" <sweirich@CS.Cornell.EDU>
  
• Re: Paper announcement: Flexible Type Analysis Barry Jay <cbj@socs.uts.edu.au>
  
• School of Logic and COmputation program and call for participation fairouz@cee.hw.ac.uk (Fairouz Kamareddine)
  
• summer internships Andrew Wright <wright@intertrust.com>
  
• PhD Studentship at Edinburgh Gordon Plotkin <gdp@dcs.ed.ac.uk>
  
• CTCS '99 (Deadline 23 April 1999) "Martin Hofmann" <ctcs99@dcs.ed.ac.uk>
  
• Announcement for ISDT'99 "Chen yixiang" <ychen@shtu.edu.cn>
  
• [SOAP @ ECOOP] Semantics of Objects As Processes '99 (CFP-Reminder) Uwe Nestmann <uwe@cs.auc.dk>
  
• FLOPS'99 Aart Middeldorp <ami@is.tsukuba.ac.jp>
  
• CFP, LPAR'99 Andrei Voronkov <voronkov@cs.man.ac.uk>
  
• Call For Papers: Logical Frameworks and Meta-languages (LFM'99) Amy Felty <felty@research.bell-labs.com>
  
• MOS'99 CFP Jan.Vitek@cui.unige.ch
  
• CFP: Realizability Semantics and Applications Lars Birkedal <birkedal@cs.cmu.edu>
  
• New paper: Union types for semistructured data "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• Revised paper: Behavioral Equivalence in the Polymorphic Pi-Calculus "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• Position at U. Ottawa Phil Scott <phil@mathstat.uottawa.ca>
  
• Call For Papers: HOOTS99 Paris, Sept 1999 (deadline June 26) Andy Gordon <adg@microsoft.com>
  
• paper on pre-logical relations available Don Sannella <dts@dcs.ed.ac.uk>
  
• CTCS'99 Deadline extended till 7 May 1999 "Martin Hofmann" <ctcs99@dcs.ed.ac.uk>
  
• Logic texts for computer scientists "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• ICLP99 Logic Programming Rsrch Association <complog@cs.nmsu.edu>
  
• Summary: logic texts for computer scientists "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• Papers by M Hofmann on HOAS & on Linear Types "Martin Hofmann" <mxh@dcs.ed.ac.uk>
  
• Summary: logic texts for computer scientists Mitchell Wand <wand@ccs.neu.edu>
  
• Lectureship in Computer Science "Roy L. Crole" <R.Crole@mcs.le.ac.uk>
  
• LPAR'99 deadline extension Andrei Voronkov <voronkov@cs.man.ac.uk>
  
• visiting fellowships: Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
  
• Research positions Matthew Hennessy <matthewh@cogs.susx.ac.uk>
  
• ICLP'99 Workshop: Verification in Logic Programming: CFP "J.G.Smaus" <J.G.Smaus@ukc.ac.uk>
  
• British Logic Colloquium 1999 Anuj Dawar <Anuj.Dawar@cl.cam.ac.uk>
  
• ECOOP'99 - Call for Participation vv@di.fc.ul.pt
  
• last CFP Types Summer School'99 - dead-line extension Joelle Despeyroux <Joelle.Despeyroux@sophia.inria.fr>
  
• WoLLIC'99 - Call for Participation Ruy de Queiroz <ruy@di.ufpe.br>
  
• Recursive types in polymorphic lambda calculus Philip Wadler <wadler@research.bell-labs.com>
  
• Type soundness issues in Java Martin Buechi <Martin.Buechi@abo.fi>
  
• Re: Type soundness issues in Java Kim Bruce <kim@cs.williams.edu>
  
• RE: Type soundness issues in Java Don Syme <dsyme@microsoft.com>
  
• RE: Type soundness issues in Java Don Syme <dsyme@microsoft.com>
  
• RE: Type soundness issues in Java Ole Agesen - SunLabs <agesen@galileo.East.Sun.COM>
  
• Re: Type soundness issues in Java "Phillip M. Yelland" <phillip.yelland@sun.com>
  
• Re: Type soundness issues in Java David Wragg <dpw@doc.ic.ac.uk>
  
• RE: Type soundness issues in Java Martin Buechi <Martin.Buechi@abo.fi>
  
• SAICSIT'99 call for papers Philip Machanick <philip@cs.wits.ac.za>
  
• RE: Type soundness issues in Java "Sophia Drossopoulou(Osp. Dezani)" <sophia@di.unito.it>
  
• Re: Type soundness issues in Java Zhenyu Qian <qian@kestrel.edu>
  
• Re: Type soundness issues in Java "Sophia Drossopoulou(Osp. Dezani)" <sophia@di.unito.it>
  
• Re: OOSDS99 Call for papers Natalia Ioustinova <ustin@informatik.uni-rostock.de>
  
• Paper on dependent types with subtyping and overloading Giuseppe Castagna <Giuseppe.Castagna@ens.fr>
  
• CfP: Wolam'99 Eike Ritter <E.Ritter@cs.bham.ac.uk>
  
• Research Position Gilles Barthe <Gilles.Barthe@sophia.inria.fr>
  
• CATS 2000, First Call for Papers Bob Edwards <Robert.Edwards@anu.edu.au>
  
• Position announcement Martin Odersky <Martin.Odersky@epfl.ch>
  
• Research fellowship at the Computer Science Department of Torino University "Mariangiola Dezani" <dezani@di.unito.it>
  
• Paper on Subtyping and Locality in Distributed Higher-order Processes Nobuko Yoshida <nobuko@cogs.susx.ac.uk>
  
• Re: Recursive types in polymorphic lambda calculus Philip Wadler <wadler@research.bell-labs.com>
  
• CONCUR'99 Call for participation sjouke@win.tue.nl (Sjouke Mauw)
  
• Call-For-Participation: PLI 99 = ICFP + PPDP + HOOTS + IDL + ... Didier.Remy@inria.fr
  
• PhD Studentship Zhaohui Luo <Zhaohui.Luo@durham.ac.uk>
  
• IFIP TC1 TCS Conference Y2000 in Japan "ito@ito.ecei.tohoku.ac.jp" <ito@ito.ecei.tohoku.ac.jp>
  
• Type Fixpoints: Iteration vs. Recursion Pawel Urzyczyn <urzy@mimuw.edu.pl>
  
• "OctoberFest" category theory meeting in Montreal "Robert A.G. Seely" <rags@triples.math.mcgill.ca>
  
• New paper: How Good is Local Type Inference? Haruo Hosoya <hahosoya@linc.cis.upenn.edu>
  
• Static Interpretation of Modules Martin Elsman <mael@tleilaxu.CS.Berkeley.EDU>
  
• CTCS '99 CALL FOR PARTICIPATION DEADLINE 19th July "Martin Hofmann" <ctcs99@dcs.ed.ac.uk>
  
• Posts at Heriot-Watt Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
  
• Second order logic and recursion Laszlo Nemeth <laszlo@dcs.gla.ac.uk>
  
• Re: Second order logic and recursion "Jonathan P. Seldin" <J.P.Seldin@swansea.ac.uk>
  
• Re: Second order logic and recursion Tarmo Uustalu <tarmo@greta.cs.ioc.ee>
  
• Final CFP: ASIAN'99, Phuket, Dec 10-12, 1999 Roland Yap Hock Chuan <asian99@iscs.nus.edu.sg>
  
• PhD and post-doc positions in formal program construction and analysis Thomas Jensen <Thomas.Jensen@irisa.fr>
  
• CFP (reminder): PLI99 = ICFP + PPDP + HOOTS + IDL + ... Didier.Remy@inria.fr
  
• Formal Specification of PLAN Carl Gunter <gunter@cis.upenn.edu>
  
• Faculty Position at Sussex Matthew Hennessy <matthewh@cogs.susx.ac.uk>
  
• British Logic Colloquium 1999 Anuj Dawar <Anuj.Dawar@cl.cam.ac.uk>
  
• FOOL 7 Workshop - Call for papers Kim Bruce <kim@cs.williams.edu>
  
• Post-FSTTCS Workshop on Mobile Computation FSTTCS99 <fsttcs99@imsc.ernet.in>
  
• job announcement Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
  
• CTCS `99 Call for Participation Samson Abramsky <samson@dcs.ed.ac.uk>
  
• Lectureship in Theoretical Computer Science in Birmingham Achim Jung <A.Jung@cs.bham.ac.uk>
  
• Call for Participation: HOOTS99, Paris, Sept 1999 (early registra tion deadline is August 20) Andy Gordon <adg@microsoft.com>
  
• Paper anouncement Hongwei Xi <hongwei@cse.ogi.edu>
  
• CATS 2000: CALL FOR PAPERS David A Wolfram <daw@cs.anu.edu.au>
  
• A simple categorical model of predicative polymorphism Olaf Chitil <chitil@I2.Informatik.RWTH-Aachen.DE>
  
• Re: A simple categorical model of predicative polymorphism "P. Scott" <scpsg@matrix.cc.uottawa.ca>
  
• Summary: A simple categorical model of predicative polymorphism Olaf Chitil <chitil@I2.Informatik.RWTH-Aachen.DE>
  
• PADL00 DEADLINE EXTENSION Vitor Santos Costa <vitor@cos.ufrj.br>
  
• TCS2000, call for papers HAGIYA Masami <hagiya@is.s.u-tokyo.ac.jp>
  
• Haskell99 Call for Participation "Erik Meijer" <erik@cse.ogi.edu>
  
• Research Positions in Semantics KINOSHITA Yoshiki <yoshiki@etl.go.jp>
  
• Call for Participation: Logical Frameworks and Meta-languages (LFM'99) Amy Felty <felty@research.bell-labs.com>
  
• HTML at McGill Maths Dept "R.A.G. Seely" <rags@math.mcgill.ca>
  
• New Paper: Object Closure Conversion Neal Glew <glew@CS.Cornell.EDU>
  
• PhD and Postdoc Positions in Software Technology (Utrecht University) "Erik Meijer" <erik@cse.ogi.edu>
  
• CFP: ISDT'99 Program Guo Qiang Zhang <gqz@cs.uga.edu>
  
• Workshop on Generic Programming 2000, call for papers Johan Jeuring <johanj@cs.uu.nl>
  
• ESOP 2000: Call for Papers Gert Smolka <smolka@ps.uni-sb.de>
  
• research positions available David Naumann <naumann@cs.stevens-tech.edu>
  
• Announcing PVS Version 2.3 Dave Stringer-Calvert <dave_sc@csl.sri.com>
  
• FMOODS 2000 Preliminary Call for Papers Carolyn Talcott <clt@Steam.Stanford.EDU>
  
• FMOODS 2000 CFP correction Carolyn Talcott <clt@Steam.Stanford.EDU>
  
• New paper: an intuitionistic lambda-calculus with exceptions Georges Mounier <Georges.Mounier@ac-lyon.fr>
  
• FOSSACS 2000, Call for Papers Jerzy Tiuryn <tiuryn@mimuw.edu.pl>
  
• FOSSACS'2000: Call for papers Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
  
• Job Opportunity at INRIA Sophia Antipolis Isabelle Attali <Isabelle.Attali@sophia.inria.fr>
  
• POPL '00, List of accepted papers Thomas Reps <reps@cs.wisc.edu>
  
• Linear types and malloc()-free C "Martin Hofmann" <mxh@dcs.ed.ac.uk>
  
• Cfp: Realizability Semantics and Applications (MSCS special issue) Lars Birkedal <birkedal@cs.cmu.edu>
  
• Chair in Computer Science "Roy L. Crole" <R.Crole@mcs.le.ac.uk>
  
• Journal of Functional Programming Philip Wadler <wadler@research.bell-labs.com>
  
• MSCS: Special Issue on "Lambda-Calculus and Logic" Mariangiola Dezani <mdezani@di.unito.it>
  
• CFP PPDP 2000 Franck van Breugel <franck@cs.yorku.ca>
  
• MPC2000: 5th Int. Conf. on Mathematics of Program Construction - CFP "Jose N. Oliveira" <jno@seide.di.uminho.pt>
  
• Deadline for ICLP99 early registration/hotel approaching Publicity for ICLP 99 <iclp99pub@cs.nmsu.edu>
  
• SUMMER SCHOOL ON MATHEMATICS OF PROGRAM CONSTRUCTION "Roy L. Crole" <R.Crole@mcs.le.ac.uk>
  
• Unique Decomposition Categories, Geometry of Interaction and ... Esfandiar Haghverdi <ehaghver@mathstat.uottawa.ca>
  
• ICFP 2000: Call for Papers Philip Wadler <wadler@research.bell-labs.com>
  
• Paper Announcement: Resource Bound Certification "Stephanie Weirich" <sweirich@CS.Cornell.EDU>
  
• PLI 2000: Call for Workshops Amy Felty <felty@research.bell-labs.com>
  
• CMCS2000 reichel@tcs.inf.tu-dresden.de (Horst Reichel)
  
• Call for Papers, ICFP 2000 (correction) Philip Wadler <wadler@research.bell-labs.com>
  
• New paper: Featherweight Java, a Core Calculus for Java and GJ igarasha@saul.cis.upenn.edu
  
• BOOK: Principles of Program Analysis Flemming Nielson <fn@daimi.au.dk>
  
• [CONCUR 2000] Conference Announcement and Call for Workshops Uwe Nestmann <uwe@cs.auc.dk>
  
• Book announcement Jean Gallier <jean@saul.cis.upenn.edu>
  
• ASIAN'99 Preliminary Program (Dec 10-12, Phuket) Roland Yap Hock Chuan <ryap@comp.nus.edu.sg>
  
• PADL'00: Call for Participation Logic Programming Rsrch Association <complog@cs.nmsu.edu>
  
• Lectureship at Warwick University, UK. Gavin Bierman <gmb@dcs.warwick.ac.uk>
  
• Research Associate Position at Leicester "Roy L. Crole" <R.Crole@mcs.le.ac.uk>
  
• PhD in Informatics (AI, CS, CogSci) at Edinburgh rbf@dai.ed.ac.uk
  
• Paper ann.: A Calculus of Order and Interaction Alessio Guglielmi <Alessio.Guglielmi@pikas.inf.tu-dresden.de>
  
• SAS2000: First Call for Papers Dave Schmidt <schmidt@cis.ksu.edu>
  
• CMS Applied Logic, Announcement Phil Scott <phil@mathstat.uottawa.ca>
  
• CFP: Special Journal Issue on Logical Frameworks and Metalanguages Amy Felty <felty@research.bell-labs.com>
  
• Position available Michael Mislove <mwm@math.tulane.edu>
  
• TCS2000 call for papers Shinya MIYAKAWA <miyakawa@ito.ecei.tohoku.ac.jp>
  
• PADL'00: Call for Participation Publicity for ICLP 99 <iclp99pub@cs.nmsu.edu>
  
• Possible amusement Jon Riecke <riecke@research.bell-labs.com>
  
• FMOODS'2000 cfp Carolyn Talcott <clt@Steam.Stanford.EDU>
  
• New lectureship/senior lectureship at Nottingham gmh@Cs.Nott.AC.UK
  
• WoLLIC'2000 Ruy de Queiroz <ruy@di.ufpe.br>
  
• Did anyone ever write out a/the type system for C++ ? "John C Mitchell" <mitchell@cs.stanford.edu>
  
• Re: Did anyone ever write out a/the type system for C++ ? sbalasubramaniam@lycos.com
  
• Workshop on subtyping & dependent types in programming Gilles Barthe <Gilles.Barthe@sophia.inria.fr>
  
• Paper Announcement: Assigning Types for Processes "N. Yoshida" <ny11@mcs.le.ac.uk>
  
• causal wrapper types Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
  
• FOOL 7 workshop - call for participation Martin Abadi <abadi@research.bell-labs.com>
  
• Faculty Positions at DePaul University Alan Jeffrey <ajeffrey@cs.depaul.edu>
  
• Final CFP: ASIAN'99, Dec 10-12, Phuket, Thailand Roland Yap Hock Chuan <ryap@comp.nus.edu.sg>
  
• POST-DOC at ENS-LYON Pierre Lescanne <Pierre.Lescanne@ens-lyon.fr>
  
• LICS 2000, Call for Papers Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
  
• New paper: On Inner Classes Atsushi IGARASHI <igarasha@saul.cis.upenn.edu>
  
• Proof General --- Version 3.0 release David Aspinall <da@dcs.ed.ac.uk>
  
• Haskell Workshop gmh@Cs.Nott.AC.UK
  
• Positions at the University of Kent, UK "S.J.Thompson" <S.J.Thompson@ukc.ac.uk>
  
• CSL 2000, call for papers Thorsten Altenkirch <alti@informatik.uni-muenchen.de>
  
• CFP: ITRS '00 (Workshop on Intersection Types & Related Systems) Joe Wells <jbw@cee.hw.ac.uk>
  
• Winter Workshop in Logics, Types and Rewriting Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
  
• No Subject "Christopher A. Stone" <cstone+@cs.cmu.edu>
  
• Cfp: Realizability Semantics and Applications (MSCS special issue) Giuseppe Rosolini <rosolini@disi.unige.it>
  
• Thesis on type-theory for OOP Jan Zwanenburg <janz@cs.kun.nl>
  
• CTCS '99 Special Issue in TCS "Martin Hofmann" <mxh@dcs.ed.ac.uk>
  
• Call for papers, EuroPar2000, Topic Object-Oriented Architectures, Tools and Applications Francoise Baude <Francoise.Baude@sophia.inria.fr>
  
• PEPT: A Mailing-List for Partial Evaluation and Program Transformation Eijiro Sumii <sumii@venus.is.s.u-tokyo.ac.jp>
  
• CONCUR 2000: Call for Papers Concur2000 <concur2k@cse.psu.edu>
  
• Faculty positions, especially in programming languages, Iowa State "Gary T. Leavens" <leavens@cs.iastate.edu>
  
• type safety Philip Wadler <wadler@research.bell-labs.com>
  
• Re: type safety Matthias Felleisen <matthias@cs.rice.edu>
  
• Re: type safety Jon Fairbairn <Jon.Fairbairn@cl.cam.ac.uk>
  
• Re: type safety Jon Riecke <riecke@research.bell-labs.com>
  
• Re: type safety Matthias Felleisen <matthias@cs.rice.edu>
  
• Re: type safety Matthias Felleisen <matthias@cs.rice.edu>
  
• Re: type safety Corky Cartwright <cork@rice.edu>
  
• Re: type safety Corky Cartwright <cork@rice.edu>
  
• Re: type safety Jon Fairbairn <Jon.Fairbairn@cl.cam.ac.uk>
  
• Re: type safety Matthias Felleisen <matthias@cs.rice.edu>
  
• Re: type safety Jon Fairbairn <Jon.Fairbairn@cl.cam.ac.uk>
  
• RE: type safety Greg Morrisett <jgm@cs.cornell.edu>
  
• Re: type safety Mark Lillibridge <mdl@rowdy.pa.dec.com>
  
• Re: type safety Jon Riecke <riecke@research.bell-labs.com>
  
• safety and types Matthias Felleisen <matthias@cs.rice.edu>
  
• abstraction power Matthias Felleisen <matthias@cs.rice.edu>
  
• Re: type safety Krishna N V <nkrishna@csa.iisc.ernet.in>
  
• Re: type safety Matthias Felleisen <matthias@cs.rice.edu>
  
• Re: abstraction power Jon Riecke <riecke@research.bell-labs.com>
  
• RE: type safety Greg Morrisett <jgm@cs.cornell.edu>
  
• RE: type safety Corky Cartwright <cork@rice.edu>
  
• Static typing disciplines Corky Cartwright <cork@rice.edu>
  
• Re: abstraction power Matthias Felleisen <matthias@cs.rice.edu>
  
• RE: type safety Greg Morrisett <jgm@cs.cornell.edu>
  
• RE: type safety Kim Bruce <kim@cs.williams.edu>
  
• RE: type safety Hongwei Xi <hwxi@ececs.uc.edu>
  
• RE: type safety Shriram Krishnamurthi <shriram@cs.rice.edu>
  
• Re: abstraction power Shriram Krishnamurthi <shriram@cs.rice.edu>
  
• RE: type safety Robert Harper <Robert.Harper@cs.cmu.edu>
  
• Re: abstraction power Matthias Felleisen <matthias@cs.rice.edu>
  
• two research positions Barry Jay <cbj@socs.uts.edu.au>
  
• Abstraction Power ohearn@hotpoint.dcs.qmw.ac.uk
  
• Re: type safety Matthias Felleisen <matthias@cs.rice.edu>
  
• RE: Abstraction Power Greg Morrisett <jgm@cs.cornell.edu>
  
• DML type checking Corky Cartwright <cork@rice.edu>
  
• RE: type safety Corky Cartwright <cork@rice.edu>
  
• RE: type safety Corky Cartwright <cork@rice.edu>
  
• Submitting type theory papers to CADE David McAllester <dmac@research.att.com>
  
• Announcement: EXTENDED DEADLINE FOR CMCS'2000 Jan Rutten <Jan.Rutten@cwi.nl>
  
• Re: type safety Frank Pfenning <fp@raw.fox.cs.cmu.edu>
  
• LFM 2000 (Logical Frameworks and Meta-languages) - 1st Call for Papers Joelle Despeyroux <Joelle.Despeyroux@sophia.inria.fr>
  
• Special issue of JFP - Logical Frameworks and Meta-languages Joelle Despeyroux <Joelle.Despeyroux@sophia.inria.fr>
  
• A meta language for programming with bound names Andrew Pitts <Andrew.Pitts@cl.cam.ac.uk>
  
• CFP PPDP 2000 Franck van Breugel <franck@cs.yorku.ca>
  
• RE: Abstraction Power "Peter O'Hearn" <ohearn@dcs.qmw.ac.uk>
  
• RE: Abstraction Power Greg Morrisett <jgm@cs.cornell.edu>
  
• functorial lambda calculus Barry Jay <cbj@socs.uts.edu.au>
  
• Europar'2000 Workshop on OO Architectures, Tools, Applications Michael Philippsen <phlipp@ira.uka.de>
  
• new logic programming journal Krzysztof Apt <K.R.Apt@cwi.nl>
  
• Re: type safety Joe Wells <jbw@cee.hw.ac.uk>
  
• RE: Abstraction Power Robert Harper <Robert.Harper@cs.cmu.edu>
  
• RE: Abstraction Power "Peter O'Hearn" <ohearn@dcs.qmw.ac.uk>
  
• Paper announcement: Sound and Complete Elimination of Singleton Kinds Karl Crary <crary@cs.cmu.edu>
  
• Re: type safety Jamie Andrews <andrews@csd.uwo.ca>
  
• URL for functorial lambda-calculus Barry Jay <cbj@socs.uts.edu.au>
  
• CFP: Implicit Computational Complexity workshop (ICC) Jean-Yves Marion <Jean-Yves.Marion@loria.fr>
  
• Winter Workshop in Logics, Types and Rewriting Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
  
• Negative results about the power of static typing Allen Stoughton <allen@cis.ksu.edu>
  
• Paper announcement: Implicitly-Typed Deadlock-Free Process Calculus KOBAYASHI Naoki <koba@venus.is.s.u-tokyo.ac.jp>
  
• Re: type safety Joe Wells <jbw@cee.hw.ac.uk>
  
• PS on Negative results about the power of static typing Allen Stoughton <allen@cis.ksu.edu>
  
• Call for PhD and Postdoc Grant Applications Gradkolleg LI <gkli@rz.mathematik.uni-muenchen.de>
  
• FICS'2000 Call for Papers ig@liafa.jussieu.fr (Irene GUESSARIAN)
  
• Position announcement Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
  
• Announcement: PhD-thesis Lars Birkedal <birkedal@cs.cmu.edu>
  
• Applied Semantics Summer School APPSEM'2000 Simao Desousa <Simao.Desousa@sophia.inria.fr>
  
• The LINEAR International Summer School Nuno Barreiro <nbar@di.fc.ul.pt>
  
• FMOODS'2000 cfp Carolyn Talcott <clt@Steam.Stanford.EDU>
  
• CFP CADE-17 Workshop "Type-theoretic Languages: Proof search and Semantics" Didier Galmiche <galmiche@poncelet.loria.fr>
  
• Scheme and Functional Programming 2000 matthias@rice.edu
  
• Grad positions available Richard Blute <rblute@mathstat.uottawa.ca>
  
• Workshop on Domains IV, 1998 Dieter Spreen <spreen@informatik.uni-siegen.de>
  
• FMOODS'2000 cfp - WITH SUBMISSION INSTRUCTIONS! Fmoods Mailbox <fmoods@Steam.Stanford.EDU>
  
• CfP: ECOOP 2000 Workshop on Formal Techniques for Java Programs Peter Mueller <Peter.Mueller@FernUni-Hagen.de>
  
• New release of Wallace Francois Pottier <Francois.Pottier@inria.fr>
  
• PhD positions available at Heroit-Watt Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
  
• Tenured posts at Heriot-Watt Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
  
• CFP PPDP 2000 Franck van Breugel <franck@cs.yorku.ca>
  
• Call for papers FST TCS 2000 Sanjiva Prasad <sanjiva@cse.iitd.ernet.in>
  
• HOOTS 2000 Call for Papers Alan Jeffrey <ajeffrey@cs.depaul.edu>
  
• ICFP 2000 Philip Wadler <wadler@research.bell-labs.com>
  
• EFF foundations school in deduction and theorem proving Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
  
• 2nd CFP: ITRS '00 (Workshop on Intersection Types & Related Systems) Joe Wells <jbw@cee.hw.ac.uk>
  
• First CFP: Types in Compilation 2000 Robert Harper <Robert.Harper@cs.cmu.edu>
  
• PPDP 2000 Deadline Extension Frank Pfenning <fp@raw.fox.cs.cmu.edu>
  
• Paper announcement: Dependently Typed Records Randy Pollack <rap@dcs.ed.ac.uk>
  
• ICFP 2000: new submission deadline Philip Wadler <wadler@research.bell-labs.com>
  
• FMOODS 2000 Submission Deadline Extension Fmoods Mailbox <fmoods@Steam.Stanford.EDU>
  
• Haskell Workshop gmh@Cs.Nott.AC.UK
  
• Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover Francis Tang <fhlt@dcs.ed.ac.uk>
  
• 7th WoLLIC'2000 Ruy de Queiroz <ruy@di.ufpe.br>
  
• Paper Announcement: Secure Information Flow as Typed Process Behaviour "N. Yoshida" <ny11@mcs.le.ac.uk>
  
• ETAPS 2000 - 2nd Call for Participation Doris Faehndrich <doris@cs.tu-berlin.de>
  
• MetaML release Version 1.0 "Zino Benaissa" <benaissa@cse.ogi.edu>
  
• International Summer School on Computational Logic Sandro Etalle <etalle@CS.UNIMAAS.NL>
  
• CP2000: Final Call for Papers [NEW SUBMISSION DATES] Martin Henz <henz@comp.nus.edu.sg>
  
• MFCS 2000 - Submission Deadline Approaching MFCS 2000 <mfcs2000@dcs.fmph.uniba.sk>
  
• Postdoctoral Research Associate Frank Pfenning <fp@raw.fox.cs.cmu.edu>
  
• cfp: ICFP wkshp on Program Generation Walid Taha <taha@cs.chalmers.se>
  
• WESTAPP - 2nd Call for Papers Therese HARDIN <Therese.Hardin@lip6.fr>
  
• CFP: CADE-17 WORKSHOP ON AUTOMATION OF PROOFS BY MATHEMATICAL INDUCTION Carsten Schuermann <carsten+@cs.cmu.edu>
  
• ESSLLI 2000 in Birmingham ESSLLI 2000 in Birmingham <esslli2000@cs.bham.ac.uk>
  
• Mutually recursive types Daniel Wang <danwang@CS.Princeton.EDU>
  
• reminder -- FMOODS 2000 Submission Deadline March 15 Fmoods Mailbox <fmoods@Steam.Stanford.EDU>
  
• extended deadline: ITRS '00 (Intersection Types & Related Systems) Joe Wells <jbw@cee.hw.ac.uk>
  
• typo in dates for ITRS '00 (Intersection Types & Related Systems) Joe Wells <jbw@cee.hw.ac.uk>
  
• Reasoning with Higher-Order Abstract Syntax "R.C. McDowell" <mcdowell@kzoo.edu>
  
• Paper announcement: From Polymorphic Subtyping to CFL Reachabili ty Jakob Rehof <rehof@microsoft.com>
  
• Postdoctoral Research Position at Yale Zhong Shao <shao@cs.yale.edu>
  
• LICS 2000 Invited Talks and Accepted Papers (Preliminary) Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
  
• CTCS '99 Special Issue in TCS. Final Reminder. "Martin Hofmann" <mxh@dcs.ed.ac.uk>
  
• Postdoc Opportunities with the Yale Haskell Group John Peterson <peterson-john@cs.yale.edu>
  
• FICS 2000, change in submission guidleines esik (researcher;Itou Masami) <esik@cc.kyoto-su.ac.jp>
  
• EEF Foundations School of Deduction and Theorem Proving Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
  
• HLCL 00 -- call for papers Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
  
• ECOOP Tutorials (Types) Giuseppe Castagna <Giuseppe.Castagna@ens.fr>
  
• LICS 2000 - Short Presentations Deadline is March 31 Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
  
• ICC : New submission deadline Jean-Yves Marion <Jean-Yves.Marion@loria.fr>
  
• TPHOLs 2000 --- call for short papers Tom Schubert <tschuber@ichips.intel.com>
  
• POPL2001: Call for Papers Dave Schmidt <schmidt@cis.ksu.edu>
  
• New submission deadline Workshop on TYPE-THEORETIC LANGUAGES: PROOF-SEARCH AND SEMANTICS Didier Galmiche <galmiche@poncelet.loria.fr>
  
• Special Issue of Mathematical Structures in Computer Science Viviana Bono <bono@di.unito.it>
  
• International Summer School on Computational Logic Sandro Etalle <etalle@CS.UNIMAAS.NL>
  
• Second CFP: Types in Compilation 2000 Robert Harper <Robert.Harper@cs.cmu.edu>
  
• Research position at Sophia Antipolis Maryse Renaud <Maryse.Renaud@sophia.inria.fr>
  
• Paper on type-safety bugs in JDK1.2.2 Alessandro Coglio <coglio@kestrel.edu>
  
• Call for Participation: Workshop on Proof-Carrying Code Trevor Jim <trevor@research.att.com>
  
• workshop announcement, WRLA 2000 "Ataru T. Nakagawa" <nakagawa@sra.co.jp>
  
• Paper on Java class loading Alessandro Coglio <coglio@kestrel.edu>
  
• LPAR'2000: call for papers parigot@logique.jussieu.fr
  
• LICS Workshop on Chu Spaces and Applications 25th June 2000, Valeria Correa Vaz de Paiva <paiva@parc.xerox.com>
  
• JFP Special Issue on Haskell gmh@Cs.Nott.AC.UK
  
• Paper available on Hoare logic for Java David von Oheimb <oheimb@informatik.tu-muenchen.de>
  
• IFIP TCS2000 preliminary program Shinya MIYAKAWA <miyakawa@ito.ecei.tohoku.ac.jp>
  
• 1st CFP FLOPS2001 Herbert Kuchen <kuchen@uni-muenster.de>
  
• Scheme and Functional Programming 2000 matthias@rice.edu
  
• Extended Deadline for early registration to APPSEM'2000 Summer school Simao Desousa <Simao.Desousa@sophia.inria.fr>
  
• LICS 2000 Call for Participation and Preliminary Program Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
  
• SAS2000: Call for Participation Dave Schmidt <schmidt@cis.ksu.edu>
  
• Associate Professorship in Logic in Computer Science, Aarhus, DK Karen =?iso-8859-1?Q?Kj=E6r?= =?iso-8859-1?Q?_?= =?iso-8859-1?Q?M=F8ller?= <karenkm@daimi.au.dk>
  
• LINEAR Summer School (2nd call) Nuno Barreiro <nbar@di.fc.ul.pt>
  
• CSL2000 - 1st call for participation Computer Science Logic 2000 <csl2000@tcs.informatik.uni-muenchen.de>
  
• Postdoc - wide area programming Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
  
• CFP: Workshop on Program Generation Walid Taha <taha@cs.chalmers.se>
  
• DTP00---Call for Participation Gilles Barthe <Gilles.Barthe@sophia.inria.fr>
  
• ASIAN'00: Call for Papers masahiko@kuis.kyoto-u.ac.jp
  
• IFIP TCS2000 program and registration information Shinya MIYAKAWA <miyakawa@ito.ecei.tohoku.ac.jp>
  
• paper: Towards an abstract model of Java dynamic linking and Sophia Drossopoulou <scd@doc.ic.ac.uk>
  
• International Summer School on Computational Logic Sandro Etalle <etalle@CS.UNIMAAS.NL>
  
• New Paper: Safe and Flexible Dynamic Linking of Native Code Michael Hicks <mwh@dsl.cis.upenn.edu>
  
• LINEAR Summer School Nuno Barreiro <nbar@di.fc.ul.pt>
  
• TPHOLs 2000: Call for Participation Mark Aagaard <maagaard@ichips.intel.com>
  
• call for participation: ITRS '00 (Intersection Types & Related Sys.) Joe Wells <jbw@cee.hw.ac.uk>
  
• Post-Doc in France available. Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>
  
• NWPT'00 - 12th Nordic workshop on programming theory nwpt00@ii.uib.no
  
• CFP: LPAR'2000, Reunion Island, France Andrei Voronkov <voronkov@cs.man.ac.uk>
  
• XIII. ESSLLI 2001 in Helsinki Marcus Kracht <kracht@math.fu-berlin.de>
  
• FST TCS 2000: One week extension on the submission deadline Sanjiva Prasad <sanjiva@cse.iitd.ernet.in>
  
• Lectureships in Computer Science "Roy L. Crole" <R.Crole@mcs.le.ac.uk>
  
• post-doc position at Chalmers Bengt Nordstrom <bengt@cs.chalmers.se>
  
• Call for Participation: Workshop on Proof-Carrying Code Trevor Jim <trevor@research.att.com>
  
• Scheme and Functional Programming 2000 Matthias Felleisen <matthias@cs.rice.edu>
  
• TPHOLs: student bursaries available! Mark Aagaard <maagaard@ichips.intel.com>
  
• LPAR'2000: deadline extended Andrei Voronkov <voronkov@cs.man.ac.uk>
  
• Four lectureships in Nottingham gmh@Cs.Nott.AC.UK
  
• TLCA 2001 Samson Abramsky <samson@dcs.ed.ac.uk>
  
• CSL2000 : Early Registration extended until 7 June ! Computer Science Logic 2000 <csl2000@tcs.informatik.uni-muenchen.de>
  
• PhD grant at INRIA Sophia Antipolis Yves Bertot <Yves.Bertot@sophia.inria.fr>
  
• ETAPS 2001: FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS etaps2001@disi.unige.it (Etaps 2001)
  
• Christopher Strachey Olivier Danvy <danvy@brics.dk>
  
• HOOTS 2000 invited speakers Alan Jeffrey <ajeffrey@cs.depaul.edu>
  
• Positions Available in programming languages Atsushi Ohori <ohori@jaist.ac.jp>
  
• Call for Papers STACS 2001 "Horst Reichel" <reichel@tcs.inf.tu-dresden.de>
  
• Faculty post in foundations of computer science Peter Williams <peterw@cogs.susx.ac.uk>
  
• BCV nipkow@informatik.tu-muenchen.de
  
• CONCUR 2000: Call for Participation and Final Program Catuscia Palamidessi <catuscia@cse.psu.edu>
  
• Festival Workshop in Foundations and Computations Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
  
• Call for Participation : Workshop on Implicit computational complexity Jean-Yves Marion <Jean-Yves.Marion@loria.fr>
  
• 2nd CFP FLOPS 2001 Herbert Kuchen <kuchen@uni-muenster.de>
  
• Proof General --- Version 3.1 release David Aspinall <da@dcs.ed.ac.uk>
  
• CFP: CP2000, 18-22 September, Singapore, 2000 Roland Yap Hock Chuan <cp2000@comp.nus.edu.sg>
  
• FLOC 2002 - Preliminary Announcement Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
  
• State of the art in dependent typing? "Tim Sweeney" <tim@epicgames.com>
  
• Software for teaching logic "S.J.Thompson" <S.J.Thompson@ukc.ac.uk>
  
• Post-doctoral position at INRIA-Rennes Jean-Pierre Talpin <Jean-Pierre.Talpin@irisa.fr>
  
• State of the art in dependent typing? Thorsten Altenkirch <alti@informatik.uni-muenchen.de>
  
• WoLLIC'2000 - Call for Participation Ruy de Queiroz <ruy@cin.ufpe.br>
  
• Job opportunity at INRIA Sophia Antipolis Isabelle Attali <Isabelle.Attali@sophia.inria.fr>
  
• MFCS 2000 - Call for Participation MFCS 2000 <mfcs2000@dcs.fmph.uniba.sk>
  
• ICFP 2000 Preliminary Program =?iso-8859-1?Q?Konstantin_L=E4ufer?= <laufer@math.luc.edu>
  
• FMOODS 2000 Call for Participation, Demos, and Posters Fmoods Mailbox <fmoods@Steam.Stanford.EDU>
  
• New collection of links to Mobile Ambient research Xudong Guan <guan-xd@cs.sjtu.edu.cn>
  
• LICS 2001 Preliminary Call for Papers Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
  
• Preliminary program for ICFP 2000 (updated) =?iso-8859-1?Q?Konstantin_L=E4ufer?= <laufer@math.luc.edu>
  
• Conference on foundations and applications of mathematics Giuseppe Longo <Giuseppe.Longo@ens.fr>
  
• preliminary program PPDP 2000 Franck van Breugel <franck@cs.yorku.ca>
  
• program: ITRS '00 (Intersection Types & Related Systems) Joe Wells <jbw@cee.hw.ac.uk>
  
• Call for papers: FOOL 8 Kathleen Fisher <kfisher@research.att.com>
  
• Overview of systems Freek Wiedijk <freek@cs.kun.nl>
  
• Call for participation PLI 2000 Franck van Breugel <franck@cs.yorku.ca>
  
• WoLLIC'2000 - Programme Ruy de Queiroz <ruy@cin.ufpe.br>
  
• Tbilisi Summer School Chikoidze <chiko@contsys.acnet.ge>
  
• Haskell Workshop gmh@Cs.Nott.AC.UK
  
• ICFP 2000 Programming Contest, August 26-29, 2000 =?iso-8859-1?Q?Konstantin_L=E4ufer?= <laufer@math.luc.edu>
  
• ASIAN'00: Call for Papers masahiko@kuis.kyoto-u.ac.jp
  
• LICS 2001 Call for Affiliated Workshops Martin Grohe <lics@zermelo.mathematik.uni-freiburg.de>
  
• Call for Papers: LDTA'2001 Marjan Mernik <marjan.mernik@uni-mb.si>
  
• PhD studentship at Edinburgh for October 2000 Ian.Stark@ed.ac.uk
  
• Postdoc grant available Gradkolleg LI <gkli@rz.mathematik.uni-muenchen.de>
  
• Research/Study in Logics, Types, Rewriting, & Applications Joe Wells <jbw@cee.hw.ac.uk>
  
• 3rd SIGPLAN Continuations Workshop -- call for papers Continuation Workshop 1997 <cw97@brics.dk>
  
• paper announcement: Relating Cryptography and Polymorphism Eijiro Sumii <sumii@saul.cis.upenn.edu>
  
• Job openings at INRIA Gilles Barthe <Gilles.Barthe@sophia.inria.fr>
  
• Job opening at Utrecht: Generic Haskell Johan Jeuring <johanj@cs.uu.nl>
  
• POSTDOC still available...until Friday the 1st ... Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>
  
• PADO-II call for papers Symposium on Program as Data Objects <pado2@brics.dk>
  
• Call for Papers (Continuations Workshop CW'01) Amr Sabry <sabry@cs.indiana.edu>
  
• Postdoc and PhD Student Position Announcement Martin Odersky <martin.odersky@epfl.ch>
  
• Workshop Program: Types in Compilation 2000 Robert Harper <Robert.Harper@cs.cmu.edu>
  
• 12th Nordic workshop on programming theory nwpt00@ii.uib.no
  
• FLOPS 2001, Final Call for Papers Herbert Kuchen <kuchen@uni-muenster.de>
  
• Professorship in Software Engineering Bengt Nordstrom <bengt@cs.chalmers.se>
  
• Chair in Theoretical Computer Science at Edinburgh University Gordon Plotkin <gdp@dcs.ed.ac.uk>
  
• Job: post doc researcher in type systems at LFCS, Edinburgh David Aspinall <da@dcs.ed.ac.uk>
  
• Research Assistant/PhD Vacancy nipkow@informatik.tu-muenchen.de
  
• Paper announcement: Constructive Foundations for Featherweight Java Thomas Studer <tstuder@iam.unibe.ch>
  
• Lipari Summer School 2001 Vladimiro Sassone <vs@dmi.unict.it>
  
• Post-doctoral position announcement Jean-Pierre Talpin <Jean-Pierre.Talpin@irisa.fr>
  
• Seeking papers on Type-Directed Compilation Oukseh Lee <cookcu@ropas.kaist.ac.kr>
  
• Reminder/Deadline extension for NWPT'00 - 12th Nordic wkshp on PL th. nwpt00@ii.uib.no
  
• ETAPS-2002: Call for Affiliated Workshops Rachid Echahed <Rachid.Echahed@imag.fr>
  
• New programs in the foundation of mathematics conference Giuseppe Longo <Giuseppe.Longo@ens.fr>
  
• LICS 2001 - 2nd Call for Affiliated Workshops Martin Grohe <lics@math.uic.edu>
  
• PhD & postdoc positions available Bart Jacobs <Bart.Jacobs@cs.kun.nl>
  
• Practical Aspects of Declarative Languages: CFP Compulog Americas <iclp99pub@cs.nmsu.edu>
  
• Re: Seeking Papers on Type-Directed Compilation Oukseh Lee <cookcu@ropas.kaist.ac.kr>
  
• Tech reports on Modules and Versioning, Applied Pi, Name-Passing Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
  
• Extended Submission Deadline (Continuations Workshop CW'01) Amr Sabry <sabry@cs.indiana.edu>
  
• TACS 2001 CFP "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• TLCA -- WWW page and deadline reminder Pawel URZYCZYN <urzy@iml.univ-mrs.fr>
  
• ECOOP 2001 --- Call for Contributions Horváth Zoltán <hz@lngsc4.inf.elte.hu>
  
• LDTA'2001 Remainder Marjan Mernik <marjan.mernik@uni-mb.si>
  
• PLI 2001-Call for workshop proposals "b.venneri" <venneri@dsi.unifi.it>
  
• CFP: Computer Security Foundations Workshop Andre Scedrov <scedrov@saul.cis.upenn.edu>
  
• FoSSaCS'01 deadline is Oct, 20 Furio Honsell <honsell@dimi.uniud.it>
  
• TLCA 2001: DEADLINE EXTENSION Samson Abramsky <Samson.Abramsky@comlab.ox.ac.uk>
  
• 2 PhD positions in Automated Verification Jaco van de Pol <Jaco.van.de.Pol@cwi.nl>
  
• MFPS XVII "Michael Mislove" <mwm@math.tulane.edu>
  
• LACL 2001 Catherine Piliere <Catherine.Piliere@loria.fr>
  
• PADO-II CFP -- reminder Symposium on Program as Data Objects <pado2@brics.dk>
  
• Director, Computer Science Department Adriana Compagnoni <abc@cs.stevens-tech.edu>
  
• Correspondence of Linear Logic & Geometric Algebra "Tim Sweeney" <tim@epicgames.com>
  
• FST TCS 2000 Call for Participation Sanjiva Prasad <sanjiva@cse.iitd.ernet.in>
  
• Research Associateship in Metaprogramming Languages Andrew Pitts <Andrew.Pitts@cl.cam.ac.uk>
  
• Postdoctoral Position at University of Minnesota Gopalan Nadathur <gopalan@cs.umn.edu>
  
• Request for literature recommendations. Denby Wong <wongd@csd.uwo.ca>
  
• POPL'01 Call for Participation Dave Schmidt <schmidt@cis.ksu.edu>
  
• Post-Doc on memory management of embedded Java applications at INRIA Jean-Pierre Talpin <Jean-Pierre.Talpin@irisa.fr>
  
• CFP: JFP on SAIG Walid Taha <taha@cs.yale.edu>
  
• LICS 2001 Call for Papers Martin Grohe <lics@math.uic.edu>
  
• FST TCS 2000 Call for Participation Sanjiva Prasad <sanjiva@cse.iitd.ernet.in>
  
• Announcement: Ph.D. thesis Carsten Schuermann <carsten@cs.yale.edu>
  
• Lecuturer Security "Pieter Hartel" <pieter@cs.utwente.nl>
  
• TPHOLs 2001 Call For Papers simon gay <simon@dcs.gla.ac.uk>
  
• ETAPS 2002 - Call for Satellite Events Etaps 2002 <etaps02@ormelune.imag.fr>
  
• extended deadline for PADO-II Symposium on Program as Data Objects <pado2@brics.dk>
  
• positions available at Imperial Philippa Gardner <pg@doc.ic.ac.uk>
  
• CFP: ACM Transactions on Internet Technology (TOIT) Bongki Moon <bkmoon@CS.Arizona.EDU>
  
• CONCUR 2001 -- PRELIMINARY CALL FOR PAPERS Anna Ingolfsdottir <annai@cs.auc.dk>
  
• Loyola University Chicago - Chair, Department of Computer Science =?iso-8859-1?Q?Konstantin_L=E4ufer?= <laufer@math.luc.edu>
  
• Relaunch of the Journal of Logic and Algebraic Programming Inge Bethke <inge@wins.uva.nl>
  
• Book on types Till Mossakowski <till@Informatik.Uni-Bremen.DE>
  
• Static Analysis Symposium 2001, Paris : 1st CfP Radhia Cousot <radhia@lix.polytechnique.fr>
  
• Fool 8: Call for Participation Kathleen Fisher <kfisher@research.att.com>
  
• Call for Participation (Continuations Workshop CW'01) Amr Sabry <sabry@cs.indiana.edu>
  
• CMCS 2001 - Call for Papers Andrea Corradini <andrea@di.unipi.it>
  
• No Subject Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
  
• Categories with subtypes Tom Burt <mb19@doc.ic.ac.uk>
  
• Looking for a few good types/PL lecturers bcpierce@cis.upenn.edu
  
• Summary or recommendation responses (higher order logic) Denby Wong <wongd@csd.uwo.ca>
  
• WoLLIC'2001 - Call for Papers Ruy de Queiroz <ruy@cin.ufpe.br>
  
• 1st CFP: Workshop on Implicit Computational Complexity "Martin Hofmann" <mxh@dcs.ed.ac.uk>
  
• TYPES list pause, Dec. 7-24 bcpierce@cis.upenn.edu
  
• Post-Docs at OGI Andy Moran <moran@cse.ogi.edu>
  
• Call for Paper ICTCS'01 Ferruccio DAMIANI <damiani@di.unito.it>
  
• PPDP 2001: Call for Papers Harald Sondergaard <harald@cs.mu.OZ.AU>
  
• Call for papers ICTCS'01 (UPDATED) Ferruccio DAMIANI <damiani@di.unito.it>
  
• call for papers ICFP 2001 Xavier Leroy <Xavier.Leroy@inria.fr>
  
• Ask for help: any previous work that has context-like type expressions? Xudong Guan <guan-xd@cs.sjtu.edu.cn>
  
• FoSSaCS 2001 Accepted Papers Marino Miculan <miculan@dimi.uniud.it>
  
• TLCA 2001 Accepted Papers Samson Abramsky <Samson.Abramsky@comlab.ox.ac.uk>
  
• CfP CMCS2001 - Extended deadline Ugo Montanari <ugo@di.unipi.it>
  
• International Termination Workshop 2001 Nachum Dershowitz <nachumd@post.tau.ac.il>
  
• Re: Typing non-uniform concurrent objects Antonio Ravara <amar@amar2.math.ist.utl.pt>
  
• Faculty Positions at DePaul University Alan Jeffrey <ajeffrey@cs.depaul.edu>
  
• BRICS PhD grants, fellowships, and research positions Uffe Henrik Engberg <engberg@brics.dk>
  
• Post-doc in security and static analysis Thomas Jensen <Thomas.Jensen@irisa.fr>
  
• Lipari Summer School 2001 Vladimiro Sassone <vs@dmi.unict.it>
  
• CFP: Book on Linear Logic (Reminder) Paul RUET <ruet@iml.univ-mrs.fr>
  
• Symposium on Domain Theory Guo-Qiang Zhang <gqz@eecs.cwru.edu>
  
• APPSEM Workshop Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
  
• FLOPS 2001 - Call for Participation Herbert Kuchen <kuchen@uni-muenster.de>
  
• lectureship position at Oxford Samson Abramsky <Samson.Abramsky@comlab.ox.ac.uk>
  
• TPHOLs 2001 2nd CALL FOR PAPERS simon gay <simon@dcs.gla.ac.uk>
  
• PADL'01 -- call for participation iclp99pub@cs.nmsu.edu
  
• CFP: ECOOP Workshop on Formal Techniques for Java Programs "Peter.Mueller" <Peter.Mueller@FernUni-Hagen.de>
  
• MERLIN 2001 Call for Papers "Roy L. Crole" <R.Crole@mcs.le.ac.uk>
  
• Marktoberdorf Intl. summer school Alexander Pretschner <pretschn@informatik.tu-muenchen.de>
  
• Book on Linear Logic (deadline extension) Paul RUET <ruet@iml.univ-mrs.fr>
  
• Research job in model checking application Mark D Ryan <M.D.Ryan@cs.bham.ac.uk>
  
• CFP: JFP on SAIG [Extended deadline] Walid Taha <taha@cs.yale.edu>
  
• PLI 2001 Announcement Rosario Pugliese <pugliese@dsi.unifi.it>
  
• programming languages as a core topic Matthias Felleisen <matthias@cs.rice.edu>
  
• Re: programming languages as a core topic Kim <kim@cs.williams.edu>
  
• 8th Static Analysis Symposium : Last CFP Radhia Cousot <radhia@lix.polytechnique.fr>
  
• Call for participation TLCA2001 tlca2001@ii.uj.edu.pl (TLCA Conference 2001)
  
• Termination Workshop - Deadline Extension Juergen Giesl <giesl@informatik.rwth-aachen.de>
  
• PFM 01: CALL for PARTICIPATION Davide Sangiorgi <Davide.Sangiorgi@sophia.inria.fr>
  
• TACS 2001 -- call for papers bcpierce@cis.upenn.edu
  
• WFLP 2001 - Call for Papers Frank Steiner <fst@informatik.uni-kiel.de>
  
• cfp Strategies 2001 Maria Paola Bonacina <bonacina@cs.uiowa.edu>
  
• CFP: JLAP special issue on pi-calculus Bjorn Victor <Bjorn.Victor@DoCS.UU.SE>
  
• Intellectual history of types "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• Re: Intellectual history of types "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• Research studentships available at Birmingham Marta Z Kwiatkowska <M.Z.Kwiatkowska@cs.bham.ac.uk>
  
• Re: intellectual history of types Benjamin Pierce <bcpierce@cis.upenn.edu>
  
• Posting for Types Bulletin Board John Reynolds <John_Reynolds@tanager.ergo.cs.cmu.edu>
  
• SAS'01 : Submission Deadline Extension Radhia Cousot <radhia@lix.polytechnique.fr>
  
• TPHOLs 2001 FINAL CALL FOR PAPERS simon gay <simon@dcs.gla.ac.uk>
  
• announcement for Bohm's thm workshop Jean-Jacques Levy <Jean-Jacques.Levy@inria.fr>
  
• FICS'2001 - CFP Anna Labella <labella@dsi.uniroma1.it>
  
• logical relations and contextual equivalence Eijiro Sumii <sumii@saul.cis.upenn.edu>
  
• WoLLIC'2001 - Call for Papers Ruy de Queiroz <ruy@cin.ufpe.br>
  
• CSL 2001 -- last CALL FOR PAPERS and FOR AFFILIATED WORKSHOPS fl@lsv.ens-cachan.fr
  
• ETAPS 2001: SECOND CALL FOR PARTICIPATION Etaps 2001 <etaps2001@disi.unige.it>
  
• ICC '01: new time and 2nd CFP Martin Hofmann <mxh@dcs.ed.ac.uk>
  
• 2001 Haskell Workshop: 1st call for papers Ralf Hinze <ralf@informatik.uni-bonn.de>
  
• lectureships at Durham UK "Zhaohui.Luo" <Zhaohui.Luo@durham.ac.uk>
  
• WRS'2001 - Extended deadline Salvador Lucas Alba <slucas@dsic.upv.es>
  
• PLI 2001: submission deadline is approaching Rosario Pugliese <pugliese@dsi.unifi.it>
  
• QAPL'01 Workshop - 1st Call for Papers Herbert Wiklicky <herbert@doc.ic.ac.uk>
  
• TLCA 2001 -- grants for participants "Konferencja TLCA'2001" <tlca@mimuw.edu.pl>
  
• CALL FOR PAPERS -- JOURNAL OF FUNCTIONAL PROGRAMMING Simon Helsen <helsen@informatik.uni-freiburg.de>
  
• object-oriented type systems in practice Kathleen Fisher <kfisher@research.att.com>
  
• UNIF 2001 Junior Researcher Travel Award Ralf Treinen <Ralf.Treinen@lri.fr>
  
• PEPM'02, Preliminary Call for Papers Peter Thiemann <thiemann@informatik.uni-freiburg.de>
  
• Higher-order linear logic Daniel Wang <danwang@CS.Princeton.EDU>
  
• ConCoord: Concurrency and Coordination Vladimiro Sassone <vs@dmi.unict.it>
  
• International Masters Programme in COMPUTATIONAL LOGIC CL Advertisement <cladv@inf.tu-dresden.de>
  
• Summary: object-oriented type systems in practice Kathleen Fisher <kfisher@research.att.com>
  
• undergrad research Norman Danner <ndanner@math.ucla.edu>
  
• CONCUR 2001 FINAL CFP & EXTENDED DEADLINE Anna Ingolfsdottir <annai@cs.auc.dk>
  
• Research Assistant/PhD Vacancy nipkow@informatik.tu-muenchen.de
  
• CFP: SAIG'01 Walid Taha <taha@cs.yale.edu>
  
• workshop announcement Scott Stoller <stoller@cs.sunysb.edu>
  
• CfP: Babel01 Workshop on Multi-Language Infrastructure and Interoperability "Nick Benton" <nick@microsoft.com>
  
• Is extensionality equational in the absence of xi? Philip Wadler <wadler@research.bell-labs.com>
  
• TACS 2001 -- call for papers "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• TLCA 2001 -- EARLY REGISTRATION DEADLINE EXTENDED "Konferencja TLCA'2001" <tlca@mimuw.edu.pl>
  
• Re: Is extensionality equational in the absence of xi? Peter Selinger <selinger@dead.stanford.edu>
  
• Re: Is extensionality equational in the absence of xi? Peter Selinger <selinger@dead.stanford.edu>
  
• PPDP'01 deadline extension to 23 March Harald Sondergaard <harald@cs.mu.OZ.AU>
  
• PLT is moving Matthias Felleisen <matthias@cs.rice.edu>
  
• Announcement Ulisses Ferreira <ulisses@ufba.br>
  
• Notice of paper "Robert A.G. Seely" <rags@math.mcgill.ca>
  
• Post-doc advertisement at PacSoft Kelly Atkinson <kelly@cse.ogi.edu>
  
• Re: Higher-order linear logic Sara Kalvala <sk@dcs.warwick.ac.uk>
  
• CFP and dealine extension: ECOOP Workshop on Formal Techniques for Java Programs Sophia Drossopoulou <scd@doc.ic.ac.uk>
  
• Re: Higher-order linear logic David Pym <pym@dcs.qmw.ac.uk>
  
• Re: Higher-order linear logic Dale Miller <dale@cse.psu.edu>
  
• List of online PL theory texts Frank Atanassow <franka@cs.uu.nl>
  
• PhD studentships at the LFCS, U. of Edinburgh Paul Jackson <pbj@dcs.ed.ac.uk>
  
• ECOOP'2001 Call for Participation =?ISO-8859-1?Q?Horv=E1th_Zolt=E1n?= <hz@lngsc4.inf.elte.hu>
  
• UNIF'01: 2nd Call for Abstracts/Participation Ralf Treinen <Ralf.Treinen@lri.fr>
  
• 2nd Call for Papers: 7th International Conference on Principles and Practice of Constraint Programming Ian Miguel <ianm@cs.york.ac.uk>
  
• ICTCS'01: DEADLINE EXTENSION Ferruccio DAMIANI <damiani@di.unito.it>
  
• Faculty Positions, Universite Laval Quebec Nadia Tawbi <Nadia.Tawbi@ift.ulaval.ca>
  
• Book announcement: Handbook of Process Algebra "Alban Ponse" <alban@science.uva.nl>
  
• TACS 2001 -- extended deadline "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• Extended Deadline: Workshop on MEchanized Reasoning about Languages with variable bINding (MERLIN 2001) "A. Momigliano" <am133@mcs.le.ac.uk>
  
• STRATEGIES 2001 (last cfp - ext. deadline: April 11, 2001) Bernhard Gramlich <gramlich@logic.at>
  
• two technical reports Matthew Hennessy <matthewh@cogs.susx.ac.uk>
  
• ICC'01: new deadline 10.5.2001 Martin Hofmann <mxh@dcs.ed.ac.uk>
  
• 13 vacant positions at the IT University of Copenhagen Mads Tofte <tofte@it-c.dk>
  
• ISAAC-01: Call for Papers paddy@cosc.canterbury.ac.nz
  
• ConCoord: Concurrency and Coordination Vladimiro Sassone <vs@dmi.unict.it>
  
• Barendregt was right after all ... almost Rene Vestergaard <vester@iml.univ-mrs.fr>
  
• Re: Barendregt was right after all ... almost "ian a. mason" <iam@turing.une.edu.au>
  
• Foundational Methods in Computer Science Workshop (FMCS'01) "David Benson" <dbenson@eecs.wsu.edu>
  
• Re: positions at the Technical University of Denmark Flemming Nielson <nielson@imm.dtu.dk>
  
• Re: Is extensionality equational in the absence of xi? Thierry Joly <joly@cs.kun.nl>
  
• SAS'01 Call For Participation radhia@lix.polytechnique.fr
  
• Post-doctoral positions in the EPATR-ESPRESSO group at INRIA-Rennes Jean-Pierre Talpin <Jean-Pierre.Talpin@irisa.fr>
  
• Update on Named Variables & Church Rosser. "ian a. mason" <iam@turing.une.edu.au>
  
• BRICS EVENTS - Registration deadline Karen =?iso-8859-1?Q?Kj=E6r?= =?iso-8859-1?Q?_?= =?iso-8859-1?Q?M=F8ller?= <karenkm@daimi.au.dk>
  
• Classical Logic and Coq Herman Geuvers <herman@cs.kun.nl>
  
• Re: Classical Logic and Coq Gerard Huet <Gerard.Huet@inria.fr>
  
• Technical Report Available simon gay <simon@dcs.gla.ac.uk>
  
• Mechanical Verification of a Context Lemma "ian a. mason" <iam@turing.une.edu.au>
  
• Foundational Methods in Computer Science Workshop (FMCS'01) "David Benson" <dbenson@eecs.wsu.edu>
  
• Erlang workshop John Hughes <rjmh@cs.chalmers.se>
  
• Paper Announcement: An Expressive, Scalable Type Theory for Certified Code Joseph Vanderwaart <Joseph_Vanderwaart@gs230.sp.cs.cmu.edu>
  
• MERLIN Call for Participation "Roy L. Crole" <R.Crole@mcs.le.ac.uk>
  
• paper on recursive modules "Derek R. Dreyer" <dreyer@cs.cmu.edu>
  
• STRATEGIES 2001 (call for participation, prelim. program) Bernhard Gramlich <gramlich@logic.at>
  
• Survey of object oriented models of computation Brian Postow <bpostow@cs.umd.edu>
  
• UNIF 2001: Call for Participation Ralf Treinen <Ralf.Treinen@lri.fr>
  
• CFP - Coordination 2002 Alan Wood <wood@cs.york.ac.uk>
  
• A New Manuscript Ulisses Ferreira <ferreirj@cs.tcd.ie>
  
• WFLP 2001 deadline extension to May 22, 2001 Frank Steiner <fst@informatik.uni-kiel.de>
  
• PhD position "A theory for object algebras in databases" fokkinga@cs.utwente.nl (Maarten Fokkinga)
  
• SAIG'01 Extended Deadline Walid Taha <taha@cs.yale.edu>
  
• Cryptyc papers Alan Jeffrey <ajeffrey@cs.depaul.edu>
  
• QAPL'01 Workshop - Final Call for Papers Herbert Wiklicky <herbert@doc.ic.ac.uk>
  
• Concoord 2001: Call for Participation Vladimiro Sassone <vs@dmi.unict.it>
  
• TPHOLs 2001 Call For Participation simon gay <simon@dcs.gla.ac.uk>
  
• ETAPS 2002, FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS etaps02@ormelune.imag.fr (Etaps 2002)
  
• chair in tcs Astrid Kiehn <kiehn@informatik.tu-muenchen.de>
  
• Research Job in Modular Program Analysis @ Heriot-Watt Univ., Scotland, UK Joe Wells <jbw@izanami.cee.hw.ac.uk>
  
• POSTDOCTORAL RESEARCH POSITIONS and PROGRAMMER POSITIONS Insup Lee <lee@central.cis.upenn.edu>
  
• POPL 2002 CALL FOR PAPERS "John Mitchell" <mitchell@cs.stanford.edu>
  
• Better vector math using dependent types "Tim Sweeney" <tim@epicgames.com>
  
• QAPL'01 - ACM Workshop - Deadline Extention Herbert Wiklicky <herbert@doc.ic.ac.uk>
  
• FMOODS 2002 --- Call for Papers Bart Jacobs <Bart.Jacobs@cs.kun.nl>
  
• A new book of logic =?iso-8859-1?Q?Ren=E9?= David <david@univ-savoie.fr>
  
• CFP: ICLP ws SAVE 2001 Giorgio Delzanno <giorgio@etabeta.disi.unige.it>
  
• Ann: new research report Francois Pottier <Francois.Pottier@inria.fr>
  
• typed-based analysis and applications Jens Palsberg <palsberg@cs.purdue.edu>
  
• LICS 2001 Final Program Martin Grohe <lics@math.uic.edu>
  
• New book on Bytecode verification for Java/JVM "boerger" <boerger@di.unipi.it>
  
• paperback announcement: Categorical Logic and Type Theory Bart Jacobs <Bart.Jacobs@cs.kun.nl>
  
• ECOOP 2001 - Final Call for Participation ECOOP 2001 Poster <poster@inf.elte.hu>
  
• Re: typed-based analysis and applications Mario Coppo <coppo@di.unito.it>
  
• thesis available Paul Levy <pbl@cs.bu.edu>
  
• PLI 2001 in Firenze: call for participation Rocco De Nicola <denicola@dsi.unifi.it>
  
• Working Conference on Generic Programming: first call for papers Johan Jeuring <johan@jeuring.net>
  
• WoLLIC'2001 - Call for Participation Ruy de Queiroz <ruy@cin.ufpe.br>
  
• International Masters Programme in COMPUTATIONAL LOGIC CL Advertisement <cladv@inf.tu-dresden.de>
  
• paper on recursion and objects Gerard Boudol <Gerard.Boudol@sophia.inria.fr>
  
• CONCUR 2001--Call for participation Anna Ingolfsdottir <annai@cs.auc.dk>
  
• STACS 2002 -- Call for papers Jerome Durand-Lose <stacs@sophia.inria.fr>
  
• TACS 2001 call for participation "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• Research Associate Job in Foundations of Safe Mobile Software "N. Yoshida" <ny11@mcs.le.ac.uk>
  
• CFP: PEPM'02 Peter Thiemann <thiemann@informatik.uni-freiburg.de>
  
• 30th SPRING SCHOOL THEORETICAL COMPUTER SCIENCE "Ecole d'ete 2001" <ecole@pps.jussieu.fr>
  
• ICFP programming contest "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• SAIG'01 Prelim Program Walid Taha <taha@cs.yale.edu>
  
• Type Systems Postdoc in LFCS, Edinburgh David Aspinall <da@dcs.ed.ac.uk>
  
• LPAR 2001 Last CFP Robert Nieuwenhuis <roberto@lsi.upc.es>
  
• Types list on vacation, July 16 - Aug 5 "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• announcement book on the pi-calculus Davide Sangiorgi <Davide.Sangiorgi@sophia.inria.fr>
  
• Post-doc Positions Available at Stevens Adriana Compagnoni <abc@cs.stevens-tech.edu>
  
• PADL'02: Call for papers Gopal Gupta <gupta@utdallas.edu>
  
• FLOPS 2002, First Call for Papers Zhenjiang Hu <hu@ipl.t.u-tokyo.ac.jp>
  
• BABEL'01: Preliminary programme and Call for Participation "Andrew Kennedy" <akenn@microsoft.com>
  
• 2001 Haskell Workshop: call for participation Ralf Hinze <ralf@informatik.uni-bonn.de>
  
• PLI2001: Early Registration Deadline is approaching Rosario Pugliese <pugliese@dsi.unifi.it>
  
• CFP: FOOL 9 -- Foundations of Object-Oriented Languages Martin Odersky <martin.odersky@epfl.ch>
  
• FICS'01 call for partecipation Anna Labella <labella@dsi.uniroma1.it>
  
• VMlambda: A Functional Calculus for Scientific Discovery Eijiro Sumii <sumii@yl.is.s.u-tokyo.ac.jp>
  
• CFP: ICLP ws SAVE 2001 Giorgio Delzanno <giorgio@etabeta.disi.unige.it>
  
• Jobs at INRIA Sophia Gerard Boudol <Gerard.Boudol@sophia.inria.fr>
  
• Lectureship, Edinburgh University Alex Simpson <als@dcs.ed.ac.uk>
  
• PADL'02: Deadline extension Gopal Gupta <gupta@utdallas.edu>
  
• Two papers on the pi-calculus. Kohei Honda <kohei@dcs.qmw.ac.uk>
  
• CICLOPS'01 -- Call for Papers Logic Programming Rsrch Association <complog@cs.nmsu.edu>
  
• CFP, Workshop on Issues in the Theory of Security (WITS '02) guttman@mitre.org (Joshua D. Guttman)
  
• EMSOFT 2001: First International Workshop on Embedded Software Christoph Kirsch <cm@eecs.berkeley.edu>
  
• A General Type Class Framework Martin Sulzmann <sulzmann@cs.mu.oz.au>
  
• Erlang workshop registration John Hughes <rjmh@cs.chalmers.se>
  
• TCS 2002 - Preliminary Call for Papers Nicola Santoro <santoro@scs.carleton.ca>
  
• Two year postdoc position available at University of Sussex Julian Rathke <julianr@cogs.susx.ac.uk>
  
• TACS2001 PROGRAM AND REGISTRATION INFORMATION Shinya MIYAKAWA <miyakawa@ito.ecei.tohoku.ac.jp>
  
• ICTCS'01 - GRANTS FOR PARTECIPATION Ferruccio DAMIANI <damiani@di.unito.it>
  
• CFP: JLAP special issue on pi-calculus (reminder) Bjorn Victor <Bjorn.Victor@DoCS.UU.SE>
  
• paper on typing for non-interference of concurrent threads Gerard Boudol <Gerard.Boudol@sophia.inria.fr>
  
• FMOODS 2002 -- deadline extension: 19 sept Arend Rensink <rensink@cs.utwente.nl>
  
• FOSSACS'2002 - Call for papers Uffe Henrik Engberg <engberg@brics.dk>
  
• FroCoS'2002 Alessandro Armando <armando@real-time.com>
  
• CFP: Computer Aided Verification 2002 "Kim G. Larsen" <kgl@cs.auc.dk>
  
• STACS 2002 -- Extended Deadline Jerome Durand-Lose <stacs@sophia.inria.fr>
  
• post-doc position at Genoa rosolini@disi.unige.it
  
• Final CFP: WITS '02 guttman@mitre.org (Joshua D. Guttman)
  
• TIE: A CHR-based Type Inference Engine Martin Sulzmann <sulzmann@cs.mu.oz.au>
  
• PhD studentship at Sussex Bernhard Reus <bernhard@cogs.susx.ac.uk>
  
• ETAPS 2003: CALL FOR SATELLITE EVENT PROPOSALS etaps03@mimuw.edu.pl
  
• WWW2002 CFP "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• LICS 2002 Call for Papers Martin Grohe <grmail@dcs.ed.ac.uk>
  
• ACM SIGPLAN 2002 PLDI, Berlin, Germany -- Call for Papers Jens Knoop <knoop@issan.cs.uni-dortmund.de>
  
• a paper on call-by-value recursion HASEGAWA Masahito <hassei@kurims.kyoto-u.ac.jp>
  
• Help with type advocacy Ken Shan <ken@digitas.harvard.edu>
  
• RE: Help with type advocacy Robert Harper <Robert.Harper@cs.cmu.edu>
  
• Re: Help with type advocacy Daniel Wang <danwang@CS.Princeton.EDU>
  
• Re: Help with type advocacy "Kohei Honda" <kohei.honda@ntlworld.com>
  
• PLI 2002-Call for workshop proposals Carsten Schuermann <carsten@cs.yale.edu>
  
• Re: Help with type advocacy Matthias Felleisen <matthias@ccs.neu.edu>
  
• FOUR research positions in Edinburgh and Munich Don Sannella <dts@dcs.ed.ac.uk>
  
• Two post-docs available in the ESPRESSO project at INRIA-Rennes Jean-Pierre Talpin <Jean-Pierre.Talpin@irisa.fr>
  
• TPHOLs 2002 -- First Call For Papers Cesar Munoz <munoz@icase.edu>
  
• AMAST'2002: Call For Papers Christophe Ringeissen <Christophe.Ringeissen@loria.fr>
  
• ETAPS 2002, CALL FOR SUBMISSIONS -- DEADLINE OCTOBRE, 19, 2001 etaps02.VERIMAG@imag.fr
  
• Research position available Ranko Lazic <lazic@dcs.warwick.ac.uk>
  
• Announcement of technical report Jan Rutten <Jan.Rutten@cwi.nl>
  
• Job Announcement TU Darmstadt Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
  
• Two PhD positions at ILLC Ingrid van Loon <ingrid@science.uva.nl>
  
• LI2002 Announcement The Logic and Interaction weeks <li2002@iml.univ-mrs.fr>
  
• CFP FroCoS'02: Deadline Extension and Call for System Descriptions Alessandro Armando <armando@dist.unige.it>
  
• POSITION AT ENS PARIS Giuseppe Castagna <Giuseppe.Castagna@ens.fr>
  
• Research Job in Compositional Reasoning and Analysis @ Heriot-Watt Univ., Scotland, UK Joe Wells <jbw@izanami.cee.hw.ac.uk>
  
• Postdoc positions in Foundations of Distributed Systems Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
  
• Faculty Position Zena Matilde Ariola <ariola@cs.uoregon.edu>
  
• International Masters Programme in COMPUTATIONAL LOGIC CL Advertisement <cladv@inf.tu-dresden.de>
  
• ICLP'01/CP'01: Extended Deadline for Early Registration "Dr. Gopal Gupta" <gupta@herbrand.utdallas.edu>
  
• RESEARCH FELLOWSHIP AT "CA' FOSCARI", VENEZIA Michele Bugliesi <michele@dsi.unive.it>
  
• VMCAI 2002 Agostino Cortesi <cortesi@dsi.unive.it>
  
• F-WAN: Foundations of Wide Area Network Computing Vladimiro Sassone <vs@susx.ac.uk>
  
• Post-doctoral position at University of Lisbon Vasco Thudichum Vasconcelos <vv@di.fc.ul.pt>
  
• Positions at the Technical University of Denmark Hanne Riis Nielson <riis@imm.dtu.dk>
  
• intersection values and union types? Pixel <pixel@mandrakesoft.com>
  
• [very] basic question Scott Finnie <scott@projtech.com>
  
• Logic Teaching Position at Stanford Solomon Feferman <sf@csli.stanford.edu>
  
• Workshop on Higher-Order Rewriting Delia.Kesner@lri.fr (Delia Kesner)
  
• PLI 2002-Second call for workshop proposals Carsten Schuermann <carsten@cs.yale.edu>
  
• TCS 2002 - Call for Papers Nicola Santoro <santoro@scs.carleton.ca>
  
• Re: [very] basic question "Mark A. Sheldon" <sheldon@psrg.lcs.mit.edu>
  
• Re: [very] basic question jeremy@discus.anu.edu.au
  
• Re: [very] basic question Frank Atanassow <franka@cs.uu.nl>
  
• Computer Science Logic 2002 (CSL'02) announcement CSL02 <csl02+calls@dcs.ed.ac.uk>
  
• Re: [very] basic question John R Harrison <johnh@ichips.intel.com>
  
• Re: [very] basic question jeremy@discus.anu.edu.au
  
• Re: [very] basic question Robin Adams <Robin.Adams@stud.man.ac.uk>
  
• Re: [very] basic question Jamie Andrews <andrews@csd.uwo.ca>
  
• Re: [very] basic question John R Harrison <johnh@ichips.intel.com>
  
• Re: [very] basic question "Robert L. Constable" <rc@CS.Cornell.EDU>
  
• book announcement Andrei Voronkov <voronkov@cs.man.ac.uk>
  
• second reply to Scott Finnie "Robert L. Constable" <rc@CS.Cornell.EDU>
  
• Re: [very] basic question Scott Finnie <scott@projtech.com>
  
• Formalising the safety of Java, the Java Virtual Machine and Java Card "Pieter Hartel" <pieter@cs.utwente.nl>
  
• Re: [very] basic question Francois Pottier <francois.pottier@inria.fr>
  
• PhD position Colin Stirling <cps@dcs.ed.ac.uk>
  
• RE: [very] basic question "Henson, Martin C" <hensm@essex.ac.uk>
  
• 30th Spring School Theorical Computer Science - Early Registration ecole@pps.jussieu.fr (Ecole d'ete 2001)
  
• CFP: 4th International Workshop on Implicit Computational Complexity Jim Royer <royer@ecs.syr.edu>
  
• lambda calculus with co-products Robert Harper <Robert.Harper@cs.cmu.edu>
  
• Re: lambda calculus with co-products "P. Scott" <scpsg@matrix.cc.uottawa.ca>
  
• Re: [very] basic question Pixel <pixel@mandrakesoft.com>
  
• Re: lambda calculus with co-products "P. Scott" <scpsg@matrix.cc.uottawa.ca>
  
• STUDENT WORKSHOP @ FMOODS 2002 "Trevor Jones" <t.jones@lancaster.ac.uk>
  
• PhD Studentship "Zhaohui.Luo" <Zhaohui.Luo@durham.ac.uk>
  
• PhD postions in Informatics, Bergen University, Norway Marc Bezem <Marc.Bezem@ii.uib.no>
  
• Postdoctoral Research Associate, "Refactoring Functional Programs" "C.Reinke" <C.Reinke@ukc.ac.uk>
  
• CTCS '02 Richard Blute <rblute@mathstat.uottawa.ca>
  
• FICS 02, a satellite workshop to LICS 02 Zoltan Esik <esik@cs.auc.dk>
  
• ESSLLI 2002 Student Session Malvina Nissim <malvi@cogsci.ed.ac.uk>
  
• Postdoc in lightweight formal methods for SE Jamie Andrews <andrews@csd.uwo.ca>
  
• Paper on higher order matching. Ralph Loader <rcl@ihug.co.nz>
  
• PEPM'02 -- call for participation Peter Thiemann <thiemann@informatik.uni-freiburg.de>
  
• PADL'02 Logic Programming Rsrch Association <complog@cs.nmsu.edu>
  
• CFP: Special Journal Issue on Proof-Carrying Code Amy Felty <afelty@site.uottawa.ca>
  
• WITS at POPL: Workshop on Issues in the Theory of Security guttman@mitre.org (Joshua D. Guttman)
  
• Spam on Types "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• FOOL 9 Call for Participation Martin Odersky <martin.odersky@epfl.ch>
  
• Positions in Paris 7 University Pierre-Louis Curien <Pierre-Louis.Curien@pps.jussieu.fr>
  
• LICS 2002 Call for Papers Martin Grohe <grmail@dcs.ed.ac.uk>
  
• 6th Workshop Domains, Birmingham, September 2002 Achim Jung <A.Jung@cs.bham.ac.uk>
  
• Re: Research Associates - Foundations of Distributed Systems Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
  
• Types Query: type classes and SML modules? Tom Murphy <tom7+@cs.cmu.edu>
  
• Re: Types Query: type classes and SML modules? Fergus Henderson <fjh@cs.mu.oz.au>
  
• WAAAPL 2002, preliminary announcement Ralf Hinze <ralf@informatik.uni-bonn.de>
  
• CFP : ASIA-PEPM 2002 Chin Wei Ngan <chinwn@comp.nus.edu.sg>
  
• postdoc at INRIA Sophia-Antipolis (MIMOSA team - MIKADO project) Ilaria Castellani <Ilaria.Castellani@sophia.inria.fr>
  
• positions in core computing science (1 Post-Doc, 1 PhD) Uwe.Nestmann@EPFL.ch
  
• New paper on Java bytecode subroutines Alessandro Coglio <coglio@kestrel.edu>
  
• paper announcements Haruo Hosoya <hahosoya@kurims.kyoto-u.ac.jp>
  
• Host of TPHOLs 2003, call for bids "Victor A. Carreno" <v.a.carreno@larc.nasa.gov>
  
• Re: more than covariance, distributivity? Pixel <pixel@mandrakesoft.com>
  
• Ottawa Logic Group invites graduate student applications Peter Selinger <selinger@mathstat.uottawa.ca>
  
• Parametricity Theorem, relational interpretation of constant types Janis Voigtlaender <voigt@orchid.inf.tu-dresden.de>
  
• Re: Parametricity Theorem, relational interpretation of constant types Andrew Pitts <Andrew.Pitts@cl.cam.ac.uk>
  
• CMCS 02 2nd Call For Papers larry moss <lsm@cs.indiana.edu>
  
• Generic Java type inference is unsound Alan Jeffrey <ajeffrey@cs.depaul.edu>
  
• faculty position in logic LICS <foc@cs.indiana.edu>
  
• 4th Int'l Symp.: Practical Aspects of Declarative Languages "Dr. Gopal Gupta" <gupta@herbrand.utdallas.edu>
  
• ICALP2002 call for papers icalp2002@lcc.uma.es
  
• Working Conference on Generic Programming, 2nd call for papers Johan Jeuring <johanj@cs.uu.nl>
  
• 1st CFP Types Summer School'02 Joelle Despeyroux <Joelle.Despeyroux@sophia.inria.fr>
  
• ICFP (Functional Programming) 2002: Call for Papers Shriram Krishnamurthi <sk@cs.brown.edu>
  
• 2002 Haskell Workshop "Manuel M. T. Chakravarty" <chak@cse.unsw.edu.au>
  
• EMSOFT 2002: FIRST CALL FOR PAPERS Emsoft02 VERIMAG <Emsoft02.VERIMAG@imag.fr>
  
• Formal semantics for C "S.J.Thompson" <S.J.Thompson@ukc.ac.uk>
  
• Re: Formal semantics for C Ken Friis Larsen <kfl@it.edu>
  
• Re: Formal semantics for C Matthias Felleisen <matthias@ccs.neu.edu>
  
• Re: Formal semantics for C Sava Krstic <krstic@cse.ogi.edu>
  
• Re: Formal semantics for C Fergus Henderson <fjh@cs.mu.oz.au>
  
• Nondeterminism (was: Formal semantics for C) Viktor Kuncak <vkuncak@mit.edu>
  
• Re: Formal semantics for C Fritz K Ruehr <fruehr@willamette.edu>
  
• Re: Formal semantics for C Corky Cartwright <cork@rice.edu>
  
• Re: Formal semantics for C Matthias Felleisen <matthias@ccs.neu.edu>
  
• Re: Nondeterminism (was: Formal semantics for C) Fergus Henderson <fjh@cs.mu.oz.au>
  
• Re: Formal semantics for C Fergus Henderson <fjh@cs.mu.oz.au>
  
• Re: Formal semantics for C Matthias Felleisen <matthias@ccs.neu.edu>
  
• Re: Formal semantics for C Fergus Henderson <fjh@cs.mu.oz.au>
  
• Re: Formal semantics for C Matthias Felleisen <matthias@ccs.neu.edu>
  
• Re: Formal semantics for C Fergus Henderson <fjh@cs.mu.oz.au>
  
• Re: Formal semantics for C Fergus Henderson <fjh@cs.mu.oz.au>
  
• Component Pascal type system is unsound Fergus Henderson <fjh@cs.mu.oz.au>
  
• Re: Formal semantics for C Corky Cartwright <cork@rice.edu>
  
• Formal semantics for C++ type inference? Dave Berry <daveb@tardis.ed.ac.uk>
  
• Re: Formal semantics for C Fergus Henderson <fjh@cs.mu.oz.au>
  
• Re: Formal semantics for C Dan Grossman <danieljg@cs.cornell.edu>
  
• Re: Formal semantics for C Corky Cartwright <cork@rice.edu>
  
• Re: Nondeterminism (was: Formal semantics for C) Michal Walicki <mwalicki@csc.calpoly.edu>
  
• Re: Formal semantics for C Michael Norrish <Michael.Norrish@cl.cam.ac.uk>
  
• Re: Formal semantics for C Michael Norrish <Michael.Norrish@cl.cam.ac.uk>
  
• Re: Formal semantics for C Fergus Henderson <fjh@cs.mu.oz.au>
  
• Re: Formal semantics for C Matthias Felleisen <matthias@ccs.neu.edu>
  
• Nondeterminism / formal semantics of C "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• Re: Nondeterminism / formal semantics of C Andrew Myers <andru@CS.Cornell.EDU>
  
• Re: Nondeterminism / formal semantics of C Fergus Henderson <fjh@cs.mu.oz.au>
  
• Re: Formal semantics for C Corky Cartwright <cork@rice.edu>
  
• Re: Formal semantics for C Fergus Henderson <fjh@cs.mu.oz.au>
  
• Re: Formal semantics for C Michael Norrish <Michael.Norrish@cl.cam.ac.uk>
  
• Re: Nondeterminism / formal semantics of C martinb@dcs.qmul.ac.uk
  
• Re: Formal semantics for C Matthias Felleisen <matthias@ccs.neu.edu>
  
• Re: Formal semantics for C Dan Grossman <danieljg@cs.cornell.edu>
  
• Announcing OMDoc (Open Mathematical Documents), Version 1.1  Michael Kohlhase <kohlhase+@cs.cmu.edu>
  
• RE: Nondeterminism / formal semantics of C "Gregory Morrisett" <jgm@cs.cornell.edu>
  
• PostDoc opportunity at Stony Brook in Model-Carrying Code Scott Smolka <sas@cs.sunysb.edu>
  
• More on C semantics / nondeterminism "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• Re: More on C semantics / nondeterminism Philip Wadler <wadler@research.avayalabs.com>
  
• Memory safe implementations of C/C++ Corky Cartwright <cork@rice.edu>
  
• Re: Memory safe implementations of C/C++ Philip Wadler <wadler@research.avayalabs.com>
  
• Re: Memory safe implementations of C/C++ David Detlefs - Sun Microsystems Labs BOS <david.detlefs@sun.com>
  
• Call For Papers: Computer Science Logic 2002 (CSL'02) CSL02 <csl02+calls@dcs.ed.ac.uk>
  
• Senior Researcher Position open in Center for Cybersecurity sekar@cs.sunysb.edu
  
• Decidable polymorphic recursion? Josef Svenningsson <josefs@cs.chalmers.se>
  
• CMCS 02 2nd Call For Papers (extended deadline) larry moss <lsm@cs.indiana.edu>
  
• Re: Decidable polymorphic recursion? Ferruccio DAMIANI <damiani@di.unito.it>
  
• Re: Decidable polymorphic recursion? Francois Pottier <francois.pottier@inria.fr>
  
• Re: Formal Semantics for C Michael Norrish <Michael.Norrish@cl.cam.ac.uk>
  
• Extended deadline for ICALP 2002 icalp2002@informatica.uma.es
  
• Re: Decidable polymorphic recursion? Josef Svenningsson <josefs@cs.chalmers.se>
  
• Re: Memory safe implementations of C/C++ Corky Cartwright <cork@rice.edu>
  
• Call for Partic 7th Estonian Winter School in Computer Science Tarmo Uustalu <tarmo@cs.ioc.ee>
  
• Call for Papers Euro-Par 2002 - Topic 10: Parallel Programming, Models, Methods and Programming Languages Bernard Bauer <bb@upb.de>
  
• Re: Memory safe implementations of C/C++ Michael Norrish <Michael.Norrish@cl.cam.ac.uk>
  
• Re: Decidable polymorphic recursion? Carlos Camarao de Figueiredo <camarao@dcc.ufmg.br>
  
• Re: Decidable polymorphic recursion? Radhia Cousot <radhia@lix.polytechnique.fr>
  
• TYPES 2002 Workshop, Berg en Dal (NL)Call for Presentations Herman Geuvers <herman@cs.kun.nl>
  
• Re: Decidable polymorphic recursion? Carlos Camarao de Figueiredo <camarao@dcc.ufmg.br>
  
• Paper on Using Types for Termination Checking Andreas Abel <abel@informatik.uni-muenchen.de>
  
• RE: Decidable polymorphic recursion? "Jakob Rehof" <rehof@microsoft.com>
  
• Sound Generic Java type inference Martin Odersky <martin.odersky@epfl.ch>
  
• Preprint: Semantic Analysis of Normalisation. Marcelo Fiore <Marcelo.Fiore@cl.cam.ac.uk>
  
• Workshop on Programming Technologies for XML "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• Re: Decidable polymorphic recursion? Fritz Henglein <henglein@it-c.dk>
  
• Five Lectureships at King's College London David Clark <david@dcs.kcl.ac.uk>
  
• Re: Decidable polymorphic recursion? Fritz Henglein <henglein@it-c.dk>
  
• Call for papers: ICLP'02 (Intl Conf on Logic Programming) Peter Stuckey <pjs@cs.mu.OZ.AU>
  
• CFP: CTCS'02 and Grad Student Preconference Peter Selinger <selinger@mathstat.uottawa.ca>
  
• CFP Foundations of Aspect-Oriented Langauges (March 1) "Gary T. Leavens" <leavens@cs.iastate.edu>
  
• CFP : ACM SIGPLAN ASIA-PEPM 2002 Chin Wei Ngan <chinwn@comp.nus.edu.sg>
  
• ITRS'02 call for papers Steffen van Bakel <svb@doc.ic.ac.uk>
  
• UNIF'2002 -- call for papers Christophe Ringeissen <Christophe.Ringeissen@loria.fr>
  
• Call for Participation: FroCoS'02 Alessandro Armando <armando@dist.unige.it>
  
• Postdoc and PhD student position in Theory of Concurrency Joachim Parrow <joachim@DoCS.UU.SE>
  
• Graduate School Track on Global Computing at EPFL Lausanne Martin Odersky <martin.odersky@epfl.ch>
  
• Symposium on Cyber Security, March 15 Dominic Duggan <dduggan@cs.stevens-tech.edu>
  
• Cfp: Domain Theory Workshop in Honour of Dana Scott's 70'th birthday Lars Birkedal <birkedal@itu.dk>
  
• TYPES2002 Meeting Call for Presentations/Participation Herman Geuvers <herman@cs.kun.nl>
  
• paper announcement: Principal Typing in Elementary Affine Logic "Paolo Coppola" <coppola@dimi.uniud.it>
  
• AMAST'2002 **** NEW EXTENDED DEADLINE **** Christophe Ringeissen <Christophe.Ringeissen@loria.fr>
  
• Job offer in TCS at Ludwig-Maximilians-University, Munich nentwich <nentwich@informatik.uni-muenchen.de>
  
• CFP: Thirty Five years of Automath Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
  
• Positions in Ecole des mines de Nantes Pierre Cointe <Pierre.Cointe@emn.fr>
  
• WoLLIC'2002 - call for papers Ruy de Queiroz <ruy@cin.ufpe.br>
  
• Summer School on Generic Programming Johan Jeuring <johanj@cs.uu.nl>
  
• HOL and ML-Polymorphism Lutz Schroeder <lschrode@tzi.de>
  
• CP-2002: Call for Papers Constraint Programming 2002 <cp2002@CS.Cornell.EDU>
  
• Summer School on Computational Logic P M Hill <hill@comp.leeds.ac.uk>
  
• Call for Papers: Formal Techniques for Java-like Programs (FTfJP'2002) Erik Poll <erikpoll@cs.kun.nl>
  
• ETAPS 2002: CALL FOR PARTICIPATION etaps02.VERIMAG@imag.fr
  
• CFP Generators and Components (GCSE/SAIG'02) Walid Taha <taha@cs.yale.edu>
  
• ACM school on Internet security - call for participation Summer School on Foundations of Internet Security <school@ii.uni.wroc.pl>
  
• ACM school on Internet security - corrected dates Summer School on Foundations of Internet Security <school@ii.uni.wroc.pl>
  
• Call for papers: TIP'02 tip02@informatik.uni-freiburg.de
  
• Working Conf on Generic Programming: deadline extension Jeremy Gibbons <Jeremy.Gibbons@comlab.ox.ac.uk>
  
• SBLP'2002 Call for Papers Carlos Camarao de Figueiredo <camarao@dcc.ufmg.br>
  
• CFP: LFM'02 - Logical Frameworks and Meta-languages Frank Pfenning <Frank_Pfenning@altosax.concert.cs.cmu.edu>
  
• CTCS02 Call for Students "P. Scott" <scpsg@matrix.cc.uottawa.ca>
  
• PPDP 2002 - Call for papers --> March 21 Claude Kirchner <Claude.Kirchner@loria.fr>
  
• IMLA 02 Second Call for Papers "Valeria de Paiva" <paiva@parc.xerox.com>
  
• Professorship in Software Engineering at Chalmers University, Goteborg, Sweden Bengt Nordstrom <bengt@cs.chalmers.se>
  
• Final CFP : FLOPS'02 / ASIA-PEPM'02 Zhenjiang Hu <hu@ipl.t.u-tokyo.ac.jp>
  
• ICFP 2002: write now! "Simon Peyton-Jones" <simonpj@microsoft.com>
  
• Call for Papers EXPRESS 2002, Brno, 19th August 2002 Prakash PANANGADEN <prakash@cs.mcgill.ca>
  
• New book: Types and Programming Languages "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• NASSLLI Darko Sarenac <sarenac@stanford.edu>
  
• Mathematical Knowledge Management 2003 (fwd) "Zhaohui.Luo" <Zhaohui.Luo@durham.ac.uk>
  
• Full professorship in Programming Languages at TU Wien Bernhard Gramlich <gramlich@logic.at>
  
• SBLP'2002 deadline extension --> March 7 Carlos Camarao de Figueiredo <camarao@dcc.ufmg.br>
  
• CFP: USE2002 "mwh" <mwh@dsl.cis.upenn.edu>
  
• FroCoS 2002: 2nd Call for Participation Alessandro Armando <armando@armandobook.dist.unige.it>
  
• ETAPS 2002: LAST DAYS OF EARLY REGISTRATION etaps02.VERIMAG@imag.fr
  
• Thirty Five years of Automath Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
  
• Flocasa: 1st Call for Paper Jean-Marie JACQUET <jmj@info.fundp.ac.be>
  
• Research Opportunity: Refactoring Functional Programs (UKC) "C.Reinke" <C.Reinke@ukc.ac.uk>
  
• Second Call For Papers: Computer Science Logic 2002 (CSL'02) CSL02 <csl02+calls@dcs.ed.ac.uk>
  
• Colloquium on the occasion of Helmut Schwichtenberg's 60th birthday Reinhard Kahle <kahle@informatik.uni-tuebingen.de>
  
• Special issue on Mechanising and Automating Mathematics Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
  
• Re: Formal semantics for C Jim Huggins <jhuggins@kettering.edu>
  
• Re: Formal semantics for C martinb@dcs.qmul.ac.uk
  
• Re: Formal semantics for C Jim Huggins <jhuggins@kettering.edu>
  
• CFP FLOPS'02 and ASIA-PEPM'02 : Last Deadline Extension Chin Wei Ngan <chinwn@comp.nus.edu.sg>
  
• Position at ENS Paris Giuseppe Castagna <Giuseppe.Castagna@ens.fr>
  
• Linear Logic Workshop at FLoC'02 Andre Scedrov <scedrov@saul.cis.upenn.edu>
  
• 2nd CFP Types Summer School'02 Joelle Despeyroux <Joelle.Despeyroux@sophia.inria.fr>
  
• Summer School on the Proofs-as-Programs Paradigm Zena Matilde Ariola <ariola@cs.uoregon.edu>
  
• Postdoc in lightweight formal methods for software engineering Jamie Andrews <andrews@csd.uwo.ca>
  
• Final call for participation (25 March closing date) Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
  
• Functional and Declarative Programming in Education (FDPE02) Michael Hanus <mh@informatik.uni-kiel.de>
  
• RE: IMLA 02 LAST Call for Papers, deadline: 5th April "Valeria de Paiva" <paiva@parc.xerox.com>
  
• CFP: Programming Language Technologies for XML (PLAN-X) "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• Book announcement: Foundations of OO Languages Kim Bruce <kim@cs.williams.edu>
  
• POPL'03 Call for Papers "Alex Aiken" <aiken@cs.berkeley.edu>
  
• [E-CFP] WFLP2002 - deadline EXTENSION WFLP2002 Organizing Committee <wflp2002@dimi.uniud.it>
  
• CTCS-Final CFP and deadline extension blute@iml.univ-mrs.fr
  
• 2nd CFP: Implicit Computational Complexity 2002 Jim Royer <royer@ecs.syr.edu>
  
• More on Formal Semantics of C "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• LICS 2002 Accepted Papers Martin Grohe <grmail@dcs.ed.ac.uk>
  
• F-WAN: Extended Submission Deadline Vladimiro Sassone <vs@susx.ac.uk>
  
• Summer School on the Proofs-as-Programs Paradigm Zena Matilde Ariola <ariola@cs.uoregon.edu>
  
• FINAL CALL For Papers: Computer Science Logic 2002 (CSL'02) CSL02 <csl02+calls@dcs.ed.ac.uk>
  
• 2WFTop: last announcement Giovanni Sambin <sambin@math.unipd.it>
  
• 2WFTop: last announcement Giovanni Sambin <sambin@math.unipd.it>
  
• Reminder: LICS 2002 Short Presentations Martin Grohe <grmail@dcs.ed.ac.uk>
  
• 2002 Static Analysis Symposium (SAS'02) Call for Papers sas02@clip.dia.fi.upm.es
  
• 20 Years of PLDI - A Selection Philip Wadler <wadler@research.avayalabs.com>
  
• Re: CTCS-Final CFP and deadline extension blute@iml.univ-mrs.fr
  
• workshop on higher-order rewriting 2002 call for abstracts Delia.Kesner@lri.fr (Delia Kesner)
  
• CALL FOR PROPOSALS FOR ORGANIZING ICLP'03 "Dr. Gopal Gupta" <gupta@herbrand.utdallas.edu>
  
• Schedule of ICALP 2002 Rafael Morales <morales@lcc.uma.es>
  
• CFP: TIP'02 Workshop on Types in Programming Workshop on Types in Programming <tip02@informatik.uni-freiburg.de>
  
• New book: Isabelle/HOL Tutorial nipkow@in.tum.de
  
• RE: Component Pascal type system is unsound "Clemens Szyperski" <cszypers@microsoft.com>
  
• Doctoral Programme of CP-2002: Call for Applications Ian Miguel <ianm@cs.york.ac.uk>
  
• Summer School on Foundations of Internet Security Summer School on Foundations of Internet Security <school@ii.uni.wroc.pl>
  
• book announcement--Bruce Jud Wolfskill <wolfskil@MIT.EDU>
  
• FICS'02- EXTENDED DEADLINE April 20 Anna Ingolfsdottir <annai@cs.auc.dk>
  
• Lambda calculus w/theory of computation Kim Bruce <kim@cs.williams.edu>
  
• Summer School on Computational Logic Roberto Bagnara <bagnara@cs.unipr.it>
  
• Natural deduction systems for the lambda-cube? Eduardo Ochs <ochs@math.mcgill.ca>
  
• Flocasa: 2nd Call for Paper Jean-Marie JACQUET <jmj@info.fundp.ac.be>
  
• Summer School on Proofs as Programs Zena Matilde Ariola <ariola@cs.uoregon.edu>
  
• call for papers SECI'02 Tunis --- deadline extension Jean Goubault-Larrecq <goubault@lsv.ens-cachan.fr>
  
• RDP'03 - First announcement Salvador Lucas Alba <slucas@dsic.upv.es>
  
• SAS'02 CFP Reminder -- Submission Deadline May 5, 2002 SAS2002 <sas02@clip.dia.fi.upm.es>
  
• CFP: 2002 Haskell Workshop ** 1 month until submission deadline ** "Manuel M. T. Chakravarty" <chak@cse.unsw.edu.au>
  
• FLoC 2002 Call for Participation Martin Grohe <grmail@dcs.ed.ac.uk>
  
• Calculating Functors "Samuel E. Moelius III" <usmoeliu@mcs.drexel.edu>
  
• Results and Summary from the FOAL workshop at AOSD (types and AOP) "Gary T. Leavens" <leavens@cs.iastate.edu>
  
• 2nd CfP: Categorical Methods for Concurrency, Interaction, and Mobility Alexander Kurz <Alexander.Kurz@cwi.nl>
  
• Deadline change: Programming Language Technologies for XML (PLAN-X) "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• Kernel Mode Linux (KML) Eijiro Sumii <sumii@yl.is.s.u-tokyo.ac.jp>
  
• 1st CFP: NWPT'02 Tarmo Uustalu <tarmo@cs.ioc.ee>
  
• FSTTCS 2002 call for papers Anil Seth <seth@cse.iitk.ac.in>
  
• Implicit Computational Complexity(ICC'02) Submission Deadline Extended Jim Royer <royer@ecs.syr.edu>
  
• Re: Lambda calculus w/theory of computation Kim Bruce <kim@cs.williams.edu>
  
• RE: Lambda calculus w/theory of computation "Sandeep K. Shukla" <skshukla@ics.uci.edu>
  
• Master Program Software Technology at Utrecht University Eelco Visser <visser@acm.org>
  
• SAS'02 -- DEADLINE EXTENSION -- MAY 10 SAS2002 <sas02@clip.dia.fi.upm.es>
  
• CFP: JFP Special Issue on Functional Pearls Ralf Hinze <ralf@informatik.uni-bonn.de>
  
• Workshop on Proof Theory and Computation Alessio Guglielmi <Alessio.Guglielmi@Inf.TU-Dresden.DE>
  
• Paper announcement Alex Simpson <als@dcs.ed.ac.uk>
  
• Call for Papers - Participation TPHOLs <tphols2002@larc.nasa.gov>
  
• Remarks on type isomorphisms with the empty and sum type Roberto Di Cosmo <Roberto.Di-Cosmo@pps.jussieu.fr>
  
• EXTENDED DEADLINE - workshop on higher-order rewriting Delia.Kesner@lri.fr (Delia Kesner)
  
• Domains VI 2nd Call for Abstracts Domains VI Conference <m.escardo@cs.bham.ac.uk>
  
• Call for Participation -- ACM SIGPLAN 2002 PLDI, Berlin, Germany Jens Knoop <knoop@ls5.cs.uni-dortmund.de>
  
• 3rd FLIRTS workshop, 24th to 27th September 2002 Till Mossakowski <till@tzi.de>
  
• Summer School on Generic Programming: early reg deadline 17th May Jeremy Gibbons <Jeremy.Gibbons@comlab.ox.ac.uk>
  
• Advanced Functional Programming: early registration one week away. Johan Jeuring <johanj@cs.uu.nl>
  
• More on Formal Semantics of C Michael Norrish <Michael.Norrish@cl.cam.ac.uk>
  
• Strafunski: Major New Edition Ralf Laemmel <Ralf.Laemmel@cwi.nl>
  
• Second Call for Papers: RULE'02 - Workshop on Rule-Based Programming Eelco Visser <visser@acm.org>
  
• EXTENDED DEADLINE of Special Issue on Mechanising and Automating Mathematics Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
  
• Ph.D. scholarships at the IT University of Copenhagen Lars Birkedal <birkedal@itu.dk>
  
• Job announcement at Darmstadt Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
  
• ICALP 2002. Last news icalp2002@informatica.uma.es
  
• Subject: Scheme Workshop 2002 -- submission deadline extended shivers@cc.gatech.edu (Olin Shivers)
  
• PADL'03: First Call for Papers "Dr. Gopal Gupta" <gupta@herbrand.utdallas.edu>
  
• Five Positions in Computer Science "Roy L. Crole" <rlc3@mcs.le.ac.uk>
  
• Web-based Interface for Experimenting with System I Geoff Washburn <gw2@types.bu.edu>
  
• ACM SIGPLAN PLDI 2002: Programme // Early Reg. ends on May 22! Jens Knoop <knoop@ls5.cs.uni-dortmund.de>
  
• Research associate position at JAIST Rene Vestergaard <vester@jaist.ac.jp>
  
• CTCS '02, Aug. 15-17, Ottawa "P. Scott" <scpsg@matrix.cc.uottawa.ca>
  
• workshop on isomorphism of types Sergei SOLOVIEV <soloviev@irit.fr>
  
• FLoC 2002 - Registration Discounts and Travel Grants Martin Grohe <grmail@dcs.ed.ac.uk>
  
• [EXPRESS 2002] deadline extension: June 2 Uwe.Nestmann@EPFL.ch
  
• Extended Deadline for CMCIM Alexander Kurz <Alexander.Kurz@cwi.nl>
  
• TYPES submission guidelines (FYI) "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• Final CFP / Deadline Extension: RULE'02 "Bernd Fischer" <fisch@email.arc.nasa.gov>
  
• Do you, or would you, teach ML or Scheme? "Joshua S. Hodas" <hodas@cs.HMC.Edu>
  
• International Masters Programme in COMPUTATIONAL LOGIC CL Advertisement <cladv@inf.tu-dresden.de>
  
• Re: Imperative structure-copying languages? Jamie Andrews <andrews@csd.uwo.ca>
  
• Preliminary program for the Implicit Complexity Workshop (ICC'02) Jim Royer <royer@ecs.syr.edu>
  
• WoLLIC'2002 - Call for Participation Ruy de Queiroz <ruy@cin.ufpe.br>
  
• TYPES on vacation "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• LFM'02 Program and Call for Participation Frank Pfenning <fp@cs.cmu.edu>
  
• CfP: Special JAR issue on BYTECODE VERIFICATION nipkow@in.tum.de
  
• Re: Imperative structure-copying languages? Viktor Kuncak <vkuncak@mit.edu>
  
• TIP'02: Call for Participation Peter Thiemann <thiemann@uni-freiburg.de>
  
• CONCUR'02 Call for Participation tony@informatics.muni.cz
  
• CP-2002 Workshop Programme: Call for Contributions and Participation Constraint Programming 2002 <cp2002@CS.Cornell.EDU>
  
• IMLA'02 Program and Call for Participation "Valeria de Paiva" <paiva@parc.xerox.com>
  
• CSL'02 Accepted Papers and CALL FOR PARTICIPATION CSL02 <csl02+calls@dcs.ed.ac.uk>
  
• ETAPS 2003 - call for submissions etaps03@mimuw.edu.pl
  
• open positions in software technology at IT University of Copenhagen Lars Birkedal <birkedal@itu.dk>
  
• professor position in Marseille Thomas EHRHARD <ehrhard@iml.univ-mrs.fr>
  
• CTCS'02 (Aug. 15-17) "P. Scott" <scpsg@matrix.cc.uottawa.ca>
  
• pattern-matching: a new approach Barry Jay <cbj@it.uts.edu.au>
  
• CTCS'02 (Expanded 2nd Call for Participation) "P. Scott" <scpsg@matrix.cc.uottawa.ca>
  
• Re: pattern-matching: a new approach Ralf Laemmel <Ralf.Laemmel@cwi.nl>
  
• a first proof of the decision of equality in recursive types. Pierre Lescanne <Pierre.Lescanne@ens-lyon.fr>
  
• F-WAN: Programme and Call for Participation Vladimiro Sassone <vs@susx.ac.uk>
  
• TLDI'03 Call for Papers Zhong Shao <shao@cs.yale.edu>
  
• TPHOLS early registration announcement TPHOLs 2002 <tphols2002@larc.nasa.gov>
  
• Workshop on Isomorphisms of Types (2nd CFP) David Chemouil <chemouil@irit.fr>
  
• ESSLLI Student Session - Call for Participation Malvina Nissim <malvi@cogsci.ed.ac.uk>
  
• Research Job: Compositional Analysis & Reasoning for Software Systems @ Heriot-Watt U., Scotland, UK Joe Wells <jbw@izanami.cee.hw.ac.uk>
  
• cfp: Proceedings of the Second Workshop on Formal Topology Giovanni Sambin <sambin@math.unipd.it>
  
• CfP: 2nd Workshop on Domain-Specific Visual Languages, OOPSLA Juha-Pekka Tolvanen <jpt@metacase.com>
  
• ESOP'03 CFP -- please post Pierpaolo Degano <degano@di.unipi.it>
  
• CATS 2003: 1st Call for Papers James Harland <jah@goanna.cs.rmit.edu.au>
  
• CFP: PADL'03 "Dr. Gopal Gupta" <gupta@herbrand.utdallas.edu>
  
• CTCS'02 Final CFP and Schedule Richard Blute <rblute@mathstat.uottawa.ca>
  
• Help with temporal type semantics Simon Courtenage <courtes@westminster.ac.uk>
  
• ETAPS 2004: CALL FOR SATELLITE EVENTS ETAPS 2004 <etaps04@lsi.upc.es>
  
• VMCAI '03 - Call for Papers Barbara Koenig <koenigb@in.tum.de>
  
• TLCA 03, Call for papers. Martin Hofmann <mhofmann@tcs.informatik.uni-muenchen.de>
  
• CP-2002 program and registration info now available on website <cp2002@CS.Cornell.EDU>
  
• British Logic Colloquium, Birmingham, September 12-14, 2002 Eike Ritter <E.Ritter@cs.bham.ac.uk>
  
• SAS'02 Call for Participation -- Early Registration: * August 15 * Manuel Hermenegildo <herme@clip.dia.fi.upm.es>
  
• Special issue of Journal of Automated Reasoning Gail Pieper <pieper@mcs.anl.gov>
  
• ICFP programming contest 2002 announcement "Iavor S. Diatchki" <diatchki@cse.ogi.edu>
  
• Important Deadline Information Regarding CP 02 Hotel Reservations! Constraint Programming 2002 <cp2002@CS.Cornell.EDU>
  
• Dijkstra Mitchell Wand <wand@ccs.neu.edu>
  
• Kristin Nygaard Mitchell Wand <wand@ccs.neu.edu>
  
• FOOL'03: Call for Papers "ghelli" <ghelli@di.unipi.it>
  
• TCS 2002 - Final Program Nicola Santoro <santoro@scs.carleton.ca>
  
• Paper announcement: Language-Based Information-Flow Security Andrei Sabelfeld <andrei@CS.Cornell.EDU>
  
• CfP: 2nd Workshop on Domain-Specific Visual Languages, OOPSLA Juha-Pekka Tolvanen <jpt@metacase.com>
  
• PLANX workshop: program and call for participation "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• 2nd CFP: NWPT'02 Tarmo Uustalu <tarmo@cs.ioc.ee>
  
• PLI 2002 early registration deadline approaching Shriram Krishnamurthi <sk@cs.brown.edu>
  
• ICFP 2002 early registration deadline approaching Mitchell Wand <wand@ccs.neu.edu>
  
• VMCAI'03 -- EXTENDED DEADLINE Radu Grosu <grosu@cs.sunysb.edu>
  
• PPDP 2002 - early registration deadline approaching Claude Kirchner <Claude.Kirchner@loria.fr>
  
• Paper announcement: Validation and boolean operations for attribute-element constraints Haruo Hosoya <hahosoya@kurims.kyoto-u.ac.jp>
  
• FOSSACS'03 call-for-papers; deadline Friday October 18 "Andy Gordon" <adg@microsoft.com>
  
• Type inference for object calculi S and S_\forall of "A Theory of Objects" Luis Dominguez <lald@math.ist.utl.pt>
  
• Type inference and related research... Vahram <vahram@arm.hpl.com>
  
• preprints about continuations Hayo Thielecke <H.Thielecke@cs.bham.ac.uk>
  
• Re: Type inference and related research... "Tim Sweeney" <tim@epicgames.com>
  
• Moscow ML's higher-order modules are unsound Derek Dreyer <dreyer@cs.cmu.edu>
  
• FOOL'03: Final Call for Papers "ghelli" <ghelli@di.unipi.it>
  
• WIT2002, last call and deadline extension Sergei SOLOVIEV <soloviev@irit.fr>
  
• research position avaliable Philippa Gardner <pg@doc.ic.ac.uk>
  
• ETAPS 2003 - call for submissions etaps03@mimuw.edu.pl (Konferencja ETAPS'03)
  
• CFP COCV 2003, in conjunction with ETAPS 2003, Warsaw, Poland Jens Knoop <knoop@ls5.cs.uni-dortmund.de>
  
• Cryptyc Research Associate Position Alan Jeffrey <ajeffrey@cs.depaul.edu>
  
• IEEE/ACM MEMOCODE conference "Sandeep K. Shukla" <skshukla@ics.uci.edu>
  
• Position Announcement Martin Odersky <martin.odersky@epfl.ch>
  
• TACAS 2003: Paper Submission Deadline approaches etaps02 VERIMAG <etaps02.VERIMAG@imag.fr>
  
• SBLP 2003 - call for papers Lucilia Camarao de Figueiredo <lucilia@dcc.ufmg.br>
  
• DOMAIN THEORY AND APPLICATIONS -- cfp rosolini@disi.unige.it
  
• FMCO: Last Call and Final Program F.S.de.Boer@cwi.nl
  
• CSMR2003 - New Deadline for Submission csmr2003@unisannio.it
  
• CFP for LDTA 2003 Pierre-Etienne.Moreau@loria.fr
  
• Lectureship of interest for type theoretists Anton Setzer <a.g.setzer@swansea.ac.uk>
  
• Final CfP First International Conference on Security in Pervasive Computing (SPC2003) Dieter Hutter <hutter@dfki.de>
  
• semantics for F_{sub,rec} ?? Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
  
• WoLLIC'2003 - Call for Papers Ruy de Queiroz <ruy@cin.ufpe.br>
  
• Re: semantics for F_{sub,rec} ?? Martin Abadi <abadi@soe.ucsc.edu>
  
• Re: semantics for F_{sub,rec} ?? Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
  
• Re: semantics for F_{sub,rec} ?? Martin Abadi <abadi@soe.ucsc.edu>
  
• Re: semantics for F_{sub,rec} ?? Kim Bruce <kim@cs.williams.edu>
  
• Re: semantics for F_{sub,rec} ?? Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
  
• Re: semantics for F_{sub,rec} ?? Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
  
• PSSL 78 - First announcement crans@math.u-strasbg.fr
  
• ETAPS 2004: CALL FOR SATELLITE EVENTS ETAPS 2004 <etaps04@lsi.upc.es>
  
• Research positions in pure and applied logic "John K. SLANEY" <jks@discus.anu.edu.au>
  
• LICS 2003 CFP Alex Simpson <als+lics-junk@inf.ed.ac.uk>
  
• CFC: SCP Special Issue on Program Transformation Ralf Laemmel <Ralf.Laemmel@cwi.nl>
  
• International Symposium on Domain Theory (ISDT '03) GQ Zhang <gxz11@po.cwru.edu>
  
• WOOD 2003: Workshop on Object-Oriented Developments Michele Bugliesi <michele@dsi.unive.it>
  
• POPL 03 Call for Participation "David Walker" <dpw@CS.Princeton.EDU>
  
• Mini-school on theoretical computer science =?ISO-8859-1?Q?Ren=E9?= David <david@univ-savoie.fr>
  
• RTA'03: call for papers Femke van Raamsdonk <femke@cs.vu.nl>
  
• ICTCS'03 Cosimo Laneve <laneve@CS.UniBO.IT>
  
• New technical report on types for mobile agents Matthew Hennessy <matthewh@cogs.susx.ac.uk>
  
• paper: towards a quantum programming language Peter Selinger <selinger@mathstat.uottawa.ca>
  
• Re: semantics for F_{sub,rec} ?? Matthias Felleisen <matthias@ccs.neu.edu>
  
• TLCA 2003 Last call for papers Martin Hofmann <mhofmann@tcs.informatik.uni-muenchen.de>
  
• Re: semantics for F_{sub,rec} ?? Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
  
• Paper announcement: on tree automata for XML Schema validation "dalzilio" <Silvano.DalZilio@cmi.univ-mrs.fr>
  
• the point of (any) semantics, was Re: semantics for F_{sub,rec} ?? Matthias Felleisen <matthias@ccs.neu.edu>
  
• Re: the point of (any) semantics, was Re: semantics for F_{sub,rec} ?? Dan Grossman <danieljg@cs.cornell.edu>
  
• Re: the point of (any) semantics, was Re: semantics for F_{sub,rec} ?? Chet Murthy <chet@watson.ibm.com>
  
• Re: the point of (any) semantics, was Re: semantics for F_{sub,rec} ?? nipkow@in.tum.de
  
• "foundations built on sand" Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
  
• Re: "foundations built on sand" Kim Bruce <kim@cs.williams.edu>
  
• Re: the point of (any) semantics, was Re: semantics for F_{sub,rec} ?? Didier Remy <Didier.Remy@inria.fr>
  
• Re: the point of (any) semantics, was Re: semantics for F_{sub,rec} ?? nipkow@in.tum.de
  
• Re: "foundations built on sand" Gordon Plotkin <gdp@inf.ed.ac.uk>
  
• assistent professorship at Technische Universiteit Eindhoven Erik de Vink <evink@win.tue.nl>
  
• 8 Assistant/Associate Professorships at the IT University of Copenhagen Camilla Jensen <cje@it-c.dk>
  
• featherweight java implementation in SML? "David Walker" <dpw@CS.Princeton.EDU>
  
• Professorship opening Jean-Marie JACQUET <jmj@info.fundp.ac.be>
  
• LaTeX resources Mitchell Wand <wand@ccs.neu.edu>
  
• FGC: Foundations of Global Computing Vladimiro Sassone <vs@susx.ac.uk>
  
• OO polymorphism Lauri Alanko <la@iki.fi>
  
• Re: OO polymorphism Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>
  
• Re: OO polymorphism Giuseppe Castagna <Giuseppe.Castagna@ens.fr>
  
• Web Demonstration of Type Error Slicing Christian Haack <haack@macs.hw.ac.uk>
  
• Re: OO polymorphism Philip Wadler <wadler@research.avayalabs.com>
  
• ANNOUNCE: Chameleon Martin Sulzmann <sulzmann@comp.nus.edu.sg>
  
• Research Grants at UPM clip-small@clip.dia.fi.upm.es
  
• failures Matthias Felleisen <matthias@ccs.neu.edu>
  
• Re: failures Martin Abadi <abadi@soe.ucsc.edu>
  
• Re: failures Olivier Ridoux <Olivier.Ridoux@irisa.fr>
  
• Re: failures Martin Odersky <martin.odersky@epfl.ch>
  
• Re: failures Xavier Leroy <xavier.leroy@inria.fr>
  
• Re: failures Philip Wadler <wadler@research.avayalabs.com>
  
• Re: failures Vijay Saraswat <vijay@saraswat.org>
  
• RE: failures Robert Harper <Robert.Harper@cs.cmu.edu>
  
• POPL 03 Second Call for Participation "David Walker" <dpw@CS.Princeton.EDU>
  
• Re: failures Uwe.Nestmann@EPFL.ch
  
• Doctoral studies at the University of Pennsylvania "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• Re: failures Dave Berry <daveb@tardis.ed.ac.uk>
  
• HOSC call for papers about Krivine's abstract machine Olivier Danvy <danvy@brics.dk>
  
• LICS 2003 2nd CFP and deadline alteration Alex Simpson <als+lics-junk@inf.ed.ac.uk>
  
• Re: failures matt hellige <matt@immute.net>
  
• RTA'03: call for papers Femke van Raamsdonk <femke@cs.vu.nl>
  
• PSSL 78 - Second announcement crans@math.u-strasbg.fr
  
• GPCE 03 Akos Ledeczi <akos.ledeczi@vanderbilt.edu>
  
• Workshop on "Formal Methods and Security", Nanjing "Pierre-Louis Curien" <curien@pps.jussieu.fr>
  
• WOOD2003: 2nd Call For Papers Michele Bugliesi <michele@dsi.unive.it>
  
• POPL 03: Updated Call for Participation "David Walker" <dpw@CS.Princeton.EDU>
  
• Foundations of Object-Oriented Languages (FOOL10): Call for Participation "ghelli" <ghelli@di.unipi.it>
  
• LaTeX resources Mitchell Wand <wand@ccs.neu.edu>
  
• Professorship opening Jean-Marie JACQUET <jmj@info.fundp.ac.be>
  
• The Fun of Programming Jeremy Gibbons <Jeremy.Gibbons@comlab.ox.ac.uk>
  
• Announce: Types for Global Computing Giuseppe Castagna <Giuseppe.Castagna@ens.fr>
  
• Open Position in Programming Languages at Lund University Thore Husfeldt <thore@cs.lth.se>
  
• William Cook update and papers William Cook <william@pacbell.net>
  
• CFP: 5th Int. Workshop on Implicit Computational Complexity Jim Royer <royer@ecs.syr.edu>
  
• [CSL03] Call For Papers: Computer Science Logic 2003 csl03 <csl03@logic.at>
  
• ETAPS03 - grants "Konferencja ETAPS'03" <etaps03@mimuw.edu.pl>
  
• Re: failures Matthias Felleisen <matthias@ccs.neu.edu>
  
• Re: failures Matt Hellige <matt@immute.net>
  
• Classifying the cardinalities of types "Tim Sweeney" <tim@epicgames.com>
  
• EMSOFT 2003 Call For Papers "Stephen A. Edwards" <sedwards@cs.columbia.edu>
  
• Re: Classifying the cardinalities of types "Tim Sweeney" <tim@epicgames.com>
  
• Call for Papers: 10th Static Analysis Symposium Radhia Cousot <radhia.cousot@polytechnique.fr>
  
• BRICS PhD grants and Marie Curie fellowships Uffe Henrik Engberg <engberg@brics.dk>
  
• Field's Institute Summer School in Logic & Theoretical CS (fwd) Phil Scott <phil@mathstat.uottawa.ca>
  
• CFP: FOAL 2003--Foundations Of Aspect-oriented Languages Curtis Clifton <cclifton@iastate.edu>
  
• PLI'03 Call for Workshop Proposals Peter Lee <Peter.Lee@cs.cmu.edu>
  
• Intuitionistic logic on real line Pawel Urzyczyn <urzy@mimuw.edu.pl>
  
• First APPSEM-II Workshop Graham Hutton <gmh@Cs.Nott.AC.UK>
  
• ETAPS 2003 - call for participation etaps03@mimuw.edu.pl (Konferencja ETAPS'03)
  
• ACM-IEEE MEMOCODE'2003 - Call for Papers Jean-Pierre Talpin <Jean-Pierre.Talpin@irisa.fr>
  
• PPDP 2003: call for papers Dale Miller <dale@lix.polytechnique.fr>
  
• FICS 03 Call for Papers Ésik Zoltán <ze@inf.u-szeged.hu>
  
• TYPES 2003 - Call for Participation stefano berardi <stefano@di.unito.it>
  
• SBLP2003 - call for papers Lucilia Camarao de Figueiredo <lucilia@dcc.ufmg.br>
  
• PEPM'03 - Call for Papers Michael Leuschel <mal@ecs.soton.ac.uk>
  
• ICALP WORKSHOP IN HONOR OF DE BRUIJN'S 85th ANNIVERSARY Fairouz Kamareddine <fairouz@macs.hw.ac.uk>
  
• FTP'2003 Preliminary Call for Papers Laurent Vigneron <Laurent.Vigneron@loria.fr>
  
• Job in Munich Germany Heath.Putnam.Extern@HVB.de
  
• Call for Post PhD Grant Applications Gradkolleg LI <gkli@mathematik.uni-muenchen.de>
  
• CFP: ICFP 2003 "Christian Schulte" <schulte@imit.kth.se>
  
• CFP: ECOOP 2003 Workshop on Formal Techniques for Java-like Programs =?iso-8859-1?Q?Peter_M=FCller?= <p.mueller@web.de>
  
• Summer schools in Types? Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>
  
• Fields Institute Summer School in Logic & Theoretical CS "P. Scott" <scpsg@matrix.cc.uottawa.ca>
  
• First APPSEM-II Workshop Graham Hutton <gmh@Cs.Nott.AC.UK>
  
• Re: Summer schools in Types? Achim Jung <A.Jung@cs.bham.ac.uk>
  
• Chair of Theoretical Computer Science Gordon Plotkin <gdp@inf.ed.ac.uk>
  
• Ph.D. scholarships at the IT University of Copenhagen Lars Birkedal <birkedal@itu.dk>
  
• Haskell Workshop 2003 Johan Jeuring <johanj@cs.uu.nl>
  
• Proof Theory List Alessio Guglielmi <Alessio.Guglielmi@Inf.TU-Dresden.DE>
  
• Summer school on the Foundation of Security Zena Matilde Ariola <ariola@cs.uoregon.edu>
  
• CFP: International Workshop on Aliasing, Confinement and Ownership in Object-oriented programming Dave Clarke <dave@cs.uu.nl>
  
• ICFP 2003 Call for Papers -- deadline extended shivers@ai.mit.edu
  
• Paper announcement: A Metalogical Approach to Foundational Certified Code Karl Crary <crary@cs.cmu.edu>
  
• WoLLIC'2003 Ruy de Queiroz <ruy@cin.ufpe.br>
  
• SBLP 2003 - extended deadline Lucilia Camarao de Figueiredo <lucilia@dcc.ufmg.br>
  
• CFP for RULE 2003 "RULE'03 workshop" <giavitto@lami.univ-evry.fr>
  
• Postdoc position at ENS Giuseppe Castagna <Giuseppe.Castagna@ens.fr>
  
• FMCS 2003: preliminary announcement (call for abstracts and participation) Robin Cockett <robin@cpsc.ucalgary.ca>
  
• new paper on type inference in light logic Patrick Baillot <pb@lipn.univ-paris13.fr>
  
• ICLP'03: Call for WORKSHOP proposals Jan-Georg Smaus <smaus@informatik.uni-freiburg.de>
  
• WAIT 2003: Call For Papers WAIT 2003 <wait2003@famaf.unc.edu.ar>
  
• 2 Research Fellow/Postdoc positions, Ottawa Peter Selinger <selinger@mathstat.uottawa.ca>
  
• Postdoctoral Research Scientist (Opening) Walid Taha <taha@cs.rice.edu>
  
• FCT 2003 / Deadline February 20/ ASCII Andrzej Lingas <andrzej@cs.lth.se>
  
• FCT'2003 - Deadline extended to February 27 Andrzej Lingas <andrzej@cs.lth.se>
  
• AMILP III Announcement Anton Nijholt <anijholt@CS.UTWENTE.NL>
  
• research vacancy at sussex Matthew Hennessy <matthewh@cogs.susx.ac.uk>
  
• WSSA 2003: Call for Participation Alberto Pardo - INCO <pardo@fing.edu.uy>
  
• teaching position at Imperial College, London Sophia Drossopoulou <sd@doc.ic.ac.uk>
  
• CP2003: CFP and doctoral programme Steve Prestwich <s.prestwich@cs.ucc.ie>
  
• LICS 2003 Call for Short Presentations Alex Simpson <als+lics-junk@inf.ed.ac.uk>
  
• International Masters Programme in COMPUTATIONAL LOGIC CL Advertisement <cladv@inf.tu-dresden.de>
  
• CfP: CMCIM'03 "A.Kurz" <kurz@mcs.le.ac.uk>
  
• CfP: Onward! at OOPSLA 2003 "William Cook" <william@pacbell.net>
  
• FMOODS'03 "J.Derrick" <J.Derrick@ukc.ac.uk>
  
• FMOODS'03 - CfP "J.Derrick" <J.Derrick@ukc.ac.uk>
  
• FCT'2003 - Deadline extended to March 3 Andrzej Lingas <andrzej@cs.lth.se>
  
• Lectureships at Leicester "Roy L. Crole" <rlc3@mcs.le.ac.uk>
  
• BCTCS 19 N Ghani <ng13@mcs.le.ac.uk>
  
• CP2003: call for workshops and tutorials Steve Prestwich <s.prestwich@cs.ucc.ie>
  
• Postdoc & PhD positions in Datatype-Generic programming Jeremy Gibbons <Jeremy.Gibbons@comlab.ox.ac.uk>
  
• Extended deadline of de Bruijn's 85th anniversary workshop Fairouz Kamareddine <fairouz@macs.hw.ac.uk>
  
• Second NJITES Cybersecurity Symposium, April 28, 2003 Dominic Duggan <dduggan@cs.stevens-tech.edu>
  
• Summer School on the Foundations of Security - Call for participation Zena Matilde Ariola <ariola@cs.uoregon.edu>
  
• MFPS Call for participation Prakash PANANGADEN <prakash@cs.mcgill.ca>
  
• Best GPCE'03 Papers Will Be Recommended for ACM TOPLAS or ACM TOSEM Akos Ledeczi <akos.ledeczi@vanderbilt.edu>
  
• 1st MM-NET Workshop on Analytical Techniques for Memory Management Richard Jones <R.E.Jones@ukc.ac.uk>
  
• Concur 2004 Philippa Gardner <pg@doc.ic.ac.uk>
  
• CONCUR 2003 - Call for papers - Marseille, France =?iso-8859-1?Q?R=E9mi?= Morin <Remi.Morin@cmi.univ-mrs.fr>
  
• ICTCS03 call for papers Blundo Carlo <carblu@dia.unisa.it>
  
• Technical Report: Session Types for Inter-Process Communication simon gay <simon@dcs.gla.ac.uk>
  
• CP'03 final CFP: new submission deadline Steve Prestwich <s.prestwich@cs.ucc.ie>
  
• Final CFP: 5th Workshop on Implicit Computational Complexity (ICC'03) Jim Royer <royer@ecs.syr.edu>
  
• NASSLLI 2003. Registration is open now. "NASSLLI'03 Bloomington, Indiana" <nasslli@indiana.edu>
  
• Course materials using "Types and Programming Languages" James Riely <jriely@cs.depaul.edu>
  
• Re: Course materials using "Types and Programming Languages" "Gary T. Leavens" <leavens@cs.iastate.edu>
  
• LPAR'03 - Call for Papers vardi@cs.rice.edu (Moshe Vardi)
  
• UNIF'03 second call for papers Workshop unif03 <unif03@Marrakech.iiia.csic.es>
  
• Foclasa: 1st Call for Papers Jean-Marie JACQUET <jmj@info.fundp.ac.be>
  
• types as set of values Giuseppe Castagna <Giuseppe.Castagna@ens.fr>
  
• FMCO 2003: Call for Participation frb <F.S.de.Boer@cwi.nl>
  
• Re: types as set of values Uwe.Nestmann@EPFL.ch
  
• RE: types as set of values Robert Harper <Robert.Harper@cs.cmu.edu>
  
• Re: types as set of values Ed Lowry <eslowry@alum.mit.edu>
  
• Re: Course materials using "Types and Programming Languages" Jason Hickey <jyh@cs.caltech.edu>
  
• CfP: ACM SIGPLAN MERLIN 2003 "MERLIN'03" <merlin03@dimi.uniud.it>
  
• symposium announcement Pierre-Louis Curien <Pierre-Louis.Curien@pps.jussieu.fr>
  
• CFP: DALT'03 - 1st Workshop on Declarative Agent Languages and Technologies "=?iso-8859-1?Q?Jo=E3o_Alexandre_Leite?=" <jleite@di.fct.unl.pt>
  
• UNIF'03 extended deadline Workshop unif03 <unif03@iiia.csic.es>
  
• Proof Theory, Computation and Complexity - Announcement "Proof Theory, Computation and Complexity" <PTEvent@janeway.inf.tu-dresden.de>
  
• a paper on *-autonomous categories and linear logic Hasegawa Masahito <hassei@kurims.kyoto-u.ac.jp>
  
• LICS 2003 - Call for Participation Alex Simpson <als+lics-junk@inf.ed.ac.uk>
  
• Kernel Mode Linux with libc support Eijiro Sumii <sumii@yl.is.s.u-tokyo.ac.jp>
  
• ICTCS03 - deadline extention Blundo Carlo <carblu@dia.unisa.it>
  
• Ottawa Summer School + Workshops: Call for Participation Peter Selinger <selinger@mathstat.uottawa.ca>
  
• ICLP 03 call for contributions Jan-Georg Smaus <smaus@informatik.uni-freiburg.de>
  
• Call for participation ICALP2003 icalp2003@TUE.nl
  
• Assistant (PhD) positions at ETH Zurich, concurrency / O-O / proofs Bertrand Meyer <Bertrand.Meyer@inf.ethz.ch>
  
• RDP'03 - Call for participation Salvador Lucas <slucas@dsic.upv.es>
  
• Deadline Extension: ECOOP 2003 Workshop on Formal Techniques for Java-like Programs =?iso-8859-1?Q?Peter_M=FCller?= <p.mueller@web.de>
  
• Extension to ECOOP 2003 workshop IWACO deadling Dave Clarke <dave@cs.uu.nl>
  
• FLOPS2004 First Call for Papers Yukiyoshi Kameyama <kam@is.tsukuba.ac.jp>
  
• A paper on an imperative core calculus for Java Gavin Bierman <Gavin.Bierman@cl.cam.ac.uk>
  
• TPLP Special Issue: Specification Analysis and Verification of Reactive Systems Giorgio Delzanno <giorgio@disi.unige.it>
  
• ECOOP 2003 Call for Participation "Klaus Ostermann" <publicity@ecoop.tu-darmstadt.de>
  
• Call for Papers -- ASIAN '03 (Mumbai, Dec 10-13, 2003) Vijay Saraswat <saraswat@cse.psu.edu>
  
• EEF Global Computing Summer School, Edinburgh, Scotland, July 2003 Stephen Gilmore <stg@inf.ed.ac.uk>
  
• ICLP 03: Final call for papers. Deadline May 19 Jan-Georg Smaus <smaus@informatik.uni-freiburg.de>
  
• book announcement: Terese Roel de Vrijer <rdv@cs.vu.nl>
  
• APLAS'03 : Asian Symposium on Programming Languages and Systems Atsushi Ohori <ohori@jaist.ac.jp>
  
• Proof Theory, Computation and Complexity Summer School and Workshop Alessio Guglielmi <Alessio.Guglielmi@Inf.TU-Dresden.DE>
  
• LICS 2003 - Call for Participation Amy Felty <afelty@site.uottawa.ca>
  
• BIOCONCUR'03 laneve@CS.UniBO.IT
  
• Research Job: Compositional Reasoning & Analysis for Software Systems @ Heriot-Watt U., Scotland, UK Joe Wells <jbw@macs.hw.ac.uk>
  
• CfP: 3rd Workshop on Domain-Specific Visual Languages Juha-Pekka Tolvanen <jpt@metacase.com>
  
• Paris Kanellakis Memorial Workshop Scott Smolka <sas@cs.sunysb.edu>
  
• Program for ICC'03 Jim Royer <royer@ecs.syr.edu>
  
• ETAPS 2004: FIRST CALL FOR SUBMISSIONS ETAPS 2004 <etaps04@lsi.upc.es>
  
• LATIN 04 CFP Martin Farach-Colton <martin@farach-colton.com>
  
• Paper: Subtyping Recursive Types modulo Associative Commutative Products Francois Pottier <francois.pottier@inria.fr>
  
• FAST CfP: Workshop on Formal Aspects in Security & Trust Fabio Martinelli <Fabio.Martinelli@iit.cnr.it>
  
• Express 2003 - Last Call for Papers <flavio@di.univaq.it>
  
• POPL 2004 Call for Papers "David Walker" <dpw@CS.Princeton.EDU>
  
• TYPES forum on vacation, May 27 to June 8 "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• Research assistent in proof theory and dependent type theory Anton Setzer <a.g.setzer@swansea.ac.uk>
  
• Call for Tutorials: Distributed Applications and Interoperable Systems (DAIS2003) dncr@ivs.tu-berlin.de (dncr)
  
• call-by-value with sums and products Philip Wadler <wadler@research.avayalabs.com>
  
• CFP: ACM SAC'04 Programming Languages Track Marjan Mernik <marjan.mernik@uni-mb.si>
  
• Paper announcement, semantics of classical proofs "David J. Pym" <d.j.pym@bath.ac.uk>
  
• Research assistant, Deadline June 13th, Swansea (Wales) Anton Setzer <a.g.setzer@swansea.ac.uk>
  
• Paper on a very simple cut elimination Kai =?iso-8859-1?Q?Br=FCnnler?= <kai.bruennler@gmx.net>
  
• PhD studentship Ranko Lazic <lazic@dcs.warwick.ac.uk>
  
• ICLP03: Call for Poster Submissions Jan-Georg Smaus <smaus@informatik.uni-freiburg.de>
  
• POPL 2004 Call for Papers "David Walker" <dpw@CS.Princeton.EDU>
  
• PhD position at INRIA Sophia Roberto Amadio <Roberto.Amadio@cmi.univ-mrs.fr>
  
• Post-doctoral Fellowships at Chalmers University Ana Bove <bove@cs.chalmers.se>
  
• "twisted" Galois connections? Philip Wadler <wadler@research.avayalabs.com>
  
• Re: "twisted" Galois connections? John Clements <clements@brinckerhoff.org>
  
• CFP: OOPS track at SAC 2004, Object Oriented Programming Languages and Systems Davide Ancona <davide@disi.unige.it>
  
• Re: "twisted" Galois connections? Sven-Olof Nystr|m <svenolof@user.it.uu.se>
  
• Post-doctoral positions in formal methods for security at INRIA Gilles Barthe <Gilles.Barthe@inria.fr>
  
• re Logic for Computer Science Jean Gallier <jean@saul.cis.upenn.edu>
  
• WLPE'03 - CALL FOR PAPERS Alexander Serebrenik <Alexander.Serebrenik@cs.kuleuven.ac.be>
  
• WRLA 2004 - Call for papers alberto@sip.ucm.es
  
• ICLP'03 call for posters. Deadline approaching Jan-Georg Smaus <smaus@informatik.uni-freiburg.de>
  
• POST-DOC Opportunity "Gilles Grimaud" <Gilles.Grimaud@lifl.fr>
  
• Open positions: Research (Bunched ML); Lectureships. David Pym <d.j.pym@bath.ac.uk>
  
• type inference visualization Hugo Simoes <hsimoes@dcc.online.pt>
  
• Suggestions for textbook? Mitchell Wand <wand@ccs.neu.edu>
  
• Re: Suggestions for textbook? =?ISO-8859-1?Q?G=E9rard_Huet?= <Gerard.Huet@inria.fr>
  
• New Article on Enforceable Security Policies "David Walker" <dpw@CS.Princeton.EDU>
  
• Open research position in types for security Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  
• call for papers for the post-proceedings of TYPES 2003 workshop Mario Coppo <coppo@di.unito.it>
  
• Call-by-value is Dual to Call-by-name Philip Wadler <wadler@research.avayalabs.com>
  
• Information flow analysis: Flow Caml Vincent Simonet <Vincent.Simonet@inria.fr>
  
• Fresh Objective Caml Mark Shinwell <Mark.Shinwell@cl.cam.ac.uk>
  
• Re: Call-by-value is Dual to Call-by-name Paul B Levy <P.B.Levy@cs.bham.ac.uk>
  
• CDuce public release Giuseppe Castagna <Giuseppe.Castagna@ens.fr>
  
• [Csl03] Call for Participation csl03 <csl03@logic.at>
  
• research position in Foundations of Distributed Systems Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
  
• Call for Papers: VMCAI'04, Venice, Italy Dave Schmidt <schmidt@cis.ksu.edu>
  
• Special Symp. on The Unusual Effectiveness of Logic in Computer Science vardi@cs.rice.edu (Moshe Vardi)
  
• CFP - LPAR'03 - September 22-26th, 2003, Almaty, Kazakhstan vardi@cs.rice.edu (Moshe Vardi)
  
• CFP FOOL 11, January 2004, Venice Italy Sophia Drossopoulou <scd@doc.ic.ac.uk>
  
• Formula Tree Lab: a tool for studying inhabitation of simple types Sabine Broda <sbb@ncc.up.pt>
  
• Apologies for bogus Types message "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• 3 positions for junior researchers/ postdocs in Computer Mathematics in Nijmegen "Herman Geuvers" <herman@cs.kun.nl>
  
• Cryptographic Protocol Logic (CPL) Simon Kramer <simon.kramer@epfl.ch>
  
• COORDINATION 2004 - First Call for papers Emilio Tuosto <etuosto@di.unipi.it>
  
• Thesis announcement: A Type System Equivalent to Model Checking Mayur Naik <mnaik@cs.purdue.edu>
  
• Call for Papers: Continuations Workshop (CW'04) Hayo Thielecke <H.Thielecke@cs.bham.ac.uk>
  
• Call for Papers: 13th Workshop on Logic Programming Environments Alexander Serebrenik <Alexander.Serebrenik@cs.kuleuven.ac.be>
  
• cfp ijcar 2004 - please post Maria Paola Bonacina <mariapaola.bonacina@univr.it>
  
• CFP: CLIMA IV - 4th Intl. Workshop on Computational Logic in Multi-Agent Systems "=?iso-8859-1?Q?Jo=E3o_Alexandre_Leite?=" <jleite@di.fct.unl.pt>
  
• SVV'03 Call for Papers Supratik Mukhopadhyay <supratik@saul.cis.upenn.edu>
  
• Region-Based Model Abstraction (paper announcement) "Jakob Rehof" <rehof@microsoft.com>
  
• ETAPS 2004: FIRST CALL FOR SUBMISSIONS ETAPS 2004 <etaps04@lsi.upc.es>
  
• CP 2003: call for participation and preliminary program Steve Prestwich <s.prestwich@cs.ucc.ie>
  
• Job Opening: Professor in the Foundations of Computer Science rinus plasmeijer <rinus@cs.kun.nl>
  
• Open faculty positions in Formal methods, Compilers and Software Engineering "S. Purushothaman Iyer" <purush@eos.ncsu.edu>
  
• Job openings in Amsterdam in Programming Languages and Software Engineering Ralf Laemmel <Ralf.Laemmel@cwi.nl>
  
• Re: Type theory vs floating-point arithmetic "Benjamin C. Pierce" <bcpierce@saul.cis.upenn.edu>
  
• CFP JLAP: Processes and Security" Roberto Amadio <Roberto.Amadio@cmi.univ-mrs.fr>
  
• Deadline Extension: VMCAI'04 Dave Schmidt <schmidt@cis.ksu.edu>
  
• Type theory vs floating-point arithmetic "Tim Sweeney" <tim@epicgames.com>
  
• Call For Papers - 13th Workshop on Logic Programming Environments Alexander Serebrenik <Alexander.Serebrenik@cs.kuleuven.ac.be>
  
• RE: Type theory vs floating-point arithmetic Joe Darcy <Joe.Darcy@Sun.COM>
  
• Re: Type theory vs floating-point arithmetic Peter Selinger <selinger@mathstat.uottawa.ca>
  
• Re: Type theory vs floating-point arithmetic Matthias Blume <blume@tti-c.org>
  
• Final Call for Papers: IFM 2004 Graeme Smith <smith@svrc.uq.edu.au>
  
• Re: Type theory vs floating-point arithmetic Achim Jung <A.Jung@cs.bham.ac.uk>
  
• Re: Type theory vs floating-point arithmetic Sergei SOLOVIEV <soloviev@irit.fr>
  
• Re: Type theory vs floating-point arithmetic Joe Darcy <Joe.Darcy@Sun.COM>
  
• Re: Type theory vs floating-point arithmetic Matthias Blume <blume@tti-c.org>
  
• Re: Type theory vs floating-point arithmetic Ross Casley <rcasley@cisco.com>
  
• Re: Type theory vs floating-point arithmetic Joe Darcy <Joe.Darcy@Sun.COM>
  
• Re: Type theory vs floating-point arithmetic Yong Luo <Yong.Luo@durham.ac.uk>
  
• PhD and postdoc position in Graphs for Object-Oriented Verification Arend Rensink <rensink@cs.utwente.nl>
  
• CFP PLAN-X 2004... "Michael I. Schwartzbach" <mis@daimi.au.dk>
  
• SVV'03 Call for Papers Abhik Roychoudhury <abhik@comp.nus.edu.sg>
  
• Graduate School of Language Technology Aarne Ranta <aarne@cs.chalmers.se>
  
• TYPES'03 post-conference proceedings: remainder and submission instructions Types 2003 proceedings <types03@di.unito.it>
  
• Postdoc Position on Global Computing Project Luis Caires <Luis.Caires@di.fct.unl.pt>
  
• Fundamenta Informaticae: Special Issue on Program Transformation Maurizio Proietti <proietti@iasi.rm.cnr.it>
  
• ANN: X-Klaim & Klava ver 2 Lorenzo Bettini <bettini@dsi.unifi.it>
  
• Book Announcement: "Logic for Concurrency and Synchronisation" Ruy de Queiroz <ruy@cin.ufpe.br>
  
• CMCS '04, FIRST ANNOUNCEMENT, CALL FOR PAPERS "Frank Rust" <frust@iti.cs.tu-bs.de>
  
• ESOP 2004, Barcelona: Call for Papers Dave Schmidt <schmidt@cis.ksu.edu>
  
• Special Issue on Types in Concurrency for ACTA INFORMATICA Davide Sangiorgi <Davide.Sangiorgi@cs.unibo.it>
  
• Implementation of 2nd-order lambda to combinator conversion? Jo Erskine Hannay <johannay@simula.no>
  
• Mathematical Knowledge Management Symposium Fairouz Kamareddine <fairouz@macs.hw.ac.uk>
  
• FOSSACS 2004, call for papers Igor Walukiewicz <igw@labri.fr>
  
• Results about F^omega with type fixed-points ?! Andreas Abel <abel@informatik.uni-muenchen.de>
  
• Positions at DoCoMo Labs USA (San Jose, California) "David Espinosa" <espinosa@docomolabs-usa.com>
  
• SPACE 2004 Richard Jones <R.E.Jones@kent.ac.uk>
  
• FOOL11 - deadline extended to 1/10/03 Sophia Drossopoulou <scd@doc.ic.ac.uk>
  
• Call for Papers: ICFP 2004 Kathleen Fisher <kfisher@research.att.com>
  
• FLOPS deadline extension Yukiyoshi Kameyama <kam@is.tsukuba.ac.jp>
  
• CHAIRS, READERS AND LECTURERS Susan Bates <susan.bates@durham.ac.uk>
  
• ACM PODS 2004, Call for Papers Frank Neven <frank.neven@luc.ac.be>
  
• TYPES'03 proceedings: extended deadline Mario Coppo <coppo@di.unito.it>
  
• CW'04 deadline extension Hayo Thielecke <H.Thielecke@cs.bham.ac.uk>
  
• Postdoc Position in Separation Logic "Peter O'Hearn" <ohearn@dcs.qmul.ac.uk>
  
• ECOOP 2004 call for contributions Martin Odersky <martin.odersky@epfl.ch>
  
• CONCUR 2004 -- Call for Workshop Proposals Vladimiro Sassone <vs@susx.ac.uk>
  
• type-based information flow analyis for pi kobayasi@kb.cs.titech.ac.jp
  
• Two papers on abstract logic programming Paola Bruscoli <Paola.Bruscoli@Inf.TU-Dresden.DE>
  
• FMCO 2003: CALL FOR PARTICIPATION etaps02 VERIMAG <etaps02.VERIMAG@imag.fr>
  
• CFP: LL3; Submission deadline Oct. 17 Jeremy Hylton <jeremy@alum.mit.edu>
  
• 5-year Lectureship, Queen mary, Univ of London "Peter O'Hearn" <ohearn@dcs.qmul.ac.uk>
  
• Call for Participation: The 13th workshop on logic programming environments Alexander Serebrenik <Alexander.Serebrenik@cs.kuleuven.ac.be>
  
• APLAS 2003 Call for Participation Atsushi Ohori <ohori@jaist.ac.jp>
  
• CFP for LDTA 2004 jas@di.uminho.pt
  
• Call for papers: HOSC Special Issue following MERLIN 2003 "MERLIN'03" <merlin03@dimi.uniud.it>
  
• Call for PhD and Post PhD Grant Applications Gradkolleg LI <gkli@mathematik.uni-muenchen.de>
  
• mechanical proof checkers for type soundness? Eric Allen <ericeallen@mac.com>
  
• ICLP'03: call for participation Jan-Georg Smaus <smaus@informatik.uni-freiburg.de>
  
• DAIS-FMOODS'03 - Paris 18-21 Nov - Call for Participation Kurt Geihs <geihs@ivs.tu-berlin.de>
  
• RE: mechanical proof checkers for type soundness? Eric Allen - Sun Microsystems - Burlington United States <Eric.Allen@Sun.COM>
  
• Paper on semantics of Java-like language nipkow@in.tum.de
  
• Concur 2004 Preliminary Announcement Iain Phillips <iccp@doc.ic.ac.uk>
  
• EXTENDED DEADLINE OF MKM SUBMISSIONS Fairouz Kamareddine <fairouz@macs.hw.ac.uk>
  
• Opening positions for young researchers in Trento Marco Bozzano <bozzano@irst.itc.it>
  
• RTA'04: call for papers Femke van Raamsdonk <femke@cs.vu.nl>
  
• 9th Estonian Winter School in Comp. Sci., 1st call for partic. Tarmo Uustalu <tarmo@cs.ioc.ee>
  
• AlphaProlog 0.3 releae announcement James Cheney <jcheney@cs.cornell.edu>
  
• Subject: CFP: Computer Aided Verification (CAV) 2004, Boston, MA Doron Peled TMP ACCT <doronp@dcs.warwick.ac.uk>
  
• query: models of CIC Milad Niqui <milad@cs.kun.nl>
  
• query: models of CIC Thorsten Altenkirch <txa@Cs.Nott.AC.UK>
  
• CFP: 10th Conference on Category Theory and Computer Science (CTCS 2004) and Summer School Thomas Hildebrandt <hilde@itu.dk>
  
• CFP: 10th Conference on Category Theory and Computer Science (CTCS 2004) and Summer School Thomas Hildebrandt <hilde@itu.dk>
  
• query: models of CIC Thorsten Altenkirch <txa@Cs.Nott.AC.UK>
  
• Re: query: models of CIC Milad Niqui <milad@cs.kun.nl>
  
• Call for papers: Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04) Sergio Antoy <antoy@redstar.cs.pdx.edu>
  
• Workshop on Lambda-Calculus, Type Theory and Natural Language Maribel Fernandez <maribel@dcs.kcl.ac.uk>
  
• addendum to models of CIC Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
  
• Re: query: models of CIC Thomas Streicher <streicher@mathematik.tu-darmstadt.de>
  
• Software Security Track at HASE'2004: CFP Supratik Mukhopadhyay <supratik@saul.cis.upenn.edu>
  
• AVIS'04 Call for Papers Supratik Mukhopadhyay <supratik@saul.cis.upenn.edu>
  
• addendum to models of CIC Thorsten Altenkirch <txa@Cs.Nott.AC.UK>
  
• United States Midwest Region: MSPLS Workshop on November 15 Matthias Blume <blume@tti-c.org>
  
• LICS 2004 - Call for Papers Alex Simpson <als+lics-junk@inf.ed.ac.uk>
  
• ICLP'04 (International Conference on Logic Programming) -- First Call For Papers Arnaud Gotlieb <" Arnaud.Gotlieb\""@irisa.fr (sanspub)>
  
• ICLP'04 -- Call For Workshops Proposals Arnaud Gotlieb <Arnaud.Gotlieb@irisa.fr>
  
• ICLP03: Call for participation Jan-Georg Smaus <smaus@informatik.uni-freiburg.de>
  
• WoLLIC'2004 - Call for Papers Ruy de Queiroz <ruy@cin.ufpe.br>
  
• DAIS-FMOODS 2003 - Paris 18-21 Nov - 2nd Call for Participation dncr@ivs.tu-berlin.de (dncr)
  
• Faculty positions at Indiana larry moss <lsm@cs.indiana.edu>
  
• NASSLLI04 Call for Proposals Marcus Kracht <kracht@humnet.ucla.edu>
  
• research position at the University of Innsbruck Aart Middeldorp <Aart.Middeldorp@uibk.ac.at>
  
• ASIAN'03 -- Call for Participation Kazunori UEDA <ueda@ueda.info.waseda.ac.jp>
  
• TPHOLs: Call for papers Konrad Slind <slind@cs.utah.edu>
  
• POPL 04 Call for Participation "David Walker" <dpw@CS.Princeton.EDU>
  
• ECOOP 04 Call for Contributions Martin Odersky <martin.odersky@epfl.ch>
  
• ECOOP 04 Call for Contributions Martin Odersky <martin.odersky@epfl.ch>
  
• Preliminary CFP: GPCE'04 -- Generative Programming and Component Engineering Eelco Visser <Eelco-Visser@xs4all.nl>
  
• Program announcement and call for participation Fairouz Kamareddine <fairouz@macs.hw.ac.uk>
  
• CfP: ESSLLI'04 Student session =?iso-8859-1?B?UGF1bCBFZ3Lp?= <paulegre@magic.fr>
  
• CFP: PASTE 2004 - Program Analysis for Software Tools and Engineering Andreas Zeller <zeller@cs.uni-sb.de>
  
• equational proof checker for lambda calculus? jhines@haverford.edu
  
• (no subject) Philip Wadler <wadler@inf.ed.ac.uk>
  
• WRLA 2004 - Last call for papers (EXTENDED DEADLINE) alberto@sip.ucm.es
  
• Re: Cut-Elimination in Linear Logic (was: (no subject)) Frank Pfenning <fp@cs.cmu.edu>
  
• equational proof checker for lambda calculus? Mitchell Wand <wand@ccs.neu.edu>
  
• equational proof checker for lambda calculus? Michael Norrish <Michael.Norrish@nicta.com.au>
  
• question from Phil Wadler re cut/linear logic Jeremy DAWSON <jeremy@discus.anu.edu.au>
  
• Re: equational proof checker for lambda calculus? =?ISO-8859-1?Q?G=E9rard_Huet?= <Gerard.Huet@inria.fr>
  
• graduate student positions, Ottawa Peter Selinger <selinger@mathstat.uottawa.ca>
  
• Re: Cut-Elimination in Linear Logic Philip Wadler <wadler@inf.ed.ac.uk>
  
• Re: equational proof checker for lambda calculus? Klaus Ebbe Grue <grue@diku.dk>
  
• Public release of the Triveni concurrent programming framework for Java Konstantin L=?ISO-8859-1?B?5A==?=ufer <laufer@acm.org>
  
• equational proof checker for lambda calculus? Thorsten Altenkirch <txa@Cs.Nott.AC.UK>
  
• New technical report Matthew Hennessy <matthewh@sussex.ac.uk>
  
• Re: Cut-Elimination in Linear Logic Philip Wadler <wadler@inf.ed.ac.uk>
  
• Re: Cut-Elimination in Linear Logic sanjiva@cse.iitd.ernet.in
  
• Re: Cut-Elimination in Linear Logic sanjiva@cse.iitd.ernet.in
  
• TCS 2004 Jean-Jacques Levy <Jean-Jacques.Levy@inria.fr>
  
• Re: Call for submissions - SASYFT2004 Siva Anantharaman <Siva.Anantharaman@lifo.univ-orleans.fr>
  
• thanks, and generating simply-typed terms jhines@haverford.edu
  
• interview with Robin Milner Martin Berger <martinb@dcs.qmul.ac.uk>
  
• PLAN-X 2004 Call for Participation "Michael I. Schwartzbach" <mis@brics.dk>
  
• Conference on TeX, XML and Digital Typopography Apostolos Syropoulos <apostolo@obelix.ee.duth.gr>
  
• CW'04 Call for Participation Hayo Thielecke <H.Thielecke@cs.bham.ac.uk>
  
• FOOL 2004 - Call for Participation Sophia Drossopoulou <scd@doc.ic.ac.uk>