CALL FOR PAPERS: TACAS 2007
Thirteenth International Conference on
Tools and Algorithms for the Construction and Analysis of Systems
www.doc.ic.ac.uk/tacas07/
Part of ETAPS 2007, March 24 - April 1, 2007, Braga, Portugal
IMPORTANT DATES
* 6 Oct 2006: Submission deadline (strict) for abstracts of research and tool
demonstration papers
* 13 Oct 2006: Submission deadline (strict) for full versions of research and
tool demonstration papers
* 8 Dec 2006: Notification of acceptance
* 5 Jan 2007: Camera-ready versions due
CONFERENCE DESCRIPTION
TACAS is a forum for researchers, developers and users interested in
rigorously based tools and algorithms for the construction and analysis
of systems. The conference serves to bridge the gaps between different
communities that share common interests in, and techniques for, tool
development and its algorithmic foundations. The research areas covered
by such communities include but are not limited to formal methods, software
and hardware verification, static analysis, programming languages, software
engineering, real-time systems, communications protocols, and biological
systems. The TACAS forum provides a venue for such communities at which
common problems, heuristics, algorithms, data structures and methodologies
can be discussed and explored. In doing so, TACAS aims to support researchers
in their quest to improve the utility, reliability, flexibility and efficiency
of tools and algorithms for building systems.
Tool descriptions and case studies with a conceptual message, as well as
theoretical papers with clear relevance for tool construction are all
encouraged. The specific topics covered by the conference include, but
are not limited to, the following:
* Specification and verification techniques for finite and
infinite-state systems
* Software and hardware verification
* Theorem-proving and model-checking
* System construction and transformation techniques
* Static and run-time analysis
* Abstraction techniques for modeling and validation
* Compositional and refinement-based methodologies
* Testing and test-case generation
* Analytical techniques for secure, real-time, hybrid, critical,
biological or dependable systems
* Integration of formal methods and static analysis in high-level
hardware design or software environments
* Tool environments and tool architectures
* SAT solvers
* Applications and case studies
As TACAS addresses a heterogeneous audience, potential authors are strongly
encouraged to write about their ideas and findings in general and jargon-
independent, rather than in application- and domain-specific, terms. Authors
reporting on tools or case studies are strongly encouraged to indicate how
their experimental results can be reproduced and confirmed independently.
PROGRAMME COMMITTEE
Christel Baier (U. Bonn, Germany)
Armin Biere (Johannes Kepler U., Austria)
Jonathan Billington (University of South Australia, Australia)
Ed Brinksma (ESI and U. of Twente, The Netherlands)
Rance Cleaveland (U. of Maryland & Fraunhofer USA Inc, USA)
Byron Cook (tool chair) (Microsoft Research, Cambridge, UK)
Dennis Dams (Bell Labs, Lucent Technologies, Murray Hill, USA)
Marsha Chechik (U. Toronto, Canada)
Francois Fages (INRIA Rocquencourt, France)
Kathi Fisler (Worcester Polytechnic, USA)
Limor Fix (Intel Research Laboratory, Pittsburgh, USA)
Hubert Garavel (INRIA Rhones-Alpes, France)
Susanne Graf (VERIMAG, Grenoble, France)
Orna Grumberg (co-chair) (TECHNION, Israel Institute of Technology, Israel)
John Hatcliff (Kansas State U., USA)
Holger Hermanns (U. des Saarlandes, Germany)
Michael Huth (co-chair) (Imperial College London, UK)
Daniel Jackson (Massachusetts Institute of Technology, USA)
Somesh Jha (U. of Wisconsin at Madison, USA)
Orna Kupferman (Hebrew U., Jerusalem, Israel)
Marta Kwiatkowska (U. of Birmingham, UK)
Kim Larsen (Aalborg U., Denmark)
Michael Leuschel (Heinrich-Heine U., Duesseldorf, Germany)
Andreas Podelski (Max-Planck-Institut fuer Informatik, Saarbruecken, Germany)
Tiziana Margaria-Steffen (U. Goettingen, Germany)
Tom Melham (Oxford U., UK)
CR Ramakrishnan (SUNY Stony Brook, USA)
Jakob Rehof (Fraunhofer ISST, Germany)
Natarajan Shankar (SRI, Menlo Park, USA)
Bernhard Steffen (U. Dortmund, Germany)
Lenore Zuck (U. of Illinois, USA).
INVITED SPEAKER
K. Rustan M. Leino (Microsoft Research, USA)
SUBMISSION GUIDELINES
Papers should be submitted using the TACAS 2007 Conference Service. As with
other ETAPS conferences, TACAS accepts two types of contributions:
* research papers and
* tool demonstration papers.
Both types of contributions will appear in the proceedings and have
oral presentations during the conference.
Research papers:
Research papers cover one or more of the topics above, including tool
development and case studies from a perspective of scientific research.
Research papers are evaluated by the TACAS Program Committee. Submitted
research papers must:
* be in English and have a maximum of 15 pages (including figures and
bibliography)
* present original research which is unpublished and not
submitted elsewhere (conferences or journals) -- in particular,
simultaneous submission of the same contribution to multiple ETAPS
conferences is forbidden
* use the Springer-LNCS style
* be submitted electronically in Postscript or PDF form via the TACAS 2007
Conference Service (abstract no later than 6 October, 2006, and full
paper no later than 13 October, 2006)
Submissions deviating from these instructions may be rejected without review.
Any questions regarding this policy should be directed to the Program Committee
Co-Chairs Orna Grumberg (www.cs.technion.ac.il/users/orna/) or Michael Huth
(www.doc.ic.ac.uk/~mrh/) prior to submitting.
Tool demonstration papers:
Tool demonstration papers present tools based on aforementioned technologies
(e.g., theorem-proving, model-checking, static analysis, or other formal
methods) or fall into the above application areas (e.g., system construction
and transformation, testing, analysis of real-time, hybrid or biological
systems, etc.). Tool demonstration papers are evaluated by the TACAS Tool
Chair, Byron Cook (http://research.microsoft.com/users/bycook/default.htm)
with the help of the Programme Committee.
Submitted tool demonstration papers must:
* be in English and have a maximum of 4 pages
* have an appendix (not included in the 4 page count) that
provides a detailed description of:
- how the oral presentation will be conducted, e.g.
illustrated by a number of snapshots
- the availability of the tool, the number and types of users, other
information which may illustrate the maturity and robustness of the tool
- if applicable, a link to a web-page for the tool
(The appendix will not be included in the proceedings, but during the
evaluation of the tool demonstration papers it will be equally
important as the pages submitted for publication in the proceedings.)
* use the Springer-Verlag LNCS style
* clearly describe the enhancements and novel features of the tool in case that
one of its previous versions has already been presented at meetings or
published in some form
* be submitted electronically in Postscript or PDF form via the TACAS 2007
Conference Service (abstract no later than 6 October, 2006, and full paper
no later than 13 October, 2006)
Submissions deviating from these instructions may be rejected without review.
Any questions regarding this policy should be directed to the Tool Chair
Byron Cook.
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
[New final deadline: June 10th]
ICLP'06 Workshop on Multi-valued Logic and Applications
Affliated with FLoC'06
Seattle, Washington
August 21 2006
FINAL CALL FOR PAPERS
Multi-Valued logics provide powerful mechanisms for reasoning about
domains that are incomplete and inconsistent, such as databases,
knowledge representation, model checking,asynchronous electronic
circuits, etc.
It is interesting to study the various semantics of multi-valued
logics in general and in particular, logic programming from the
perspective of multi-valued logics. The classical semantic
formulations of logic programming, such as the minimal Herbrand model
semantics, the well-founded semantics, the answer set semantics need
to reinterpreted in the multi-valued scenario. Given a solid semantic
foundation for a multi-valued logic programming framework, it can then
be used as an elegant declarative specification language for the above
application domains.
Research in this area spans theoretical issues regarding the semantics
and the role of negation, to implementation strategies, to practical
tools for solving problems in various application domains.
The workshop is meant to provide a channel for interaction between
researchers working in these areas, by presenting their results and
fostering discussion. This will engender new directions for
researchers to pursue and showcase the considerable amount of research
that has already been performed in the area.
Authors are invited to submit original research, survey or tutorial
papers in the areas of Multiple-valued Logic and Multi-valued Logic
Programming, including, but not restricted to:
# Algebraic and formal aspects
# Implementation techniques for Multi-Valued LP Languages
# Logic synthesis and Optimization
# Circuit/ Device Implementation
# Multi-Valued Model Checking
# Switching functions
# Machine Learning/ Data Mining
# Biocomputing
# Theorem Proving in Multi-Valued Logics
# Fault Detection and diagnosis
# Reliability
# Information retrieval
# Knowledge Representation/ Discovery
# Automated Reasoning
Important Dates:
Submission deadline: June 10, 2006
Notification to authors: June 20, 2006
Camera-ready copy due: June 30, 2006
Submissions can be made in PDF or PS format at
http://www.easychair.org/MVLPA2006/.
If you have any questions, please send email to
axm011500(a)utdallas.edu.
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
CALL FOR PROPOSALS
ICLP 2007:
23rd International Conference on Logic Programming
The International Conference on Logic Programming (ICLP) is the
premier conference in the field of logic programming. The Association
for Logic Programming (ALP), the body that oversees ICLP and various
activities related to research in Logic Programming, is seeking
proposals for hosting and organizing of ICLP in 2007. Past 5 ICLPs
have been held in Sitges (Spain, 2005), St. Malo (France, 2004),
Mumbai (India, 2003), Copenhagen (Denmark, 2002), and Paphos (Cyprus,
2001). ICLP 2006 will be held as part of the Federated Logic
Conference in Seattle, WA, USA, in August 2006.
If you are interested in organizing ICLP in 2007, please send email to
Gopal Gupta, ALP Conference Coordinator, at gupta(a)utdallas.edu before
June 20, 2007.
More information on what is involved in organizing an ICLP and
guidelines on how to write a proposal for organizing an ICLP can be
found in ALP's Conference Policy document that can be obtained from:
http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
CALL FOR PROPOSALS
ICLP 2007:
23rd International Conference on Logic Programming
The International Conference on Logic Programming (ICLP) is the
premier conference in the field of logic programming. The Association
for Logic Programming (ALP), the body that oversees ICLP and various
activities related to research in Logic Programming, is seeking
proposals for hosting and organizing of ICLP in 2007. Past 5 ICLPs
have been held in Sitges (Spain, 2005), St. Malo (France, 2004),
Mumbai (India, 2003), Copenhagen (Denmark, 2002), and Paphos (Cyprus,
2001). ICLP 2006 will be held as part of the Federated Logic
Conference in Seattle, WA, USA, in August 2006.
If you are interested in organizing ICLP in 2007, please send email to
Gopal Gupta, ALP Conference Coordinator, at gupta(a)utdallas.edu before
June 20, 2007.
More information on what is involved in organizing an ICLP and
guidelines on how to write a proposal for organizing an ICLP can be
found in ALP's Conference Policy document that can be obtained from:
http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------
[New final deadline: June 10th]
ICLP'06 Workshop on Multi-valued Logic and Applications
Affliated with FLoC'06
Seattle, Washington
August 21 2006
FINAL CALL FOR PAPERS
Multi-Valued logics provide powerful mechanisms for reasoning about
domains that are incomplete and inconsistent, such as databases,
knowledge representation, model checking,asynchronous electronic
circuits, etc.
It is interesting to study the various semantics of multi-valued
logics in general and in particular, logic programming from the
perspective of multi-valued logics. The classical semantic
formulations of logic programming, such as the minimal Herbrand model
semantics, the well-founded semantics, the answer set semantics need
to reinterpreted in the multi-valued scenario. Given a solid semantic
foundation for a multi-valued logic programming framework, it can then
be used as an elegant declarative specification language for the above
application domains.
Research in this area spans theoretical issues regarding the semantics
and the role of negation, to implementation strategies, to practical
tools for solving problems in various application domains.
The workshop is meant to provide a channel for interaction between
researchers working in these areas, by presenting their results and
fostering discussion. This will engender new directions for
researchers to pursue and showcase the considerable amount of research
that has already been performed in the area.
Authors are invited to submit original research, survey or tutorial
papers in the areas of Multiple-valued Logic and Multi-valued Logic
Programming, including, but not restricted to:
# Algebraic and formal aspects
# Implementation techniques for Multi-Valued LP Languages
# Logic synthesis and Optimization
# Circuit/ Device Implementation
# Multi-Valued Model Checking
# Switching functions
# Machine Learning/ Data Mining
# Biocomputing
# Theorem Proving in Multi-Valued Logics
# Fault Detection and diagnosis
# Reliability
# Information retrieval
# Knowledge Representation/ Discovery
# Automated Reasoning
Important Dates:
Submission deadline: June 10, 2006
Notification to authors: June 20, 2006
Camera-ready copy due: June 30, 2006
Submissions can be made in PDF or PS format at
http://www.easychair.org/MVLPA2006/.
If you have any questions, please send email to
axm011500(a)utdallas.edu.
==============================================================================
Message: Address: Action:
help majordomo(a)clip.dia.fi.upm.es Info. on useful commands
subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list
unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list
<whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list
-----------------------------------------------------------------------------
Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/
-----------------------------------------------------------------------------