Newsletter 85
April 23, 2003
*******************************************************************
* 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 Participation
Typical Case Complexity and Phase Transitions - Announcement and Call
for Papers
Foundations of Global Computing - Call for Papers
MERLIN 2003 - Call for Papers
Kalmar Workshop on Logic and Computer Science - Call for Papers
Algebraic and Topological Methods in Non-classical Logics - Call
for Papers
Workshop on Feature Interactions in Telecommunications and Software
Systems - Call for Participation
ACSD 2003 - Call for Participation
* SUMMER SCHOOLS
EEF Global Computing Summer School
* BOOK ANNOUNCEMENTS
Computability and Models Perspectives East and West, edited by
S. Barry Cooper and Sergei S. Goncharov
Abstract State Machines. A Method for High-Level System Design
and Analysis, by Egon Boerger and Robert Staerk
Aspects of Complexity, Minicourses in Algorithmics, Complexity,
and Computational Algebra, edited by Rod Downey and
Denis Hirschfeldt - Price Reduction
EIGHTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2003)
June 22 - 25, 2003, Ottawa, Canada
http://www.dcs.ed.ac.uk/home/als/lics/lics03/
Call for Participation
* The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad
sense. The conference is intended to emphasize the relevance of logic
to computer science.
* The program of LICS 2003 features 4 invited talks, 2 invited tutorials,
34 contributed papers, and 14 short presentations. As in previous years,
there will be a number of workshops affiliated with the conference.
The full program is available on the conference website.
* Pre-LICS Summer School: The Fields Institute Summer School on Logic
and Foundations of Computation will be held at the University of
Ottawa, June 2-20, 2003. For information, see the summer school
web site at: http://www.mathstat.uottawa.ca/lfc/fields2003/
* Registration: LICS 2003 registration and conference information is
now available on the LICS 2003 website or directly at:
http://www.mathstat.uottawa.ca/lfc/lics2003/
* The deadline for early registration is Tuesday, May 20, 2003.
WORKSHOP ON TYPICAL CASE COMPLEXITY AND PHASE TRANSITIONS
Affiliated with LICS 2003
June 21, 2003, Ottawa, Canada
Announcement and Call for Papers
http://www.scs.carleton.ca/~kranakis/LICS-03.html
* Typical-case complexity refers to algorithmic complexity that holds
with high probability for a class of random instances of a problem.
Usually, the class of instances considered is parameterized by a
"control parameter." It has been observed that for many computationally
interesting problems, their typical-case complexity undergoes an abrupt
change (phase transition) about a critical value of the control
parameter. At the same critical region, other phenomena of combinatorial
interest are often observed. Papers reporting on experimental and
theoretical research in this area are solicited, especially if they are
the outcome of cross-fertilization between computer simulation results
and mathematical advances in discrete mathematics, probability theory or
theoretical computer science. Of particular interest are threshold
phenomena in which logic comes into play and connections to Proof
Complexity, Satisfiability, and Statistical Physics.
* Program committee: J. Chayes; N. Creignou; L. Kirousis;
E. Kranakis; D. Krizanc.
* Invited speakers (confirmed): Jennifer Chayes (Seattle);
Nadia Creignou (Marseille); Paul Beame (Seattle); John Franco (Cincinnati)
* Submit short abstracts of at most five pages in ps or pdf either to
kirousis@ceid.upatras.gr or kranakis@scs.carleton.ca
* Submission deadline: April 28, 2003
FOUNDATIONS OF GLOBAL COMPUTING (FGC), 2nd EATCS WORKSHOP
co-located with ICALP 2003, 28-29 June 2003, Eindhoven, The Netherlands
Call for Papers
http://www.cogs.susx.ac.uk/users/vs/fgc
* Foundations of Global Computing focuses on foundational aspects of
global computing, and invites submissions of original scientific work
thereof.
* The workshop proceedings will be published in the ENTCS series and a
selection of papers will appear in a special issue of a leading
Computer Science journal. It will be held as a ICALP 2003 satellite
event under the auspices of the EATCS.
* Invited Speakers: Cedric Fournet (Microsoft Research); Robert Harper (CMU);
Martin Hofmann (LMU Munich); Li Gong (SUN Microsystems)
* Authors are invited to submit an extended abstract of their papers,
presenting original contributions to the workshop themes. Submissions
should be in English and not exceed 15 standard pages. They should be
sent as PS or PDF files to fgc@cogs.susx.ac.uk and be accompanied by
a text-only message containing: title, abstract and keywords, the
authors' full names, and address and e-mail for correspondence.
Simultaneous submission to other meetings with published proceedings
is not allowed.
* Submission deadline: 27 Apr 2003
SECOND ACM WORKSHOP ON MECHANIZED REASONING ABOUT LANGUAGES WITH
VARIABLE BINDING (MERLIN 2003)
Affiliated with PLI 2003
Uppsala, Sweden, August 26, 2003
Call for papers
http://merlin.dimi.uniud.it/
* Theme. The automation of the metatheory of programming languages,
particularly work which involves variable binding and fresh name
generation. Theoretical and practical problems of encoding variable
binding, especially the representation of, and reasoning about,
datatypes defined from binding signatures.
* Invited speaker: Simon Peyton Jones
* Papers should be submitted electronically as a PostScript or PDF file
to the email address merlin03@dimi.uniud.it.
* Deadline for paper submission: June 16, 2003
* Program Committee: Simon Ambler (University of Leicester), Furio
Honsell (University of Udine), Marino Miculan (University of Udine,
Italy), Dale Miller (INRIA/Futurs, France), Ugo Montanari (University of
Pisa, Italy), Tobias Nipkow (Technische Universitat Muenchen Germany),
Andrew M. Pitts (University of Cambridge, UK), Carsten Schuermann (Yale
University, USA).
KALMAR WORKSHOP ON LOGIC AND COMPUTER SCIENCE
Call for Papers
Szeged, Hungary, October 1 - 2, 2003
http://www.rgai.hu/kalmar2003
* Laszlo Kalmar (1905 - 1976) was a pioneer in mathematical
logic and computer science. The objective of the workshop is to
commemorate his work, and to present recent research results in
the broad area of logic and computer science.
* Workshop Chair: F. Gecseg (Szeged)
* Workshop Co-Chairs: J. Csirik (Szeged), Gy. Turan (Szeged, Chicago)
* Invited speakers include: E. Graedel (Aachen), A. Hajnal (New
Brunswick, Budapest), J. Lloyd (Canberra), G. Proszeky (Budapest)
* Co-located Event: 13th International Conference on Inductive Logic
Programming (ILP 2003), September 29 - October 1, 2003.
* Publication: the accepted papers will be available in a booklet of
notes at the workshop. A special journal issue is under consideration.
* Important dates:
Paper submission: June 30, 2003
Notification of acceptance: August 15, 2003
Final version submission: September 15, 2003
* Submission information: Submitted papers should be extended abstracts
up to 10 pages. The papers are to be submitted electronically in PDF
or PostScript form. For additional details, please see the workshop
home page.
* Program Committee: H. Andreka (Budapest), A. Atserias (Barcelona),
S. Bloom (Hoboken), J. Csirik (Szeged), J. Demetrovics (Budapest),
B. Domolki (Budapest), M. Grohe (Edinburgh), J. Makowsky (Haifa),
A. Salomaa (Turku), Gy. Turan (chair, Szeged, Chicago)
* Organizing Committee: D. Csendes, T. Koles, B. Szorenyi
ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS
Tbilisi, Georgia, 7 - 11 July 2003
Final Call for Papers
http://piscopia.nmsu.edu/morandi/TbilisiConference
* The aim of this conference is to present some recent advances in the
use of algebraic, order-theoretic, and topological methods in
non-classical logics. We also hope to bring together researchers
in the fields of non-classical logics, lattice theory, universal algebra,
category theory, and general topology in order to foster collaboration
and to get new ideas for further research.
* Conference Topics: lattices with operators, topological semantics of
modal logic, topological and topos semantics of intuitionistic logic,
ordered topological spaces.
* Invited Speakers: Johan van Benthem, University of Amsterdam;
Leo Esakia, Georgian Academy of Sciences; Mai Gehrke, New Mexico
State University; John Harding, New Mexico State University;
Ramon Jansana, University of Barcelona; Daniele Mundici, Milan
University; Yde Venema, University of Amsterdam; Michael
Zakharyaschev, King's College; Marek Zawadowski, University of Warsaw.
* Call for papers: If you wish to speak at the conference, please send
by email a title and abstract of your talk to Guram Bezhanishvili
(gbezhani@nmsu.edu). The deadline for submissions is 1 May. We will
let you know by 15 May if you will be invited to speak at the
conference. The deadline to register for the conference is 1 June.
* For further information, contact Guram Bezhanishvili
(gbezhani@nmsu.edu) or Pat Morandi (pmorandi@nmsu.edu).
SEVENTH INTERNATIONAL WORKSHOP ON FEATURE INTERACTIONS IN
TELECOMMUNICATIONS AND SOFTWARE SYSTEMS
10th June to 13th June, 2003, Ottawa, Canada.
http://www.site.uottawa.ca/fiw03/
Call for Participation
* The Feature Interaction Workshop is the primary international forum for
discussion and reporting on research in the feature interaction problem
in telecommunications and software systems. The workshop aims to bring
together representatives of the telecommunications industry, the
software industry, and the research community working on various aspects
of feature interactions in order to discuss possible solutions and their
practical applications, as well as setting directions for further
research. Active debates will be encouraged.
* Proposals for poster presentations and tool demonstrations, including
title, authors, and short description (400 words maximum) should be sent
to FIW03@site.uottawa.ca before May 17th.
* Registration forms are available on the Workshop's Web site. Early
birds' rates are valid until May 9th. Special rates for students are
also available, but places are limited. It is possible to register to
the tutorials, to the Workshop, or to both. Register now!
APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD 2003)
18-20 June, 2003 Guimaraes, Portugal
Call for Participation
* The registration form, the list of accepted papers, and
other information are available from
http://get.dsi.uminho.pt/acsd03/
EEF GLOBAL COMPUTING SUMMER SCHOOL
Edinburgh, Scotland, 7th to 11th July 2003
http://www.lfcs.informatics.ed.ac.uk/events/global-computing/
* Description. This school provides researchers with insights into
the problems of the design and construction of global computing
systems. Global computation is an active field of research which
includes distributed and mobile computation and addresses the
foundational problems in the area such as security, access control,
resource control, discovery, architecture and decentralised
organisation. The fundamental tools used to analyse and build such
systems are type systems, process algebras, modelling languages and
state-of-the-art programming languages and environments.
* Speakers. Ian Clarke (provisional); Andrew Gordon; Martin Hofmann;
Rocco de Nicola; Davide Sangiorgi; and Martin Wirsing.
* Applications. A number of scholarships are available. Whether or
not they are applying for funding, anyone who wishes to attend must
apply via the form on the Web page by Friday 16th May 2003.
BOOK ANNOUNCEMENT
Computability and Models Perspectives East and West
edited by S. Barry Cooper and Sergei S. Goncharov
Kluwer Academic/Plenum Publishers, Hardbound, ISBN 0-306-47400-X
January 2003, 388 pp.
EUR 142.00 / USD 135.00 / GBP 90.50
Book Series: University Series in Mathematics
* There are few notions as fundamental to contemporary science as those of
computability and modelling. 'Computability and Models' attempts to make
some of the exciting and important new research developments in this area
accessible to a wider readership. Written by international leaders drawn
from major research centres both East and West, this book is an essential
addition to scientific libraries serving both specialist and the
interested non-specialist reader.
* Order at: http://www.wkap.nl/prod/b/0-306-47400-X
BOOK ANNOUNCEMENT
Abstract State Machines. A Method for High-Level System Design and Analysis
Egon Boerger and Robert Staerk
Springer Verlag, 2003, ISBN 3-540-00702-4
http://www.di.unipi.it/AsmBook/
* The systems engineering method proposed in this book, which is based
on Abstract State Machines (ASMs), guides the development of software
and embedded hardware-software systems seamlessly from requirements
capture to actual implementation and documentation. Within a single
conceptual framework it covers design, verification by reasoning
techniques, and validation by simulation and testing. ASMs improve
current industrial practice by using accurate high-level modeling and
by linking the descriptions at the successive stages of system
development in an organic and efficiently maintainable chain of
rigorous and coherent system models at stepwise-refined abstraction
levels.
* The book combines the features of a textbook and a
handbook. Researchers will find here the most comprehensive
description of ASMs available today and professionals will use it as a
"modeling handbook for the working software engineer." As a textbook
it supports self-study or it can form the basis of a lecture
course. The book is complemented by a CD containing the whole book
text, additional course material, solutions to exercises, and
additional examples.
* Ordering from www.springer.de or http://www.di.unipi.it/AsmBook/
or send an email to orders@springer.de
BOOK ANNOUNCEMENT - PRICE REDUCTION
Aspects of Complexity
Minicourses in Algorithmics, Complexity, and Computational Algebra,
MathematicsWorkshop, Kaikoura, New Zealand, January 7-15, 2000
Editors: Rod Downey, Denis Hirschfeldt
de Gruyter Series in Logic and Its Applications, Volume 4
2001. vi, 172 pages. ISBN 3-11-016810-3
USA, Canada, Mexico: Cloth US$ 59.95
All other countries: EUR 58.00 [D] / sFr 93,-
http://www.degruyter.com
* The contributions in this volume are a result of the sixth
summer workshop of the New Zealand
Mathematical Sciences Research Institute. The title of this
workshop was Computability, Complexity,
and Computational Algebra.
* The lecture notes presented here are based on minicourses
from leading experts on various
aspects of complexity. The minicourses are from areas
including basic complexity, Kolmogorov
complexity, enumeration complexity, complexity in algebra,
real complexity and the BlumShub
Smale model, parametric complexity, and aspects of the
continuum.
* The material and level of presentation are aimed at
beginning graduate students, and the
resulting text will be a valuable resource for the working
mathematician and computer scientist.
* Ordering Information: see URL above.
Back to the LICS web page.