TYPES list archives

Last update: Tue Dec 02 05:01:28 103
1539 messages

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 Computation