Newsletter 87
September 18, 2003

* Past issues of the newsletter are available at
* Instructions for submitting an announcement to the newsletter
  can be found at

  PODS 2004 - Call for Papers
  Conference on the Logic of Time and Modality - Call for participation
  Kalmar Workshop on Logic and Computer Science - Call for Participation
  Advances in Modal Logic 2004 - Call for Papers
  ESOP 2004 - Call for Papers
  Continuous Lattices and Domains - G. Gierz, K.H. Hofmann, K. Keimel,
    J.D. Lawson, M.W. Mislove and D.S. Scott
  Principles of Constraint Programming - Krzysztof R. Apt
  PhD studentship, Kiel University, Germany

  Call for Papers
  Paris, France, June 13 - 18, 2004
* The symposium invites papers on fundamental aspects of data
  management.  Original research papers on the theory, design,
  specification, or implementation of data management tools are
  solicited. Papers emphasizing new topics or foundations of emerging
  areas are especially welcome. The symposium will be held at the
  Maison de la Chimie, Paris, in conjunction with the ACM SIGMOD
  Intl. Conference on Management of Data (SIGMOD'04).
* Suggested topics  include the following  (this list is  not exhaustive
  and the order does not reflect priorities):
  Access Methods & Physical Design, Active Databases, Complexity &
  Performance Evaluation, Data Integration & Interoperability, Data
  Mining, Data Models, Data Stream Management, Database Programming
  Languages, Databases & Information Retrieval, Databases & Workflows,
  Deductive Databases & Knowledge Bases, Distributed Databases,
  Information Processing on the Web, Logic in Databases, Multimedia
  Databases, Object-oriented Databases, Query Languages, Query
  Optimization, Real-time Databases, Security & Privacy,
  Semistructured Data & XML, Spatial & Temporal Databases, Theory of
  recovery, Transaction Management, Views & Warehousing, Web Services
  & Electronic Commerce, XML Databases
* All submissions must be done electronically. See webpage for details.
* Important dates:
	    Paper abstracts due: December 1, 2003 (11:59pm PST)
            Full papers due:     December 8, 2003 (11:59pm PST)
            Notification:        February 23, 2004
            Camera-ready due:    March 22, 2004
* Best Newcomer Award: an award will be given to the best submission,
  as judged by the program committee, written solely by authors who have
  never published in earlier PODS proceedings.
* Best Paper Award: there will also be an award for the best of all
  papers submitted, as judged by the program committee.
* Program Committee: Divyakant Agrawal (Univ. of California at Santa
  Barbara, USA), Michael Benedikt (Bell Labs, USA), Thomas Eiter
  (Technische Univ. Wien, Austria), Christos Faloutsos (Carnegie
  Mellon Univ., USA), Wenfei Fan (Bell Labs, USA), Johannes Gehrke
  (Cornell Univ., USA) Martin Grohe (Univ. of Edinburgh, UK), Yannis
  E. Ioannidis (Univ. of Athens, Greece), Sanjeev Khanna (Univ. of
  Pennsylvania, USA), Yossi Matias (Tel Aviv Univ., Israel), S. Muthu
  Muthukrishnan (Rutgers Univ., USA), Jeff Naughton (Univ. of
  Wisconsin, USA), Frank Neven (Univ. of Limburg, Belgium), Meral
  Ozsoyoglu (Case Western Reserve Univ., USA), Lucian Popa (IBM
  Almaden, USA), Ken Ross (Columbia Univ., USA), Luc Segoufin (INRIA,
  France), Moshe Vardi (Rice Univ., USA), Gottfried Vossen (Univ. of
  Muenster, Germany), Jennifer Widom (Stanford Univ., USA)

  Call for participation
  Roskilde University
  Friday, October 31 - Saturday, November 1, 2003
* Theme. Arthur Norman Prior (1914-69) was the founding father of
  the modern logic of time and modality. In the 1950s and 1960s he
  laid out the foundation of temporal logic and showed that this
  discipline was intimately connected with modal logic. Since then,
  temporal and modal logic has grown into a mature discipline with
  many important applications in philosophy, computer science, and also
  linguistics. It is the aim of the conference to discuss the modern
  challenges, problems, and applications of the Priorean approach to
  the logic of time and modality.
* Program committee. Torben Brauner (Roskilde University),
    Per Hasle (The University of Southern Denmark - Kolding)
    Peter Ohrstrom (Aalborg University)
* Invited speakers. Patrick Blackburn (INRIA Lorraine),
    Jack Copeland (University of Canterbury),
    Kit Fine (New York University),
    Antony Galton (University of Exeter),
    Peter Simons (University of Leeds),
    Heinrich Wansing (Dresden University of Technology),
    Alberto Zanardo (University of Padova)

  Call for Participation
  Szeged, Hungary
  October 1 - 2, 2003
* Laszlo Kalmar (1905 - 1976) was a pioneer in mathematical
  logic and computer science. The objective of the workshop is to
  commemorate his work, and to present recent research results in
  the broad area of logic and computer science.
* Workshop Chair: F. Gecseg (Szeged)
* Workshop Co-Chairs: J. Csirik (Szeged), Gy. Turan (Szeged, Chicago)
* Invited speakers:
  E. Graedel (Aachen): to be announced,
  A. Hajnal (New Brunswick, Budapest) and P. Komjath (Budapest):
    The mathematical work of Laszlo Kalmar,
  J. Lloyd (Canberra): Agents that reason and learn,
  J. Makowsky (Haifa): 50 years of the spectrum problem: a survey and
    new approaches,
  G. Proszeky (Budapest): An Intuitive Representation of Human
    Languages for Translation
* For the Talks and the Poster Session on Algorithms please see
* Co-located Event: 13th International Conference on Inductive
  Logic Programming (ILP 2003), September 29 - October 1, 2003.
* Program Committee: H. Andreka (Budapest), A. Atserias (Barcelona),
  S. Bloom (Hoboken), J. Csirik (Szeged), J. Demetrovics (Budapest),
  B. Domolki (Budapest), M. Grohe (Edinburgh), J. Makowsky (Haifa),
  A. Salomaa (Turku), Gy. Turan (chair, Szeged, Chicago)
* Organizing Committee:  D. Csendes, T. Koles, B. Szorenyi
* Registration information: please see

  First call for papers
  Manchester, UK, September 9-11, 2004,
* Advances in Modal Logic is an initiative aimed at presenting
  an up-to-date picture of the state of the art in modal logic
  and its many applications. The initiative consists of a
  conference series together with volumes based on the
  conferences.  AiML-2004 is the fifth conference organized as
  part of this initiative.
* Special session: "Modal Logics for Knowledge and Action".
* Invited speakers: Philippe Balbiani (Toulouse), Keith
  Devlin (Stanford) , Valentin Goranko (Johannesburg), Wiebe
  van der Hoek (Liverpool), Maarten Marx (Amsterdam), Robert
  Stalnaker (MIT).
* Paper submission: Authors are invited to submit a detailed
  abstract of a full paper of at most 10 pages (a4paper, 11pt)
  by e-mail to one of the programme chairs.  See website for
  further details.
* Submission deadline: April 15, 2004

  Affiliated with ETAPS 2004
  March 27 - April 4, 2004,  Barcelona, Spain
  Call for papers
* Submission deadline: OCTOBER 17, 2003
* Important dates
    October 17,  2003   Submission deadline
    December 12, 2003   Notification of acceptance/rejection
    January  9,  2004   Camera-ready version due
    March 29 - April 2, 2004   ESOP and ETAPS main conferences
    March 27 - April 4, 2004   ETAPS satellite events

  Continuous Lattices and Domains
  G. Gierz, K.H. Hofmann, K. Keimel, G. Gierz, K.H. Hofmann,
    K. Keimel, J.D. Lawson, M.W. MIslove and D.S. Scott
  Encyclopaedia of Mathematics and its Applications 93
  Cambridge University Press (2003), xxxvi+591pp.
  ISBN 0 521 80338 1
* This book exposes DOMAIN THEORY from a mathematical point of view.
  Aplications in Semantics or other are not included.
* The structure of the book is based on the COMPENDIUM OF CONTINUOUS
  LATTICES that had appeared in 1980 and still reflects its basic structure:
    0. A primer on ordered sets and lattices
    1. Order theory of domains
    2. The Scott topology
    3. The Lawson topology
    4. Morphisms and functors
    5. Spectral theory
    6. Compact pospaces and semilattices
    7. Topological algebra and lattice theory: Applications
  With repect to the COMPENDIUM, the emphasis in the new book is no
  longer on lattices but on continuous directed complete posets
  (dcpo's). New material has been added, e.g. FS-domains and bifinite
  domains, powerdomains including the probabilistic power domain, the
  Hofmann-Mislove theorem, domain equations, Lawson compactness of
  domains, domain environments, etc.
* There is an extensive although not exhaustive bibliography.
  The number of pages has increased by 50% with respect to the
  COMPENDIUM, but not all of the new developments could be included
  in the book without an explosion of its size.

  Principles of Constraint Programming
  Krzysztof R. Apt
  xiv + 408 pages, price: US$50 or 35 pounds
* Contents
    1. Introduction
    2. Constraint satisfaction problems: Examples
    3. Constraint programming in a nutshell
    4. Some complete constraint solvers
    5. Local consistency notions
    6. Some incomplete constraint solvers
    7. Constraint propagation algorithms
    8. Search
    9. Issues in Constraint Programming
* The transparencies are available at

  Theory Group, Institute of Computer Science
  Kiel University, Germany
* The position is for 2 years initially; extension is possible.
* Rearch topics are in the area of verification, especially
  analysis of cryptographic protocols.
* The position comes with a teaching duty (class room exercises)
  of 4 hours per week. A working knowledge of German is required.
* Application deadline: 30 September 2003.
* For further information please contact:
  Prof. Dr. Thomas Wilke, Email:

Back to the LICS web page.