Newsletter 68

August 14, 2000
[Past issues of the newsletter are available at]

* Call for Submissions
  The European Joint Conferences on Theory and 
    Practice of Software (ETAPS 2001)
  UML'2000 Workshop
  Logic and Algebra in Concurrency
* Conference Announcements
  Informatics - 10 Years Back, 10 Years Ahead
  New Programs and Open Problems in the Foundation of 
    Mathematics and of its Applications 
* Book Announcement
  Proof, Language, and Interaction - Essays in Honour of Robin Milner
* Position Announcement 
  Tenure track position at Tulane University

(ETAPS 2001)
  Call for Submissions
  Genova, Italy, April 2 - 6, 2001
* The European Joint Conferences on Theory and Practice of Software
  (ETAPS) is a loose and open confederation of conferences and other
  events that has become the primary European forum for academic and
  industrial researchers working on topics relating to Software Science.
* Main Conferences.
  CC 2001 - 9th International Conference on Compiler Construction
    Chair: Reinhard Wilhelm
  ESOP 2001 - European Symposium on Programming
    Chair: David Sands
  FASE 2001 - Fundamental Approaches to Software Engineering
    Chair: Heinrich Hussmann
  FOSSACS 2001 - Foundations of Software Science and Computation
    Chair: Furio Honsell
  TACAS 2001 - Tools and Algorithms for the Construction and Analysis
               of Systems
    Chairs: Tiziana Margaria and Wang Yi
* Tutorials.  Proposals for half-day or full-day tutorials related to
  ETAPS 2001 are invited.  
  Contact: Bernhard Rumpe,
* Tool Demonstrations Demonstrations of tools presenting advances on
  the state of the art are invited.  
  Contact: Don Sannella,
