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.