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 email@example.com. * 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 firstname.lastname@example.org 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.