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 firstname.lastname@example.org * 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 (email@example.com) or M.M. Bonsangue (firstname.lastname@example.org). 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.