Newsletter 82
November 27, 2002

* Past issues of the newsletter are available at
* Instructions for submitting an announcement to the newsletter
  can be found at

  LICS 2003 Call for Papers
  FICS 03 Call for Papers
  RTA 03 Call for Papers
  FM 03 Call for Papers
  FGC 2003 Call for Papers
  ICDT 2003 Call for Participation
  Concepts in Programming Languages, by John C. Mitchell
  Specifying Software, by R.D.Tennent
  Modal Logic (paperback), by Blackburn, de Rijke and Venema
  Special Issue of Journal of Logic and Computation - Modalities in
    Constructive Logics and Type Theories

  Ottawa, Ontario, Canada, 22-25 June 2003
  Call for Papers
* The Eighteenth IEEE Symposium On Logic In Computer Science will be held
  in Ottawa, Ontario from 22nd to the 25th of June 2003.
* The LICS Symposium is an annual international forum on theoretical
  and practical topics in computer science that relate to logic in a
  broad sense. We invite submissions on that theme. Suggested, but not
  exclusive, topics of interest for submissions include: automata theory,
  automated deduction, categorical models and logics, concurrency and
  distributed computation, constraint programming, constructive mathematics,
  database theory, domain theory, finite model theory, formal aspects of
  program analysis, formal methods, hybrid systems, lambda and combinatory
  calculi, linear logic, logical aspects of computational complexity,
  logics in artificial intelligence, logics of programs, logic programming,
  modal and temporal logics, model checking, programming language semantics,
  reasoning about security, rewriting, specifications, type systems and
  type theory, and verification.
* Program committee: Michael Benedikt, Andreas R. Blass, Maria Luisa Bonet,
  Witold Charatonik, Marcelo Fiore, Giorgio Ghelli, Thomas A. Henzinger,
  Alan Jeffrey, Assaf J. Kfoury, Phokion G. Kolaitis, Orna Kupferman,
  Ursula Martin, Paul-Andre Mellies, Eugenio Moggi, Ugo Montanari,
  Paliath Narendran, Luke Ong, Martin Otto, Frank Pfenning,
  Mirek Truszczynski.
* Invited speakers: Erich Gradel (RWTH Aachen), John Harrison (Intel Corp.),
  Marta Kwiatkowska (U. Birmingham), John McCarthy (Stanford U.).
