[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.