Newsletter 32

December 20, 1995

  Warsaw, Poland
* Final Report.  The final report is located on the "QED home page" (URL
  above) at Argonne National Laboratory.  The report is prepared in
  LaTeX and PostScript version (also gziped).  Besides the QED II final
  report, you can also find there the results of the QED Workshop I
  (1994), the archive of the qed mailing list, the QED Manifesto and
  related links.

  January 3-5, 1996, Marina Marriott, Fort Lauderdale, Florida
* Program Co-Chairs.  Henry Kautz and Bart Selman.
* Invited Talks, Tutorials.  DNA Computing, Richard Lipton.  A Unified
  Semantics for Probability and Logic, Glenn Shafer.  Constraint
  Programming, Jean-Louis Lassez.  Deduction with Constraints in
  Rewriting Logic, Kirchner.  Tutorial: Logical Analysis of Data, Peter
* Registration and Travel Information.  Frederick Hoffman, or hoffman@fauvax.bitnet.
* Direct Questions Concerning the Program (Only).  Henry Kautz,  Bart Selman,

  January 5-7, 1996, Villa Mirafiori, Via Nomentana, Rome
* Affiliated Meeting.  The workshop will take place in conjunction with
  the triennal Congress of SILFS (The Italian Society for Logic and
  Philosophy of Science) which will be held on January 3-6, 1996.
* Speakers. Robin Milner, Jean-Yves Girard, Rocco De Nicola, Paola
  Mello, Peter Wegner, Remo Pareschi, Pierre-Louis Curien, Gerard Berry.
* Further Information.  Carlo Cellucci, Department of Philosophy,
  University of Rome I, Villa Mirafiori, Via Nomentana 118, Rome 00161,
  Italy.  E-mail:  Fax: +39-6-85350763 or
  +39-6-49917222.  Office phone: +39-6-49917222.  Home phone:

  September 24-26, 1996, Aachen, Germany
* Topics. abstract interpretation, optimising compilers, complexity of
  static analyses, theoretical frameworks, experimental evaluation,
  verification systems, specific static analyses, type inference,
  partial evaluation, abstract domains, and related topics.
