Newsletter 94
August 5, 2004
*******************************************************************
* 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
PODS 2005 - Call for Papers
ASM 2005 - Call for Papers
CALCO 2005 - Call for Papers
FIDJI 2004 - Call for Papers
RISE 2004 - Call for Papers
CONCUR 2004 - Call for Participation
CSL 2004 - Call for Participation
FMCO 2004 - Call for Participation
* NEW ELECTRONIC JOURNAL
Logical Methods in Computer Science
* BOOK ANNOUNCEMENT
Elements of Finite Model Theory by Leonid Libkin
ACM SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS 2005)
Call for Papers
Baltimore, Maryland, USA, June 13 - 15, 2005
http://cimic.rutgers.edu/sigmodpods05/
* The symposium invites papers on fundamental aspects of data
management. Original research papers on the theory, design,
specification, or implementation of data management tools are
solicited. Papers emphasizing new topics or foundations of emerging
areas are especially welcome. The symposium will be held in
Baltimore, in conjunction with the ACM SIGMOD International
Conference on Management of Data (SIGMOD'05).
* Suggested topics include the following (this list is not exhaustive
and the order does not reflect priorities):
Access Methods & Physical Design, Active Databases, Complexity &
Performance Evaluation, Data Integration & Interoperability, Data
Mining, Data Models, Data Stream Management, Database Programming
Languages, Databases & Information Retrieval, Databases & Workflows,
Deductive Databases & Knowledge Bases, Distributed Databases,
Information Processing on the Web, Logic in Databases, Multimedia
Databases, Object-oriented Databases, Query Languages, Query
Optimization, Real-time Databases, Security & Privacy,
Semistructured Data & XML, Spatial & Temporal Databases, Theory of
recovery, Transaction Management, Views & Warehousing, Web Services
& Electronic Commerce, XML Databases
* All submissions must be done electronically. See webpage for details.
* Important dates:
Paper abstracts due: December 1, 2004 (8:59pm PST)
Full papers due: December 8, 2004 (8:59pm PST)
Notification: February 23, 2005
Camera-ready due: March 22, 2005
* Best Newcomer Award: an award will be given to the best submission,
as judged by the program committee, written solely by authors who have
never published in earlier PODS proceedings.
* Best Paper Award: there will also be an award for the best of all
papers submitted, as judged by the program committee.
* Program Committee: Diego Calvanese (Free Univ. of Bolzano/Bozen,
Italy), Jan Chomicki (Univ. at Buffalo, USA), Minos Garofalakis (Bell
Labs Lucent Technologies, USA), Gosta Grahne (Concordia Univ.,
Canada), Dimitrios Gunopulos (Univ. of California at Riverside, USA),
Piort Indyk (MIT, USA), Christoph Koch (Technical Univ.of Vienna,
Austria), Chen Li (Univ. of California at Irvine, USA), Heikki Mannila
(Univ. of Helsinki, Finland), Frank Neven (Univ. of Limburg, Belgium),
Yannis Papakonstantinou (Univ. of California at San Diego,USA),
Prabhakar Raghavan (Verity, USA), Raghu Ramakrishnan (Univ. of
Wisconsin-Madison, USA), Michel De Rougemont (Univ. of Paris II,
France), Marie-Christine Rousset (University of Paris Sud, France),
Luc Segoufin (INRIA, France), Timos Sellis (National Technical
Univ. of Athens, Greece), Divesh Srivastava (AT&T Labs Research, USA),
Jianwen Su (Univ. of California at Santa Barbara, USA), Val Tannen
(University of Pennsylvania, USA), Jeffrey D. Ullman (Stanford
University, USA), Mihalis Yannakakis (Columbia University, USA)
INTERNATIONAL WORKSHOP ON ABSTRACT STATE MACHINES (ASM'2005)
Call for Papers
Paris, France, March 8-11, 2005
http://www.univ-paris12.fr/lacl/Asm05/
* Theme. All aspects of the theory and applications of Abstract State
machines in sw/hw engineering, including the development of ASM tool
support and industrial applications. Relation of the ASM based system
development method to similar or complementary methods. Integration
of the ASM based modelling, validation and verification methods into
current design and analysis environments.
* All submissions must be done electronically. Please email your
submission to j.cohen@univ-paris12.fr
* Submission Deadline : January 10, 2005
* Program committee. E.Assarin (France) D.Beauquier (France) E.Boerger
(co-chair, Italy) P.Cegielski (France) A.Gargantini (Italy) U.Glaesser
(Canada) S.Grigorieff (France) J.Janneck (Switzerland/USA) E.Riccobene
(Italy) W.Schulte (USA) A.Slissenko (co-chair, France) B.Thalheim
(Germany) M.Veanes (USA) C.Wallace (USA) W.Zimmermann (Germany)
1ST CONFERENCE ON ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE (CALCO 2005)
September 3-6, 2005, Swansea, Wales, UK
Call for Papers
* CMCS the International Workshop on Coalgebraic Methods in Computer
Science, and WADT the Workshop on Algebraic Development Techniques,
are joining their forces and reputations into a new high-level
bi-annual conference. Starting in 2005, CALCO will bring together
researchers and practitioners to exchange new results related to
foundational aspects and both traditional and emerging uses of
algebras and coalgebras in computer science.
* Important Dates:
Jan 21 2005 - Abstract submission due
Jan 31 2005 - Technical paper submissions due
* For more details see conference web site:
http://www.cs.swan.ac.uk/calco/
INTERNATIONAL WORKSHOP ON SCIENTIFIC ENGINEERING OF DISTRIBUTED JAVA
APPLICATIONS (FIDJI 2004)
November 24-25, 2004
Luxembourg
Call for Papers
* FIDJI 2004 is an international forum for researchers and
practitioners interested in using the advances in, as well as
applications of, software engineering for the development of
reliable distributed systems. Unlike the previous conventions, the 2004
workshop is not restricted to "Java-related" technologies.
* Submissions due September 20, 2004
* For more details see web site:
http://fidji2004.uni.lu
INTERNATIONAL WORKSHOP ON RAPID INTEGRATION OF SOFTWARE ENGINEERING
TECHNIQUES (RISE 2004)
November 26, 2004
Luxembourg
Call for Papers
* RISE 2004 is an international forum for researchers and practitioners
interested in the advances in, and applications of, new, integrated
and practical software engineering approaches that are part of a
methodological framework and that apply to new and evolving applications,
technologies and systems.
* Submissions due September 20, 2004
* For more details see web site:
http://rise2004.uni.lu
FIFTEENTH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR 2004)
Royal Society, London, UK
31 August - 3 September 2004
Workshops: 30 August and 4 September.
Call for Participation
* The purpose of the CONCUR conferences is to bring together
researchers, developers and students in order to advance
the theory of concurrency, and promote its applications.
Interest in this topic is continuously growing, as a
consequence of the importance and ubiquity of concurrent
systems and their applications, and of the scientific
relevance of their foundations.
* The event will feature eleven associated workshops
* Abstracts of accepted papers and registration facilities
are available at the conference's web site:
http://www.doc.ic.ac.uk/concur2004
ANNUAL CONFERENCE OF THE EUROPEAN ASSOCIATION FOR COMPUTER SCIENCE
LOGIC (CSL 2004)
Organized by Institute of Computer Science, Wroclaw University
in Karpacz, Karkonoski National Park, Poland
September 20-24, 2004
* For registration details and programme see conference web site:
http://www.csl04.ii.uni.wroc.pl/
THIRD INTERNATIONAL SYMPOSIUM ON FORMAL METHODS FOR COMPONENTS
AND OBJECTS (FMCO 2004)
2-5 November 2004
Lorentz Center, Leiden University, Leiden, The Netherlands
http://fmco.liacs.nl/fmco04.html
Call for Participation
* The objective of this symposium is to bring together top researchers
in the area of software engineering to discuss the state-of-the-art
and future applications of formal methods in the development of large
component-based and object-oriented software systems.
* Early registration fee applies for registration before 20/09/2004
* Participation is limited to about 80 people, based on a first-in
first-served policy. For more information about participation and
registration see the FMCO site, OR consult either F.S. de Boer
(frb@cwi.nl) or M.M. Bonsangue (marcello@liacs.nl).
NEW ELECTRONIC JOURNAL
Logical Methods in Computer Science
http://www.lmcs-online.org
* Executive Editors: Jiri Adamek, Gordon D. Plotkin, Dana S. Scott,
Moshe Y. Vardi
* "Logical Methods in Computer Science" is a new open-access, online,
refereed journal. As an open-access publication, the journal will be
freely available on the web. This new journal will be devoted to all
theoretical and practical topics in computer science related to logic
in a broad sense.
* Open to submissions: September 1, 2004.
* The journal will be published under the auspices of The International
Federation for Computational Logic: http://www.colognet.org/IFCoLog/.
It will technically be published as an overlay of the Computing
Research Repository (CoRR) whis=ch is a part of arXix, see
http://arxiv.org/archive/cs/intro.html.
* On the homepage you find a flier and a leaflet containing the basic
information about the new journal. We would appreciate your posting
and distributing the information, and encouraging potential authors to
submit to Logical Methods in Computer Science.
* You may have heard about the various developments in the past couple of
years in regard to the Open Access movement, see, e.g.,:
http://www.zim.mpg.de/openaccess-berlin/berlindeclaration.html
http://www.plos.org/
http://www.earlham.edu/~peters/fos/overview.htm
and the link
"Landscape..."
at the journal website. The open-access idea is that knowledge,
including scientific knowledge, should be widely and readily available
to society, in a stable and long-term form. The Internet and electronic
publishing provides an evident means to that end. Not unrelated are
concerns arising from the increasingly high prices charged commercially.
* Other open access journals in Computer Science:
http://www.theoryofcomputing.org/
http://www.jair.org/
http://www.ai.mit.edu/projects/jmlr/.
BOOK ANNOUNCEMENT
Elements of Finite Model Theory
by Leonid Libkin
Springer Verlag, 2004, XIV, 315 p., Hardcover, ISBN 3-540-21202-7.
(Series: Texts in Theoretical Computer Science.)
http://www.cs.toronto.edu/~libkin/fmt
* This book is an introduction to finite model theory which stresses
the computer science origins of the area. In addition to presenting
the main techniques for analyzing logics over finite models, the
book deals extensively with applications in databases, complexity
theory, and formal languages, as well as other branches of computer
science. It covers Ehrenfeucht-Fraisse games, locality-based
techniques, complexity analysis of logics, including the basics of
descriptive complexity, second-order logic and its fragments,
connections with finite automata, fixed point logics, finite
variable logics, zero-one laws, and embedded finite models, and
gives a brief tour of recently discovered applications of finite
model theory. This book can be used both as an introduction to the
subject, suitable for a one- or two-semester graduate course, or as
reference for researchers who apply techniques from logic in
computer science.
* Table of contents: Introduction.- Preliminaries.- Ehrenfeucht-Fraisse
Games.- Locality and Winning Games.- Ordered Structures.- Complexity
of First-Order Logic.- Monadic Second Order Logic and Automata.-
Logics with Counting.- Turing Machines and Finite Models.- Fixed
Point Logics and Complexity Classes.- Finite Variable Logics.-
Zero-one Laws.- Embedded Finite Models.- Other Applications of
Finite Model Theory.- References.- List of Notations.- Index.- Name
Index.
* To order: http://www.springeronline.com/.
Prices: regular: EUR 39.95, US$ 54.95, GBP 30.50
for Springer authors: EUR 26.63, US$ 36.63, GBP 20.33.
Back to the LICS web page.