Even though the contributions of the multi-agent systems (MAS)
community can make a significant impact in the development of open
distributed systems, the techniques resulting from such contributions
will only be widely adopted when suitable programming languages and
development tools are available. Furthermore, such languages and tools
must incorporate those techniques in a principled but practical way, so
as to support the ever more complex task of professional programmers,
in particular when the systems have to operate in dynamic environments.
The ProMAS workshop series aims to address the theoretical and
practical programming issues related to developing and deploying
multi-agent systems. In particular, ProMAS aims to address how
multi-agent systems designs or specifications can be effectively
implemented. In its previous editions, ProMAS constituted an invaluable
occasion bringing together leading researchers from both academia and
industry to discuss issues on the design of programming languages and
tools for multi-agent systems. In particular, the workshop promotes the
discussion and exchange of ideas concerning the techniques, concepts,
requirements, and principles that are important for multi-agent
programming technology.
We encourage the submission of proposals for programming languages
and development tools that provide specific programming constructs to
facilitate the implementation of the essential concepts used in
multi-agent system analysis and specifications (e.g., mental attitudes,
distribution, and social interaction). We also welcome submissions
describing significant multi-agent applications, as well as agent
programming tools that allow the integration of agents with legacy
systems. Further, we are particularly interested in approaches or
applications that show clearly the added-value of multi-agent
programming, and explain why and how this technology should be adopted
by designers and programmers both in academia and industry.
Accepted papers will be published as a technical report and
distributed among participants during the workshop. As was the case for
previous
editions of the ProMAS workshop, we are planning to publish
extended versions of selected papers as a volume of the Lecture Notes
in Computer
Science series by Springer-Verlag.
Juergen Dix (Clausthal University of Technology, Germany)
European Semantic Web Conference
Innsbruck, Austria, June 3-7, 2007
http://www.eswc2007.org/
The vision of the Semantic Web is to enhance today’s web via the
exploitation of machine-processable meta data. The explicit
representation of the semantics of data, enriched with domain theories
(Ontologies), will enable a web that provides a qualitatively new level
of service. It will weave together a large network of human knowledge
and makes this knowledge machine-processable. Various automated
services will help the users to achieve their goals by accessing and
processing information in machine-understandable form. This network of
knowledge systems will ultimately lead to truly intelligent systems,
which will be employed for various specialized reasoning subsystems to
accomplish complex tasks. Many technologies and methodologies are being
developed within Artificial Intelligence, Natural Language Processing,
Machine Learning, Databases, Multimedia Systems, Distributed Systems,
Software Engineering and Information Systems that can contribute
towards the realization of this vision.
The 4th Annual European Semantic Web Conference (ESWC 2007) will
present the latest results in research and application of Semantic Web
technologies, including knowledge mark-up languages, Semantic Web
services, and ontology management. ESWC 2007 will also feature a
special industry-oriented event, a forum for gaining a better
understanding of these new technologies and their business aspects. The
conference will offer a tutorial program to get up to speed with
European and global developments in this exciting new area.
Several distinguished scientists will give an invited talk at the
conference; among them, prof. Stefano Ceri (Tech. Univ. of Milan,
Italy), prof. Georg Gottlob (Oxford Univ., UK), prof. Ning Zhong
(Maebashi Institute of Technology, Japan).
ESWC 2007 is sponsored by ESSI - a group of European Commission 6th
Framework Programme projects. Together these projects aim to improve
world-wide research and standardisation in the area of the Semantic
Web. For more information on ESSI, please visit www.essi-cluster.org.
Submissions
ESWC 2007 welcomes the submission of excellent original research and
application papers dealing with all aspects of the Semantic Web,
particularly those related to the subject areas indicated by the topics
below. We particularly encourage the submission of papers on industrial
efforts and experiences with Semantic Web projects. We encourage
theoretical, methodological, empirical, and applications papers.
The proceedings of this conference will be published in
Springer’s Lecture Notes in Computer Science series. Paper
submission and reviewing for ESWC 2007 will be electronic, via the
conference Web site:
http://www.eswc2007.org/. Papers, due 15 December, 2006, should not exceed fifteen (15) pages in Springer LNCS format.
Papers may be accepted as (i) full papers, or as (ii) short papers with poster presentation.
Important Dates
Abstract Submission: 8 December, 2006
Full Paper Submission: 15 December, 2006
Notification: 26 February, 2007
Camera-Ready Papers due: 16 March, 2007
Conference: 3 - 7 June, 2007
Conference Topics of Interest
Topics of interest to the conference include (but are not restricted to):
- Ontology Management (creation, evolution, evaluation, etc.)
- Ontology Alignment (mapping, matching, merging, mediation and reconciliation)
- Ontology Learning and Metadata Generation (e.g. HLT and ML approaches)
- Multimedia and Semantic Web
- Semantic Annotation of Data
- Semantic Web Trust, Privacy, Security and Intellectual Property Rights
- Semantic Web Rules and Query Languages
- Logics for the Semantic Web
- Reasoning on the Semantic Web
- Behavior in the Semantic Web
- Searching, Querying, Visualizing, Navigating and Browsing the Semantic Web
- Personalization and User Modelling
- User Interfaces and Semantic Web
- Semantic Grid and Middleware
- Semantic Web Services (description, discovery, invocation, composition, choreography, etc.)
- Semantic Web-based Knowledge Management (e.g. Semantic Desktop, Knowledge Portals)
- Semantic Web for e-Business, e-Culture, e-Government, e-Health, e-Learning, e-Science
- Database Technologies for the Semantic Web
- Data Semantics and Web Semantics
- Semantic Interoperability
- Semantic Workflows
- Semantic Web Mining
We particularly welcome application papers which clearly show benefits of Semantic Web technologies in practical settings.
General Chair
Enrico Franconi (Free University of Bozen-Bolzano, Italy), franconi@inf.unibz.it
Program Chairs
Michael Kifer (State University of New York at Stony Brook, USA), kifer@cs.stonybrook.edu
Wolfgang May (Georg-August-Universität Göttingen, Germany), may@informatik.uni-goettingen.de
International Colloquium on Automata, Languages and Programming
Wroclaw, Poland, July 9-13, 2007
http://icalp07.ii.uni.wroc.pl/
The 34th International Colloquium on Automata, Languages
and Programming, the main conference and annual meeting
of the European Association for Theoretical
Computer Science EATCS will take place from the 9th to the 13th of July
2007 in Wroclaw, Poland. This
year the conference will be
colocated with 22nd Annual IEEE Symposium on Logic
in Computer Science (LICS 2007) and Logic Colloquium 2007.
Following the successful experience of the last two years, ICALP
2007 will complement the established structure of the
scientific program based on Track A on Algorithms,
Automata, Complexity and Games, and Track
B on Logic, Semantics, and Theory of Programming, corresponding
to the two main streams of the journal Theoretical Computer
Science, with a special Track C on Security and Cryptography
Foundations. The aim of Track C is to allow a deeper
coverage of a particular topic, selected for
each year's edition of ICALP on the basis of its
timeliness and relevance for
the theoretical computer
science community.
Papers presenting original research on all aspects of theoretical
computer science are sought. Typical but not
exclusive topics of interest are:
- Track A - Algorithms, Automata, Complexity and Games (PC Chair: Lars Arge, University of Aarhus, Denmark)
- Algorithmic Aspects of Networks
- Algorithmic Game Theory
- Automata Theory
- Combinatorics in Computer Science
- Computational Biology
- Computational Complexity
- Computational Geometry
- Data Structures
- Design and Analysis of Algorithms
- Internet Algorithmics
- Machine Learning
- Parallel, Distributed and External Memory Computing
- Quantum Computing
- Track B - Logic, Semantics, and Theory of Programming (PC Chair: Andrzej Tarlecki, University of Warsaw, Poland)
- Algebraic and Categorical Models
- Automata and Formal Languages
- Emerging and Non-standard Models of Computation
- Databases, Semi-Structured Data and Finite Model Theory
- Principles of Programming Languages
- Logics, Formal Methods and Model Checking
- Models of Concurrent, Distributed, and Mobile Systems
- Models of Reactive, Hybrid and Stochastic Systems
- Program Analysis and Transformation
- Specification, Refinement and Verification
- Type Systems and Theory, Typed Calculi
- Track C - Security and Cryptography Foundations (PC Chair: Christian Cachin, IBM Zurich Research Laboratory, Switzerland)
- Cryptographic Notions, Mechanisms, Systems and Protocols
- Cryptographic Proof Techniques, Lower bounds, Impossibilities
- Foundations of Secure Systems and Architectures
- Logic and Semantics of Security Protocols
- Number Theory and Algebraic Algorithms in Cryptography
- Pseudorandomness, Randomness, and Complexity Issues
- Secure Data Structures, Storage, Databases and Content
- Security Modeling: Combinatorics, Graphs, Games, Economics
- Specifications, Verifications and Secure Programming
- Theory of Privacy and Anonymity
- Theory of Security in Networks and Distributed Computing
- Quantum Cryptography and Information Theory
SUBMISSION GUIDELINES
Authors are invited to submit an extended
abstract presenting original research.
The abstract should not exceed
10 single-spaced pages including title and
abstract, but excluding bibliography and appendices,
should be in single-column format, use at least 11-point
fonts, and have reasonable margins. If the
authors believe that more details are essential to substantiate
the main claims of the paper, they may include a
clearly marked appendix that will be read
at the discretion of the program
committee. Submissions deviating
significantly from these guidelines risk rejection
without consideration of their merits.
Submissions should indicate to which track (A, B,
or C) the paper is submitted.
No simultaneous submission to other
publication outlets (either a conference or a journal) is
allowed.
PROCEEDINGS
The proceedings will be published in the Lecture Notes in Computer
Science Series by Springer-Verlag. The final version of each accepted
paper must be submitted in electronic form conforming to the LNCS style
and not exceeding 12 pages.
IMPORTANT DATES
- Submission: January 25, 2007
- Notification: April 5, 2007
- Final version due: April 23, 2007
- Deadline for workshop proposals: November 30, 2006
- Notification for workshop proposals: December 17, 2006
Computer Aided Verification
Berlin, Germany, July 3-7, 2007
http://www.cav2007.org/
Aims and Scope:
CAV'07 is the 19th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue its leadership in hardware verification, and maintain its recent momentum in software verification. 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. A selection of papers will be invited to a special issue of the International Journal on Formal Methods and System Design.
Topics of interest include:
- Algorithms and tools for verifying models and implementations
- Hardware verification techniques
- Hybrid systems and embedded systems verification
- Program analysis and software verification
- Modeling and specification formalisms
- Deductive, compositional, and abstraction techniques for
- rification
- Testing and runtime analysis based on verification technology
- Applications and case studies
- Verification in industrial practice
Paper submission:
There are two categories of submissions:
- Regular papers. Submissions, not exceeding thirteen (13) 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.
- Tool presentations. Submissions, not exceeding four (4) 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 this conference before will be accepted only if significant and clear enhancements to the tool are reported and implemented.
Information concerning the procedure for submissions will be available on the conference home page:
http://www.cav2007.org
Submissions will be evaluated by the program committee for inclusion in the proceedings, which will be published by Springer-Verlag in the LNCS series. Papers exceeding the stated maximum length or submitted after January 28, 2007 run the risk of rejection without review.
On an experimental basis for this year, authors will be granted access to the text content of their reviews during the review process. Authors will be given a short time period in which to submit feedback, which may (at the PC's discretion) be taken into account in the decision process. Strict guidelines on length and content of feedback will be provided to the authors.
Important dates:
Paper submission (firm): January 28, 2007
Author feedback period: March 9-11, 2007
Notification of acceptance: March 23, 2007
Final version due: April 20, 2007
Program Chairs:
Werner Damm, U Oldenburg, damm at informatik.uni-oldenburg.de
Holger Hermanns, Saarland U, hermanns at cs.uni-sb.de
Program Committee:
Parosh Abdullah, Uppsala U
Rajeev Alur, U Penn
Sergey Berezin, Synopsis
Armin Biere, JKU Linz
Roderick Bloem, TU Graz
Ahmed Bouajjani, U Paris 7
Alessandro Cimatti, IRST Trento
Edmund M. Clarke, CMU
Werner Damm, CvO U Oldenburg
E Allen Emerson, U Texas (tbc.)
Limor Fix, Intel
Patrice Godefroid, Microsoft Research
Ganesh Gopalakrishnan, U of Utah
Susanne Graf, Verimag
Orna Grumberg, Technion
Holger Hermanns, Saarland U
Robert Jones, Intel
Orna Kupferman, Hebrew U
Robert Kurshan, Cadence
John Lygeros, ETH Zuerich (tbc.)
Tom Melham, Oxford U
Ken McMillan, Cadence
Jakob Rehof, U Dortmund
Koushik Sen, UC Berkeley
Fabio Somenzi, U Boulder
Ashish Tiwari, SRI International
Frits Vaandrager, U Nijmegen
Yaron Wolfstal, IBM Haifa
Workshop on Software Engineering for Answer Set Programming
Tempe, Arizona, May 14-16, 2007
Over the last ten
years Answer Set Programming (ASP) has grown from a pure
theoretical knowledge representation and reasoning formalism to a
computational approach with a very strong formal backing. At present,
ASP is seen as the computational embodiment of non-monotonic reasoning
incorporating techniques of databases, knowledge representation, logic
and constraint programming. ASP has become an appealing tool for
knowledge representation and reasoning and thanks
to the increasing efficiency of the implementations of ASP solvers, the
field has now started to tackle the first industrially relevant
applications.
Writing complex programs in any language is not an easy task, with ASP
being no exception. Most of the modern popular programming languages
have an abundance of tools and development methodologies to facilitate
and improve the coding process. Given the differences in for example
language design, execution, and application domains for languages such
as Java and C++, the existing methodologies and tools that are
available are mostly not suitable for ASP. Therefore development
tools and software engineering methodologies specifically designed for
ASP are required.
This workshop aims to bring together researchers who are currently
working on or are interested in the development of dedicated tools,
techniques, and methodologies to facilitate the development of answer
set programs.
Topics
Authors are invited to submit original research or system description
papers on software engineering tools or techniques for answer set
programming.
The list of topics of interest includes but is not limited to:
- Modeling tools
- (Domain Specific) Front and/or Back-ends
- Methodologies
- Debuggers
- (Graphical) User Interfaces
- Integrated Development Environment (IDE)
- Software engineering metrics
Workshop co-chairs
Marina De Vos, University of Bath, UK (
mdv@cs.bath.ac.uk)
Torsten Schaub, University of Potsdam, (
torsten@cs.uni-potsdam.de)
Program Committee
Tommi Syrjanen, Helsinki University of Technology, Finland
Enrico Pontelli, New Mexico State University, US
Tran Cao Son, New Mexico State University, US
Stefan Woltran, Technical University of Vienna, Austria
Martin Brain, University of Bath, UK
Richard Watson, Texas Tech University, US
Wolfgang Faber, University of Calabria, Italy
Ken Satoh, National Institute of Informatics, Japan
Yan Zhang, University of Western Sydney, Australia
Submission Details
Submitted articles will undergo peer-review. The paper must be in
Springer LNCS format and must not exceed 15 pages in total. Submission
should be sent as a pdf to both workshop chairs. Formal paper
proceedings will be available during the conference and will also be
published online.
Important Dates
Paper Submission: 8 February 2006
Paper Acceptance/Rejection Notification: 12 March 2006
Camera Ready Papers: 20 April 2006
The Sixth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'07) will provide a forum for presenting and discussing high-quality research and applications on context. The conference will include paper and poster presentations, system demonstrations, workshops, and a doctoral consortium. The conference invites researchers and practitioners to share insights and cutting-edge results from a wide range of disciplines including:
- Computer Science, especially Artificial Intelligence and Ubiquitous Computing
- Cognitive Science
- Linguistics
- Organizational Sciences
- Philosophy
- Psychology
- Application areas such as Medicine and Law
Context
affects a wide range of activities in humans and animals as well as in
artificial agents and other systems. The importance of context is
widely acknowledged, and "context" has become an area of study in its
own right, as evidenced by numerous workshops, symposia, seminars, and
conferences on this area. CONTEXT, the oldest conference series
focusing on context, is unique in its emphasis on interdisciplinary
research. Previous CONTEXT conferences have been held in Rio de
Janeiro, Brazil (CONTEXT'97), Trento, Italy (CONTEXT'99, LNCS 1688),
Dundee, Scotland (CONTEXT'01, LNCS 2116), Palo Alto, U.S.A.
(CONTEXT'03, LNCS 2680), and Paris, France (CONTEXT'05, LNCS 3554).
Each of these brought together researchers and practitioners from many
disparate fields to discuss and report on context-related research and
projects.
TOPICS OF INTEREST
The
following list illustrates sample research areas whose perspectives on
context are solicited for the conference. This is not an exhaustive
list, and contributions addressing context from other perspectives are
welcome. The conference scope includes the contextual issues related to
areas such as:
- Analogy and Case-Based Reasoning
- Intelligent/Semantic Web Systems
- Autonomous Agents and Agent-based Systems
- Knowledge Engineering and Management
- Knowledge Representation
- Cognitive Modeling
- Language Understanding and Production
- Concepts and Categorization
- Learning
- Context-Aware Applications and Systems
- Memory, Representation and Access
- Multiagent Systems and Interagent Communication
- Databases
- Distributed Information Systems
- Neuroscience
- Formal Semantics and Pragmatics
- Formal Theories of Context
- Ontology Management
- Heterogeneous Information Integration
- Organizational Theory and Design
- Perception
- Human Decision-Making and Decision
- Philosophical Foundations of Context
- Support Systems
- Problem Solving and Planning
- Human-Centered Computing
- Reasoning
- Human-Computer Interaction
- Relevance Computation and Relevance Theories
- Information Management
- Intelligent Tutoring Systems
- Situated and Distributed Cognition
- Intelligent User Interfaces
- Ubiquitous Computing
CONFERENCE EVENTS
CONTEXT'07 will include paper presentation sessions, a poster and demonstration session, two days of workshops, and a doctoral consortium. Workshops and the doctoral consortium will circulate separate calls for papers and participation, which will also be available at the conference web site.
ACCEPTANCE CRITERIA AND SUBMISSION CATEGORIES
Because CONTEXT'07 will be an interdisciplinary forum, all submissions will be evaluated both for their technical merit and for their accessibility to an interdisciplinary audience. Works that transcend disciplinary boundaries are especially encouraged.
Submissions
may be for full papers, poster abstracts, or demonstration abstracts.
Full papers will be accepted either for oral presentation or for
presentation at a poster session. All accepted full paper submissions
will be published in the proceedings. Accepted posters and
demonstrations will be presented at the poster session, and the
associated abstracts will be published in a brochure distributed to
attendees. For additional details see the conference web site.
For
a paper to appear in the proceedings, at least one author must register
for the conference by the deadline for camera-ready copy.
SUBMISSION PROCEDURES
Papers
must be submitted electronically as PDF files. Submissions cannot
exceed 14 pages in the Springer LNAI format. Detailed formatting and
submissions instructions, as well as LaTeX and Word templates, will be
available in the author instructions section of the conference Web site.
All
accepted authors will have the option of presenting a system
demonstration at the poster session. Authors wishing to present a
demonstration without an accompanying paper must submit a demonstration
abstract. Demonstration abstracts should describe cutting-edge systems
not described in paper submissions. Demonstration abstracts should
summarize the system's behavior and significance, and should include at
least one screen shot. If desired, they may also include the URL of an
informal video on the web. Demonstration abstracts should be at most 2
pages long.
MULTIPLE SUBMISSIONS POLICY
CONTEXT'07 will not accept any paper which, at the time of submission, is under review for or has already been published or accepted for publication in a journal or another conference. This restriction does not apply to submissions for workshops and other venues with a limited audience.
IMPORTANT DATES
Deadline for workshop proposal submissions January 31, 2007
Deadline
for paper submissions
March 15,
2007
Deadline for poster and demonstration abstract submissions March 15, 2007
Notification of acceptance/rejection for paper submissions May 7, 2007
Suggested deadline for workshop paper submission May 15, 2007
Deadline for final versions of accepted papers May 31, 2007
Workshop
days
August 20-21, 2007
Main conference (including poster and demo sessions) August 22-24, 2007
CONFERENCE ORGANIZERS
CONFERENCE CHAIR
Boicho Kokinov, New Bulgarian University, Bulgaria
PROGRAM CO-CHAIRS
Daniel C. Richardson, UCSC, USA
Thomas R. Roth-Berghofer, DFKI, Germany
Laure Vieu, IRIT-CNRS, France, and ISTC-CNR, Italy
WORKSHOPS CHAIR
Stefan Schulz, The e-Spirit Company GmbH, Dortmund, Germany
ORGANIZING COMMITTEE
Henning Christiansen, Roskilde University, Denmark (Chair)
Troels Andreasen, Roskilde University, Denmark
John Gallagher, Roskilde University, Denmark
Mads Rosendahl, Roskilde University, Denmark
Jørgen Villadsen, Technical University of Denmark (Publicity Chair)
STEERING COMMITTEE
Chiara Ghidini, ITC-irst, Italy (Chair)
Varol Akman, Bilkent University, Turkey
Massimo Benerecetti, University of Naples, Italy
Paolo Bouquet, University of Trento, Italy
Patrick Brézillon, University of Paris 6, France
Anind Dey, Carnegie Mellon University, USA
Fausto Giunchiglia, ITC-irst, Italy
Boicho Kokinov, New Bulgarian University, Bulgaria
David Leake, Indiana University, USA
Luciano Serafini, Trentino Cultural Institute (ITC), Italy
Rich Thomason, University of Michigan, USA
Roy Turner, University of Maine, USA
Roger A. Young, University of Dundee, UK
FOR ADDITIONAL INFORMATION
Please see http://context-07.ruc.dk/ for additional information on the conference, complete committee information, and contacts for questions.
Henning Christiansen
professor, ph.d.
Computer Science Section, Bldg. 42.1
Roskilde University
P.O.Box 260, DK-4000 Roskilde, DENMARK
Description
Multiagent planning is concerned with planning by (and for) multiple
agents. Nowadays a major issue in multiagent planning is the
coordination of single-agent planners. Here, coordination is studied
not only during the execution of plans, but also in the (pre)-planning
phase.
A wide range of real applications could benefit from such coordinated
planning technology, for example, in transportation and logistics,
health care management, space missions, military tasks, and disaster
management. Also, planning in the context of human-computer (or
human-robot) interaction is inherently a multiagent planning task.
Coordinating the plans of the involved entities up front has the
potential to improve the efficiency of the whole system. However,
currently, a great amount of research seems to focus solely on either
planning, or the coordination of agents without the context of a plan.
The purpose of this workshop is to address the problems that arise when
coordinating the plans and schedules of multiple agents. We therefore
solicit papers with original work, as well as position statements or
surveys that relate to one or more of the following questions:
- Which applications require decentralized planning?
- Can we derive benchmark problems from these applications?
- How can we evaluate multiagent planning techniques?
- How to measure communication costs, privacy loss, flexibility and robustness?
- How to measure plan quality when agents arevself-interested
(e.g., multi-objectivevoptimization, or game theoretical concepts such
asvPareto optimal solutions)?
- What are efficient techniques to deal with the many problems inherent to a dynamic and uncertain multiagent world?
- How to deal with local autonomy, privacy issues, and conflicting preferences?
- How to deal with uncertainty and incomplete information?
- How to coordinate multiagent plan diagnosis and (local) plan repair?
- How to coordinate plans when agents' objectives (tasks, intentions, preferences,...) evolve overtime?
Paper should clarify their relevance to these questions.
To summarize, specific topics of interest include (butvare not limited to):
- multiagent planning and scheduling applications
- strategies for testing/evaluating distributedvplan/schedule management techniques
- self-interested planning agents
- privacy in distributed planning
- game theoretic planning
- managing local autonomy in team planning/scheduling
- mixed initiative and adjustable autonomy in distributed planning/scheduling
- negotiation over tasks/intentions in distributed planning/scheduling
- distributed continual planning/scheduling
- plan/schedule maintenance in single and multiagent systems
- plan/schedule repair in stochastic and adversarial domains
- active (distributed) monitoring to trigger plan/schedule maintenance
- distributed planning under uncertainty
- multiagent planning with sparse or unreliable communication
Paper submissions
Authors are encouraged to submit papers or position statements
electronically in PDF format. Submitted papers should be formatted
according to ACM
specifications. ACM style guides, as well as templates and style sheets
for Microsoft Word, WordPerfect, and LaTeX can be found at the ACM
webpage.
(
http://www.acm.org/sigs/pubs/proceed/template.html)
Papers should be no more than 8 pages. Please submit your paper at the workshop website no later than February 5, 2007.
Accepted papers will be distributed as informal working notes, printed
copies of which will be available at the workshop. Depending on the
quality of the submissions, we are planning to select a subset of the
papers, and give the authors of these papers the opportunity to publish
a revised version of their workshop paper in post-proceedings (e.g. by
IOS Press or Springer).
Important dates
- Deadline for submissions: February 5, 2007
- Notifications: March 5, 2007
- Deadline for camera-ready copy: March 19, 2007
- Workshop: half a day at May 14th or 15th, 2007
Program committee
Organizers
- Michael Brenner, Albert-Ludwigs-Universität Freiburg (brenner at informatik.uni-freiburg.de)
- Brad Clement, Jet Propulsion Laboratory, Pasadena (bclement at jpl.nasa.gov)
- Mathijs de Weerdt, Delft University of Technology (M.M.deWeerdt at tudelft.nl)
Program committee
- Anthony Barrett, Jet Propulsion Laboratory, Pasadena
- Keith Decker, University of Delaware
- Ed Durfee, University of Michigan
- Boi Faltings, Swiss Federal Institute of Technology
- Piotr Gmytrasiewicz, University of Illinois at Chicago
- Nick Hawes, University of Birmingham
- Sven Koenig, University of Southern California
- Roman van der Krogt, University College Cork
- Victor Lesser, University of Massachusetts
- Karen Myers, SRI International
- Jeff Rosenschein, Hebrew University of Jerusalem
- Reid Simmons, Carnegie Mellon University
- Steve Smith, Carnegie Mellon University
- Tom Wagner, DARPA
- Cees Witteveen, Delft University of Technology
- Shlomo Zilberstein, University of Massachusetts
CADE is the major forum for the presentation of research in all aspects of automated deduction.
- Logics of interest include propositional, first-order,
equational, higher-order, classical, intuitionistic, constructive,
modal, temporal, many-valued, substructural, description, and
meta-logics, logical frameworks, type theory and set theory.
- Methods of interest include resolution, tableaux, term
rewriting, induction, unification, constraint solving, SAT
solving, decision procedures, saturation, model generation, model
checking, natural deduction, sequent calculi, proof planning,
proof presentation, proof checking, and explanation.
- Applications of interest include hardware and software
development, systems analysis and verification, deductive
databases, functional and logic programming, computer mathematics,
natural language processing, computational linguistics, robotics,
planning, knowledge representation, and other areas of AI.
Paper submission:
Submission is electronic in PostScript or PDF format via the EasyChair
system. Submitted papers must conform to the Springer LNCS style,
preferrably using LaTeX2e and the Springer llncs class
files. Submissions can be full papers, for work on foundations,
applications, or implementation techniques (15 pages), as well as
system descriptions (5 pages), for describing publicly available
systems. The proceedings will be published in the Springer
LNCS series. For further information and submission
instructions, see http://www.cadeconference.org/meetings/cade21
Important dates:
Submission of title and abstract: February 16, 2007
Submission papers: February 23, 2007
Notification of acceptance: April 16, 2007
Final version due: May 11, 2007
Workshops and tutorials: July 15-16, 2007
Conference: July 17-20, 2007
Conference Chair:Michael Kohlhase (IUB)
Workshop and Tutorial Chair: Christoph Benzmueller (Saarland Univ)
Program Chair: Frank Pfenning (CMU)
Program Committee:
David Basin ETH Zuerich
Christoph Benzmueller Cambridge University
Maria Paola Bonacina Universita degli Studi di Verona
Simon Colton Imperial College London
Gilles Dowek Ecole Polytechnique
Rajeev
Gore
Australian National University
Jean Goubault-Larrecq ENS Cachan
Reiner Haehnle Chalmers University of Technology
John Harrison Intel Corporation
Michael Kohlhase International University Bremen
Dale
Miller
INRIA-Futurs and Ecole Polytechnique
Tobias Nipkow Technical University Munich
Hans de Nivelle MPII Saarbruecken
Albert Oliveras Technical University of Catalonia
Frank Pfenning (chair) Carnegie Mellon University
Ulrike Sattler University of Manchester
Manfred Schmidt-Schauss University of Frankfurt
Cesare Tinelli University of Iowa
Andrei Voronkov University of Manchester
Toby
Walsh
National ICT Australia and Univ of New South Wales