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.