Newsletter 22, January 10, 1995

  May 11-12 1995, CWI, Amsterdam
* Call for abstracts.  Also available at
* Topics.  Specification case studies.  Extensions of ASF+SDF: higher-order
  algebraic specifications, order sorted ASF+SDF, parameterization,
  literate specification.  Tool generation: interpreters, compilers,
  simulators, prettyprinters, graphical user interfaces, documentation
  tools, testset generators, parsers.  General techniques: origin tracking
  techniques, incremental techniques, compilation of term rewriting
  systems, tool connection tools and interface definition.  Teaching formal
  methods.  Other approaches to the use and development of algebraic
* Submissions.  Extended abstracts (up to 4 pages) of presentations or tool
  demonstrations before Feb 24 by email to organizing committee.
* Organization.   Mark van den Brand (Amsterdam), Arie van Deursen
  (Eindhoven) T.B. Dinesh (CWI), Jasper Kamperman (CWI).
* Further information: ASF+SDF'95, Arie van Deursen / Alda Bouten,
  Department of Computing Science, Formal Methods Group Eindhoven
  University of Technology, P.O. Box 513, NL-5600 BM Eindhoven The
  Netherlands.  Fax: +31 40 463992.  Email:

  May 29-31 [** new date **], 1995, La Bresse, France
* Topics.  well-quasi orders, Kruskal's theorem; recursive path order,
  lexicographic path order and multiset path order; length of derivation
  and orders; order hierarchies; ordinals and termination; proofs by
  interpretation; study of hard termination problems; design and
  implementation of new algorithms; integration in theorem provers and
  experiments; applications of termination.
* Submissions.  People who wish to present a communication are invited to
  submit a one page abstract by February 20th 1995, by e-mail to
* Program Committee.  Francoise Bellegarde, Adam Cichon, Isabelle Gnaedig,
  Pierre Lescanne, Ursula Martin.

  August 21-24, 1995, Philadelphia, Pennsylvania, USA
[Second call for papers.  The first call appears in Newsletter 19.]
* Submission Deadline.  March 1, 1995.
* Further Information.  Plain text, dvi, and postscript versions of the
  call for papers as well as the latest information on CONCUR '95 can be
  obtained electronically, either from here, by e-mail from, or by ftp from
  ( -- pub/concur95.

  August 19, 20 or 21, Montreal, Canada. 		
  Part of IJCAI-95 (IJCAI registration required for workshop attendance).
* Topics.  Theoretical issues in executable temporal logics, design of
  executable temporal logics, relationship between execution and temporal
  theorem-proving, operational models and implementation techniques,
  programming support and environments, comparative studies of languages,
  relationship of executable temporal logics to (temporal) databases,
  applications and case studies.
* Submissions.  Attendance will be limited to approximately 30 invited
  participants.  Those wishing to attend are encouraged to submit either
  (a) an extended abstract (of no more than 5000 words) describing relevant
  preliminary or completed work to be presented at the workshop, or, (b)
  single page descriptions of research interests and current work, to be
  used to demonstrate the ability of the non-presenting participants to
  contribute to the discussions.  Selected participants will be asked to
  provide complete papers to be distributed as preprints to the workshop
  participants.  Electronic submission is strongly encouraged (either as
  self-contained LaTeX, or postscript) and this, or five (5) copies of
  submitted papers should be sent, by March 1st 1995, to: Michael Fisher,
  Department of Computing, Manchester Metropolitan University, Chester
  Street, Manchester M1 5GD, United Kingdom.  Email:  Telephone: (+44) 61-247-1488.  Fax: (+44)
  61-247-1483.  The intention is to again publish polished versions of
  papers from the workshop proceedings.
* Further Information.  Click here for information on IJCAI.
* Programme Committee.  Michael Fisher (Organiser), Marianne Baudinet,
  Christoph Brzoska, Shinji Kono, Ben Moszkowski, Mehmet Orgun.

  January 11-13, 1996, Lisbon, Portugal.
* Topics.  Theoretical aspects of deontic logic and language: formal
  systems of deontic logic; formal systems of logic of action; other areas
  of logic, provided that their connections with deontic logic are made
  clear; the syntax and/or semantics of normative language and legal
  language; the syntax and/or semantics of imperatives; the syntax and/or
  semantics of the language of action.  Applications of deontic logic in
  computer science and in public or private administration: formal
  representation of legal knowledge and reasoning; formal analysis of
  database integrity constraints; formal specification of normative
  systems, comprising artificial and/or human components; aspects of
  security; formal specification of contracts; formal specification of
  systems for the management of the bureaucratic processes; formal
  representation of agency and of norm-governed interaction; formal
  representation of power, delegation, authorization and responsibility;
  deontic aspects in communication.
* Submissions.  Papers should be double-spaced and not exceed 20 pages, and
  should be sent to one of the two program co-chairs by May 15, 1995.
  Electronic submissions will not be accepted.  It is hoped that, as in the
  case of previous workshops, selected papers will also later be published
  in a major international journal or by a major international publisher.
* Program Committee Co-Chairs.  Jose Carmo, Dept. of Mathematics, Instituto
  Superior Tecnico, Av. Rovisco Pais, 1096 Lisboa Codex, Portugal.  E-mail:  Telephone: 351-1-8417141.  Fax: 351-91-230243.  Mark
  Brown, Dept. of Philosophy, Syracuse University, 541 Hall of Languages,
  Syracuse, NY 13244-1170, USA.  E-mail:
  Telephone: 315-443-2536.  Fax: 315-443-5675.
* Program Committee.  Frederic Cuppens, Jose Fiadeiro (organizing chair),
  Risto Hilpinen, John Horty, Tom Maibaum, John-Jules Meyer, Henry Prakken,
  Martin Sadler, Giovanni Sartor, Krister Segerberg, Kazimierz Swirydowicz,
  Richmond Thomason, Roel Wieringa.
* Invited Speakers.  Nuel Belnap, Brian Chellas, Andrew Jones, Marek

  Serge Abiteboul, Richard Hull, Victor Vianu
* Summary.  This database theory book provides a focused presentation of
  the core material on relational databases, and presents a number of
  advanced topics in a unified framework.  Some of the advanced material
  has never before been presented in book form.  The style is rigorous,
  with detailed proofs and many exercises.  The text and numerous examples
  highlight the intuition underlying the development.  As a textbook, the
  book is aimed at graduate students and seniors who would use it as the
  main text in a database theory course, or as complementary material in a
  database systems course.  It can also serve as a reference for database
  researchers and for other computer scientists interested in databases.
* To Order.  Call 1-800-447-2226 or 617-944-3700.  Please supply the
  complete ISBN No. 0-201-53771-0 when ordering.
* Further Information.  Table of contents available from