[Past issues of the newsletter are available at http://logik.mathematik.uni-freiburg.de/lics/newsletters/ http://www.math.uic.edu/lics/newsletters/] TABLE OF CONTENTS * 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 FORMAL METHODS EUROPE (FME 2001) Berlin, Germany March 12-16, 2001 http://www.informatik.hu-berlin.de/top/fme2001 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 development. * 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 demonstrations. * 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 (co-chair). * 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 EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE, AND INFORMATION (ESSLLI-2001) Helsinki, Finland August 13-24, 2001 http://www.folli.uva.nl/Esslli/2001/esslli-2001.html 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) FESTIVAL WORKSHOP IN FOUNDATIONS AND COMPUTATIONS Edinburgh, UK July 16-18, 2000 http://www.cee.hw.ac.uk/~fairouz/festival/workshop1/ 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 firstname.lastname@example.org. Grants are available for parts or all of the registration fees and accommodation. Contact email@example.com 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). BOOK ANNOUNCEMENT Labelled Non-Classical Logics Luca Viganò Kluwer Academic Publishers, 2000, ISBN 0-7923-7749-4 http://www.informatik.uni-freiburg.de/~luca * 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 URL http://www.kap.nl/book.htm/0-7923-7749-4
Back to the LICS web page.
Martin Grohe Last modified: July 3, 2000