* Affiliated Conferences. SAS'96 will be held in Aachen in coordination
  with the Fifth International Conference on Algebraic and Logic
  Programming (ALP'96) and the Eighth International Symposium on
  Programming Languages, Implementations, Logics, and Programs
* Submissions. Deadline is 6 May. Submit 6 paper copies or Postscript
  file (preferred) to Dr. Radhia Cousot, LIX, 'Ecole Polytechnique,
  91128 Palaiseau cedex, FR; email:
  Submissions must be of length 15 pages or less; details are available
  at the above URL.
* Program co-chairs. Radhia Cousot, CNRS & 'Ecole Polytechnique, FR
  (email: and David Schmidt, Kansas State
  University, USA (email:
* Program committee.  Franncois Bourdoncle, Ecole des Mines de Paris,
  FR; Alain Deutsch, INRIA, Rocquencourt, FR; Roberto Giacobazzi, Pisa,
  IT; Nicolas Halbwachs, Verimag, Grenoble, FR; Chris Hankin, Imperial,
  UK; William L. Harrison, Connected Components, Cambridge, US; Neil
  Jones, Copenhagen, DK; Peter Lee, Carnegie Mellon, US; Kim Marriott,
  Monash, AU; Jens Palsberg, MIT/Aarhus University, US/DK; Hanne Riis
  Nielson, Aarhus, DK; Carolyn Talcott, Stanford, US; Mads Tofte,
  Copenhagen, DK; Reinhard Wilhelm, Saarbr"ucken, DE.
* Local organization.  Markus Mohnen, RWTH Aachen, Lehrstuhl f"ur
  Informatik II, D-52056 Aachen, DE (email:

  June 3-5, 1996, University of Colorado, Boulder
* Invited Speakers.  Peter Freyd, Mel Fitting, Matthew Hennessy, Gerard
  Huet, Andre Scedrov, Jeannette Wing.
* Submissions.  Slots for talks will be allotted on a first-come,
  first-served basis.  As with past MFPS Workshops, the Proceedings of
  the meeting will consist of journal-length papers submitted by
  participants after the meeting, and dealing with topics relevant to
  the MFPS theme.  These papers will be published as a special issue of
  Theoretical Computer Science.  If you are interested in attending the
  meeting and giving a talk, send email to
  including your name, the title of your talk and a short abstract.
* Funding. We anticipate funding from the Office of Naval Research.
  While the funding will be limited, we especially encourage women and
  minorities, as well as graduate students, to inquire about possible
  support to attend the meeting.
* Workshop Co-Chairs.  Michael Main and Michael Mislove.
* Further Information.  WWW page (URL above), or
  Schloss Dagstuhl, Germany, September 16-20, 1996
* Topics.  Static and dynamic integrity constraints; integrity
  constraints in case of incomplete or uncertain information; active
  mechanisms for integrity maintenance; complexity and optimization of
  constraint checking methods; transaction transformation; consistency
  maintenance in non-traditional databases; consistency maintenance in
  distributed and federated databases.
* Format. In order to stimulate extensive discussions, the time for the
  presentation of a long (short) paper is 60 (30) minutes followed by
  about 30 (15) minutes of discussion. Furthermore, another participant
  will be asked in advance to prepare a response to the work
  presented. In addition to the talks, there will be working groups
  which concentrate on actual research topics and try to develop a
  common understanding of the problems involved.
* Submissions.  Submit four copies of their contribution (extended
  abstract) to one of the program committee co-chairs by April 1,
  1996. Papers should not exceed 10 pages (single-spaced, 12pt, US
  letter or A4 paper) for long presentations and 5 pages for short
  presentations and for working group proposals.  Send papers to: Stefan
  Conrad, Integrity in Databases, Institut fuer technische
  Informationssysteme, Otto-von-Guericke Universitaet, Postfach 4120,
  39016 Magdeburg, Germany.  and working group proposals to:
  Klaus-Dieter Schewe, Integrity in Databases, Institut fuer Informatik,
  Technische Universitaet Clausthal, Erzstr. 1, 38678
  Clausthal-Zellerfeld, Germany.  Electronic submissions (PostScript,
  dvi) are accepted as well and have to be sent to or
* Program Committee.  J. v.d. Bussche, J. Chomicki, S. Conrad, T. Polle,
  T. Eiter, J. Fiadeiro, A. Heuer, U. Lipeck, G. Saake, K.-D. Schewe,
  M. Scholl, L. Tanca, R. Wieringa.

* Authors.  Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe
  Y. Vardi.
* Summary.  Reasoning About Knowledge is the first book to provide a
  general discussion of approaches to reasoning about knowledge and its
  applications to distributed systems, artificial intelligence, and game
  theory. It brings ten years of work by the authors into a cohesive
  framework for understanding and analyzing reasoning about knowledge
  that is intuitive, mathematically well founded, useful in practice,
  and widely applicable. The book is almost completely self-contained
  and should be accessible to readers in a variety of disciplines,
  including computer science, artificial intelligence, linguistics,
  philosophy, cognitive science, and game theory. Each chapter includes
  excercises and bibliographic notes.
* Publisher.  MIT Press.

Applications are invited for a tenure track position at the Assistant
Professor level, beginning in the fall semester of 1996, subject to
final budgetary approval.  Applications from exceptional candidates
for appointment at a higher rank will be considered, particularly from
women and minority candidates, but current authorization is only at
the Assistant Professor level.  Applications will be accepted until a
suitable candidate is found.  Applicants should have completed the
Ph.D. by commencement of employment and provide evidence of excellence
in both research and teaching.  Applications in all areas of pure and
applied mathematics and statistics are welcome.  Preference will be
given to candidates who show promise of strengthening existing
research groups within the department.  We are especially interested
in applications in the areas of statistics and applied probability.
Candidates are expected to be competitive for national grant support.
We encourage applications from candidates with postdoctoral experience
who have started successful funded research programs.
  Tulane University is an Affirmative Action/Equal Opportunity Employer
which is committed to increasing the diversity of its faculty.  We
especially encourage applications from women and minority candidates.
Applications should be sent c/o Search Committee, Mathematics
Department, Tulane University, New Orleans, LA 70118.  E-mail
applications are preferred at, and use of the AMS
cover sheet is encouraged.  The complete application should include a
vitae, statements on research and teaching plans, and three letters of
recommendation commentingon both research and teaching.