Newsletter 15, April 26, 1994


CORRECTION TO LICS'94 REGISTRATION 
The member rate also applies to members of the Association for Symbolic
Logic.

LICS'94 INFORMATION VIA FTP AND WWW
* World-wide web.  http://www.research.att.com/lics/.  
* Ftp.  Postscript, dvi, latex and plain text versions of the conference
  brochure are available via anonymous ftp from research.att.com in
  directory /dist/lics.

LOGICAL FOUNDATIONS OF OBJECT ORIENTED PROGRAMMING
  One day workshop in connection with ECOOP'94.
  July 4, 1994, Bologna,  Italy
* The aim of this workshop is to investigate the relation between logic,
  computing and object oriented programming.
* Topics.  Topics of interest include but are not limited to: logic based
  models for Object Oriented Programming; logic and change; use of logic in
  object-oriented domain modeling and analysis; declarative object-oriented
  real-time systems; abstraction, encapsulation, and information hiding in
  logic; knowledge-structuring mechanisms in logic (inheritance,
  overriding...); process-oriented mechanisms in logic (communication,
  synchronization...).  Last but not least, descriptions of applications
  developed on logic based object-oriented environments are welcome.
* Organizers: Jean-Marc Andreoli (Rank-Xerox, Grenoble, France) and Vijay
  Saraswat (Xerox, Palo-Alto, California).
* Submissions.  Position paper (e-mail if possible, latex prefered) by May
  13, 1994, to Jean-Marc Andreoli, Rank Xerox Research Center, 6 Chemin de
  Maupertuis, 38240 Meylan (France).  Tel: +33 76 61 50 80.  Switchboard:
  +33 76 61 50 50.  Fax: +33 76 61 50 99.  E-mail:
  Jean.Marc.Andreoli@xerox.fr.  Specify whether you wish to make a
  presentation (in that case, send a title and 2-3-line abstract).
* Registration.  Participation in the workshop is free, but each workshop
  participant must have registered for ECOOP.

WORKSHOP: HYBRID SYSTEMS AND AUTONOMOUS CONTROL
  October 28-30, 1994, Cornell University, Ithaca, New York, USA
* Hybrid systems are interacting networks of digital and continuous
  devices.  Typically they occur in digital control systems, in business,
  industry, and the military. In that context, the fundamental problems are
  extraction of digital control programs from systems equations and
  performance specifications, and formal verification and statistical
  testing that digital control programs enforce the system performance
  specification.
* Program Committee.  Anil Nerode, Cornell, Panos Antsaklis, Notre Dame,
  Amir Pnueli, Weisman Institute, Shankar Sastry, Harvard, UC Berkeley,
  Pravin Variya, UC Berkeley, Wolf Kohn, Intermetrics Corporation,
  J. James, Intermetrics Corporation.
* Workshop Format.  Lectures by program committee members, invited
  lectures, plenary lectures, and evening poster sessions.
* Submissions.  1500 word abstracts of papers proposed for presentation at
  this workshop are due May 16, 1994. Send the abstracts to the
  Mathematical Sciences Institute (address below), Attn: A. Nerode.
* Registration packets.  Valerie Kaine, Mathematical Sciences Institute,
  409 College Ave., Ithaca, NY 14850, Tel. 607-255-8005, e-mail:
  vdk1@cornell.edu.

