Newsletter 82
November 27, 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
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
* BOOK ANNOUNCEMENTS
Concepts in Programming Languages, by John C. Mitchell
Specifying Software, by R.D.Tennent
Modal Logic (paperback), by Blackburn, de Rijke and Venema
* JOURNALS
Special Issue of Journal of Logic and Computation - Modalities in
Constructive Logics and Type Theories
IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE 2003
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.
Pennsylvania).
* 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:
http://www.lfcs.informatics.ed.ac.uk/lics
WORKSHOP ON FIXED POINTS IN COMPUTER SCIENCE (FICS 03)
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 igw@labri.fr.
* 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)
* http://www.labri.fr/~igw/fics
REWRITING TECHNIQUES AND APPLICATIONS (RTA 03)
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
* http://www.dsic.upv.es/~rdp03/rta
12TH INTERNATIONAL FME SYMPOSIUM (FM 2003)
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
proposals)
* http://fme03.isti.cnr.it
2nd EATCS WORKSHOP ON FOUNDATIONS OF GLOBAL COMPUTING
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
* http://www.cogs.susx.ac.uk/users/vs/fgc
THE 9TH INTERNATIONAL CONFERENCE ON DATABASE THEORY (ICDT 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.
* http://www.consultaumbria.com/icdt2003/
BOOK ANNOUNCEMENT
Concepts in Programming Languages
John C. Mitchell (Stanford)
Cambridge University Press, 2002, ISBN 0-521-78098-5
http:/www.cambridge.org/computerscience/mitchell
* Unrivalled in breadth and depth of presentation, this undergraduate
textbook covers the theory and practical implications of modern programming
languages.
* Solutions to exercises and Powerpoint slides to help run courses
available from the above web site. Inspection copies can also be requested
here.
* Object-orientation is featured strongly as well as comprehensive coverage
of traditional materials, and a chapter on Logic programming and Prolog, by
Krysztof Apt
BOOK ANNOUNCEMENT
Specifying Software
R.D.Tennent (Queen's University, Ontario)
Cambridge University Press, 2002, 0-521-00401-2
http://books.cambridge.org/0521004012.htm
* 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
BOOK ANNOUNCEMENT
Modal Logic
Patrick Blackburn (LORIA), Maarten de Rijke (University of Amsterdam),
Yde Venema (University of Amsterdam)
Cambridge University Press, 2002 0-521-52714-7
http://books.cambridge.org/0521527147.htm
* 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
SPECIAL ISSUE OF JOURNAL OF LOGIC AND COMPUTATION
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 michael.mendler@wiai.uni-bamberg.de
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.