Newsletter 78
March 25, 2002

*******************************************************************
* 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
  Conference of the European Association for Computer Science Logic
  Symposium on Principles of Programming Languages
  Workshop on Implicit Computational Complexity
  International Workshop on Unification
  Workshop on Proof, Computation, Complexity
  Workshop on Categorical Methods for Concurrency, Interaction,
    and Mobility
  Workshop on Term Graph Rewriting
  Colloquium on the Occasion of Schwichtenberg's 60th Birthday
  Workshop on Foundations of Models and Languages for Data and Objects:
    Databases, Logic and Semistructured Data
  Workshop on Reduction Strategies in Rewriting and Programming
  Workshop on Complexity in Automated Deduction
* SUMMER SCHOOLS
  North American Summer School in Logic, Language, and Information
  TYPES Summer School: Theory and Practice of Formal Proofs
* BOOK ANNOUNCEMENT
  Foundations of Object-Oriented Programming Languages:
    Types and Semantics by Kim B. Bruce
* MISCELLANEOUS
  Rolf Schock Prize Awarded to Kripke


CONFERENCE OF THE EUROPEAN ASSOCIATION FOR COMPUTER SCIENCE LOGIC (CSL'02)
  22--25 September 2002
  Edinburgh, UK
  http://www.dcs.ed.ac.uk/csl02/
* Computer Science Logic (CSL) is the annual conference of the
  European Association for Computer Science Logic (EACSL). The
  conference is intended for computer scientists whose research
  activities involve logic, as well as for logicians working on issues
  significant for computer science.
* The following will deliver invited lectures: Susumu HAYASHI (Kobe),
  Frank NEVEN (Limburg), Damian NIWINSKI (Warsaw)
* Important Dates:
  Submission: 29 March 2002 for the title and abstract, and
               7 April 2002 for the full text
  Notification: 2 June 2002
  Final copy due: 21 June 2002
* Programme Committee: Thorsten Altenkirch (U. Nottingham), Rajeev
  Alur (U. Pennsylvania), Michael Benedikt (Bell Labs), Julian
  Bradfield (U. Edinburgh (Chair)), Anuj Dawar (U. Cambridge), Yoram
  Hirshfeld (U. Tel Aviv), Ulrich Kohlenbach (U. Aarhus), Johann
  Makowsky (Technion Haifa), Dale Miller (Pennsylvania State U.), Luke
  Ong (U. Oxford), Frank Pfenning (Carnegie Mellon U.), Philippe
  Schnoebelen (ENS Cachan), Luc Segoufin (INRIA Rocquencourt), Alex
  Simpson (U. Edinburgh), Thomas Streicher (T.U. Darmstadt)



30TH ANNUAL SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES (POPL'03)
  Call for Papers
  January 15-17, 2003
  New Orleans, Louisiana
  http://www.cs.berkeley.edu/~aiken/popl03
* Submission Guidelines: Papers are to be submitted in the form of an
  extended abstract of 5000 words or less excluding bibliography and
  figures.
* Important Dates:
  Submission: Friday, July 19, 2002
  Notification: Tuesday, Sept. 24, 2002
  Camera-ready copy due: Tuesday, Nov. 12, 2002
  The submission deadlines given above are firm.
* Program Committee: Lennart Augustsson, Rastislav Bodik, Kim Bruce,
  Jack Davidson, Amy Felty, John Field, Cormac Flanagan, Joxan Jaffar,
  Greg Morrisett (chair), Catuscia Palamidessi, Francois Pottier, Amr
  Sabry, Davide Sangiorgi, Bjarne Steensgard, Joe Wells



WORKSHOP ON IMPLICIT COMPUTATIONAL COMPLEXITY (ICC'02)
  (affiliated with FLOC 2002)
  Second call for Papers
  Copenhagen, 20-21 July 2002
  http://http://www.cis.syr.edu/~royer/icc
* Scope: The workshop seeks original research reports on advances in
  implicit computational complexity.  Topics of interest include
  (but are not limited to): automatic complexity analysis of
  programs, complexity analysis for functional languages,
  higher-type computational complexity, logical and
  machine-independent characterizations of complexity classes logics
  closely related to complexity classes, software that applies ICC
  ideas in programming language design and in formal methods, and
  type systems for controlling complexity
* All submissions must be done electronically.  Please email your
  submission to royer@ecs.syr.edu
* Submission Deadline : 30 April, 2002
* Program committee. Jean-Yves Girard (Institut de Mathematiques de
  Luminy, Marseille) Martin Hofmann (Ludwig-Maximilians-Universitat,
  Muenchen) Neil Jones (University of Copenhagen, Denmark) Jean-Yves
  Marion (Loria, Nancy, France) James Royer (Syracuse University,
  Syracuse, NY, USA) (Chair) Paul Voda (Comenius University,
  Slovakia)



16TH INTERNATIONAL WORKSHOP ON UNIFICATION (UNIF 2002)
  (affiliated with RTA 2002, part of FLoC'02)
  Call for Abstracts/Participation
  Copenhagen (Denmark), July 25-26, 2002
  http://unif2002.lri.fr
* Goal. The main purpose of UNIF is to bring together people
  interested in unification, present recent (even unfinished) work,
  and discuss new ideas and trends in unification and related fields.
* Theme. Unification is concerned with the problem of identifying
  given terms, either syntactically or modulo a given logical
  theory. Unification is the basic operation of most automated
  reasoning systems.
* Topics. General E-unification and Calculi, Special Unification
  Algorithms, Matching, Narrowing, Higher-Order Unification,
  Combination problems, Disunification, Typed Unification, Constraint
  Solving, Unification Calculi, Type Checking and Reconstruction,
  Unification-Based approaches to Grammar, Applications, Implementations.
* Submission. Anyone interested in participating to UNIF 2002, should
  send an email message to unif2002@lri.fr not later than June 1,
  indicating their full name and address and whether they intend to
  give a talk. This does not replace the usual registration procedure
  of FLoC, please see the FLoC web page (http://floc02.diku.dk) for
  information on how to register (FLoC early registration deadline:
  June 15). Those interested in giving a talk should also submit a
  Postscript or PDF file of an extended abstract (2-4 pages prepared
  using LaTeX2e) and specify whether the talk will be a short (15 min)
  or a long one (30 min). Final versions of accepted submissions (5
  pages maximum) will be collected in a technical report.
* Important dates:
   - *Firm* Submission deadline: June 1
   - Notification of acceptance: June 7
   - Final versions:             June 24
* Organization Committee:
  Christophe Ringeissen (LORIA Nancy, France), Cesare Tinelli
  (Univ. Iowa, USA), Ralf Treinen (Univ. Paris-Sud,  France),
  Rakesh M. Verma (Univ. Houston, USA).



WORKSHOP ON PROOF, COMPUTATION, COMPLEXITY
  Call for participation
  Tuebingen (Germany), April 8 - 9, 2002
* The workshop is aimed at computer scientists and logicians who share
  an active interest in proof theory, computation and complexity
  theory. It focusses on recent developments in these fields, and it
  strongly supports discussion of perspectives in future research.
  In particular, we would like to welcome young researchers to
  participate.
* Further information can be obtained from the following web page:
  http://www-ls.informatik.uni-tuebingen.de/logik/kahle/pcc.html
* Contact addresses:
  Birgit Elbl (birgit@informatik.unibw-muenchen.de)
  Reinhard Kahle (kahle@informatik.uni-tuebingen.de)



WORKSHOP ON CATEGORICAL METHODS FOR CONCURRENCY, INTERACTION, AND
MOBILITY
  Brno, Czech Republic, 24 August 2002
  affiliated with CONCUR 2002
  http://www.cwi.nl/cmcim
* Topics of interest include: categorical algebras of processes,
  categorical methods in game semantics and geometry of interaction,
  categorical models of term/graph rewriting or rewriting logic,
  Chu spaces, coalgebras, bialgebras, coinduction, comparing models
  of concurrency, enriched categories of processes,
  interaction categories, presheaf models.
* Programme committee: Samson Abramsky (Oxford), Thomas Hildebrandt
  (Copenhagen), Alexander Kurz (Amsterdam), Ugo Montanari (Pisa),
  Prakash Panangaden (Montreal), Horst Reichel (Dresden),
  Jiri Rosicky (Brno), Bob Walters (Como).
* Submission of ps-files to kurz@cwi.nl (subject: CMCIM-submission)
* Submission deadline: May 24, 2002



INTERNATIONAL WORKSHOP ON TERM GRAPH REWRITING (TERMGRAPH 2002)
  (A satellite event of The First International Conference on Graph
  Transformation, ICGT 2002)
  Call for Papers
  Barcelona, Spain, October 7, 2002
  http://www.cs.york.ac.uk/~det/Termgraph_2002/cfp.html
* Topics of interest. All aspects of term graphs and sharing of common
  subexpressions in rewriting, programming, automated reasoning and symbolic
  computation. This includes (but is not limited to): Theory of first-order
  and higher-order term graph rewriting; graph rewriting in lambda calculus
  (sharing graphs, optimality); applications in functional, logic and
  functional-logic programming; applications in automated reasoning and
  symbolic computation; implementation issues; system descriptions
* Submissions. Authors are invited to submit an extended abstract of 5 to
  10 pages by e-mail to the program chair (det@cs.york.ac.uk). Submissions
  should be in PostScript format. It is strongly recommended to use LaTeX
  and ENTCS style files (http://math.tulane.edu/~entcs/).
* Publication. Accepted contributions will appear in an issue of Elsevier's
  Electronic Notes in Theoretical Computer Science.
* Important dates.
  Submission deadline:  June 15, 2002
  Notification:         July 15, 2002
  Final version due:    September 6, 2002
* Program committee. Zena M. Ariola (University of Oregon, Eugene),
  Richard Banach (University of Manchester), Rachid Echahed (IMAG, Grenoble),
  Richard Kennaway (University of East Anglia, Norwich), Jan Willem Klop
  (Free University of Amsterdam), Rinus Plasmeijer (University of Nijmegen),
  Detlef Plump (University of York, chair)



COLLOQUIUM ON THE OCCASION OF HELMUT SCHWICHTENBERG'S 60th BIRTHDAY
  Call for Participation
  Munich, April 6, 2002
  http://www.mathematik.uni-muenchen.de/~minlog/index.e.html
* Speakers:
  Gerhard Jaeger, Berne
  Hans Leiss, Munich
  Peter Paeppinghaus, Munich
  Robert Staerk, Zurich
  Anne Troelstra, Amsterdam
  Jaco van de Pol, Amsterdam
  Stan Wainer, Leeds
* The colloquium will start at 9am. In the evening there will be a
  birthday dinner at the restaurant "Weisses Braeuhaus". We would like
  to ask you to register for the dinner before March 25th using the
  following web address:
  http://www.mathematik.uni-muenchen.de/~minlog/register.html
* For further information - also about accommodation and travel - please
  consult:
  http://www.mathematik.uni-muenchen.de/~minlog/index.e.html
  or contact us by e-mail:
  minlog@mathematik.uni-muenchen.de
* For the organization committee:
  Ulrich Berger, Reinhard Kahle, Ralph Matthes.



ELEVENTH INTERNATIONAL WORKSHOP ON FOUNDATIONS OF MODELS AND LANGUAGES
FOR DATA AND OBJECTS: DATABASES, LOGIC AND SEMISTRUCTURED DATA (FMLDO'02)
  September 24-27, 2002
  Schloss Rauischholzhausen,  Germany
  http://www.fmldo.org/fmldo02/
* Scope of the Workshop Series: This international workshop will be
  the eleventh in a series focusing on foundations of models and
  languages for data and objects. The main principle of this workshop
  series is to concentrate on one selected topic and to offer the
  opportunity for in-depth exchange of ideas and experiences. In order
  to stimulate extensive discussions, presentation slots will be about
  one hour long.  In addition to the talks, there will be working
  groups and panel discussions.
* Topics: The general focus of this workshop will be on ``Databases,
  Logic and Semistructured Data''. Our goal is to bring researchers on
  deductive databases and researchers on semistructured data and the
  ``semantic web'' together. Papers on the combination of both areas
  will be especially welcome, but we will also accept contributions on
  only one of the two areas.
* Invited Speakers: Wenfei Fan (Bell Laboratories and Temple
  University, Philadelphia, USA), Georg Gottlob (Technical University
  of Vienna, Austria), Jack Minker (University of Maryland, USA).
* Important Dates:
  Submission: May 13, 2002
  Notification: July 8, 2002
  Camera Ready Papers Due: August 19, 2002
  Workshop: September 24-27, 2002
* Program Committee:
  Stefan Brass (chair), Peter Buneman (chair), Thomas Schwentick
  (chair), Francois Bry, Diego Calvanese, Vassilis Christophides,
  Stefan Conrad, Alin Deutsch, Juergen Dix, Thomas Eiter, Juliana
  Freire, Giorgio Ghelli, Martin Grohe, Michael Kifer, Georg Lausen,
  Leonid Libkin, Udo Lipeck, Rainer Manthey, Alberto Mendelzon, Frank
  Neven, Werner Nutt, Raghu Ramakrishnan, Dan Suciu, Jan Van den
  Bussche, Victor Vianu, Phil Wadler, Gerd Wagner, David Warren, Carlo
  Zaniolo
* Organizing Committee:
  Stefan Brass, Thomas Schwentick, Stefan Conrad



2ND INTERNATIONAL WORKSHOP ON REDUCTION STRATEGIES IN REWRITING AND
PROGRAMMING (WRS 2002)
  (affiliated with RTA 2002, part of FLoC 2002)
  Call for Papers
  Copenhagen, Denmark, July 21, 2002
  Website at FLoC: http://floc02.diku.dk/WRS/
  Main website: http://www.dsic.upv.es/users/elp/WRS2002
* Background: Reduction strategies in rewriting and programming have
  attracted an increasing attention within the last years. Research in
  this field ranges from primarily theoretical questions about
  reduction strategies to very practical application and
  implementation issues. The workshop wants to provide a forum for the
  presentation and discussion of new ideas and results, as well as of
  surveys on existing knowledge in this area.
* Topics of interest include (but are not restricted to): theoretical
  foundations; strategies in different frameworks; strategies and
  their application in programming languages; properties,
  interrelations, combinations and applications of reduction
  strategies; program analysis and other semantics-based optimization
  techniques dealing with reduction strategies; specification and
  implementation techniques for reduction strategies.
* Submissions should not exceed 10 pages (except for survey
  papers) and be sent to wrs02@dsic.upv.es.
  Submission deadline: April 15, 2002. Notification: May 27, 2002.
* Invited Speakers: Aart Middeldorp (U Tsukuba), Vincent van Oostrom
  (U Utrecht).
* Program committee: S. Antoy (U Portland State), R. Di Cosmo (U Paris
  VII), B. Gramlich (TU Wien, co-chair), M. Hanus (U Kiel),
  C. Kirchner (LORIA, Nancy), P. Klint (CWI Amsterdam), S. Lucas (TU
  Valencia, co-chair), M. Schmidt-Schauss (U Frankfurt a.M.),
  Y. Toyama (U Tohoku).
* Proceedings: The final workshop proceedings will be published in the
  Electronic Notes in Theoretical Computer Science (ENTCS) series
  (http://www.elsevier.nl/locate/entcs) of Elsevier. Preliminary
  hardcopy proceedings will be available at the workshop.



SECOND INTERNATIONAL WORKSHOP ON COMPLEXITY IN AUTOMATED DEDUCTION
  (affiliated with CADE-18 within FLoC'02)
  Copenhagen, Denmark
  July 25-26 2002
  http://www.loria.fr/~hermann/workshop2002eng.html
* The Workshop on Complexity in Automated Deduction will bring
  together researchers who work on or have a serious interest in
  problems that are in the interface between automated deduction and
  computational complexity. The aim of the workshop is to enhance the
  interaction between automated deduction and computational complexity
  through invited and contributed talks that will present
  comprehensive overviews, report on state-of-the art advances, and
  expand the horizons of this area of research.
* Invited speakers: Marco Cadoli (Università di Roma La Sapienza,
  Roma, Italy), Hubert Comon (LSV, ENS Cachan, France), Erich Grädel
  (RWTH Aachen, Germany), Martin Grohe (University of Edinburgh, UK),
  Phokion G. Kolaitis (University of California, Santa Cruz, USA),
  Paliath Narendran (SUNY Albany, USA), Reinhard Pichler (Siemens AG
  Austria and TU Wien, Vienna, Austria), Pavel Pudlak (Mathematical
  Institute, Academy of Sciences, Prague, Czech Republic), Andrei
  Voronkov (University of Manchester, UK)
* Contributed talks: In addition to the invited presentations, there
  will be contributed talks. If you are interested in giving such a
  contributed talk, please send an abstract, preferably as a
  PostScript® attachment, to Miki.Hermann@loria.fr no later than
  Friday, May 10, 2002.
  Authors will by notified of acceptance on May 31, 2002. The final
  versions of accepted papers are due on June 7, 2002.
* Organizers: Georg Gottlob (TU Wien, Vienna, Austria), Miki Hermann
  (LORIA, Nancy, France), Michael Rusinowitch (LORIA, Nancy, France)



FIRST NORTH AMERICAN SUMMER SCHOOL IN LOGIC, LANGUAGE, AND INFORMATION
(NASSLI'02)
  June 24-30, 2002, Stanford, California, USA
  http://www.stanford.edu/group/nasslli
* Theme. The thematic focus of NASSLLI is modeled on that of its
  European sister event, ESSLLI. As it is customary with schools of
  this nature, the classes will run from foundational and introductory
  to advanced. Each lecturer will give a set of five one hour lectures
  on a topic suitable for a broad audience interested in the interface
  of logic, language, and computation.
* Audience. NASSLLI is ideal for graduate and advanced undergraduate
  students in linguistics, computer science, philosophy, mathematics
  and psychology, as well as postdoctoral students, IT professionals,
  and faculty seeking to extend their knowledge of the field.
* Program to date:
  - Martin Abadi (CS, UCSC) [Computer Security]
  - Samson Abramsky (CS, Oxford) [Games in Computer Science]
  - Sergei Artemov (CS, CUNY New York) [Proof Polynomials]
  - Patrick Blackburn (INRIA Lorraine) [Lectures on Hybrid Logic]
  - Craig Boutilier (CS, University of Toronto) [Logical and Statistical
    Methods in AI]
  - Joan Bresnan (Linguistics, Stanford) [Optimality Theory]
  - Paul Dekker (Philosophy, Amsterdam) [Dynamics, Semantics, Pragmatics]
  - R.E. Jennings (Philosophy, Simon Fraser University) [Logicalization]
  - Ed Keenan (Linguistics, UCLA) [A Mathematical Theory of Grammatical
    Theories]
  - Phokion Kolaitis (CS, UCSC) [Constraint Satisfaction, Complexity, and
    Logic]
  - Larry Moss (Math, Indiana) [Dynamic Epistemic Logic]
  - Marc Pauly and Mike Wooldridge (Liverpool) [Modal Logic and Agents]
  - Fernando C.N. Pereira (Computer and Information Science, UPenn)
    [Machine Learning in Natural Language Processing]
  - Frank Veltman (Logic & Cognitive Science, Amsterdam) [Logic in AI]
  - Dag Westerstahl (Philosophy, Stockholm) and Stanley Peters
    (Linguistics, Stanford) [Generalized Quantifiers]
* In addition to lectures, the event will include workshops, evening
  lectures by distinguished researchers, as well as sporting events,
  party and more.



TYPES SUMMER SCHOOL: THEORY AND PRACTICE OF FORMAL PROOFS
  September 2-13, 2002, Giens, French Riviera, France
  organized by the the IST European project "TYPES"
  (Computer-Assisted Reasoning based on Type Theory).
  URL: http://www-sop.inria.fr/certilab/types-sum-school02/
* Scope: This two weeks' course is for postgraduate students,
  researchers and industrials who want to learn about interactive
  proof development.  There will be introductory and advanced lectures
  on lambda calculus, type theory, logical frameworks, program
  extraction, and other topics which give relevant theoretical
  background.  Several talks will be devoted to the presentation of
  applications.  The proof assistants presented in the school
  represent the current state-of-the-art in interactive theorem
  proving.  Participants will get extensive opportunities to use the
  systems in a workstation environment for developing their own proofs.
* Deadline for application: Friday April 19, 2002.



BOOK ANNOUNCEMENT
  Foundations of Object-Oriented Programming Languages:
  Types and Semantics
  Kim B. Bruce
  The MIT Press, 2002, ISBN 0-262-02523-X
  http://www.cs.williams.edu/~kim/FOOPL.html
* This text explores the formal underpinnings of object-oriented
  languages to help the reader understand the fundamental concepts of
  these languages and the design decisions behind them.
* The text begins by analyzing existing object-oriented languages,
  paying special attention to their type systems and impediments to
  expressiveness. It then examines two key features: subtypes and
  subclasses. After a brief introduction to the lambda calculus, it
  presents a prototypical object-oriented language, SOOL, with a
  simple type system similar to those of class-based object-oriented
  languages in common use. The text offers proof that the type system
  is sound by showing that the semantics preserves typing
  information. It concludes with a discussion of desirable features,
  such as parametric polymorphism and a MyType construct, that are not
  yet included in most statically typed object-oriented languages."
* The target audience for the book includes researchers, graduate
  students, and others interested in understanding the types,
  semantics, and language design issues relevant to the study of
  object-oriented languages.



ROLF SCHOCK PRIZE AWARDED TO KRIPKE
* The 2001 Rolf Schock Prize in Logic and Philosophy has been awarded
  to Saul A. Kripke, Professor Emeritus at Princeton University, "for
  his creation of the modal-logical semantics that bear his name and
  for his associated original and profound investigations of identity,
  reference and necessity."
* Dr. Rolf Schock, who died in 1986, specified in his will that half
  of his estate should be used to fund four prizes in the fields of
  logic and philosophy, mathematics, the visual arts, and music. It
  was his wish that the prizes in logic and philosophy and in
  mathematics should be awarded by the Royal Swedish Academy of
  Sciences, and those in the visual arts and music by the Royal
  Academy of Fine Arts and the Royal Swedish Academy of Music
  respectively.
* Beginning in 1993, the prizes are awarded every two years at a joint
  ceremony. The 2001 Prizes were presented by Princess Christina at a
  ceremony in the Great Hall of the Royal Swedish Academy of Music on
  October 25, 2001, and carry an award of SEK 500,000 (around
  $50,000).



Back to the LICS web page.