Newsletter 87September 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, GermanyACM 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 MODALITYCall 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 SCIENCECall 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/kalmar2003ADVANCES 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, 2004EUROPEAN 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/esop2004BOOK ANNOUNCEMENTContinuous 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 ANNOUNCEMENTPrinciples 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/pcpPHD POSITION (BAT IIa) AT KIELTheory 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.