MEETINGS --------------------1993-------------------- Formal methods in programming and their applications (SUBMIT DEC 15 1992 ivp@isi.itfs.nsk.su , db@id.dth.dk, broy@lan.informatik.tu-muenchen.dbp.de Jan 4-6, 1993: IEEE Symposium in Requirements Engineering (RE'93), San Diego, California. Details: acwf@doc.ic.ac.uk Jan 11-13, 93: POPL, Charleston, SC (SUBMIT July 27, 92) dmedley@uscn.uga.edu Feb 25-27, 93: STACS, W"urzburg, Germany, (SUBMIT AUG 15, 92), stacs@informatik.uni-wuerzburg.de Mar 15, 93: Dirk van Dalen Symposium, Utrecht, The Netherlands Contact: jfg@phil.ruu.nl, bezem@phil.ruu.nl Mar 16-18, 93: TLCA-93, Utrecht, The Netherlands (SUBMIT SEP 1 1992) Contact: jfg@phil.ruu.nl, franss@cwi.nl Apr 7-10, 93: Math. Found. Prog. Semantics, MFPS'93, New Orleans (SUBMIT NOV 15, 92), mfps@tulmath.math.tulane.edu Apr 13-17, 93: TAPSOFT, Orsay, FRANCE (SUBMIT OCT 15, 92) jouannand@lri.lri.fr Apr 19-23, 93: FME '93 "INDUSTRIAL STRENGTH FORMAL METHODS", Denmark, jimw@prg.ox.ac.uk (SUBMIT OCT 1 92) Apr 28 - 30, 93: Theorem Proving with Analytic Tableaux and Related Methods, Marseille, France, (SUBMIT NOV 30, 92), haehnle@ira.uka.de May 16-18, 93: STOC, San Diego, (SUBMIT NOV 19, 92), aggarwa@watson.ibm.com May 18-21, 93: Structure in Complexity Theory, San Diego, CA (SUBMIT NOV 10, 92), structures@top.cis.syr.edu, royer@top.cis.syr.edu May 20-22, 93: 4th Principles and Practice of Parallel Programming, San Diego (SUBMIT Oct 9, 1992) June 2-4, 93: Combinatorial Pattern Matching (CPM93), Padova, Italy, (SUBMIT NOV 16, 92) axa@cs.purdue.edu Jun 4-6, 93: FMCS, Portland, Oregon. Informal Northwest workshop on category theory and computer science. hook@cse.ogi.edu. June 7-9, 93: Israel Symposium on Theory of Computing and Systems (ISTCS), Natanya, Israel. oded@cs.technion.ac.il (submit Feb. 2, 93) Jun 9-11, 93: Conf. Func. Prog. Lang. & Comp. Arch., Copenhagen, Denmark, henglein@diku.dk (SUBMIT DEC 25, 92) June 13-14, 93: Unification Workshop, Boston University (snyder@cs.bu.edu) Jun 14-17, 93: Asian Logic Conf., Singapore (SUBMIT APR 30, 93) Jun 14-18, 93: PARLE'93, Munich (SUBMIT NOV 20, 92) parle@ecrc.de Jun 14-18, 93: Wksp on Linear Logic, MSI, Cornell, JJC@CORNELLC.cit.cornell.edu Jun 14-18, 93: ACM Symp. Partial Evaluation, PEPM 93, schmidt@cis.ksu.edu, Chalmers U., Gothenburg, Sweden (SUBMIT NOV 8, 92) Jun 16-18, 93: RTA'93, Montreal (SUBMIT Dec 10, 92) RTA93@concour.cs.concordia.ca, Claude.Kirchner@loria.fr June 20-23, 93: LICS, Montreal (SUBMIT DEC 8, 92) PRGM: vardi@almaden.ibm.com PBLCTY: lics@cs.indiana.edu Jun 23-25, 93: SIGPLAN'93 Conf. Prog. Lang. Design and Implement., Albuquerque, NM, cork@cs.rice.edu (SUBMIT NOV 11,92) Jun 22-25, 93: Structures Jun 22-25, 93: Lisp \& Func. Prog. Jun 22-25, 93: AMAST, Twente, Netherlands (SUBMIT DEC 15, 92) rus@cs.uiowa.edu Jun 28-Jul 1, 1993: CAV93 (Computer Aided Verification), (SUBMIT JAN 15 1993) Heraklion, Crete, GREECE, cav@csd.uch.gr courcou@csi.forth.gr Jul 5-9, 93: ICALP, Lund, Sweden (SUBMIT NOV 16, 1992), icalp93.dna.lth.se Jul 6-8, 92: International Symposium on Symbolic and Algebraic Computation, Kiev, Ukraine (SUBMIT DEC 15, 1992) Jul 12-16, 93: Colloq. Takeuti--Proof theory and Applications to CS, U. d'Aix--Marseille II, Luminy, France, clote@bcvms.bitnet Jul 13-20, 93: LPAR'93 -Conf. Logic Prog. and Automated Reasoning, St.Petersburg, (SUBMIT JAN 20, 93), lpar93@ecrc.de Jul 19-23, 93: Interactions between Category Theory and Computer Science, Universitat des Saarlandes, Saarbrucken, Germany. Aug 23-26,93: CONCUR-93, Hildesheim (Germany) (SUBMIT MAR 1, 1993) Contact E.Best@informatik.uni-hildesheim.de Aug 24-27, 93: Kurt Goedel Colloquium '93: Computational Logic and Proof Theory, (SUBMIT JAN 31, 93), Brno, Czech Republic, kgs@csdec2.tuwien.ac.at Aug 23-27, 93: Fundamentals of Computation Theory (FCT'93), Szeged, Hungary, (SUBMIT 5 Jan 1992) Aug 30-Sep 2, 93: CONCUR '93, Hildesheim (SUBMIT MAR 1 93), goltz@informatik.uni-hildesheim.de Aug 30-Sep 3, 93: MFCS, Gdansk SUBMIT (JAN 15, 93) SSokolow@plearn.bitnet Sep 7-10, 93: CTCS-5, Category Theory and Computer Science, CWI, Amsterdam, d.pitt@mcs.surrey.ac.uk (SUBMIT MAY 25, 93) Sep 15-17, 93: DESIGN and IMPLEMENTATION of SYMBOLIC COMP SYS, Gmunden, Austria (SUBMIT FEB 1, 93), miola@iasi.rm.cnr.it Oct 1-2, 93: Int'l Conf. Refereed Electronic Journals, U. Manitoba, umih@ccu.umanitoba.ca Oct 14-16, 93: North American Jumelage: Workshop on Logic, Theory of Programming at SRI, Menlo Park CA. (shankar@csl.sri.com) Oct 26-29, 93: Intern'l Logic Programming Symp (ILPS'93) Vancouver, Canada PC chair: dale@saul.cis.upenn.edu (submitted Oct 8 92) --------------------1994-------------------- Apr 7-9, 94: Intl. Conference on Compiler Construction, Edinburgh, Scotland (SUBMIT OCT 15), petfr@ida.liu.se Apr 11-13, 94: CAAP/ESOP, Edinburgh, Scotland (SUBMIT OCT 15), dts@dcs.ed.ac.uk Apr 18-21, 94: TACS in Sendai? June 6-10, 94: IFIP-WG PROCOMET San Miniato, Pisa, Italy, (SUBMIT DEC 1 93), procomet@di.unipi.it Jun 13-18, 94: ICLP, Santa Margherita Ligure, Italy, contact: martelli.disi.unige.it Jun 27-July 1, 94?: Cade in Nancy? July 4-7, 94: LICS, Paris Contacts huet@margaux.inria.fr jouannau@lri.lri.fr Jul 16-21, 94: LPAR'94, Crimea, Ukraine (SUBMIT: Jan 14, 1994) Contact: Frank Pfenning, lpar94@cs.cmu.edu