ANNUAL CONF. OF THE EUROPEAN ASSOC. FOR COMPUTER SCIENCE LOGIC (CSL '94)
  Kazimierz, Poland, September 26-30, 1994.
Intended for computer scientists whose research activities involve logic,
as well as for logicians working in areas related to computer science.
* Submissions.  Six copies of an extended abstract in English (up to 5
  pages) to the program committee chairman, arriving not later than May 16,
  1994.  All contributions will be refereed for a Proceedings volume to be
  published by Springer-Verlag after the conference.
* Invited Speakers. M. Ajtai (IBM Almaden), K. Apt (Amsterdam), 
  M. Baaz (Vienna), H. Barendregt (Nijmegen), J.-P. Jouannaud (Orsay),
  V. Orevkov (St. Petersburg), P. Pudlak (Prague), A. Tarlecki (Warsaw)
* Program Committee.  E. Borger, M. Dezani, N. Jones, P. Kolaitis,
  J. Krajicek, J.-L. Krivine, L. Pacholski, A. Pitts, A. Razborov,
  J. Tiuryn.
* Program Chair.  Jerzy Tiuryn (CSL '94), Institute of Informatics, Warsaw
  University, ul. Banacha 2, 02-097 Warsaw, Poland.  E-mail:
  csl94@mimuw.edu.pl. Fax: +48 2 6583164.   
* Grants.  Sponsored by the Commission of the European Communities under
  the Euroconference programme and by the Office of Naval Research.  See
  next item.

GRANTS FOR CSL'94
For the cost of registration, travel and subsistence of young researchers
(postgraduate or postdoctorate level) attending the conference.
* Eligibility.  Must be a citizen of a European Community Member State, or
  a person residing and working in research for at least one year in such a
  country. If there are more applications than grants, preference will be
  given to authors of submitted papers.
* Applications.  Obtain an application form from the CSL'94 chair
  (csl94@mimuw.edu.pl) and return it by May 30, 1994 (mail or fax), to
  Jerzy Tiuryn (CSL'94), Institute of Informatics, Warsaw University,
  Banacha 2, 02-097 Warsaw, Poland.  fax: +48-2-658-31-64.
* Central/Eastern European researchers.  There are also special funds for
  for researchers from Central/Eastern European countries.  Contact
  csl94@mimuw.edu.pl for details.

INT'L WORKSHOP META PROGRAMMING IN LOGIC (META 94) and
WORKSHOP ON LOGIC PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 94)
  June 20-21, 1994, Pisa, Italy.
Call for participation.
* Correspondence.  meta94@di.unipi.it.

COLLOQUIUM: LOGICAL RATIONALITY AND GEOMETRIC INTUITION
  June 9-10, 1994, Paris, France
* Speakers. Rene Thom, Giuseppe Longo, Alain Berthoz, Frederic Nef, Jean
  Petitot, Bernard Teissier, Dana Scott, David Miller, Pierre Cartier,
  Marie-FranIoise Roy, Lamberto Maffei, Jacques Ninio, Daniel Andler.
* Organizers: Daniel Andler (CREA & Paris X - Nanterre), 
  Giuseppe Longo (CNRS, ENS) and Hourya Sinaceur (CNRS, IHPST)
* Information.  auffray@dmi.ens.fr.
* Location.  Ecole Normale Superieure, 45, rue d'Ulm, Salle Dussane, 75005
  Paris.

SUMMER SCHOOL ON PARTIAL EVALUATION
  5-9 July 1994, Carnegie Mellon University,
  by Charles Consel, Olivier Danvy, and Peter Lee
* The aim of the summer school is to introduce the principles,
  techniques, and applications of partial evaluation.  This presentation
  will be done in the context of Consel's partial evaluator for procedural
  languages, Schism.  Students will get hands-on experience with the
  course concepts by working directly with Schism, studying both its use
  and its internals.  Also, various applications of partial evaluation
  will be covered such as pattern matching and parameterized programming.
  The lecture notes will be based on Consel and published at The MIT Press.
* Course fee: $350.
* Information: consel@cse.ogi.edu, danvy@daimi.aau.dk

INT'L CONF. ON THE MATHEMATICS OF PROGRAM CONSTRUCTION
  July 17-21, 1995, Kloster Irsee, Germany 
* Topics.  The emphasis is on the combination of conciseness and precision
  in calculational techniques for program construction. Typical areas are:
  formal specification of sequential and concurrent programs; constructing
  implementations to meet specifications.  In particular, program
  transformation; program analysis; program verification; convincing case
  studies.  While this list is not exclusive it is intended to show the
  focus of the conference.
* Programme Committee.  R.-J. Back, R. Backhouse, G. Dromey, D. Gries,
  I. Hayes, R. Hehner, W. Hesselink, G. Huet, C. Jones, A. Kaldewaij,
  L. Meertens, B. M"oller (chair), O. de Moor, C. Morgan, H. Partsch,
  R. Paterson, C. Paulin-Mohring, P. Pepper, W. Reif, B. Sanders,
  F. Schneider, M. Sheeran, D. Smith, W. Turski.
* Submissions.  Due December 1, 1995.  The proceedings will be published in
  Springer LNCS.
* Correspondence.  Prof. Dr. B. M"oller (MPC '95), Institut f"ur
  Mathematik, Universit"at Augsburg, D-86135 Augsburg, Germany.  E-mail:
  moeller@uni-augsburg.de.  Fax: +49 821 598 2200.

LOGIC COLLOQUIUM 1995
  August 10-17, 1995, Israel (Haifa or Jerusalem)
* Topics.  The conference will focus mainly, but not exclusively, on Set
  Theory, Model Theory, Recursion Theory and Proof Theory, and their mutual
  interaction and on Logical Aspects of Computer Science and
  Linguistics. 
* Organising committee.  A. Avron, N. Francez, V. Harnik, D. Lascar,
  A. Levy, J.A. Makowsky (Chair), M. Rubin.
* Program committee.  J. Barwise, E. Bouscaren, E. Graedel, A. Hajnal,
  G. Jaeger, M. Magidor (Chairm), J.A. Makowsky, R. Shore, M.A. Taitslin,
  M. Ziegler.
* Submissions. Submit contributed abstracts not later than April 30, 1995.
* Correspondence.  logics95@cs.technion.ac.il.  Logic Colloquium 95, Yvonne
  Sagi, Department of Computer Science, Technion--Israel Institute of
  Technology, 32000 Haifa, Israel.

NEW BOOK:  A LOGICAL APPROACH TO DISCRETE MATH 
  by David Gries and Fred B. Schneider
* Abstract.  Logic is the glue that binds together arguments and proofs in
  all domains. This text aims to teach the use of this fundamental and
  pervasive tool and exercise it thoroughly in applications that arise in
  computer science and mathematics. It's a uniquely different approach.
    First, an equational propositional and predicate logic is given. The
  goals are to give a solid introduction to formal proofs (instead of
  informal ones), teach proof strategies and principles, and imbue a skill
  in formal manipulation.  Equational logic allows this to be accomplished
  without complexities of formalism overwhelming. In fact, formalism and
  rigor are shown to be an enlightening and simplifying force.
    Thereafter, conventional discrete-maths topics are discussed (set
  theory, induction, relations, functions, integers, combinatorics,
  recurrence relations, and graph theory) with the equational logic
  providing the underpinnings.  Our experience teaching from the text is
  that students end up with less fear of mathematics and notation, a better
  understanding of proof, and an appreciation for rigor and formalism.
* Publisher.  Springer Verlag, New York.
* Price. US $44.95 (cloth) (497 pages) ISBN: 0-387-94115-0
* Springer contact.  gilchris@sccm.stanford.edu.
* Author contact.  gries@cs.cornell.edu
* A 311-page Instructor's Manual is available from the authors.