Newsletter 36

July 25, 1996

  Sept 3-6, 1996, Asilomar Conference Center, Pacific Grove, California
* Purpose.  Rewriting Logic is a natural semantic framework for concurrency
  and parallel programming, and for the specification of systems and
  languages.  It also has good properties as a logical framework for
  representing logics.  A growing number of research efforts exploring the
  application of rewriting logic in these directions are being carried out
  worldwide, and several languages based on rewriting logic are being
  designed and implemented.  This workshop seeks to bring together these
  researchers so that they can present and discuss their work in a relaxed,
  casual atmosphere and the rustic beauty of the Monterey Peninsula.
* Program.  The workshop's program will include three invited talks and
  seventeen accepted papers as listed below.  It will also include several
  panel discussions on different aspects and application areas of rewriting
* Participation.  To facilitate a true workshop environment, we plan to
  restrict the number of participants to about forty; early registration is

  September 18-20, 1996, Karlsruhe, Germany 
* Topics.  DISCO '96 is the fourth edition of an international Symposium
  aiming at presenting and discussing new trends in the development of
  symbolic computation systems.  The Symposium focuses on innovative
  methodological and technological aspects of computing and reasoning in
  symbolic computation.
* Demo Request.  DISCO `96 offers commercial and academic participants an
  opportunity to demonstrate their systems and / or applications.  Please
  announce your intention to demo to the local organizer by August 1, 1996,
  and specify precisely what type of hardware and software you need.  We
  strongly encourage authors of papers that describe systems or application
  to accompany their presentation with a demo.
* Program/Registration Information.  Web page, or Karsten Homann,

  May 13-16, 1997, Abbaye des Premontres, Pont-a-Mousson, France
* Topics. analytic tableaux in various logics (theory and
  applications), specific related techniques and concepts, related
  methods (model elimination, sequent calculi,...), new calculi and
  methods for theorem proving in classical and non-classical logics, 
  systems, tools and applications.
* Program Chair.  Didier Galmiche
* Program Committee.  C. Cellucci, M. D'Agostino, R. Dyckhoff, M.
  Fitting, U. Furbach, R. Gore, J. Goubault-Larrecq, R. Haehnle, A.
  Leitsch, R. Letz, U. Moscato, N. Murray, H. Ono, J. Posegga, P.
  Schmitt, C. Schwind, H. de Swart, L. Wallen, G. Wrightson
* Invited Speakers. R. Hasegawa, G. Mints
* Submissions.   Send in postscript format to or by the November 22 1996.
* Tutorials.  proposals for high-quality tutorials are solicited in all
  areas of analytic tableaux and related methods from academic research
  to applications. Deadline November 1.
* Email. 

  September 24-26, 1997, Tohoku University, Sendai, Japan
* Topics.  Theoretical aspects of the design, semantics, analysis, and
  implementation of programming languages and systems; calculi and
  models of concurrency and parallel computation; categories and types
  in computer science; formalisms, methods, and systems for program
  specification, verification, synthesis, and optimization;
  constructive, linear, and modal logics in computer science; logics of
* Invited Speakers.  Robert Harper, Jean-Jacques Levy, Robin Milner,
  Atsushi Ohori, Carolyn Talcott.
* Program Committee: Martin Abadi, Mariangiola Dezani, Masami Hagiya,
  Susumu Hayashi, Thomas A. Henzinger, Takayasu Ito, Neil Jones, Naoki
  Kobayashi, Jean-Jacques Levy, Peter O'Hearn, Atsushi Ohori, Luke Ong,
  Frank Pfenning, Benjamin Pierce, Natarajan Shankar, Val Tannen, Frits
* Program Chairs.  Martin Abadi, Systems Research Center, Digital
  Equipment Corporation, Palo Alto, CA 94301, USA; email:
  Takayasu Ito, Dept. of Computer and Mathematical Sciences, Graduate
  School of Information Sciences, Tohoku University [Aobayama Campus],
  Sendai, 980, Japan; email:
* Submissions.  By email to
  The length limit is 6000 words.  Deadline: January 10, 1997.
* Inquiries.

  June 2-4, 1997, Sitges, Barcelona, Spain.
* Topics.  Term rewriting systems.  Symbolic and algebraic computation.
  Constrained rewriting and deduction.  Equational programming
  languages.  String and graph rewriting.  Completion techniques.
  Rewrite-based theorem proving.  Unification and matching algorithms.
  Conditional and typed rewriting.  Constraint solving.  Higher-order
  rewriting.  Lambda calculi.  Parallel/distributed rewriting and
* Submissions.  In addition to full research papers, descriptions of new
  working systems (4 proceedings pages) and problem sets that provide
  realistic, interesting challenges in the field of rewriting techniques
  are also welcome.  Submissions must reach the program chair, at the
  address below, no later than November 6, 1996.
* Program Chair.  Hubert Comon, RTA-97, LRI and CNRS, B\^at. 490,
  Universit\'e Paris-Sud, 91405 Orsay cedex, France.  Telephone: +33 01
  69 41 66 35.  Fax: +33 01 69 41 65 86.  Email:
* Program Committee: F. Baader, H. Comon, M. Fernandez, H. Ganzinger,
  M. Jantzen, H. Kirchner, A. Middeldorp, P. Narendran, R. Nieuwenhuis,
  T. Nipkow, V. Tannen, S. Tison.

  March 30 - April 3, 1998, Lisbon, Portugal
* What is ETAPS?  Starting in 1998, a new annual meeting covering a wide
  range of topics in Software Science will take place in Europe each
  spring in the slot currently occupied by CAAP/ESOP/CC and TAPSOFT. The
  European Joint Conferences on Theory and Practice of Software (ETAPS)
  will be a loose and open confederation of existing and new conferences
  and other events. The overall aim is to create a popular annual
  meeting that will act as a strong magnet for academic and industrial
  researchers working on topics relating to Software Science.
* Topics.  The events that comprise ETAPS will address various aspects
  of the system development process, including specification, design,
  implementation, analysis and improvement. The languages, methodologies
  and tools which support these activities are all well within its
  scope. Different blends of theory and practice will be represented,
  with an inclination towards theory with a practical motivation on one
  hand and soundly-based practice on the other. Many of the issues
  involved in software design apply to systems in general (including
  hardware systems), and the emphasis on software is not intended to be
* Satellite Events.  People interested in organising satellite events
  should contact: Jose Fiadeiro Department of Informatics, Faculty of
  Sciences, University of Lisbon Campo Grande, 1700 Lisboa, Portugal
  phone: 351-1-7500123; fax: 351-1-7500084; e-mail: fiadeiro@di.fc.ul.
* Participating Conferences.
  **1.   Foundations of Software Science and Computation Structures
  (FoSSaCS) The scope of FoSSaCS is syntactic, algebraic, logical and
  semantic methods for describing, analysing, transforming and verifying
  programs and systems. The focus is on foundational aspects of such
  methods rather than on their applications. Topics include:
  computational and syntactic foundations of software science;
  transition systems and models of concurrency; data structures and
  types; domain theory and denotational (fixed-point) semantics.
  Programme Committee Chair: Maurice Nivat (Paris).
  **2.   Fundamental Approaches to Software Engineering (FASE).
  To enhance software quality, the software production process requires
  systematic methods,firmly grounded on scientifically justified
  techniques. Fundamental approaches are sought, possibly integrating so
  called formal and informal aspects, providing the bridge between
  theory and practice and aimed at producing engineering methods and
  tools for the various phases of software development. FASE is intended
  to provide a forum where different fundamental approaches to problems
  of software specification, development, validation and verification
  are presented, compared and discussed. Topics include: methods for the
  production of provably correct software and its verification;
  integration of informal and formal methods; formal approaches for
  real-time, concurrent, distributed and object-oriented systems;
  scientific sound approaches to testing and measurement; tools and
  environments supporting formal approaches; fundamental aspects of the
  specification, design and verification of hardware components and
  hybrid systems; reports on the engineering or scientific lessons
  gained from industrial experiences in the use of formal and semiformal
  Programme Committee Chair: Egidio Astesiano (Genova).
  **3.   European Symposium On Programming (ESOP).
  ESOP is devoted to fundamental issues in the specification, analysis
  and implementation of programming languages and systems. It
  particularly welcomes research that bridges the gap between theory and
  practice: for example, practical studies based on theoretical
  developments and theoretical developments with a clearly identified
  potential for practical application. Topics include: programming
  paradigms and their integration, including functional, logic,
  concurrent and object-oriented; semantics facilitating the formal
  development and implementation of programming languages and systems;
  advanced type systems; program analysis; program transformation.
  Programme Committee Chair: Chris Hankin (London)
  **4.   International Conference on Compiler Construction (CC)
  CC is a forum for presentation and discussion of recent developments
  in compiler construction, language implementation and language
  design. Its scope ranges from compilation methods and tools to
  implementation techniques for specific requirements of languages and
  target architectures, and includes language design and programming
  environment issues related to language translation. Topics include:
  tools for any phase of compilation; methods for code generation and
  optimisation; compilation for parallel architectures; translation of
  computer languages (imperative, functional, logic, object-oriented,
  parallel, etc.); translation of application and specification
  languages; other tools closely related to compiler construction -
  e.g. debuggers, data flow analysers, etc.
  Programme Committee Chair: Kai Koskimies (Tampere).
  **5.   Tools and Algorithms for the Construction and Analysis of
  Systems (TACAS).  Many similar tools and algorithms have been
  independently developed in vario= us areas of computer science like
  automata and language theory, verification and synthesis of hardware
  and software systems, type and proof theory, and logic.  TACAS is a
  forum for discussion of the principles and application-independent
  features of such algorithms and their implementation, with the aim to
  increase the reliability, flexibility and efficiency of current tools
  by highlighting common problems, heuristics, data structures, and
  solutions.  TACAS overlaps with the other events of ETAPS, and is
  intended to attract contributions that stimulate discussions between
  the various communities.
  Programme Committee Chair: Bernhard Steffen (Passau)

  August 28-30, 1996 Stockholm, Sweden
[CFP: Newsletter 33.]
* Program/Registration Information.  See the web page.
* Registration Deadline.  After August 15 we can no longer guarantee a
  place at the workshops.
* Programme Chair.  John Gallagher, University of Bristol, UK; phone:
  +44 (0)117 9287959; fax: +44 (0)117 9288128; E-mail:

In der Mathematisch-Naturwissenschaftlichen Fakultät ist zum 1. April
1998 eine Universitätsprofessur (C4 BBesG) für Informatik (Nachfolge
W. Oberschelp) zu besetzen. Zu den Aufgaben gehört die Ausbildung in
Grund- und Hauptstudium des Studiengangs Informatik sowie eine
Beteiligung an der Nebenfachausbildung. Der Schwerpunkt der
wissenschaftlichen Arbeiten soll in der Theoretischen Informatik
liegen. Gedacht ist an Logik in der Informatik, Semantik und parallele
Prozesse sowie an verwandte Gebiete.  Einstellungsvoraussetzungen sind
Habilitation oder gleichwertige wissenschaftliche Leistungen sowie
pädagogische Eignung.  Die Bewerbung von Schwerbehinderten ist
erwünscht.  Die RWTH Aachen strebt eine Erhöhung des Anteils der
Frauen in Forschung und Lehre an. Bewerberinnen und Bewerber werden
gebeten, sich mit den üblichen Unterlagen (Lebenslauf, Darstellung des
wissenschaftlichen bzw. beruflichen Werdegangs, Schriften- und
Lehrverzeichnis) bis zum 15. September 1996 an den Dekan der
Math.-Nat. Fakultät, RWTH Aachen, 52056 Aachen.