Newsletter 67

July 4, 2000
[Past issues of the newsletter are available at]

* Call for Submissions
  Formal Methods Europe (FME 2001)
* Call for Proposals
  European Summer School in Logic, Language and Information (ESSLLI-2001)
* Call for Participation
  Festival Workshop in Foundations and Computations  
* Book Announcement
  Labelled Non-Classical Logics by Luca Vigano

  Berlin, Germany
  March 12-16, 2001
  Call for Papers
* FME 2001 is the tenth in a series of symposia organised by Formal
  Methods Europe, an independent association whose aim is to stimulate
  the use of, and research on, formal methods for software
* The theme of FME 2001 is Formal Methods for Increasing Software
  Productivity.  This theme recognizes that formal methods have the
  potential to do more for industrial software development than
  enhance software quality--they can also increase productivity at
  many different points in the software life-cycle.  The symposium
  committee is particularly interested in papers on the use of formal
  methods to increase productivity, for example on: Codifying domain
  knowledge, Re-using components, Automatically generating code and/or
  documentation, Improving the efficiency of software testing,
  Enhancing analysis techniques for validation and verification,
  Exploiting commonalities within product families, Improving the
  maintainability and modifiability of software, Empirical studies of
  effects on productivity.  The scope of the symposium also includes
  all other aspects of the use of formal methods for development of
  software in all application areas.
* In addition to presentations of submitted papers, the symposium will
  also offer tutorials, workshops, invited speakers, and tool
* Programme Committee: Eerke Boiten, Rick Butler, Lars-Henrik
  Eriksson, John Fitzgerald, Peter Gorm Larsen, Yves Ledru, Dominique
  Mery, Jayadev Misra, Richard Moore, Friederike Nickl, Tobias Nipkow,
  Jose Oliveira (co-chair), Paritosh Pandya, Nico Plat, Amir Pnueli,
  Augusto Sampaio, Steve Schneider, Jim Woodcock, Pamela Zave
* Important dates:
  Deadline for submission of papers, tutorial proposals, 
  and workshop proposals:                           25th August, 2000
  Notification of acceptance/rejection:             17th November, 2000
  Camera ready final version of papers due:         5th January,  2001

  Helsinki, Finland
  August 13-24, 2001
  Call for Proposals
* The main focus of the European Summer Schools in Logic, Language and
  Information is the interface between linguistics, logic and
  computation.  Foundational, introductory and advanced courses
  together with workshops cover a wide variety of topics within six
  areas of interest: Logic, Computation, Language, Logic and
  Computation, Computation and Language, Language and Logic.  Previous
  summer schools have been highly successful, attracting around 500
  students from Europe and elsewhere. The school has developed into an
  important meeting place and forum for discussion for students and
  researchers interested in the interdisciplinary study of Logic,
  Language and Information.  ESSLLI-2001 is organised under the
  auspices of the European Association for Logic, Language and
  Information (FoLLI).
* The ESSLLI-2001 Programme Committee invites proposals for
  foundational, introductory, and advanced courses, and for workshops
  for the 13th annual Summer School on a wide range of topics in the
  following fields: Logic, Language, Computation, Language and Logic,
  Logic and Computation, Language and Computation
* In addition to courses and workshops there will be a Student
  Session. A Call for Papers for the Student Session will be
  distributed separately.
* For details of the proposal submission, see the ESSLLI-2001 webpage.
* Important Dates:
  Proposal Submission Deadline				Jul 23, 2000 
  Notification						Sep 15, 2000
  Deadline for receipt of title, abstract, lecturer(s)
  information, course description and prerequisites	Nov 15, 2000
  Deadline for receipt of camera-ready course material  Jun  1, 2001
* Program Committee: Markus Kracht (chair), Bonnie Webber (Language)
  Joukko Väänänen (Logic) Steffen Hölldobler (Computation and Logic)
  Claire Gardent (Language and Computation) Claude Kirchner
  (Computation) Michael Moortgat (Logic and Language)

  Edinburgh, UK
  July 16-18, 2000
  Call for Participation
* This workshop is a part of a research festival at Heriot-Watt
  University, Edinburgh, during parts of the summer of 2000.  During
  the festival, international and national researchers spend
  short/long time at Heriot-Watt during which a lively research
  environment will take place. There will be many seminars during the
  festival details of which are advertised separately. When the visits
  coincide with a particular theme, a workshop will be held on that
  theme. If you like to take part in the festival and/or give a talk,
  contact Grants are available for parts or all
  of the registration fees and accommodation. Contact for details. The first workshop in the festival
  is a workshop on foundations and computations.
* Speakers: Gilles Dowek (INRIA-Rocquencourt, FR), Jan van
  Eijck(University of Amsterdam, NL), Jacques Fleuriot (University of
  Edinburgh, UK), calculus in Isabelle Therese Hardin (Paris 6 and
  INRIA-Rocquencourt, FR), Roger Hindley (University of Swansea, UK),
  Alan Mycroft (Cambridge University and AT&T Labs, UK), Gopalan
  Nadathur (University of Chicago, USA), Gopalan Nadathur (University
  of Chicago, USA), Iain Stewart (University of Leicester, UK).

  Labelled Non-Classical Logics
  Luca Viganò
  Kluwer Academic Publishers, 2000, ISBN 0-7923-7749-4
* The subject of the book is the development and investigation of a
  framework for the modular and uniform presentation and
  implementation of non-classical logics, in particular modal and
  relevance logics. Logics are presented as labelled deduction
  systems, which are proved to be sound and complete with respect to
  the corresponding Kripke-style semantics. We investigate the proof
  theory of our systems, and show them to possess structural
  properties such as normalization and the subformula property, which
  we exploit not only to establish advantages and limitations of our
  approach with respect to related ones, but also to give, by means of
  a substructural analysis, a new proof-theoretic method for
  investigating decidability and complexity of (some of) the logics we
  consider. All of our deduction systems have been implemented in the
  generic theorem prover Isabelle, thus providing a simple and natural
  environment for interactive proof development.
* Ordering information. See the URL above and Kluwer's website at the

Back to the LICS web page.

Martin Grohe
Last modified: July 3, 2000