Newsletter 65

March 28, 2000

[Past issues of the newsletter are available at
 http://logik.mathematik.uni-freiburg.de/lics/newsletters/
 http://www.cs.bell-labs.com/who/libkin/lics/newsletters/]


TABLE OF CONTENTS
* LICS 2000 Workshops
  Nonmonotonicity and Belief Revision
  Logical Frameworks and Meta Languages
  Chu Spaces, Theory and Applications
  Proof Carrying Code
  Implicit Computational Complexity
* Calls for Papers
  LICS Workshop on Chu Spaces (Chu'00)
  LICS Workshop on Implicit Computational Complexity (ICC'00)
  8th International Conference on Database Theory (ICDT 2001)
  ESSLLI Workshop on Paths and Telicity in Event Structure
* Calls for Participation
  ASL Logic Colloquium 2000
  International Summer School on Computational Logic (ICSL 2000)
  European Summer School in Logic, Language, and Information (ESSLLI 2000)
* Book Announcement
  Lecture Notes in Logic, 13 - Logic Colloquium '98


LICS 2000 WORKSHOPS
  http://logik.mathematik.uni-freiburg.de/lics/workshops00.html

* Title: Nonmonotonicity and Belief Revision
  Organizers: Daniel Lehmann and Karl Schlechta
  Contact person: Karl Schlechta (Karl.Schlechta@cmi.univ-mrs.fr)
  Schedule: June 25 (full day)

* Title: Logical Frameworks and Meta Languages
  Chair: Joelle Despeyroux
  Contact person: Joelle Despeyroux (Joelle.Despeyroux@sophia.inria.fr)
  Schedule: June 25 (full day)
  URL: http://www-sop.inria.fr/certilab/LFM00/

* Title: Chu Spaces, Theory and Applications
  Chairs: Valeria Correa Vaz de Paiva and Vaughan Pratt
  Contact person: Valeria Correa Vaz de Paiva (paiva@parc.xerox.com)
  Schedule: June 25 (probably full day)
  URL: http://www.cs.bham.ac.uk/~vdp/chu.html

* Title: Proof Carrying Code
  Chair: Trevor Jim
  Contact person: Trevor Jim (trevor@research.att.com)
  Tentative schedule: Two half days, afternoon June 28 and morning June 29
  URL: http://www.research.att.com/~trevor/PCC2000/

* Title: Implicit Computational Complexity
  Chair: Jean-Yves Marion
  Contact person: Jean-Yves Marion (Jean-Yves.Marion@loria.fr)
  Schedule: June 29 and 30 (two full days)
  URL: http://www.loria.fr/~marionjy/ICC00.html


WORKSHOP ON CHU SPACES: THEORY AND APPLICATIONS (Chu'00)  
  (affiliated with LICS 2000)
  Call for Papers
  Santa Barbara, June 25, 2000
  http://www.cs.bham.ac.uk/~vdp/chu.html
* Theme: Chu Spaces are mathematical structures that have found recent
  application to modeling concurrent processes, information flow and also
  Linear Logic. The workshop is concerned with the theory and applications of
  Chu Spaces, and other neighbors like the Dialectica-construction and the
  double-glueing construction. 
* Topics include, but are not limited to, applications of Chu spaces to
  concurrency, modal-theoretical studies, comparative studies of the
  constructions,  applications to games, applications to information flow, etc.
* Submission: The submission deadline is April 25, 2000. Submitted papers
  should be extended abstracts of 7-10 pages. Please submit your abstract
  electronically  to paiva@parc.xerox.com. Accepted contributions will be
  included in the informal workshop proceedings, which will be available at
  the workshop.  Authors will be notified of acceptance by May 15, 2000.  
  The final version of accepted papers will be due by June 9, 2000.  
* Organisers: Valeria de Paiva (paiva@parc.xerox.com)
              Vaughan Pratt (pratt@cs.stanford.edu)


2ND INTERNATIONAL WORKSHOP ON IMPLICIT COMPUTATIONAL COMPLEXITY (ICC'00)  
  (affiliated with LICS 2000)
  Call for Papers
  Santa-Barbara, June 29-30, 2000
  http://www.loria.fr/~marionjy/ICC00.html
* Submission Deadline : April 21, 2000
* All submissions must be done electronically.  Please email your
  submission to Jean-Yves.Marion@loria.fr After the workshop, a
  special issue will be published by the Journal of Theoretical
  Computer Science.  Participants will be invited to submit full
  versions for this special issue.
* Program committee. Samuel Buss (University of California, USA), Loic
  Colson (Univ. de Metz, France), Martin Hofmann (University of
  Edinburgh, GB), Neil Jones (University of Copenhagen, Danemark),
  Claude Kirchner (Loria, Nancy, France), Daniel Leivant (University
  of Indiana, USA), Jean-Yves Marion (Loria, Nancy, France) (Chair),
  Helmut Schwichtenberg (University of Muenchen, Germany)


8TH INTERNATIONAL CONFERENCE ON DATABASE THEORY (ICDT 2001)
  Call for Papers
  London, UK, 3-5 January 2001
  http://www.dcs.bbk.ac.uk/icdt2001
* The series of ICDT conferences provides a biennial, international
  forum for the communication of research advances on the principles
  of database systems.
* Topics of Interest. Access methods and physical design; active
  databases; complexity and performance; concurrency and recovery;
  constraint databases; data integration and interoperability; data
  mining; data models; database programming languages; database
  updates; databases and information retrieval; databases and
  workflow; databases in e-commerce; deductive databases and knowledge
  bases; distributed databases; data on the Web; integrity and
  security; logic and databases; multimedia databases; object-oriented
  databases; query languages; query optimization; query processing;
  real-time databases; spatial data; temporal data; transaction
  management; views and data warehousing; semistructured and XML data.
  (The above list is not exclusive.)
* Invited Speakers. Andrei Broder (Chief Technology Officer,
  AltaVista), Leonid Libkin (Bell Labs), Philip Wadler (Bell Labs)
* Submission Instructions. Will be provided on the conference Web page. 
* Poster Session. This edition of ICDT, we also welcome papers to be
  presented as a poster, displayed and dicussed during a special
  poster session.
* Best Newcomer Award. An award will be given to the best regular
  paper submission, as judged by the program committee, written by
  newcomers to the field of database theory. (The committee reserves
  the right to defer the award.)
* Program Committee. Jan Van den Bussche (co-chair), Michael Benedikt,
  Nicole Bidoit, Surajit Chaudhuri, Thomas Eiter, Martin Grohe,
  Maurizio Lenzerini, Mark Levene, Tova Milo, Limsoon Wong, Ken Ross,
  Thomas Schwentick, Luc Segoufin, Timos Sellis, Dan Suciu, Val
  Tannen, Jurek Tyszkiewicz, Dirk Van Gucht, Moshe Vardi, Victor Vianu
  (co-chair) Gottfried Vossen, Peter Widmayer
* Important Dates.
  Deadline for submissions: 12 June 2000
  Notification of acceptance: 25 September 2000
  Camera-ready copy due: 9 October 2000
  Conference: 3-5 January 2001


ESSLLI 2000 WORKSHOP ON PATHS AND TELICITY IN EVENT STRUCTURE 
  Call for Papers
  August 6-10, 2000
  Birmingham, Great Britain
  http://www.cs.bham.ac.uk/~esslli/abstracts/filip-call.html
* Description. The workshop focuses on the structuring of eventuality
  types by means of Paths, with special reference to the sources of
  telicity effects that are related to Paths in the concrete spatial
  domain, but also in a variety of other domains: cp.  "John ran
  along/toward/into the house", "The train squealed into/out of the
  station", "John hammered the metal flat".
* The structure of eventuality types and spatial relations are clearly
  central to our understanding of categories encoded in linguistic
  expressions and to our understanding of human cognition.  Several
  research domains--linguistics, cognitive science, artificial
  intelligence and psychology--have focused on different aspects of
  these topics.  While significant breakthroughs have been achieved in
  all these domains, the theoretical structures proposed tend to share
  little in common.  One of the goals of this workshop is to bring to
  the fore the connections among them, and ultimately to show how a
  synthesis of the relevant results can be useful in the formulation
  of linguistic hypotheses in the domain event structure and telicity,
  and in providing empirical motivation for them.
* The aim of the workshop is to bring together researchers working on
  linguistic, logical, computational and/or psychological aspects of
  the workshop topic, and submissions from all these areas of research
  are welcome.
* Submission. All researchers, but especially Ph.D. students and young
  researchers, are invited to submit an abstract by April 15, 2000.
* Important Dates.     
  April 15, 2000: Deadline for abstract submissions
  May 1,    2000: Notification of acceptance
  June 1,   2000: Final version of paper due
  August 6, 2000: Start of workshop
* Organizer. Hana Filip, Northwestern University, Evanston, ILL, USA
  e-mail: filip@babel.ling.nwu.edu


LOGIC COLLOQUIUM 2000
  ASL European Summer Meeting
  Paris, July 23-31, 2000
  http://lc2000.logique.jussieu.fr
* The last European Congress of the Association for Symbolic Logic of
  the millennium will be held in Paris, July 23 - 31, 2000. The
  meeting site will be the Sorbonne, where David Hilbert presented his
  famous list of problems at the International Congress of
  Mathematicians in August 1900.
* Invited speakers: P. Aczel, J. Barwise, L. Blum, E. Bouscaren,
  S. Buss, M. Davis, I. Farah, M. Hallett, L. Harrington, R. Heck,
  W. Hodges, M. Hofmann, G. Jaeger, J.-L. Krivine, Y. Lafont,
  R. Laver, J. Longley, A. Macintyre, D. Marker, D. Martin, Ph. de
  Rouilhan, P. Shor, T. Slaman, S. Smale, O. Spinas, S. Starchenko,
  H. Woodin, M. Zeman, B. Zil'ber.
* Incorporated into the nine days of this Logic Colloquium will be the
  European Logic Summer School 2000 (ELSS 2000), for which partial
  support has been requested from the European Community. Through ELSS
  2000 we are able to emphasize the importance of training of young
  researchers in logic.
* A satellite workshop, "Fixed Points in Computer Science", will take
  place on July 22nd and 23rd in Paris. Information can be obtained
  from: ig@liafa.jussieu.fr


INTERNATIONAL SUMMER SCHOOL ON COMPUTATIONAL LOGIC (ICSL 2000)
  Call For Participation
  Maratea (Italy), September 3-8, 2000
  http://www.cs.unimaas.nl/~etalle/school2000/index.html
* Aim.  The school is addressed to young researchers and PhD students,
  as well as to university and industry researchers. Its main goal is
  to give the participants an insight of some relevant research lines
  in Computational Logic.
* Programme.  The school consists of six lectures on different topics,
  including theoretical foundations and practical perspectives. Each
  lecture covers one topic from basic notions to more advanced
  issues. PhD students may ask to have a proficiency final exam at the
  end of the school.
* Lecturers.  Moreno Falaschi (Optimization of declarative languages),
  Thom Fruehwirth (Constraint Programming), Peter Lee (Proof Carrying
  Code), Dale Miller (A Logic for Reasoning about Logic
  Specifications), Paul Tarau (Logic Programming based Internet
  Technologies), Frits Vaandrager (Verification of Timed and Hybrid
  Systems).
* Registration. Early registration (before May 15th): Single room 900
  Eur; Double room 800 Eur.  Late registration: Single room 1000 Eur;
  Double room 900 Eur.  There is no deadline for late registration
  however the number of participants is limited and application
  requests will be served on a FIFO basis.
* Grants.  Limited funds will be available for grants.
* Location. The lectures will be given in the congress center of Hotel
  Villa del Mare, Acquafredda di Maratea (Italy). Maratea is an
  ancient city founded during the Greek period and it is situated in
  one of the most beautiful parts of the Italian southern coast.  
* Organizers.  Sandro Etalle (University of Maastricht), etalle@cs.unimaas.nl;
               Maurizio Gabbrielli (University of Udine), gabbri@dimi.uniud.it


12TH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE, AND INFORMATION
  Call for Participation
  University of Birmingham, England
  6-18th August 2000
  http://www.cs.bham.ac.uk/~esslli
* Theme and Format. A two week summer school which offers 42 courses
  at various levels and six workshops in the areas of Logic,
  Computation, and Language.
* Registration Fee. 95 pounds sterling before 31st May, 150 pounds
  thereafter. Registration via WWW page. Bursaries for participants
  from non-OECD countries available.
* Queries. Please mail esslli@cs.bham.ac.uk
* Organisers. Achim Jung and Eike Ritter.
* Lecturers and Workshop Organisers.
  Jose Julio Alferes, Lisboa            Agnes Kurucz, London
  Carlos Areces, Amsterdam              Marta Kwiatkowska, Birmingham
  Brandon Bennett, Leeds                Rob Malouf, Groningen
  Jean-Yves Beziau, Petropolis          Carlos Martin-Vide, Tarragona
  Patrick Blackburn, Saarbruecken       Maarten Marx, Amsterdam
  Hendrik Blockeel, Heverlee            Ralph Matthes, Muenchen
  Paolo Bouquet, Trento                 Mary McGee Wood, Manchester
  Krysia Broda, London                  Detmar Meurers, Tuebingen
  Greg Carlson, Rochester               Wilfried Meyer-Viol, London
  Ann Copestake, Stanford               Angelo Montanari, Udine
  Richard Crouch, Xerox PARC            Christof Monz, Amsterdam
  James Cussens, York                   Andrew Moshier, Orange
  Anuj Dawar, Cambridge                 Stephen Muggleton, York
  Denys Duchier, Saarbruecken           Stephan Oepen, Saarbruecken
  Gisbert Fanselow, Potsdam             Marc Pauly, Amsterdam
  Caroline Fery, Potsdam                David Pearce, Saarbruecken
  Hana Filip, Evanston                  Alberto Pettorossi, Roma
  Dan Flickinger, Stanford              Paul Piwek, Brighton
  Dov Gabbay, London                    Alberto Policriti, Udine
  Bart Geurts, Nijmegen                 Ian Pratt-Hartmann, Manchester
  Anastasia Giannakidou, Groningen      Maurizio Proietti, Roma
  Valentin Goranko, Johannesburg        Christian Retore, Rennes
  Fritz Hamm, Tuebingen                 Hannes Rieser, Bielefeld
  Erhard Hinrichs, Tuebingen            Mark Ryan, Birmingham
  Martin Hofmann, Edinburgh             Luciano Serafini, Povo
  Kenneth Holmqvist, Lund               Aaron Sloman, Birmingham
  Richard Hudson, London                Mike Squire, Warwick
  Mateja Jamnik, Birmingham             Johan van Benthem, Amsterdam
  Neil D Jones, Copenhagen              Josef van Genabith, Dublin
  Reinhard Kahle, Tuebingen             Robert van Rooy, Amsterdam
  Sara Kalvala, Warwick                 Yde Venema, Amsterdam
  Ruth Kempson, London                  Andrei Voronkov, Manchester
  Manfred Kerber, Birmingham            Shuly Wintner, Philadelphia
  Valia Kordoni, Tuebingen              Frank Wolter, Leipzig
  Emiel Krahmer, Eindhoven              John H Woods, Lethbridge
  Bob Krovetz, Princeton                Michael Zakharyaschev, Leeds
  Geert-Jan Kruijff, Prague             Thomas E Zimmermann, Frankfurt
  Peter Kuehnlein, Bielefeld


BOOK ANNOUNCEMENT
  Lecture Notes in Logic, 13 - Logic Colloquium '98
  Sam Buss, Petr Hajek, Pavel Pudlak, editors
  A K Peters, Ltd.,  2000,  ca. 550 pp.
  Association for Symbolic Logic
  ISBN: 1-56881-113-6; Hardcover; $85.00; 60.00 UKpounds
  ISBN: 1-56881-114-4; Paperback; $40.00; 28.00 UKpounds
* The Association for Symbolic Logic is proud to announce its
  collaboration with A K Peters, Ltd. , to publish
  books in logic, including the Lecture Notes in Logic.  The first
  product of this collaboration is Logic Colloquium '98, no. 13 in the
  Lecture Notes in Logic series.
* The 1998 European Summer Meeting of the Association for Symbolic
  Logic, Logic Colloquium '98, was held at the University of Economics
  in Prague, August 9-15, 1998.  This volume is the proceedings of
  that meeting, with papers covering current research from all areas
  of mathematical logic, including Proof Theory, Set Theory, Model
  Theory, Computability Theory, and Philosophy.
* Logic Colloquium '98 includes twelve articles on Proof Theory; a
  survey of fuzzy logic; nine articles on Set Theory; four articles on
  H. Rogers' 1965 agenda for recursive function theory; four articles
  on Model Theory; and two articles on Belief Theories.  A number of
  these articles deal with theoretical computer science.
* The Lecture Notes in Logic series is intended to serve researchers,
  teachers, and students in the field of logic, broadly interpreted.
  The series aims for rapid dissemination of publications of high
  scientific quality.  Submissions from authors are invited in the
  following categories: research monographs, lecture and seminar
  notes, reports of meetings, and texts which are out of print.
  Editors of the Lecture Notes in Logic are Samuel R. Buss, Lance
  Fortnow, Shaughan Lavine, Steffen Lempp, Anand Pillay, and W. Hugh
  Wooodin.  Submissions and inquiries may be sent to the Managing
  Editor: Samuel R. Buss, Department of Mathematics, University of
  California, San Diego, La
* The first 12 books in the Lecture Notes in Logic series (published
  with Springer-Verlag) are available from the Association for
  Symbolic Logic at reduced prices.  Contact the ASL at 1409 West
  Green Street, Urbana, Illinois 61801; email: asl@math.uiuc.edu; or
  see the ASL web site at aslonline.org, where a listing of these LNL
  books may be found.