TYPES list archives

Last update: Fri Aug 14 17:11:30 98
455 messages

ILPS97: Call for Workshop PROPOSALS Ulf Nilsson <urn@ida.liu.se>
CADE-14 - Call for Workshops and Tutorials Geoff Sutcliffe <geoff@cs.jcu.edu.au>
BOOK ANNOUNCEMENT farnik@birkhauser.ch (Claudia Farnik)
dep. record types? "M. Bognar" <mirna@cs.vu.nl>
Workshop announcement "Matthew Hennessy" <matthewh@cogs.susx.ac.uk>
CFP: IJCAI'97 Workshop Programming in Temporal and Non Classical Logics, csp-list@cert.fr Christoph & <brzoska@ira.uka.de>
Paper Available GM Bierman <Gavin.Bierman@cl.cam.ac.uk>
Special issue on Proof Theory of concurrent object-oriented programming Didier Galmiche <Didier.Galmiche@loria.fr>
CFP - LMO97: Languages and Models with Objects Christophe DONY <dony@lirmm.fr>
MOL5---Deadline Extension: Feb. 28, 1997 Hans-Ulrich Krieger <Hans.Ulrich.Krieger@dfki.uni-sb.de>
Paper announcement Jan Rutten <Jan.Rutten@cwi.nl>
ASF+SDF'97 -- call for papers alex@fwi.uva.nl (alex M.P.A. Sellink)
4th WoLLIC'97 Ana Bove <bove@cs.chalmers.se>
Game Theoretic Analysis of Call-by-value Computation Kohei Honda <kohei@dcs.ed.ac.uk>
Games and Full Abstraction for FPC Guy McCusker <Guy.McCusker@comlab.ox.ac.uk>
CTCS'97 Eugenio Moggi <moggi@venus.disi.unige.it>
PhD-student positions Johan Jeuring <johanj@cs.chalmers.se>
CS position at the Ecole Polytechnique "Jean-Jacques Le'vy" <Jean-Jacques.Levy@inria.fr>
TLCA call for participation Philippe de Groote <Philippe.deGroote@loria.fr>
Marktoberdorf Summer School 97 steinbru@informatik.tu-muenchen.de (Ralf Steinbrueggen)
PhD Fellowships available Gert Smolka <smolka@ps.uni-sb.de>
FSTTCS 97 Call for Papers (ASCII) Madhavan Mukund <madhavan@ssf.ernet.in>
TapSoft'97 : 2nd Call For Paper Marc.Tommasi@lifl.fr
combinatory algebra for sequential computation Jaap van Oosten <jvoosten@math.ruu.nl>
CADE-14 Call for Attendance Geoff Sutcliffe <geoff@cs.jcu.edu.au>
(ERRATA)TapSoft'97:Call For Participation Marc.Tommasi@lifl.fr
CSL '97 second announcement and call for papers Uffe Henrik Engberg <engberg@brics.dk>
Special Issue of JFP on Theorem Proving Tom Melham <tfm@dcs.gla.ac.uk>
Express97 <joachim@sics.se>
CTCS'97 conference - change of deadline Eugenio Moggi <moggi@venus.disi.unige.it>
TYPES archives now available Benjamin Pierce <pierce@cs.indiana.edu>
Book on semantics of computation Andrew Pitts <Andrew.Pitts@cl.cam.ac.uk>
Searching for a scholarship <BELBLIDIA@IST.CERIST.DZ>
ClaPF '97: First Call for Papers Roman Garcia <roman@info.unlp.edu.ar>
Paper available on structural conformance in Java Konstantin Laufer <laufer@math.luc.edu>
Is the PER model fully abstract? Benjamin Pierce <pierce@cs.indiana.edu>
Re: Is the PER model fully abstract? Ralph Loader <loader@mc46.merton.ox.ac.uk>
Linear logic sequent prover & linear logic programming language Naoyuki Tamura <tamura@bach.seg.kobe-u.ac.jp>
Report on the DIMACS Workshop on Comp. Complexity & Prog. Languages Jim Royer <royer@top.cis.syr.edu>
Two papers on MELL shared reductions and sharing graphs Stefano Guerrini <stefanog@saul.cis.upenn.edu>
BRICS International PhD School: Call for Applications Uffe Henrik Engberg <engberg@brics.dk>
Announcing the Pict programming language, Version 4 Benjamin Pierce <pierce@cs.indiana.edu>
Emacs support for "typesetting" inference rules Benjamin Pierce <pierce@cs.indiana.edu>
Updating proof.sty (proof figure LaTeX macros) Makoto Tatsuta <tatsuta@kusm.kyoto-u.ac.jp>
Types in Compilation Workshop Advance Program Robert Muller <muller@cs.bc.edu>
User Interfaces for Theorem Provers'97 (2nd call for papers) Yves Bertot <Yves.Bertot@sophia.inria.fr>
Lectureships at Edinburgh CS Dept. Gordon Plotkin <gdp@dcs.ed.ac.uk>
CFP: School on Computational and Syntactic Methods august 97 Herman Geuvers <herman@win.tue.nl>
JFP Editorial Philip Wadler <wadler@research.bell-labs.com>
Position in Munich, Germany Thorsten Altenkirch <alti@informatik.uni-muenchen.de>
FLOPS'98 Call for Papers masahiko@kuis.kyoto-u.ac.jp (Masahiko Sato)
Re: CADE-14 ATP System Competition Geoff Sutcliffe <geoff@cs.jcu.edu.au>
Lectureship "Matthew Hennessy" <matthewh@cogs.susx.ac.uk>
Third Special Australasian Issue of Theoretical Computer Science James Harland <jah@cs.rmit.edu.au>
IFIP Working Conf. PROCOMET '98 "Ernst-Ruediger Olderog" <Ernst.Ruediger.Olderog@Informatik.Uni-Oldenburg.DE>
SAS'97 (Extended Deadline) Pascal Van Hentenryck <pvh@cs.brown.edu>
Preprint available. Marcelo Fiore <mf@dcs.ed.ac.uk>
Express97: 2nd CfP (text and LaTeX) catuscia@disi.unige.it (Catuscia Palamidessi)
what's everyone up to? "John C. Mitchell" <mitchell@cs.stanford.edu>
Re: what's everyone up to? Benjamin Pierce <pierce@cs.indiana.edu>
ICCL'98: Preliminary Call For Papers Christopher Colby <colby@math.luc.edu>
4th WoLLIC'97 - third call (updated) <ruy@di.ufpe.br>
Saul Gorn Memorial Lecture Series 1997 - Amir Pnueli - 4/30/97 Jennifer MacDougall <jmacdoug@central.cis.upenn.edu>
ICALP'97 - preliminary programme busi@CS.UniBO.IT (Nadia Busi)
ICALP'97 - information for participants busi@CS.UniBO.IT (Nadia Busi)
Summer School on Games and Computation Samson Abramsky <samson@dcs.ed.ac.uk>
Second call for papers, LACL Francois Lamarche <Francois.Lamarche@loria.fr>
Jnl of Logic and Computation: Spec. Iss. on Intelligent Agents Mike Wooldridge <mjw@zuno.com>
Special Issue on Proof Search in Type-theoretic Languages Didier Galmiche <Didier.Galmiche@loria.fr>
From Algol to Polymorphic Linear Lambda-calculus "Peter O'Hearn" <ohearn@dcs.qmw.ac.uk>
definitions in sequent calculus dale@saul.cis.upenn.edu (Dale Miller)
Call for contributions Pino Rosolini <rosolini@disi.unige.it>
New journal: Discrete Mathematics and Theoretical Computer Science Benjamin Pierce <pierce@cs.indiana.edu>
ECOOP '97 Call for Participation Markku Sakkinen <sakkinen@hepo.jyu.fi>
Mixed modal/linear lambda calculus with type inference and subtyping Martin Hofmann <mh@mathematik.th-darmstadt.de>
IC-EATCS Annual Advanced School catuscia@disi.unige.it (Catuscia Palamidessi)
Call for Papers for POPL 98 Dave MacQueen <dbm@research.bell-labs.com>
CADE-14 Early Registration Geoff Sutcliffe <geoff@cs.jcu.edu.au>
PhD studentship at Glasgow <fairouz@dcs.gla.ac.uk>
[Second CFP] ASIAN'97 - Asian Computing Science Conference Kazunori UEDA <ueda@ueda.info.waseda.ac.jp>
TACS'97 Program and Registration Information <ma@pa.dec.com>
CFP for GPPL'97 <hatclif@a.cs.okstate.edu>
LACL 97 : DEADLINE EXTENSION Francois Lamarche <Francois.Lamarche@loria.fr>
ACM SIGPLAN PLDI'97 Call for Participation Young-il Choo <yic@gfa-genesis.com>
Journal of Functional Programming Philip Wadler <wadler@research.bell-labs.com>
cfp: Mathematics of Program Construction '98 Johan Jeuring <johanj@cs.chalmers.se>
Lower bounds on optimal evaluation Harry Mairson <mairson@lapis.cs.brandeis.edu>
Postdoctoral Fellowship "Robert A. G. Seely" <rags@triples.math.mcgill.ca>
CADE-14 Student Travel Award - Call for Nominations Geoff Sutcliffe <geoff@cs.jcu.edu.au>
Girardian turnstile Frank Christoph <christo@nextsolution.co.jp>
ESSLLI-98 Second Call for Proposals ESSLLI-98 PC <esslli98@dcs.warwick.ac.uk>
ICFP'97 and PEPM'97 -- final reminder! Simon L Peyton Jones <simonpj@cse.ogi.edu>
Final CFP: Third Special Australasian Issue of Theoretical Computer Science James Harland <jah@cs.rmit.edu.au>
The AF2 proof assistant now available Christophe Raffalli <raffalli@logique.jussieu.fr>
Thesis on semantics for type theory geirwa@math.uio.no (Geir Waagboe)
ICALP'97 gorrieri@CS.UniBO.IT (Roberto Gorrieri)
Call for Papers for FOOL 5 Didier.Remy@inria.fr (Didier Remy)
Call For Partic: School on Computational and Syntactic Methods August 1997 Herman Geuvers <herman@win.tue.nl>
Scott is Phoa, locally Thomas Streicher <streicher@mathematik.th-darmstadt.de>
a workshop announcement <Sergei.Soloviev@durham.ac.uk>
PhD-Studentships in Theoretical Computer Science Eike Ritter <E.Ritter@cs.bham.ac.uk>
JFP Special Issue on Functional Programming and Computational Complexity bmkapron@csr.csc.UVic.CA (Bruce Kapron)
CFP: WORKSHOP ON PARALLELISM AND IMPLEMENTATION TECHNOLOGY FOR (CONSTRAINT) LOGIC PROGRAMMING LANGUAGES Ines de Castro Dutra <ines@cos.ufrj.br>
paper available Adriana Compagnoni <abc@dcs.ed.ac.uk>
ACM Worshop in Poland ACM Workshop in Jadwisin <school@tcs.uni.wroc.pl>
Dissertation on Translucent Sums Available mdl@pa.dec.com (Mark Lillibridge)
CTCS'97 - Call for Participation Eugenio Moggi <moggi@venus.disi.unige.it>
Opening for Research Assistant at Nottingham <mpj@Cs.Nott.AC.UK>
Workshop on Theories of Types and Proofs Masako Takahashi-Horai <masako@is.titech.ac.jp>
ICTL'97 Bill Mitchell <bill@cs.man.ac.uk>
FMOODS97 Final Call for Participation "G.P.A.Fernandes" <gpaf@ukc.ac.uk>
Workshop on coalgebraic methods in computer science Bart Jacobs <bart@sci.kun.nl>
Copenhagen Logic Summer School Klaus Grue <grue@diku.dk>
Professorship in Uppsala, Sweden Bengt Nordstr|m <bengt@cs.chalmers.se>
correction <Sergei.Soloviev@durham.ac.uk>
The join-calculus language, release 1.01 Luc Maranget <Luc.Maranget@inria.fr>
CSL'97: Programme and Call for Participation Uffe Henrik Engberg <engberg@brics.dk>
Announcement: paper on linear functors available "Robert A. G. Seely" <rags@triples.math.mcgill.ca>
Affine John DAggett <jd04661@tiptoe.fhda.edu>
affine "Vaughan R. Pratt" <pratt@CS.Stanford.EDU>
research position Abbas Edalat <ae@doc.ic.ac.uk>
on behavioural types for concurrent objects "Antonio.Ravara."<amar@math.ist.utl.pt>
Affine Peter Freyd <pjf@saul.cis.upenn.edu>
Lectureships at Durham <Zhaohui.Luo@durham.ac.uk>
Summer School on Regions Mads Tofte <tofte@diku.dk>
first call for papers and tutorials Tableaux'98 "H. de Swart" <H.C.M.deSwart@kub.nl>
Tech report available: "Proving JavaS Type Soundness" Donald Syme <Donald.Syme@cl.cam.ac.uk>
REMINDER: MATHFIT Summer School and Workshop <M.Z.Kwiatkowska@cs.bham.ac.uk>
research position at Cambridge Philippa Gardner <Philippa.Gardner@cl.cam.ac.uk>
AMAST '97 - Call for TOOL AND SYSTEM DEMONSTRATIONS Richard Buckland <richardb@cse.unsw.edu.au>
Implementation issues of compilers Soumaia Ahmed Al Ayyat <soumiat@acs.auc.eun.eg>
Re: Affine Vladimir Alexiev <vladimir@cs.ualberta.ca>
SAS'97 Call For Participation Pascal Van Hentenryck <pvh@cs.brown.edu>
CLaPF Deadline extension "Organization CLaPF '97" <lambda@sol.info.unlp.edu.ar>
Workshop on Theories of Types and Proofs Mariangiola Dezani-Ciancaglini <dezani@is.titech.ac.jp>
CADE trustee nominations Geoff Sutcliffe <geoff@cs.jcu.edu.au>
WoLLIC'97 - Call for Participation <ruy@di.ufpe.br>
Affine Jean-Yves GIRARD <girard@iml.univ-mrs.fr>
Re: Affine "Vaughan R. Pratt" <pratt@CS.Stanford.EDU>
Research positions in formal methods at Kestrel Institute careers@kestrel.edu
paper announcement <berline@logique.jussieu.fr>
Type soundness for denotational semantics of state Philip Wadler <wadler@research.bell-labs.com>
RE: Type soundness for denotational semantics of state Robert Harper <rwh@cs.cmu.edu>
PLAN 1.0 Release Carl Gunter <gunter@saul.cis.upenn.edu>
CFP: Workshop on Implementation of (Constraint) Logic Programming Enrico <epontell@cs.nmsu.edu>
Unification & Sharing aka Unify and Conquer Jon Mountjoy <jon@wins.uva.nl>
New Book: Proof Theory and Automated Deduction Ian Mackie <mackie@lix.polytechnique.fr>
Paper on a type system for security Jon Riecke <riecke@research.bell-labs.com>
Theory of Types and Proofs (TTP) --- Kyoto Meeting, sept. 19-20 Jacques GARRIGUE <garrigue@kurims.kyoto-u.ac.jp>
Re: Type soundness for denotational semantics of state Flemming Nielson <fn@daimi.aau.dk>
Workshop on Theories of Types and Proofs Mariangiola Dezani-Ciancaglini <dezani@is.titech.ac.jp>
CTCS'97 final CFP Eugenio Moggi <moggi@venus.disi.unige.it>
JOB OPENING: two post-doc positions rewriting and semantics KINOSHITA Yoshiki <yoshiki@etl.go.jp>
imprecise definitions, dubious results, and embarrassment Eugenio Moggi <moggi@venus.disi.unige.it>
TACS'97 Call for Participation Shinichi Kawamoto <kawamoto@ito.ecei.tohoku.ac.jp>
PROCOMET '98 Call for papers "Rance Cleaveland" <rance@eos.ncsu.edu>
No Subject Christopher Colby <colby@math.luc.edu>
No Subject Christopher Colby <colby@math.luc.edu>
Lectureships at the University of Kent, UK sjt <S.J.Thompson@ukc.ac.uk>
Java is not type-safe Vijay Saraswat <vj@research.att.com>
logical relations and soundness of type systems ? Hans Huttel <hans@cs.auc.dk>
Re: logical relations and soundness of type systems ? Andrew Kennedy <andrew@persimmon.co.uk>
TTP-Kyoto program Jacques GARRIGUE <garrigue@kurims.kyoto-u.ac.jp>
[Second CFP] FLOPS'98: Functional and Logic Programming kameyama@kuis.kyoto-u.ac.jp
Domain-Specific Languages Conference Chris Ramming <jcr@research.att.com>
workshop in Durham - last info and programme Sergei.Soloviev@durham.ac.uk
Paper: Global/local subtyping for a distributed pi-calculus Peter Sewell <Peter.Sewell@cl.cam.ac.uk>
REMINDER: IFIP Working Conference PROCOMET'98 "Rance Cleaveland" <rance@eos.ncsu.edu>
Call for paper - FOOL 5 Didier.Remy@inria.fr (Didier Remy)
Call for papers - ETAPS'98 dts@dcs.ed.ac.uk (Don Sannella)
Thesis: Syntax Definition for Language Prototyping Eelco Visser <visser@wins.uva.nl>
** Call for Papers ** A new e-journal * Lawrence C Paulson <Larry.Paulson@cl.cam.ac.uk>
Last Call for Papers: NWPT'97 Marko Kaaramees <marko@ioc.ee>
New graduate programme: Foundations of Complex Systems Martin Odersky <cismxo@cis.unisa.edu.au>
A formal spec of JVM instructions Zhenyu Qian <qian@Informatik.Uni-Bremen.DE>
JICSLP'98 -- First CFP Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
1,x,+-term equality Neil Ghani <N.Ghani@cs.bham.ac.uk>
ICCL'98 Call For Papers Christopher Colby <colby@math.luc.edu>
Workshop on Internet Programming Languages: Call For Papers Christopher Colby <colby@math.luc.edu>
ICALP '98: Call for Papers and Workshops Uffe Henrik Engberg <engberg@brics.dk>
CfP Concur98 Robert Desimone <Robert.De_Simone@sophia.inria.fr>
FSTTCS 17 Call for Participation (ASCII) Madhavan Mukund <madhavan@smi.ernet.in>
Research Post at QMW "Peter O'Hearn" <Peter.O'Hearn@dcs.qmw.ac.uk>
Announcing the Proof Assistant Yarrow janz@win.tue.nl (Jan Zwanenburg)
PhD Stipend Available in CS Clemens Cap <cap@informatik.uni-rostock.de>
CALLING ALL RESEARCH STUDENTS INTERESTED IN FUNCTIONAL PROGRAMMING jon@wins.uva.nl (Jon Mountjoy)
Position Available "ian a. mason" <iam@turing.une.edu.au>
call for papers: Types in Compilation '98 Xavier Leroy <Xavier.Leroy@inria.fr>
2nd cfp MPC'98: Mathematics of Program Construction 98 Johan Jeuring <johanj@cs.chalmers.se>
vacant position Teodor Knapik <Teodor.Knapik@univ-reunion.fr>
Research Position at Stanford "John C. Mitchell" <mitchell@cs.stanford.edu>
Research Positions at BRICS Research Centre and Int. PhD School Uffe Henrik Engberg <engberg@brics.dk>
second call for papers and tutorials Tableaux'98 "H. de Swart" <H.C.M.deSwart@kub.nl>
Re: about current state of the art of LL in AI... Vladimir Alexiev <vladimir@cs.ualberta.ca>
Re: about current state of the art of LL in AI... Patrick Lincoln <lincoln@Theory.Stanford.EDU>
Research Position in Computational Logic Available Thom Fruehwirth <fruehwir@informatik.uni-muenchen.de>
Paper announcement: types and concurrency Gerard Boudol <Gerard.Boudol@sophia.inria.fr>
Re: about current state of the art of LL in AI... Patrick Lincoln <lincoln@Theory.Stanford.EDU>
call for papers Nevin Heintze <nch@research.bell-labs.com>
Preliminary CFP: ICFP '98 Jon Mountjoy <jon@wins.uva.nl>
Post Doc Position in Computing at Chalmers University, Goteborg, Sweden Bengt Nordstr|m <bengt@cs.chalmers.se>
Call for Participation: ASIAN'97 Roland Yap Hock Chuan <ryap@iscs.nus.edu.sg>
Logic Colloquium '98 Call for papers "Logic Colloquium '98" <lc98@math.cas.cz>
[Job Announcement] Research Programmer Position at Rice University Shriram Krishnamurthi <shriram@cs.rice.edu>
WESTAPP'98: call for papers Roberto Di Cosmo <Roberto.Di.Cosmo@ens.fr>
New book announcement: Barwise and Seligman "Kirsten Watrud" <kwatrud@cup.org>
Two positions of Visiting Professors and/or Invited Professors "Jose Manuel E. Valenca" <jmv@di.uminho.pt>
Whither "intuitionistic"? christo@nextsolution.co.jp (Frank Christoph)
Re: Whither "intuitionistic"? "Jose Manuel E. Valenca" <jmv@di.uminho.pt>
Re: Whither "intuitionistic"? "Jonathan P. Seldin" <seldin@alcor.concordia.ca>
Re: Whither "intuitionistic"? scpsg@matrix.cc.uottawa.ca (P. Scott)
Re: Whence "intuitionistic"? Jamie Andrews <andrews@csd.uwo.ca>
Whither "intuitionistic"? Rainer Fischbach <rf@rainer-fischbach.com>
Formal Methods Day at Royal Holloway Simon Gay <simon@dcs.rhbnc.ac.uk>
Brower's contribution to Mathematics an Computer Science "Jose Manuel E. Valenca" <jmv@di.uminho.pt>
JICSLP'98 -- Second CFP Kung-Kiu Lau <kung-kiu@cs.man.ac.uk>
Whither "intuitionistic"? Jim Caldwell <caldwell@CS.Cornell.EDU>
work on Java bytecode verification ma@pa.dec.com
Vacancy at SICS Mads Dam <mfd@sics.se>
LL Workshop in Utrecht Workshop Problems Advances in the Semantics of Linear Logic <pasll@math.ruu.nl>
CfP: ESSLLI-98 Workshop on Logical Abstract Machines Eike Ritter <E.Ritter@cs.bham.ac.uk>
Workshop on-line proceedings Zhaohui Luo <Zhaohui.Luo@durham.ac.uk>
Paper on co-inductive Types Roberto Amadio <amadio@mimosa.astro.indiana.edu>
Workshop on-line proceedings -- correction Zhaohui Luo <Zhaohui.Luo@durham.ac.uk>
BRICS Int. PhD School: Call for Admission and Grant Applications Uffe Henrik Engberg <engberg@brics.dk>
Two papers on "local type inference" Benjamin Pierce <pierce@cs.indiana.edu>
Paper on bounded quantification with a Bottom type Benjamin Pierce <pierce@cs.indiana.edu>
LICS'98: 2nd Call for Papers (text & LaTeX) Leonid Libkin <libkin@research.bell-labs.com>
Need recommendation for "Logic for CS" text Josh Hodas <hodas@turing.cs.hmc.edu>
Three papers: correct URLs Benjamin Pierce <pierce@cs.indiana.edu>
the meaning of "type", "type system", "calculus" "Dr. Joe Wells" <jbw@dcs.gla.ac.uk>
Call for Participation: ASIAN'97 Roland Yap Hock Chuan <ryap@iscs.nus.edu.sg>
ITALLC98: Final Call for Papers... Patrick Blackburn <patrick@CoLi.Uni-SB.DE>
last cfp MPC'98: Mathematics of Program Construction Johan Jeuring <johanj@cs.chalmers.se>
PhD Studentship Barney Hilken <bhilken@cs.man.ac.uk>
cfp: Workshop on generic programming, WGP'98 Johan Jeuring <johanj@cs.chalmers.se>
POPL '98 Call for Participation Dave MacQueen <dbm@research.bell-labs.com>
Post-Doctoral Research Position at Glasgow fairouz@dcs.gla.ac.uk
Workshop on Explicit Substitutions: Final call for papers fairouz@dcs.gla.ac.uk
A formal spec of JVM instructions Zhenyu Qian <qian@Informatik.Uni-Bremen.DE>
announcement Bart Jacobs <bart@sci.kun.nl>
Announcement: PSSL'66 Neil Ghani <N.Ghani@cs.bham.ac.uk>
CONCUR'98: 2nd cfp Davide.Sangiorgi@sophia.inria.fr
Meeting on Linear Logic and Typed Lambda-Calculus Thomas EHRHARD <ehrhard@iml.univ-mrs.fr>
UITP 1998 1st CFP martijno@win.tue.nl (Martijn Oostdijk)
PhD position at INRIA-Rocquencourt Michel Mauny <Michel.Mauny@inria.fr>
junior visitor in Padua sambin@math.unipd.it (Giovanni Sambin)
CADE-15: Final Call for Workshops and Tutorials cade-15 <cade-15@intellektik.informatik.tu-darmstadt.de>
CADE-15: Final Call for Papers cade-15 <cade-15@intellektik.informatik.tu-darmstadt.de>
CfP: Workshop & Tutorial on Categorical Rewriting at RTA'98. "Christoph.Lueth" <cxl@Informatik.Uni-Bremen.DE>
ICALP '98: Call for Papers Uffe Henrik Engberg <engberg@brics.dk>
ICALP '98: Announcement of Sattellite Events Uffe Henrik Engberg <engberg@brics.dk>
RTA 98 - CALL for PARTICIPATION Tobias.Nipkow@informatik.tu-muenchen.de
Call for papers SAS'98 and PLILP/ALP'98 (LaTeX) Giorgio Levi <levi@di.unipi.it>
Call for papers SAS'98 and PLILP/ALP'98 (text) Giorgio Levi <levi@di.unipi.it>
FLOPS'98 Call for Participation kameyama@kuis.kyoto-u.ac.jp
2nd cfp: Workshop on Generic Programming 98 Johan Jeuring <johanj@cs.chalmers.se>
ICFP'98 Call for Papers Jon Mountjoy <jon@wins.uva.nl>
MFPS 14, First Announcement Conference for edmundr and ohearn <mfps98@dcs.qmw.ac.uk>
FMCS 98 Announcement & Registration Jeff Lewis <jlewis@cse.ogi.edu>
Paper on constraint-based polymorphic type system in Cecil Vassily Litvinov <vass@cs.washington.edu>
Research position at Sussex "Matthew Hennessy" <matthewh@cogs.susx.ac.uk>
Int. Workshop COCL'98 - first call for papers P M Hill <hill@scs.leeds.ac.uk>
Report available Alan Jeffrey <alanje@cogs.susx.ac.uk>
Master Class in Mathematical Logic Jaap van Oosten <jvoosten@math.ruu.nl>
First Announcement 4th Workshop on Domains <wd4@informatik.uni-siegen.de>
PhD Studentships rlc3@mcs.le.ac.uk
PSSL'66 Registration Neil Ghani <N.Ghani@cs.bham.ac.uk>
5th WoLLIC'98 - 2nd Call Ruy de Queiroz <ruy@di.ufpe.br>
CfP: ESSLLI-98 Workshop on Logical Abstract Machines Eike Ritter <E.Ritter@cs.bham.ac.uk>
CFP: WS Security and Mobility (MOS'98) Jan.Vitek@cui.unige.ch
Paper on the Java Virtual Machine is available Allen Goldberg <goldberg@kestrel.edu>
Announcing UMA Forum Pablo Lopez Olivas <lopez@lcc.uma.es>
Announcement of PhD Positions in Computing Science at Chalemrs Mary Sheeran <ms@cs.chalmers.se>
Generic Programming Workshop: Final Call rolandb@win.tue.nl (Roland Backhouse)
Implementations of type inference algorithms with constraints? Howard Huang <hhuang@cs.uiuc.edu>
CALL FOR WORKSHOPS: ICFP'98 jon@wins.uva.nl (Jon Mountjoy)
Research Associate Position on Java at Imperial College, LONDON Sophia Drossopoulou <sd@doc.ic.ac.uk>
New technical report: Type Destructors Benjamin Pierce <pierce@cs.indiana.edu>
On the meaning of logical rules II Jean-Yves GIRARD <girard@iml.univ-mrs.fr>
workshop Types in Compilation - call for participation Xavier Leroy <Xavier.Leroy@inria.fr>
Decidability of Higher-Order Subtyping via Logical Relations Adriana Compagnoni <abc@dcs.ed.ac.uk>
parametric polymorphism and operational equivalence Andrew Pitts <Andrew.Pitts@cl.cam.ac.uk>
paper on Java Binary Compatibility Sophia Drossopoulou <sd@doc.ic.ac.uk>
WESTAPP 98 -- International Workshop on Explicit Substitutions fairouz@dcs.gla.ac.uk
PhD Studentship at Edinburgh Alex Simpson <als@dcs.ed.ac.uk>
[CFP] High-Level Concurrent Languages - HLCL'98 Uwe Nestmann <uwe@cs.auc.dk>
Book Announcement Tobias.Nipkow@informatik.tu-muenchen.de
Lectureship at Glasgow Simon L Peyton Jones <simonpj@dcs.gla.ac.uk>
new paper: A Relevant Analysis of Natural Deduction Samin Ishtiaq <si@dcs.qmw.ac.uk>
CONCUR98: final CFP (EXTENDED deadline) Davide.Sangiorgi@sophia.inria.fr
Please advertise programme and reminder of early registration fairouz@dcs.gla.ac.uk
Master Class in Logic - Reminder Jaap van Oosten <jvoosten@math.ruu.nl>
Final CFP: LICS Workshop on Formal Methods and Security Protocols Nevin Heintze <nch@research.bell-labs.com>
Course on Program Analysis Flemming Nielson <fn@daimi.aau.dk>
PSSL'66 Neil Ghani <N.Ghani@cs.bham.ac.uk>
Postdoctoral Researcher and Ph.D. Scholarships Martin Odersky <cismxo@cis0.levels.unisa.edu.au>
SAS and PLILP/ALP 98, 2nd CFP Maurizio Gabbrielli <gabbri@DI.Unipi.IT>
Second Call For CP98 Post-Conference Workshop Proposals Stefano Bistarelli <bista@di.unipi.it>
5th WoLLIC'98 - 3rd Call Ruy de Queiroz <ruy@di.ufpe.br>
Call for participation: MPC'98 johanj@relay.cs.ruu.nl
ICCL'98 Call For Participation Christopher Colby <colby@math.luc.edu>
TR announcement: Resource Access Control in Systems of Mobile Agents James Riely <jamesri@cogs.susx.ac.uk>
ICALP '98: List of Accepted Papers Uffe Henrik Engberg <engberg@brics.dk>
CSL-98 Call For Papers Computer Science Logic <csl@dbai.tuwien.ac.at>
FSTTCS 98, 1st Call for Papers 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
Call for participation: Unif 98 Antonio Bucciarelli <buccia@dsi.uniroma1.it>
Postdoctoral Research Associate Frank Pfenning <fp@raw.fox.cs.cmu.edu>
RealComp'98 - First Announcement RealComp'98 - First Announcement Philipp Sunderhauf <ps15@doc.ic.ac.uk>
PhD studentship Zhaohui Luo <dcs0zl%ws-zl.dur.ac.uk@durham.ac.uk>
IPL Call For Participation Christopher Colby <colby@math.luc.edu>
Position of Invited Professor/Permanent Position in GLA/Univ. Minho, Portugal "Jose Manuel E. Valenca" <jmv@di.uminho.pt>
DIKU International Summer School '98 "Jesper Jrgensen" <jesper@dina.kvl.dk>
Re: news Ciaran.Bryce@cui.unige.ch (BRYCE Ciaran)
FMCS '98: Call for Participation Jeff Lewis <jlewis@cse.ogi.edu>
CFP - International Conference on Functional Programming Jon Mountjoy <jon@wins.uva.nl>
postdoc position at INRIA Sophia Antipolis - pls forward Isabelle Attali <Isabelle.Attali@sophia.inria.fr>
Domains and Lambda Calculi (book announcement) Roberto Amadio <amadio@gyptis.univ-mrs.fr>
AMAST'98 first CFP Marcelo Frias <mfrias@inf.puc-rio.br>
No Subject Didier Galmiche <Didier.Galmiche@loria.fr>
Deadline Extension to the ECOOP98 Workshop on Mobile Object Systems Leila Ismail <Leila.Ismail@inrialpes.fr>
Call for Posters: ICFP'98 Poster Session "Alex Garthwaite" <alex@dsl.cis.upenn.edu>
TLCA99 -- call for papers Jean-Yves GIRARD <girard@iml.univ-mrs.fr>
CFP for Workshop on Principles on Abstract Machines Stephan Diehl <diehl@cs.uni-sb.de>
WoLLIC'98 - Deadline Extension Ruy de Queiroz <ruy@di.ufpe.br>
Pict 4.1 release Benjamin Pierce <pierce@cs.indiana.edu>
CompulogNet Meeting on Computational Logic and Machine Learning John Lloyd <jwl@cs.bris.ac.uk>
LICS'98: ADVANCE PROGRAM AND CALL FOR PARTICIPATION lics-owner@research.bell-labs.com (Leonid Libkin)
Workshop on categories in computer science Bob Rosebrugh <rrosebru@mta.ca>
ECOOP'98 IN BRUSSELS, JULY 20-24, 1998 "ECOOP'98 Organization" <ecoop98.organization@cs.vub.ac.be>
ICCL Call For Participation (one week until hotel deadline) Christopher Colby <colby@math.luc.edu>
IPL Call For Participation (one week until hotel deadline) Christopher Colby <colby@math.luc.edu>
CADE-15 Workshop on Integrating Forward and Backward Chaining James Harland <jah@cs.rmit.edu.au>
SAS'98 extended deadline Giorgio Levi <levi@di.unipi.it>
New ICCL/IPL hotel reservation deadline this Saturday, 11 April Konstantin Laufer <laufer@math.luc.edu>
ESSLLI-99 Heinrich Wansing <wansing@rz.uni-leipzig.de>
Visiting Assistant Professor Position Dave Schmidt <schmidt@cis.ksu.edu>
[final CFP] High-Level Concurrent Languages - HLCL'98 Uwe Nestmann <uwe@cs.auc.dk>
PROCOMET '98 "Rance Cleaveland" <rance@eos.ncsu.edu>
paper on game semantics for untyped lambda-calculus Pietro Di Gianantonio <digianantonio@dimi.uniud.it>
PSSL 67 Jaap van Oosten <jvoosten@math.ruu.nl>
[CfC] Semantics of Objects as Processes - SOAP (satellite of ICALP'98) Uwe Nestmann <uwe@cs.auc.dk>
FSTTCS 98 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
Announcement for workshop "Proof Theory and Complexity" Ulrich Kohlenbach <kohlenb@daimi.aau.dk>
ICCL Call For Participation Christopher Colby <colby@math.luc.edu>
IPL Call For Participation Christopher Colby <colby@math.luc.edu>
CFP: ASIAN98 Atsushi Ohori <ohori@kurims.kyoto-u.ac.jp>
Paper: A Finite Axiomatization of Inductive-Recursive Definitions Peter Dybjer <peterd@cs.chalmers.se>
book announcement crabbe@risp.ucl.ac.be (Crabb'e Marcel)
Paper on cut and explicit substitutions Rene Vestergaard <jrvest@dcs.gla.ac.uk>
Paper announcement: Simple Efficient Object Encoding using Intersection Types Karl Crary <crary@CS.Cornell.EDU>
Final CFP: CALCULEMUS AND TYPES 98 Calculemus and Types 98 <calc@win.tue.nl>
Game semantics as continuation passing Paul Levy <pbl@dcs.qmw.ac.uk>
CFP: Workshop on Principles of Abstract Machines Stephan Diehl <diehl@cs.uni-sb.de>
MPC'98 johanj@relay.cs.ruu.nl
Research position in programming languages and logic Harry Mairson <mairson@lapis.cs.brandeis.edu>
LICS'98: ADVANCE PROGRAM AND CALL FOR PARTICIPATION lics-owner@research.bell-labs.com (Leonid Libkin)
CATS'99 + DMTCS'99 call for papers Paul Bonnington <p.bonnington@auckland.ac.nz>
Second Call for Papers 4th Workshop on Domains <wd4@informatik.uni-siegen.de>
Typing processes in process calculi? Karthik <bkarthik@gradient.cis.upenn.edu>
ML Workshop -- Call for Papers Gregory Morrisett <jgm@CS.Cornell.EDU>
FSTTCS 98, Deadline Extended, Final Call for Papers (ASCII) 18th FST Fsttcs98 TCS Conf 1998 at IMSc <fsttcs98@imsc.ernet.in>
A european research network Laurent REGNIER <regnier@iml.univ-mrs.fr>
PROCOMET'98 registration extended "Rance Cleaveland" <rance@eos.ncsu.edu>
Call for Posters: ICFP'98 Poster Session Alex Garthwaite <alex@dsl.cis.upenn.edu>
ICALP'98: Call for Participation Uffe Henrik Engberg <engberg@brics.dk>
POPL99 Call for Papers Alex Aiken <aiken@cs.berkeley.edu>
RealComp'98: CFP and preliminary programme Philipp Suenderhauf <suenderh@dag.uni-sb.de>
Reminders: FLoC'99 call for workshops and LICS'98 early registration Leonid Libkin <libkin@research.bell-labs.com>
Book Announcement Christian Prehofer <prehofer@informatik.tu-muenchen.de>
paper on language translations and security ma@pa.dec.com
FYI: typing processes. Karthik <bkarthik@gradient.cis.upenn.edu>
the FISh language Barry Jay <cbj@socs.uts.EDU.AU>
No Subject esik@inf.u-szeged.hu
CFP: Instructional Meeting on Semantics and Types for Concurrency Rajagopal Nagarajan <R.Nagarajan@doc.ic.ac.uk>
LICS'98 and workshops: early registration extended lics-owner@research.bell-labs.com (Leonid Libkin)
Call for Participation: Workshop on Formal Methods and Security Protocols Nevin Heintze <nch@research.bell-labs.com>
Partial Evaluation - Practice and Theory (2.CFP) Jens Peter Secher <jpsecher@diku.dk>
postdoc positions at Chalmers David Sands <dave@cs.chalmers.se>
ICALP'98: 2nd Call for Participation Uffe Henrik Engberg <engberg@brics.dk>
CADE-15 Tutorial: Gentzen-Type Methods in Modal Logics cade-15 <cade-15@intellektik.informatik.tu-darmstadt.de>
Semantics of Objects as Processes - SOAP (satellite of ICALP'98) Uwe Nestmann <uwe@cs.auc.dk>
FM'99: World Congress on Formal Methods Dines Bjorner <db@it.dtu.dk>
Calculemus and Types 98: Call for Participation and Program Calculemus and Types 98 <calc@win.tue.nl>
LICS'98 satellite workshop on games Vincent Danos <danos@logique.jussieu.fr>
new technical research report Matthew Hennessy <matthewh@cogs.susx.ac.uk>
2nd CFP: ASIAN98 Atsushi Ohori <ohori@kurims.kyoto-u.ac.jp>
TACAS '99 Call for papers "Rance Cleaveland" <rance@eos.ncsu.edu>
paper on Java binary compatibility Sophia Drossopoulou <scd@doc.ic.ac.uk>
CONCUR'98: PROGRAMME and CALL for PARTICIPATION Davide Sangiorgi <Davide.Sangiorgi@sophia.inria.fr>
Formal Underpinnings of Java Susan Eisenbach <se@doc.ic.ac.uk>
ESSLLI-99, Final Call for Proposals Heinrich Wansing <wansing@rz.uni-leipzig.de>
GJ - A Generic Java Extension Martin Odersky <cismxo@cis.unisa.edu.au>
fmoods '99 cfp Mario Bravetti <bravetti@cs.unibo.it>
No Subject Kaisa Sere IB <kaisa@ra.abo.fi>
PEPM'99 CFP Olivier Danvy <danvy@brics.dk>
WD4: Extended Deadline 4th Workshop on Domains <wd4@informatik.uni-siegen.de>
Course on Program Analysis: call-for-participation Hanne Riis Nielson <hrn@daimi.aau.dk>
FOOL 6, Call for Papers Luca Cardelli <luca@luca.demon.co.uk>
Call for Posters: ICFP'98 Poster Session Alex Garthwaite <alex@dsl.cis.upenn.edu>
Subject reduction fails in Java Benjamin Pierce <pierce@cs.indiana.edu>
Typing in Java chorn@lionet-technologies.com (Christian Horn)
Re: Subject reduction fails in Java Zhaohui Luo <Zhaohui.Luo@durham.ac.uk>
Re: Subject reduction fails in Java Philip Wadler <wadler@research.bell-labs.com>
Re: Subject reduction fails in Java kim@bull.cs.williams.edu (Kim Bruce)
Re: subject reduction fails in Java -- how it CAN be proven Sophia Drossopoulou <scd@doc.ic.ac.uk>
Subject reduction fails in Java - Part 2 Benjamin Pierce <pierce@cs.indiana.edu>
Re: Typing in Java Vijay Saraswat <vj@research.att.com>
Re: subject reduction fails in Java -- how it CAN be proven "Robert O'Callahan" <roc+@cs.cmu.edu>
Re: Subject reduction fails in Java Vijay Saraswat <vj@research.att.com>
Re: subject reduction fails in Java Matt Timmermans <matt@microstar.com>
Re: Subject reduction fails in Java - Part 2 kim@bull.cs.williams.edu (Kim Bruce)
Re: subject reduction fails in Java -- how it CAN be proven dekker@ACM.org (Anthony Dekker)
Re: Subject Reduction in Java -- without joins Sophia Drossopoulou <scd@doc.ic.ac.uk>
Re: Subject reduction fails in Java - Part 2 "Gary T. Leavens" <leavens@cs.iastate.edu>
Re: Subject reduction fails in Java -- coercions of Luo Gang CHEN <Chen.Gang@ens.fr>
Re: Subject Reduction in Java -- without joins Drew Dean <ddean@CS.Princeton.EDU>
Re: Subject reduction fails in Java Matthias Felleisen <matthias@cs.rice.edu>
Re: Subject reduction fails in Java Donald Syme <Donald.Syme@cl.cam.ac.uk>
Subtyping with if Gang CHEN <Chen.Gang@ens.fr>
CADE-15: Call for Attendance cade-15 <cade-15@intellektik.informatik.tu-darmstadt.de>
Re: Subject reduction fails in Java Matthias Felleisen <matthias@cs.rice.edu>
Re: Subject reduction fails in Java Carl Gunter <gunter@saul.cis.upenn.edu>
RE: Subject reduction fails in Java - Part 2 Robert Harper <rwh@cs.cmu.edu>
Re: Subject Reduction in Java -- without joins -- part 2 Sophia Drossopoulou <scd@doc.ic.ac.uk>
Structural subtyping "Robert O'Callahan" <roc+@cs.cmu.edu>
abstraction with subtyping & Overloading considered harmful kim@bull.cs.williams.edu (Kim Bruce)
Re: Type names vs type structure Andrew Kennedy <andrew@persimmon.co.uk>
[ANN] HLCL'98 - Accepted Papers Uwe Nestmann <uwe@cs.auc.dk>
Paper on beta-eta-complete model of system F Stefano Berardi <stefano@di.unito.it>
Re: Subject reduction fails in Java David von Oheimb <oheimb@informatik.tu-muenchen.de>
Overloading considered harmful - answers kim@bull.cs.williams.edu (Kim Bruce)
Re: Subtyping with if Gang CHEN <Chen.Gang@ens.fr>
WoLLIC'98 - Programme and CfP Ruy de Queiroz <ruy@di.ufpe.br>
RE: Type names vs type structure Robert Harper <rwh@cs.cmu.edu>
Re: Type names vs type structure Philip Wadler <wadler@research.bell-labs.com>
Re: Type names vs type structure "Mark A. Sheldon" <sheldon@budapest.lcs.mit.edu>
Variant typing and recursive types Jacques Garrigue <garrigue@kurims.kyoto-u.ac.jp>
Re: Type names vs type structure Tobias.Nipkow@informatik.tu-muenchen.de
Lectureship in Theoretical Computer Science Matthew Hennessy <matthewh@cogs.susx.ac.uk>
AFP 2nd Call lsb@di.uminho.pt (Luis Soares Barbosa)
Re: Type names vs type structure Martin Odersky <cismxo@cis.unisa.edu.au>
New book: Higher Order Operational Techniques in Semantics Andy Gordon <adg@microsoft.com>
A non-typable if-expression Gang CHEN <Chen.Gang@ens.fr>
Final CFP: CP98 workshop on set constraints and constraint-based program analysis Stefano Bistarelli <bista@di.unipi.it>
Re: forwarded message from Benjamin Pierce Guy Steele - Sun Microsystems Labs <gls@livia.East.Sun.COM>
BANE release Alex Aiken <aiken@cs.berkeley.edu>
Re: Type names vs type structure Didier Remy <remy@morgon.inria.fr>
Announcement Jan Rutten <Jan.Rutten@cwi.nl>
A PhD thesis on type inference with subtyping Francois Pottier <Francois.Pottier@inria.fr>
Kanellakis Award Moshe Vardi <vardi@cs.rice.edu>
SAS and PLILP/ALP 98 Call for Participation Maurizio Gabbrielli <gabbri@DI.Unipi.IT>
Re: Subject reduction fails in Java David von Oheimb <oheimb@informatik.tu-muenchen.de>
Java Workshop Susan Eisenbach <se@doc.ic.ac.uk>
ICFP'98 Functional Programming Contest jon@wins.uva.nl (Jon Mountjoy)