* Invited tutorials: Martin Abadi (UC Santa Cruz), Benjamin Pierce (U.
* Kleene Award for Best Student Paper:  An award in honor of
  the late S.C. Kleene will be given for the best student paper,
  as judged by the program committee. For a submission to be eligible,
  the research presented in the paper must have been carried out while
  all authors were full-time students.
* Deadlines:  title & short abstract: December 30, 2002; extended
  abstract: January 6, 2003.
* For the required format of submissions see the LICS Website:

  12-13 April, 2003, Warsaw, Poland (affiliated with ETAPS 2003)
  Call for Papers
* Topics include, but are not restricted to:
  Construction and reasoning about properties of fixed
  points, categorical, metric and ordered fixed point
  models, continuous algebras, relation algebras, regular
  algebras of finitary and infinitary languages, formal
  power series, word and tree automata, the mu-calculus
  and other programming logics, fixed points in process
  algebras and process calculi, fixed points and the
  lambda calculus, fixed points in relation to dataflow
  and circuits, fixed points in logic programming,
  databases and complexity theory.
* Submission. Authors are invited to send
  three copies of an abstract not exceeding
  three pages to Igor Walukiewicz. Electronic
  submissions in the form of uuencoded postscript
  files are encouraged and can be sent to
* Submission Deadline: February 14, 2003.
* Invited speakers. Martin Grohe (Edinburgh), Erich Gradel (Aachen),
  Damian Niwinski (Warsaw), Leszek Pacholski (Wroclaw)
* Program committee. J. Adamek (Braunschweig), R. Amadio (Marseille),
  R. Backhouse (Nottingham), S. Bloom (Hoboken NJ),
  J. Bradfield (Edinburgh), A. Dawar (Cambridge),
  R. De Nicola (Florence), Z. Esik (cochair, Szeged),
  I. Guessarian (Paris), M. Mislove (Tulane),
  I. Walukiewicz (cochair, Bordeaux)

  Valencia, Spain, June 9-11, 2003
  Call for papers
* RTA is the major forum for the presentation of
  research on all aspects of rewriting.
* Program committee: Harald Ganzinger, Claude Kirchner, Salvador Lucas,
  Chris Lynch, Jose Meseguer, Robert Nieuwenhuis, Tobias Nipkow,
  Vincent van Oostrom, Christine Paulin, Frank Pfenning,
  Mario Rodriguez-Artalejo, Sophie Tison, Ashish Tiwari,
  Andrei Voronkov, Hantao Zhang
* Deadlines: January 15 2003 electronic submission of title + abstract;
  January 22 2003 electronic submission of papers

  Pisa, Italy - September 8-14, 2003
  Call for Papers
* FM 2003 is the twelfth in a series of symposia organized by Formal
  Methods Europe, an independent association whose aim is to stimulate
  the use of, and research on, formal methods for software development.
* Submission deadline: March 7, 2003 (papers and workshop/tutorial

  28-29 June 2003, Eindhoven, The Netherlands (co-located with ICALP2003)
  Announcement and Call for Papers
* Foundations of Global Computing focuses on foundational aspects of
  global computing, and invites submissions of original scientific work
  thereof. A non-exclusive list of topics includes: calculi, models,
  and semantic theories of concurrent, distributed, mobile,
  global-computing systems; languages, security, types, protocols
  and algorithms for global computing. Further points of specific
  interest are grid computing, peer-to-peer systems, game-theoretic
  approaches, protocol analysis, trust management, language-based security,
* Program committee: Luca Cardelli, Rocco De Nicola, Andrew D. Gordon,
  Jan van Leeuwen, John C. Mitchell, Eugenio Moggi, Ugo Montanari,
  Greg Morrisett, Mogens Nielsen, Don Sannella, Vladimiro Sassone,
  Vasco T. Vasconcelos, Martin Wirsing.
* Invited speakers: Cedric Fournet (Microsoft Research), Robert Harper (CMU),
  Martin Hofmann (LMU Munich), Li Gong (SUN Microsystems)
* Submission deadline: 27 April 2003

  Rettorato dell'Universita' di Siena, Siena, Italy, 8-10 January 2003
  Call for participation
* The series of ICDT conferences provides a biennial, international
  forum for the  communication of research  advances on the principles
  of database systems.
* Invited talks:
  Hector Garcia-Molina, "Open Problems in Peer-to-Peer Systems"
  Yannis Ioannidis, "Approximations in Database Systems"
  Limsoon Wong, "Bioinformatics Adventures in Database Research"
* Registration is open, see Web page for details.

  Concepts in Programming Languages
  John C. Mitchell (Stanford)
  Cambridge University Press, 2002, ISBN 0-521-78098-5
* Unrivalled in breadth and depth of presentation, this undergraduate
  textbook covers the theory and practical implications of modern programming
* Solutions to exercises and Powerpoint slides to help run courses
  available from the above web site. Inspection copies can also be requested
* Object-orientation is featured strongly as well as comprehensive coverage
  of traditional materials, and a chapter on Logic programming and Prolog, by
  Krysztof Apt

  Specifying Software
  R.D.Tennent (Queen's University, Ontario)
  Cambridge University Press, 2002, 0-521-00401-2
* This undergraduate textbook provides a novel hands-on approach to
  teaching software specification, with realistic examples and case studies.
* Teaches formal specification with minimal mathematical prerequisites,
  allowing the subject to be taught earlier.
* Includes exercises with selected hints for self-testing

  Modal Logic
  Patrick Blackburn (LORIA), Maarten de Rijke (University of Amsterdam),
    Yde Venema (University of Amsterdam)
  Cambridge University Press, 2002 0-521-52714-7
* Now available in paperback, this popular graduate text on modal logic is
  designed for both novices and experienced readers, with two different paths
  though the book, signposted in each chapter
* Focuses on the use of modal languages as tools to analyse the properties
  of relational structures including algorithmic and algebraic aspects
* Completeness, computability and complexity are also considered

  Modalities in Constructive Logics and Type Theories
  Call for Papers
* Constructive and modal logics are of foundational and practical
  relevance to Computer Science.  Constructive logics are used as type
  disciplines for programming languages, as metalogics for
  denotational semantics, in the paradigm of program extraction from
  proofs and for interactive proof development in automated deduction
  systems such as Agda, Coq, Twelf, Isabelle, HOL, NuPrl and
  Plastic. Modal logics like temporal logics, dynamic logics and
  process logics are used in industrial-strength applications as
  concise formalisms for capturing reactive behaviour.  Although
  constructive and modal frameworks have typically been investigated
  separately, a growing body of published work shows that both
  paradigms can (and should) be fruitfully combined.
* This special issue aims: to give a state-of-the-art snapshot of
  recent advances in the study of constructive modalities; to put
  equal focus on the theory-oriented as well as the application-oriented
  approaches; and to bring together two largely parallel communities -
  computer scientists with a focus on proof theory and lambda calculi,
  and logicians and philosphers with a focus on model theory.
* Submissions must be original work, which has not been previously
  published in a journal and is not being considered for publication
  elsewhere. Manuscripts should be type written on one side only with
  wide margins, and not longer than 30 pages. The typing should be
  double-spaced. Pages should be numbered consecutively. A title page
  must include: full title, authors' full names and affiliations, and
  the address to which correspondence and proofs should be sent. Where
  possible, e-mail address and telephone number should be included. This
  should be followed by an abstract of approximately 300 words and five
  key words for indexing.
* Send a .ps or .pdf file to
  or post a hard copy to  Michael Mendler, Informatics Theory Group,
  Faculty of Business and Applied Informatics,
  The Otto-Friedrich University of Bamberg, Feldkirchenstr. 21,
  D-96045 Bamberg, Germany

Back to the LICS web page.