Newsletter 87
September 18, 2003
*******************************************************************
* Past issues of the newsletter are available at
http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* CONFERENCES AND WORKSHOPS
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
* BOOK ANNOUNCEMENTS
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
* VACANCIES
PhD studentship, Kiel University, Germany
ACM SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS 2004)
Call for Papers
Paris, France, June 13 - 18, 2004
http://www.sciences.univ-nantes.fr/irin/SIGMODPODS04/
* 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)
CONFERENCE ON THE LOGIC OF TIME AND MODALITY
Call for participation
Roskilde University
Friday, October 31 - Saturday, November 1, 2003
http://www.philog.ruc.dk/phiconf3.html
* 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)
KALMAR WORKSHOP ON LOGIC AND COMPUTER SCIENCE
Call for Participation
Szeged, Hungary
October 1 - 2, 2003
http://www.rgai.hu/kalmar2003
* 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
http://www.rgai.hu/kalmar2003
* 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 http://www.rgai.hu/kalmar2003
ADVANCES IN MODAL LOGIC (AiML'2004)
First call for papers
Manchester, UK, September 9-11, 2004,
http://www.cs.man.ac.uk/aiml04/
* 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
EUROPEAN SYMPOSIUM ON PROGRAMMING (ESOP 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
* http://www.cis.ksu.edu/santos/esop2004
BOOK ANNOUNCEMENT
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.
BOOK ANNOUNCEMENT
Principles of Constraint Programming
Krzysztof R. Apt
http://www.cup.org/titles/catalogue.asp?isbn=0521825830
http://titles.cambridge.org/catalogue.asp?isbn=0521825830
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 http://www.cwi.nl/~apt/pcp
PHD POSITION (BAT IIa) AT KIEL
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: wilke-position@ti.informatik.uni-kiel.de.
Back to the LICS web page.