Newsletter 80
September 13, 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
Workshop on Domain Theory, Domains VI
Formal Techniques for Networked and Distributed Systems, FORTE 2002
European Joint Conferences on Theory and Practice of Software, ETAPS 2003
Foundations of Software Science and Computation Structures, FOSSACS 2003
12th European Symposium on Programming, ESOP 2003
Symposium on Principles of Database Systems, PODS 2003
* BOOKS
The Iconic Logic of Peirce's Graphs by Sun-Joo Shin
WORKSHOP ON DOMAIN THEORY (Domains VI)
Birmingham, UK, 16-19 September 2002
CALL FOR PARTICIPATION
* http://www.cs.bham.ac.uk/~wd6/
FORTE 2002: FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS
November 11-14, 2002, Houston, Texas
CALL FOR PARTICIPATION
* http://www.ece.utexas.edu/FORTE
* The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for
Networked and Distributed Systems (FORTE) is focused on formal methods for
communication protocols. FORTE is the new name of the joint FORTE/PSTV
meeting, which has combined FORTE and PSTV into a single joint meeting since
1997. The conference is a forum for presentation and discussion of the state
of the art in theory, application, tools and industrialization of Formal
Description Techniques (FDT's).
* TUTORIALS:
Edmund M. Clarke (symbolic model checking)
Dave B. Johnson (mobile communication protocols)
Elaine J. Weyuker (testing)
* INVITED TALKS:
Edmund M. Clarke: "Counterexample Guided Abstraction Refinement using SAT"
David Harel: "Can Behavioral Requirements Be Executed?
(And Why Would We Want to Do It?)"
"An Algorithmic Approach for Formalizing and Achieving
Odor Communication and Synthesis."
Butler Lampson: TBA
Dan Wallach: "Adventures in Copy Protection Research"
Elaine J. Weyuker: "The Role of Prediction in Producing Dependable
Software"
* RELATED EVENTS:
FMCAD 2002: 4th Int'l Conf. on Formal Methods in Computer Aided Design,
November 6-8, Portland, Oregon, USA.
RTSS 2002: 23rd IEEE Int'l Real-Time Systems Symp.,
December 3-5, Austin, Texas, USA.
* Program Chairs: Doron A. Peled, Moshe Y. Vardi
* Program Committee: R. Alur, D. Bjorner, G. v. Bochmann, T. Bolognesi,
E. Brinksma, A. Cavalli, S. T. Chanson, P. Dembinski, H. Garavel,
S. Gnesi, G. J. Holzmann, A. Hu, C. Jard, G. Leduc, D. Lee, I. Lee,
S. Leue, L. Logrippo, S. Mauw, K. McMillan, M. Morley, A. Muscholl,
E. Najm, A. Petrenko, S. Smolka, R. Tenney, K. Turner, S. T. Vuong,
M. Yannakakis
* Steering Committee: G. v. Bochmann, E. Brinksma, S. Budkowski,
G. Leduc, E. Najm, R. Tenney, K. Turner
ETAPS 2003: THE EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE
Warsaw, Poland, April, 5-13, 2003
http://www.mimuw.edu.pl/etaps03/
CALL FOR SUBMISSIONS
* The European Joint Conferences on Theory and Practice of Software (ETAPS)
is the primary European forum for academic and industrial researchers working
on topics related to Software Science. It is a confederation of five main
conferences, a number of satellite workshops and other events.
* ETAPS main conferences accept two types of contributions:
Research papers;
Tool demonstration papers.
* Submission deadline: OCTOBER 18, 2002 (main conferences and tutorials)
* CC 2003: International Conference on Compiler Construction
http://www.cs.lth.se/~gorel/cc03/
Chair: Gorel Hedin (Lund, Sweden), gorel@cs.lth.se
* ESOP 2003, European Symposium On Programming
http://www.di.unipi.it/ESOP03/
Chair: Pierpaolo Degano (Pisa, Italy), degano@di.unipi.it
* FASE 2003, Fundamental Approaches to Software Engineering
http://www.lta.disco.unimib.it/fase2003/
Chair: Mauro Pezz`e (Italy), pezze@disco.unimib.it
* FOSSACS 2003 Foundations of Software Science and Computation Structures
http://research.microsoft.com/~adg/FOSSACS03/
Chair: Andrew Gordon (Microsoft Research, UK), adg@microsoft.com
* TACAS 2003, Tools and Algorithms for the Construction and Analysis of Systems
htttp://www.inrialpes.fr/vasy/tacas03/
Co-Chairs: Hubert Garavel (INRIA, France), Hubert.Garavel@inria.fr
John Hatcliff (Kansas State, USA), hatcliff@cis.ksu.edu
* TUTORIALS: Proposals for half-day or full-day tutorials related to
ETAPS 2003 are invited. Tutorial proposals will be evaluated on the
basis of their assessed benefit for prospective participants to ETAPS 2003.
Contact: Damian Niwinski - niwinski@mimuw.edu.pl
* Special Event to Honour Professor W.M. Turski's 65th Birthday,
Contact: Jan Madey - madey@mimuw.edu.pl
* WORKSHOPS: There are 13 workshops planned. See the conference web page
http://www.mimuw.edu.pl/etaps03/ for detailed information.
FOSSACS 2003: FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
A member conference of ETAPS 2003, Warsaw, April 5-13, 2003
CALL FOR PAPERS
* FOSSACS seeks original papers on foundational research with a clear
significance for software science. The conference invites submissions
on theories and methods to support the analysis, integration, synthesis,
transformation, and verification of programs and software systems.
* Topics covered include, but are not limited to: algebraic models; automata
and language theory; behavioural equivalences; categorical models;
computation processes over discrete and continuous data; computation
structures; logics of programs; modal, spatial, and temporal logics;
models of concurrent, reactive, distributed, and mobile systems; process
algebras and calculi; semantics of programming languages; software
specification and refinement; transition systems; type systems and
type theory.
* Prior meetings were in Lisbon (1998), Amsterdam (1999), Berlin (2000),
Genova (2001), and Grenoble (2002).
* INVITED SPEAKER Samson Abramsky (UK)
* PROGRAMME CHAIR Andrew Gordon (UK)
* PROGRAMME COMMITTEE Witold Charatonik (Germany and Poland), Adriana
Compagnoni (USA), Vincent Danos (France), Roberto Gorrieri (Italy),
Marta Kwiatkowska (UK), Eugenio Moggi (Italy), Uwe Nestmann (Switzerland),
Mogens Nielsen (Denmark), Flemming Nielson (Denmark),
Francois Pottier (France), Francesco Parisi Presicce (Italy),
Dusko Pavlovic (USA), P.S. Thiagarajan (Singapore),
Igor Walukiewicz (France), Pierre Wolper (Belgium)
* SUBMISSION INSTRUCTIONS Submitted papers must be in English and must
describe work unpublished in refereed venues, and not submitted for
publication elsewhere. Papers should be no more than 15 pages in the
Springer LNCS style (see http://www.springer.de/comp/lncs/authors.html
for details). Submission must be carried out electronically via the web;
see http://www.research.microsoft.com/~adg/Fossacs03/ for details.
Papers must be submitted as PostScript documents that are interpretable
by Ghostscript, or in PDF format, and they must be printable on both
USLetter and A4 paper. (If this requirement is a hardship, please
contact the Programme Chair.)
* IMPORTANT DATES
October 18, 2002 Submission deadline
December 13, 2002 Notification of acceptance/rejection
January 17, 2003 Camera-ready version due
April 7-11, 2003 FOSSACS 2003, as part of ETAPS 2003
* http://www.research.microsoft.com/~adg/Fossacs03/
ESOP 2003: 12th European Symposium on Programming
A member conference of ETAPS 2003, Warsaw, April 5-13, 2003
* ESOP is an annual conference devoted to fundamental issues in the
specification analysis and implementation of programming languages
and systems.
* Contributions bridging the gap between theory and practice are
particularly welcome. Topics traditionally covered by ESOP include:
programming paradigms and their integration, semantics,
calculi of computation, security, advanced type systems,
program analysis, program transformation, and practical algorithms
based on theoretical developments.
* PROGRAMME COMMITTEE Patrick Cousot (ENS, Paris), Pierpaolo Degano
(U Pisa, chair), Mariangiola Dezani-Ciancaglini (U Torino),
Cedric Fournet (Microsoft Research, Cambridge), John Hughes (U Chalmers),
Joshua Guttman (MITRE), John Mitchell (U Stanford),
Alan Mycroft (U Cambridge), Hanne Riis Nielson (IMM Copenhagen),
Oscar Nierstrasz (U Berne), Catuscia Palamidessi (INRIA Paris, Penn State),
Dave Schmidt (Kansas State U), Helmut Seidl (U Trier),
Perdita Stevens (U Edinburgh)
* INVITED SPEAKER Catherine Meadows (Naval Research Laboratory, USA)
* SUBMISSIONS We ask authors to submit their papers through our website
http://www.di.unipi.it/ESOP03/Site/Cyber/html/submit/
* The Conference Proceedings will appear as a volume of LNCS
A Special Issue of the Journal of Science of Computer Programming
will be devoted to selected papers from the conference.
* IMPORTANT DATES
October 18, 2002 Submission deadline
December 13, 2002 Notification of acceptance/rejection
January 17, 2003 Camera-ready version due
April 7-11, 2003 ESOP and other ETAPS'03 main conferences
* http://www.di.unipi.it/ESOP03
ACM SIGACT-SIGMOD-SIGART SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS
(PODS 2003) (in conjunction with the ACM SIGMOD Conference)
San Diego, California, June 9-11, 2003
http://www.db.ucsd.edu/SIGMODPODS03/PODScfp.html
Call for Papers
* Topics of interest. Fundamental aspects of databases: theory,
design, specification, or implementation of databases. This
includes (but is not limited to): access methods and physical
design; complexity and performance evaluation; concurrency control;
transaction management; integrity and security; data models; logic
in databases; query languages; query optimization; database
programming languages; database updates; active databases; deductive
databases and knowledge bases; object-oriented databases; multimedia
databases; spatial and temporal databases; constraint databases;
real-time databases; distributed databases; data integration and
interoperability; views and warehousing; data mining; databases and
information retrieval; semistructured data and XML; information
processing; databases and workflows.
* Awards.
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.
* Important dates.
November 15, 2002 - Paper titles and short abstracts due.
November 22, 2002 - Papers due.
February 11, 2003 - Notification of acceptance/rejection.
March 8, 2003 - Camera-ready due.
* Program committee. Foto Afrati (National Technical University of
Athens), Michael Benedikt (Bell Laboratories), Diego Calvanese
(University of Rome ``La Sapienza''), Surajit Chaudhuri (Microsoft
Research), Richard Hull (Bell Laboratories), Nick Koudas (AT&T
Research), Tova Milo (Tel Aviv University & INRIA (Chair)), Rajeev
Motwani (Stanford University), Rajeev Rastogi (Bell Laboratories),
Marie-Christine Rousset (L.R.I, University of Paris-Sud), Timos
Sellis (National Technical University of Athens), Dan Suciu
(University of Washington), Jan Van den Bussche (University of
Limburg LUC), Victor Vianu (University of California, San Diego),
Gerhard Weikum (University of the Saarland), Mihalis Yannakakis
(Avaya Labs Research).
BOOK ANNOUNCEMENT
The Iconic Logic of Peirce's Graphs
by Sun-Joo Shin
MIT-Press, 2002
http://mitpress.mit.edu/0262194708
* At the dawn of modern logic, Charles S. Peirce invented two types of
logical systems, one symbolic and the other graphical. In this book
Sun-Joo Shin explores the philosophical roots of the birth of
Peirce's Existential Graphs in his theory of representation and
logical notation. Shin demonstrates that Peirce is the first
philosopher to lay a solid philosophical foundation for multimodal
representation systems.
* Shin analyzes Peirce's well-known, but much-criticized nonsymbolic
representation system. She presents a new approach to his graphical
system based on her discovery of its unique nature and on a
reconstruction of Peirce's theory of representation. By seeking to
understand graphical systems on their own terms, she uncovers the
reasons why graphical systems, and Existential Graphs in particular,
have been underappreciated among logicians. Drawing on perspectives
from the philosophy of mind, cognitive science, logic, and computer
science, Shin provides evidence for a genuinely interdisciplinary
project on multimodal reasoning.
* Sun-Joo Shin is Professor of Philosophy at the University of Notre Dame.
Back to the LICS web page.