* Satellite Events
  CMCS (Co-algebraic Methods in Computer Science),
  ETI Day (Electronic Tool Integration platform Day),
  JOSES (Java Optimization Strategies for Embedded Systems),
  LDTA (Workshop on Language Descriptions, Tools and Applications),
  PFM (Proofs For Mobility),
  RelMiS (Relational Methods in Software),
  UNIGRA (Uniform Approaches to Graphical Process Specification
  WADT (Workshop on Algebraic Development Techniques)

  York, UK, October 2/3, 2000
* Developing a precise and understandable semantics for the UML that
  enables practical, tool-supported and rigorous analysis of UML
  models can enhance its applicability.  A formal analysis of the
  semantic foundations of the UML notations can also lead to more
  precise and complete natural language descriptions of the notations
  in the UML standard. These observations are particularly relevant
  when we consider the dynamic behaviour of the UML models.  The
  purpose of this workshop is to bring together researchers and
  practitioners from academia and industry to report on their
  experiences with developing precise semantics for the dynamic
  behaviour of UML models.  Presentations and discussions at this
  workshop will focus on identifying the challenges, recognizing
  limitations, and analyzing proposed semantics for the dynamic
  aspects of UML.  
* Attendance at the workshop will be on invitation only.  Participants
  that would like to be invited are asked to write a position paper on
  some aspect of the dynamic behaviour of UML models.
* Contact. Gianna Reggio (DISI-Universita' di Genova, Italy)
* Organizers.  Gianna Reggio (DISI-Universita' di Genova, Italy)
  Alexander Knapp (Ludwig-Maximilians-Universitaet Munchen, Germany)
  Bernhard Rumpe (TU Munchen, Germany) Bran Selic (ObjecTime Ltd.,
  Kanata, Canada) Roel Wieringa (University of Twente, The
* Deadlines and important dates.
  Submission deadline: 25 August 2000 
  Notification of Acceptance: 28 August 2000
  Workshop: 2 or 3 October 2000

  Call for Participation and Papers
  Dresden, Germany
  September 13-16, 2000
* Theme: The goal of this workshop is to highlight applications of algebra 
  and logic, like semigroup theory, predicate logic or temporal logics, 
  in the area of concurrency in theoretical computer science. 
* Invited lecturers: V. Diekert (Stuttgart), P. Gastin (Paris), 
  J.G. Henriksen (Aarhus), A. Muscholl (Paris), D. Peled (Bell Labs, USA), 
  W. Penczek (Warsaw), A. Petit (Cachan), J.-E. Pin (Paris), 
  D. Th'erien (Montreal), W. Thomas (Aachen), I. Walukiewicz (Warsaw) 
* Submissions: The Journal of Automata, Languages and Combinatorics (JALC) 
  has agreed to publish a special issue on this topic. Submissions related 
  to this topic could be either survey articles or research papers and 
  will be refereed as usual. 
* Deadline for registration: August 31, 2000
* For more information including a Call for Papers, see the above 
  URL or contact M. Droste ( 

  International Conference on the Occasion of the 10th Anniversary 
  of Schloss Dagstuhl.
  Saarbruecken, Germany
  August 28-31, 2000
* Renowned scientists from many areas of Computer Science will present
  their personal views of the state of their field, of the grand
  achievements, new and remaining challenges, and the vision they have
  for the next decade and beyond.
  The conference proceedings will be pubished as Springers Lecture Notes
  in Computer Science Vol. 2000. They are included in the conference fee.
* Organizer: 
  Reinhard Wilhelm, Scientific Director
  Int. Conference and Research Center for Computer Science
  Schloss Dagstuhl, D-66687 Wadern, Germany
* Information:

  Preliminary Announcement
  Paris, November 13 and 14, 2000
* Program:
  A. Connes "Non-commutative Geometry", Respondent: TBA
  J.-Y. Girard "Locus solum", Respondent: P.-L. Curien
  W. Lawvere  "Dialectical foundations of, by, and for mathematics", 
  Respondent: I. Moerdijk
  A. Macintyre "Prospects in logic", Respondent: M. F. Coste-Roy
  R. Milner "The flux of computation", Respondent: G. Berry
* Panel discussion: "Geometric Structures in Logic, Physics and
  Computing" with the invitees and the members of the working group
  "Geometrie et Cognition" (G. Longo, chair)
* The Conference is open to public and it is part of the "Atelier de
  Recherche" Geometrie et Cognition, partly supported by the MENRT
* Contact:

  Proof, Language, and Interaction
  Essays in Honour of Robin Milner
  edited by Gordon Plotkin, Colin Stirling, and Mads Tofte
  MIT Press, 2000, ISBN 0-262-16188-5
* This collection of original essays reflects the breadth of current
  research in computer science. Robin Milner, a major figure in the
  field, has made many fundamental contributions, particularly in
  theoretical computer science, the theory of programming languages,
  and functional programming languages.
* Following a brief biography of Milner, the book contains five
  sections: Semantic Foundations, Programming Logic, Programming
  Languages, Concurrency, and Mobility. Together the pieces convey a
  seamless whole, ranging from highly abstract concepts to systems of
  great utility.
* Contributors: Samson Abramsky, J. C. M. Baeten, Sergey Berezin,
  J. A. Bergstra, Gerard Berry, Lars Birkedal, Gerard Boudol, Edmund
  Clarke, Pierre Collette, Robert L. Constable, Pierre-Louis Curien,
  Jaco de Bakker, Uffe H. Engberg, William Ferreira, Fabio Gadducci,
  Mike Gordon, Robert Harper, Matthew Hennessy, Yoram Hirshfeld,
  C. A. R. Hoare, Gerard Huet, Paul B. Jackson, Alan S. A.  Jeffrey,
  Somesh Jha, He Jifeng, Cliff B. Jones, Cosimo Laneve, Xinxin Liu,
  Will Marrero, Faron Moller, Ugo Montanari, Pavel Naumov, Mogens
  Nielsen, Joachim Parrow, Lawrence C. Paulson, Benjamin C. Pierce,
  Gordon Plotkin, M.  A. Reniers, Amokrane Saibi, Augusto Sampaio,
  Davide Sangiorgi, Scott A.  Smolka, Eugene W. Stark, Christopher
  Stone, Mads Tofte, David N. Turner, Juan Uribe, Franck van Breugel,
  David Walker, Glynn Winskel.

  Available Fall 2001
* Pending administrative and budgetary approval, the Mathematics
  Department anticipates a regular, tenure track Assistant Professor
  position in Theoretical Computer Science. The areas of interest
  include logic and semantics of programming languages and related
  areas. We are especially interested in candidates who complement the
  areas currently represented in the department, which include domain
  theory, concurrency and applications to security. We also would
  welcome applications from candidates with expertise in
  verification. The department intends to develop an undergraduate
  program in computer science within the Liberal Arts and Sciences,
  and the successful candidate will have strong input into the design
  of this degree program.
* Candidates should have a PhD in computer science or a related 
* Further Information can be found at  

Back to the LICS web page.

Martin Grohe
Last modified: July 3, 2000