Newsletter 118 October 5, 2008 ******************************************************************* * Past issues of the newsletter are available at http://www.informatik.hu-berlin.de/lics/newsletters/ * Instructions for submitting an announcement to the newsletter can be found at http://www.informatik.hu-berlin.de/lics/newsletters/inst.html * To unsubscribe, send an email with "unsubscribe" in the subject line to lics@informatik.hu-berlin.de ******************************************************************* TABLE OF CONTENTS * DEADLINES Upcoming deadlines * CONFERENCES AND WORKSHOPS IMPLEMENTATION OF LOGICS - Call for Papers LATA 2009 - Call for Papers ESSLLI 2010 - Call for Bids FMCAD 2008 - Call for Participation ICLP 2008 - Call for Participation APV 2009 - Call for Papers CAV 2009 - Call for Papers CAV 2009 - Call for Workshop Proposals CADE 2009 - Call for Papers CONCUR 2009 - Call for Affiliated Workshops * AWARDS CAV 2008 - Award Announcement DEADLINES * WORKSHOP ON THE IMPLEMENTATION OF LOGICS 18 October 2008 http://www.csc.liv.ac.uk/~konev/iwil2008 * LATA 2009 22 October 2008 http://grammars.grlmc.com/LATA2009/ * APV 8 November 2008 http://se.ethz.ch/apv/ * STOC 2009 10 November 2008 http://www.umiacs.umd.edu/conferences/stoc2009/ 7TH INTERNATIONAL WORKSHOP ON THE IMPLEMENTATION OF LOGICS November, 2008, Doha, QATAR http://www.csc.liv.ac.uk/~konev/iwil2008 Call for Papers * The 7th International Workshop on the Implementation of Logics will be held in conjunction with the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008 (http://www.lpar.net/2008/), in Doha, Qatar, in November 2008. IWIL has been unusually sucessful in bringing together many talented developers, and thus in sharing information about successful implementation techniques for automated reasoning systems and similar programs. We are looking for contributions describing implementation techniques for and implementations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. * Topics of interest include, but are not limited to: - Data structures and algorithms for the efficient representation of logical concepts - Theorem proving systems - Model generation systems - Satisfiability-modulo-theories systems - Constraint-based systems - Logic programming systems - Implementation of propositional logic and decision procedures - Implementation of higher order logics and lambda-calculus - Implementation of new and unusual calculi - Integration of systems based on different logics - Transformations between different logics (e.g., abstractions) - Issues of reliability, witness generation, and witness verification - Evaluation and benchmarking of logic-based systems - Reasoning for ontologies - Ontology modularity, module extraction * Contributions that help the community to understand how to build useful and powerful reasoning systems in practice are of particular interest. * Important dates: - Submission of abstracts: October 18th - Notification: October 27th - Workshop (preliminary): November 22rd, with LPAR 2008. * Submission Please submit an extended abstract of up to 10 pages in PDF, conforming to the format produced by LaTeX using the easychair.cls class file available from the workshop web-page. Long listings of computer output should be relegated to a referenced WWW site. Submission is via EasyChair. All submissions will be informally reviewed by the programme committee and accepted contributions will be published in archived electronic notes. * Program committee: Wolfgang Ahrendt Chalmers University of Technology and Goeteborg University Elvira Albert Complutense University of Madrid Serge Autexier Saarland University Chris Benzmueller Saarland University Chad Brown Saarland University Bart Demoen Katholieke Universiteit Leuven Alessandro Cimatti ITC/irst, Trento Hans de Nivelle Wroclaw University Bernd Fischer Southampton University Alexander Fuchs Iowa University Thomas Hillenbrand Max-Planck-Institut fuer Informatik Ullrich Hustadt Liverpool University Boris Konev (co-chair) Liverpool University Konstantin Korovin Manchester University Gopalan Nadathur Minnesota University Albert Oliveras Technical University of Catalonia Brigitte Pientka McGill University Kostis Sagonas Uppsala University Renate Schmidt (co-chair) Manchester University Peter Schneider-Kamp RWTH Aachen Stephan Schulz (co-chair) Technische Universitaet Muenchen Volker Sorge Birmingham University Geoff Sutcliffe Miami University 3rd INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2009) Tarragona, Spain, April 2-8, 2009 http://grammars.grlmc.com/LATA2009/ * AIMS LATA is a yearly conference in theoretical computer science and its applications. As linked to the International PhD School in Formal Languages and Applications that was developed at the host institute in the period 2002-2006, LATA 2009 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.). * SCOPE: Topics of either theoretical or applied interest include, but are not limited to: - algebraic language theory - algorithms on automata and words - automata and logic - automata for system analysis and programme verification - automata, concurrency and Petri nets - biomolecular nanotechnology - cellular automata - circuits and networks - combinatorics on words - computability - computational, descriptional, communication and parameterized complexity - data and image compression - decidability questions on words and languages - digital libraries - DNA and other models of bio-inspired computing - document engineering - extended automata - foundations of finite-state technology - fuzzy and rough languages - grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.) - grammars and automata architectures - grammatical inference and algorithmic learning - graphs and graph transformation - language varieties and semigroups - language-based cryptography - language-theoretic foundations of natural language processing, artificial intelligence and artificial life - mathematical evolutionary genomics - parsing - patterns and codes - power series - quantum, chemical and optical computing - regulated rewriting - string and combinatorial issues in computational biology and bioinformatics - symbolic dynamics - symbolic neural networks - term rewriting - text algorithms - text retrieval, pattern matching and pattern recognition - transducers - trees, tree languages and tree machines - weighted machines * Invited speakers will be: Bruno Courcelle (Bordeaux): Graph Structure and Monadic Second-order Logic (tutorial) Markus Holzer (Muenchen): Nondeterministic Finite Automata: Recent Developments (tutorial) Sanjay Jain (Singapore): Role of Hypothesis Spaces in Inductive Inference Kai Salomaa (Kingston, Canada): State Complexity of Nested Word Automata Thomas Zeugmann (Sapporo): Recent Developments in Algorithmic Teaching * PROGRAMME COMMITTEE Parosh Abdulla (Uppsala) Stefania Bandini (Milano) Stephen Bloom (Hoboken) John Brzozowski (Waterloo) Maxime Crochemore (London) Juergen Dassow (Magdeburg) Michael Domaratzki (Winnipeg) Henning Fernau (Trier) Rusins Freivalds (Riga) Vesa Halava (Turku) Juraj Hromkovic (Zurich) Lucian Ilie (London, Canada) Kazuo Iwama (Kyoto) Aravind Joshi (Philadelphia) Juhani Karhumaki (Turku) Jarkko Kari (Turku) Claude Kirchner (Bordeaux) Maciej Koutny (Newcastle) Hans-Joerg Kreowski (Bremen) Kamala Krithivasan (Chennai) Martin Kutrib (Giessen) Andrzej Lingas (Lund) Aldo de Luca (Napoli) Rupak Majumdar (Los Angeles) Carlos Martin-Vide (Tarragona & Brussels, chair) Joachim Niehren (Lille) Antonio Restivo (Palermo) Joerg Rothe (Duesseldorf) Wojciech Rytter (Warsaw) Philippe Schnoebelen (Cachan) Thomas Schwentick (Dortmund) Helmut Seidl (Muenchen) Alan Selman (Buffalo) Jeffrey Shallit (Waterloo) Ludwig Staiger (Halle) Frank Stephan (Singapore) * SUBMISSIONS: Authors are invited to submit papers presenting original and unpublished research. Papers should not exceed 12 single-spaced pages and should be formatted according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0). Submissions have to be uploaded at: http://www.easychair.org/conferences/?conf=lata2009 * IMPORTANT DATES Paper submission: October 22, 2008 Notification of paper acceptance or rejection: December 10, 2008 Application for funding (PhD students): December 15, 2008 Notification of funding acceptance or rejection: December 17, 2008 Final version of the paper for the LNCS proceedings: December 19, 2008 Early registration: December 31, 2008 Starting of the conference: April 2, 2009 Submission to the journal special issues: June 22, 2009 Submission to the Springer post-conference volume: July 31, 2009 EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE, AND INFORMATION (ESSLLI) Call for Bids to Host the 22-th ESSLLI, 2010 * http://www.folli.org/ * The Association for Logic, Language and Computation (FoLLI) and the ESSLLI Standing Committee invite proposals to host the 22-nd European Summer School in Logic, Language, and Information (ESSLLI), to be held in August 2010. * The ESSLLI Summer School ESSLLI is a summer school which takes place two weeks in the summer, every year since 1989. The school hosts approximately 50 courses at both introductory and advanced level, and convokes around 400 participants each year from all over the world. The main focus of the program of the summer schools is the interface between linguistics, logic and computation. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited lectures. Detailed information about the ESSLLI organization can be found in the ESSLLI general guide, and the organizing and program committee guides. The guides can be obtained via the Standing Committee secretary. * Submission Procedure At this time we seek draft proposals from prospective bidders. Based on an evaluation of the draft proposals, promising bidders will be asked to provide additional information for the final selection procedure. The ESSLLI Standing Committee (SC), in consultation with the management board of FoLLI, will finally select the site, the organizing committee, and the program committee, and supervise the subsequent organization. * Draft Proposals Draft proposals should identify a target site, date and organizing team with a chair who will be responsible for the overal organization. The organization committee is responsible for all matters having to do with the practical organization. Draft proposals should at least include information on: - Location (accessibility; school venue; accommodation and facilities) - Proposed dates and organizing team - Endorsement by hosting organization - Local Language, Logic, and Computation community - Meeting and accommodation venues; audiovisual equipment - Catering and reception facilities; social program opportunities - Budget estimates * Proposal Assessment Proposals will be evaluated according to the following criteria (unordered): - Experience of organizing team, involvement in previous ESSLLIs - Local endorsement - Appropriateness of proposed dates - Accessibility and attractiveness of proposed site - Adequacy of campus facilities for the anticipated number of registrants - Adequacy of residence accommodations and food services in an appropriate range of price categories and close to the conference facilities - Adequacy of budget projections - Geographical and national balance with regard to meetings in the decade prior to 2010: Birmingham (2000), Helsinki (2001), Trento (2002), Wien (2003), Nancy (2004), Edinburgh (2005), Malaga (2006), Dublin (2007), Hamburg (2008), Bordeaux (2009) * Important Dates - November 15, 2008, draft proposals due - November/December, 2008, SC provides feedback - January 31, 2009, final proposals due - February, 2009, bid selected at ESSLLI SC meeting * Draft proposals should be sent to: Sophia Katrenko Paul Dekker Informatics Institute ILLC/Department of Philosophy Faculty of Science Faculty of Humanities Universiteit van Amsterdam Kruislaan 419 Nieuwe Doelenstraat 15 NL-1098 VA Amsterdam NL-1012 CP Amsterdam The Netherlands +31 (0)20 525 6786 +31 (0)20 5254541 +31 (0)20 525 6896 (fax) +31 (0)20 5254503 (fax) katrenko@science.uva.nl p.j.e.dekker@uva.nl INTERNATIONAL CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2008) http://fmcad.org/2008 CALL FOR PARTICIPATION November 17-20, 2008 Embassy Suites Portland--Downtown Portland, Oregon, USA * Important Dates Early Registration Deadline: October 14, 2008 Hotel Registration Deadline: October 18, 2008 * Conference Overview FMCAD 2008 is the eighth in a series of conferences on the theory and application of formal methods in hardware and system design and verification. In 2005, the bi-annual FMCAD and sister conference CHARME decided to merge to form an annual conference with a unified community. The resulting unified FMCAD provides a leading international forum to researchers and practitioners in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for formally reasoning about computing systems, as well as open challenges therein. * Local Information The Conference will be held at the Embassy Suites (Downtown) in Portland, Oregon. We have negotiated a special rate with the hotel for conference attendees. Please book early to secure the reduced rate. For details, please see the conference web page. A dinner cruise on the Willamette River is planned. * Technical Program The technical program is available at the conference web page. It includes 2 invited keynotes, 4 invited tutorials, 24 regular papers, 4 short papers, and 2 panels. * Keynotes o Ken McMillan (Cadence): Interpolation -- Theory and Applications o Carl Seger (Intel): Formal Methods and Physical Design: Match Made in Heaven or Fools' Paradise? * Tutorials o Kevin Jones (Rambus): Analog and Mixed Signal Verification: The State of the Art and some Open Problems o Moshe Levinger (IBM): Building a Bridge: From Pre-Silicon Verification to Post-Silicon Validation o Byron Cook (Microsoft): Computing Bounds on Space and Time for Hardware Compilation. o David Hardin (Rockwell Collins): Considerations in the Design and Verification of Microprocessors for Safety-Critical and Security-Critical Applications. * Panels o High Level Design and ESL: Who Cares? o The Future of Formal: Academic, IC, EDA, and Software Perspectives 24TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'08) Udine, Italy, December 9th-13th, 2008 http://iclp08.dimi.uniud.it CALL FOR PARTICIPATION * We are pleased to announce the 24th International Conference on Logic Programming, to be held in Udine, Italy, in December 2008. * The ICLP'08 program includes 37 regular presentations, 26 short presentations, 4 tutorials, 5 workshops (ASPOCP, WG17, ALPSWS, WLPE and CICLOPS) and the traditional Prolog programming contest. The tutorials include presentations given by: - Carla Piazza e Alberto Policriti (Systems Biology: Models and Logics) - Angelo Montanari (Temporal Logics) - Tom Schrjivers (Constraint Handling Rules) - Peter O'Hearn (Separation Logic) * Moreover the program features the invited talk by Vitor Santos Costa (The Life of a Logic Programming System) and a second invited talk TBA. * The conference celebrates the 20th anniversary of the stable-model semantics with a special session at ICLP 2008 dedicated to answer-set programming. The session will feature invited talks by Michael Gelfond, Vladimir Lifschitz, Nicola Leone and David Pearce, as well as by other major contributors to the field, presenting personal perspectives on the stable-model semantics, its impact and its future. * Online registration for ICLP is now open at: http://iclp08.dimi.uniud.it/ICLPRegistrationForm/ICLP2008registration.html * Deadline for early registration is October 15, 2008. * For further information: iclp08@cs.nmsu.edu http://iclp08.dimi.uniud.it AUTOMATIC PROGRAM VERIFICATION (APV 2009) http://se.ethz.ch/apv/ February 14-15, 2009 Argentina Automatic software verification is once again at the forefront of * research in computer science, thanks to a combination of novel techniques and more powerful hardware to implement them. The aim of the ASV symposium is to bring together researchers to exchange and develop new ideas in all aspects of software verification, from design to implementation. * Topics of interest include but are not limited to: - automatic theorem provers - static program analysis - model checking - tool descriptions and experience reports - case studies * Paper Submission Prospective authors are invited to submit papers written in English via the EasyChair AVP 2009 website at http://www.easychair.org/conferences/?conf=apv09 The style guide, templates, and submission form can be downloaded from the AVP website. Three members of the Scientific Committee will review each paper. At least one author of each paper is required to attend the symposium. * Schedule - Submissions: November 8, 2008 24:00 (midnight), Zurich time - Notification to authors: December 8, 2008 - Final version: January 8, 2009 * Organizing Committee - Bertrand Meyer, Chair ETH Zürich, Switzerland - Cristiano Calcagno, Program Chair Imperial College, London, UK - Martin Nordio, Organization Chair ETH Zürich, Switzerland * Program Committee Nazareno Aguirre, University of Rio Cuarto, Argentina Pedro D'Argenio, University of Cordoba, Argentina Dino Distefano, Queen Mary, University of London, UK Dave Clarke, Universiteit Leuven, Belgium Marcelo Frias, University of Buenos Aires, Argentina Dan Ghica, University of Birminghan, UK Daniel Kröning, Oxford University, UK Viktor Kuncak, EPFL, Switzerland Peter Müller, ETH Zurich, Switzerland Xavier Rival, INRIA, France Andrey Rybalchenko, MPI-SWS, Germany Sebastian Uchitel, University of Buenos Aires, Argentina 21ST INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION (CAV 2009) Call for Papers June 26 - July 2, 2009 Grenoble http://www-cav2009.imag.fr * Aims and Scope CAV 2009 is the 21st in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. The proceedings of the conference will be published in the Springer-Verlag Lecture Notes in Computer Science series. Topics of interest include: - Modeling and specification formalisms - Algorithms and tools for verifying models and implementations - Deductive, compositional, and abstraction techniques for verification - Testing and runtime analysis based on verification technology - Hardware verification techniques - Program analysis and software verification - Analysis of embedded and hybrid systems - Verification techniques for security - Applications and case studies - Verification in industrial practice * Paper Submission There are two categories of submissions: - A. Regular Papers:* Submissions, not exceeding fourteen (14) pages using Springer's LNCS format, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data available with their submission. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. - B. Tool Presentations:* Submissions, not exceeding five (6) pages using Springer's LNCS format, should describe the implemented tool and its novel features. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented (in any conference) will be accepted only if significant and clear enhancements to the tool are reported and implemented. Submission is done with EasyChair. Informations about the submission procedure will be available at: http://www-cav2009.imag.fr * Important Dates - Abstract submission: January 18, 2009 - Paper submission (firm): January 25, 2009 - Author feedback/rebuttal period: March 5-8, 2009 - Notification of acceptance/rejection: March 23, 2009 - Final version due: April 17, 2009 * Program Chairs - Ahmed Bouajjani, LIAFA, U Paris 7 - Oded Maler, CNRS-VERIMAG, Grenoble * Program Committee - Parosh A. Abdulla, U Uppsala - Rajeev Alur, U Penn - Christel Baier, U Dresden - Clark Barrett, NYU - Armin Biere, Johannes Kepler U Linz - Nikolaj Bjorner, Microsoft Research Redmond - Roderick Bloem, TU Graz - Ahmed Bouajjani (co-chair), LIAFA, U Paris 7 - Edmund Clarke, CMU - Byron Cook, Microsoft Research Cambridge - Martin Fränzle, U Oldenburg - Aarti Gupta, NEC Labs America - John Harrison, Intel - Klaus Havelund, NASA JPL - Alan Hu, UBC Vancouver - Kevin Jones - Daniel Kröning, U Oxford - Robert Kurshan, Cadence Design Systems - Yassine Lakhnech, U Grenoble - Oded Maler, CNRS-VERIMAG - Kenneth McMillan, Cadence Research Labs - Markus Müller-Olm, U Münster - Kedar Namjoshi, Bell Labs, Alcatel-Lucent - Madhusudan Parthasarathy, U Ilinois Urbana-Champain - Sriram Rajamani, Microsoft Research India - Andrey Rybalchenko, MPI Saarbrücken - Philippe Schnoebelen, CNRS-LSV - Sanjit Seshia, UC Berkeley - Natarjan Shankar, SRI International - Ofer Strichman, Technion - Serdar Tasiran, Koç U Istanbul - Tayssir Touili, CNRS-LIAFA - Stavros Tripakis, Cadence Research Labs - Helmuth Veith, TU Darmstadt 21ST INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION (CAV 2009) Call for Workshop Proposals http://www-cav2009.imag.fr/ June 26 - July 2, 2009 Grenoble, France * CAV 2009 is the 21st in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. Topics of interest include: (1) Algorithms and tools for verifying models and implementations, (2) Hardware verification techniques, (3) Program analysis and software verification, (4) Verification and analysis of embedded and hybrid systems, (5) Verification techniques for security, (6) Modeling and specification formalisms, (7) Deductive, compositional, and abstraction techniques for verification, (8) Testing and runtime analysis based on verification technology, (9) Applications and case studies, and (10) Verification in industrial practice. * CAV 2009 will take place from June 26 to July 2, 2009, at Grenoble, France, where the first CAV started in 1989. Traditionally, CAV hosts a number of affiliated workshops complementing its technical program. Affiliated workshops will be organized on June 26-29. Workshop rooms will be available at the conference site, and local arrangements will be facilitated by the CAV organization. * Proposals for workshops affiliated with CAV 2009 are cordially invited. The proposals should be sent by October 31, 2008, to cav09-workshops@imag.fr and should include the following information: - Name of the workshop - Intended aims and scope - History of the workshop - Expected number of participants (min/avg/max) - Length of the event (1, 2 or 3 days) - Contact person with full contact information * Additional organizational plans may include names of potential invited speakers, funding sources, proposed sessions, plans for proceedings or other publications, etc. * Important Dates: Submission deadline for workshop proposals: October 31, 2008 Notification: November 7, 2008 * Workshops Chair: Andreas Podelski, Freiburg * Program Chairs: Ahmed Bouajjani, LIAFA Paris 7 Oded Maler, CNRS-Verimag Grenoble * Organization Committee: Saddek Bensalem, VERIMAG Grenoble Peter Habermehl, LIAFA Paris 7 22ND INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION (CADE-22) McGill University, Montreal, Canada August 2-7, 2009 First Call for Papers Submission Deadline: 23 Feb 2009 http://complogic.cs.mcgill.ca/cade22/ * GENERAL INFORMATION CADE is the major forum for the presentation of research in all aspects of automated deduction. The conference programme will include invited talks, paper presentations, system descriptions, workshops, tutorials, and system competitions. * SCOPE We invite high-quality submissions on the general topic of automated deduction, including foundations, applications, implementations and practical experiences. Logics of interest include, but are not limited to - propositional, first-order, equational, higher-order, classical, description, modal, temporal, many-valued, intuitionistic, other non-classical, meta-logics, logical frameworks, type theory and set theory. Methods of interest include, but are not limited to - saturation, resolution, instance-based, tableaux, sequent calculi, natural deduction, term rewriting, decision procedures, model generation, model checking, constraint solving, induction, unification, proof planning, proof checking, proof presentation and explanation. Applications of interest include, but are not limited to - program analysis and verification, hardware verification, mathematics, natural language processing, computational linguistics, knowledge representation, ontology reasoning, deductive databases, functional and logic programming, robotics, planning, and other areas of AI. * WORKSHOPS, TUTORIALS, SYSTEM COMPETITION: A two-day workshop and tutorial programme will be co-organized with the conference. In addition, the annual CADE ATP System Competition (CASC) will be held during the conference. Details will be published in separate calls and on the conference website. * IMPORTANT DATES: A paper title and a short abstract of about 100 words must be submitted before the paper. - 16 Feb 2009 abstract submission deadline - 23 Feb 2009 paper submission deadline - 10 Apr 2009 notification of paper decisions - 14 May 2009 camera-ready papers due - 2-3 Aug 2009 Workshops & Tutorials - 4-7 Aug 2009 Conference, including CASC * PROGRAM COMMITTEE Alessandro Armando Università di Genova Franz Baader Technische Universität Dresden Peter Baumgartner NICTA, Canberra Maria Paola Bonacina Università degli Studi di Verona Bernhard Beckert Universität Koblenz-Landau Nikolaj Bjørner Microsoft Research Alessandro Cimatti Istituto per la Ricerca Scientifica e Tecnologica, Trento Silvio Ghilardi Università degli Studi di Milano Jürgen Giesl RWTH Aachen Rajeev Goré The Australian National University Reiner Hähnle Chalmers University of Technology John Harrison Intel Corporation Miki Hermann École Polytechnique Ullrich Hustadt University of Liverpool Katsumi Inoue National Institute of Informatics, Japan Tommi Junttila Helsinki University of Technology Deepak Kapur University of New Mexico Alexander Leitsch Technische Universität Wien Christopher Lynch Clarkson University Claude Marché INRIA Saclay, Parc Orsay Université William McCune University of New Mexico Aart Middeldorp Universität Innsbruck Hans de Nivelle University of Wroclaw Albert Oliveras Universitat Politècnica de Catalunya Lawrence Paulson University of Cambridge Brigitte Pientka McGill University David Plaisted University of North Carolina at Chapel Hill Michaël Rusinowitch LORIA-INRIA-Lorraine Renate Schmidt (Chair) The University of Manchester Carsten Schürmann IT-Universitetet i København Aaron Stump The University of Iowa Geoff Sutcliffe University of Miami Cesare Tinelli The University of Iowa Andrei Voronkov The University of Manchester Christoph Weidenbach Max-Planck-Institut für Informatik * ORGANIZERS Conference Chair: Brigitte Pientka McGill University Workshop & Tutorial Chair: Aaron Stump The University of Iowa Publicity Chair: Carsten Schürmann IT-Universitetet i København PC Chair: Renate Schmidt The University of Manchester 20TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR 2009) September 1-4, 2009 Bologna, Italy http://concur09.cs.unibo.it/ Call for Affiliated Workshops * Conference Dates: September 1-4, 2009 Affiliated Workshop Dates: August 31, 2009 and September 5, 2009 * The 20th Conference on Concurrency Theory will be held this coming summer in Bologna, Italy, and will be co-locate with the 7th Conference on Computational Methods in Systems Biology (CMSB) and the 6th International Workshop on Web Service and Formal Methods (WS-FM). * Researchers and practitioners are invited to submit proposals for workshops on topics related to concurrency theory and its applications. Example topics include, semantics, logics, verification techniques for concurrent systems, and cross-fertilization between industry and academia. Past CONCUR conferences have been accompanied by successful workshops on a variety of topics, like formal and foundational methods, models of systems (biological, timed), security issues, semantical issues, and verification methods. * The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. * Proposals should include: - The name and the preferred date of the proposed workshop. - A very brief cv of the chairperson(s) or a link to some web page including such information. - A short scientific summary of the topic, its scope and significance (and possibly a description of past versions of the workshop, including, e.g., dates, organizers, submission and acceptance counts, and attendance). - Procedures for selecting papers, plans for dissemination (for example, proceedings and special issues of journals), and the expected number of participants. * Important Dates: Workshop proposals due November 15th, 2008. Notification of acceptance: December 1st, 2008. Submissions to: concur09@cs.unibo.it * The CONCUR organization offers: - Link from CONCUR and Workshop web sites. - Setup of meeting space, and related equipment. - Coffee-breaks. - On-line and on-site registration to the workshop. * The main responsibility of organizing a workshop goes to the workshop chairperson(s), including: * Workshop publicity (possibly including call for papers, submission and review process). * Scheduling workshop activities in collaboration with the CONCUR local organizers. * Please contact the CONCUR organizers (Mario Bravetti and Gianluigi Zavattaro) for any further details at the address: concur09@cs.unibo.it INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION (CAV) 2008 CAV Award Announcement * The 2008 CAV (Computer Aided Verification) award is given to Rajeev Alur from the University of Pennsylvania and David L. Dill from Stanford University for fundamental contributions to the theory of real-time systems verification. * The CAV award is an annual award given for a specific fundamental contribution or a series of outstanding contributions to the field of Computer Aided Verification. * The CAV award carries a $10,000 prize and was presented at this year's CAV conference on July 10, 2008, in Princeton, New Jersey. This is the first year that the CAV award is given. * The 2008 CAV award is given for the seminal 1990 article on "Automata for modeling real-time systems" by Alur and Dill. This article laid the theoretical foundation for the computer aided verification of real-time systems, which are computer systems that are expected to finish their computations by specific deadlines. With the increasing ubiquity of embedded computers, which control everything from aircraft to medical devices, there is an urgent need for a rigorous methodology that can ensure that such systems operate without failures. * During the late 1980's there were several attempts to extend the theory of computer aided verification to real-time systems. Alur and Dill's work put this research direction on a firm foundational footing. In particular, the formalism of Timed Automata introduced by Alur and Dill in their 1990 paper has become the standard model for the verification of real-time systems. The 1990 paper of Alur and Dill is among the most cited papers in Computer Aided Verification. * Detailed announcement can be found on the CAV 08 website (www.princeton.edu/cav2008).
Back to the LICS web page.