Call for Papers

List of Events:

International Conference on Logic Programming
ICLP 2006
Seattle, USA, August 17-20, 2006

Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming including but not restricted to:
The three broad categories for submissions are: (1) technical papers, where specific attention will be given to work providing novel integrations of the areas listed above, (2) application papers, where the emphasis will be on their impact on the application domain as opposed to the advancement of the the state-of-the-art of logic programming, and (3) posters, ideal for presenting and discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. In addition to papers and posters, the technical program will include invited talks and advanced tutorials. We also plan to have Doctoral Student Consortium and several workshops. The workshops will be held on August 16 and August 21, 2006. Details, as they become available will be posted at

Papers and posters must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. They must be written in English. Technical papers and application papers must not exceed 15 pages in the Springer LNCS format (cf. The limit for posters is 2 pages in that format. The primary means of submission will be electronic. More information on the submission procedure will be available at

The proceedings of the conference will be published by Springer-Verlag in the LNCS series. The proceedings will include the accepted papers and the abstracts of accepted posters.

The conference is sponsored by the Association for Logic Programming. The ALP has funds to assist financially disadvantaged participants. The ALP is planning to sponsor two awards for ICLP’06: for the best technical paper and for the best student paper.


Papers Posters
Abstract Submission Deadline 14 February
Submission Deadline 21 February 14 March
Notification of Authors 7 April 14 April
Camera-ready Copy 2 May 2 May
General Chair:
Manuel Hermenegildo (
Program Co-Chairs:
Sandro Etalle (
Mirek Truszczynski (
Workshop Chair:
Christian Schulte (
Doctoral Student Consortium:
Enrico Pontelli (
Publicity Chair:
Alexander Serebrenik (

The conference will be a part of the fourth Federated Logic Conference (FLoC’06) to be held August 10-21, 2006, in Seattle, Washington ( Other participating conferences are: Computer-Aided Verification (CAV), Rewriting Techniques and Applications (RTA), Logic in Computer Science (LICS), Theory and Applications of Satisfiability Testing (SAT), and Int’l Joint Conference on Automated Reasoning (IJCAR). Plenary events involving multiple conferences are planned.

Federated Logic Conference
FLoC 2006
Seattle, USA, August 10-22, 2006

In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science. The second Federated Logic Conference (FLoC'99) was held in Trento, Italy, in 1999, and the third (FLoC'02) was held in Copenhagen, Denmark, in 2002.

We are pleased to announce the fourth Federated Logic Conference (FLoC'06) to be held in Seattle, Washington, in August 2006, at the Seattle Sheraton (

The following conferences will participate in FLoC.
Pre-conference workshops will be held on August 10-11. LICS, RTA, and SAT will be held in parallel on August 12-15, to be followed by mid-conference workshops and excursions on August 15-16. CAV, ICLP, and IJCAR will be held in parallel on August 16-21, to be followed by post-conference workshops on August 21-22. 
Plenary events involving all the conferences are planned.

Calls for papers and call for workshop proposals will be issued in the near future. For additional information regarding the participating meetings, please check the FLoC web page (see above) later this summer.

FLoC'06 Steering Committee:

International Workshop on Rewriting Logic and its Applications
WRLA 2006
Vienna, Austria, April 1-2, 2006

The workshop will be held in conjunction with

ETAPS 2006
9th European Joint Conferences on Theory and Practice of Software
March 26 - April 2, 2006

November 21, 2005 Deadline for submissions
January 16, 2006 Notification of acceptance
February 16, 2006 Final version in electronic form
April 1-2, 2006 Workshop in Vienna

Rewriting logic (RL) is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication and interaction. It can be used for specifying a wide range of systems and languages in various application fields. It also has good properties as a metalogical framework for representing logics. In recent years, several languages based on RL (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim of the workshop is to bring together researchers with a common interest in RL and its applications, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas.

The topics of the workshop comprise, but are not limited to,
Previous WRLA workshops have been organized in
The proceedings of the WRLA workshops have been published as volumes 4, 15, 36, 71, and 117 in the Elsevier ENTCS series, available at

Selected papers from WRLA'96 have been published in a special issue of Theoretical Computer Science, Volume 285(2), 2002, and selected papers from WRLA 2004 will appear in a special issue of Higher-Order and Symbolic Computation.

WRLA 2006 will be held in Vienna, Austria in March 25-26, 2006. It is a satellite workshop of ETAPS 2006, the European Joint Conferences on Theory and Practice of Software. For venue, registration and suggested accommodation see the ETAPS 2006 web page

Submissions will be evaluated by the Program Committee for inclusion in the proceedings, which will be available at the time of the workshop and are expected to be published in the Elsevier ENTCS series.

Papers must contain original contributions, be clearly written, and include appropriate reference to and comparison with related work. They must be unpublished and not submitted simultaneously for publication elsewhere. Papers (of at most 15 pages, at least 10 point font) should be submitted electronically, preferably as PDF files, to the workshop email address

providing also a text-only abstract, and detailed contact information of the corresponding author.

The final program of the workshop will also include system demonstrations and invited presentations to be determined.

Based on the quality and interest of the accepted papers, the program committee will consider the possibility of preparing a special issue of a scientific journal in the field.

Carolyn Talcott and Grit Denker
SRI International
Menlo Park, CA 94025

Roberto Bruni Universita` di Pisa
Manuel Clavel Universidad Complutense de Madrid
Grit Denker SRI International, Menlo Park (co-Chair)
Francisco Duran Universidad de Malaga
Steven Eker SRI International, Menlo Park
Kokichi Futatsugi JAIST, Nomi
Claude Kirchner INRIA & LORIA, Nancy
Salvador Lucas Universidad Politecnica de Valencia
Narciso Marti-Oliet Universidad Complutense de Madrid
Jose Meseguer University of Illinois at Urbana-Champaign
Ugo Montanari Universita` di Pisa
Pierre-Etienne Moreau INRIA & LORIA, Nancy
Peter Olveczky University of Oslo
Grigore Rosu University of Illinois at Urbana-Champaign
Mark-Oliver Stehr University of Illinois at Urbana-Champaign
Carolyn Talcott SRI International, Menlo Park (Chair)
Martin Wirsing Ludwig-Maximillian University, Munich

For more information, please contact the organizers

or visit the workshop web page

International Joint Conference on Automated Reasoning
IJCAR 2006
Seattle, USA, August 16-21, 2006

The Third International Joint Conference on Automated Reasoning (IJCAR) is the fusion of several major conferences in Automated Reasoning:
IJCAR 2006 will be part of the Federated Logic Conference, FLoC'06 (, to be held in Seattle during August 10--22, 2006.

IJCAR 2006 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited.

Logics of interest include:
Propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, metalogics, type theory, and set theory.

Methods of interest include:
Tableaux, sequent calculi, resolution, model-elimination, connection method, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, efficient data-structures and indexing, integration of computer algebra systems and automated theorem provers, and combination of logics or decision procedures.

Applications of interest include:
Hardware and software verification, formal methods, program analysis and synthesis, computer arithmetic, metatheory of languages and logics, declarative programming, deductive databases, knowledge representation, computer security, natural language processing, linguistics, robotics, and planning.

Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research papers can be up to 15 pages long, and system descriptions can be up to 5 pages long. In the research paper category, submissions of theoretical, practical and experimental nature are equally encouraged. Abstracts must be registered by Feb 27, 2006. All submissions must be received by March 6, 2006. Submissions that arrive late or are too long will not be considered.

Submission Details:
The proceedings of IJCAR 2006 will be published by Springer-Verlag in the LNAI/LNCS series.

Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, that can be obtained from

Best Paper Awards:
Awards will be given for the best paper and the best paper written solely by one or more students. The selection will be done by the program committee. A submission is eligible for the best student paper award if all authors are full-time students at the time of submission. The program committee may decline to make the awards or may split it among several papers.

Important Dates:
February 27, 2006: Paper registration
March 6, 2006: Paper submissions
April 24, 2006: Acceptance notification
May 29, 2006: Camera-ready copy due
August 16--21, 2006: IJCAR, Seattle, USA

Program Chairs:
Ulrich Furbach, University of Koblenz,
Natarajan Shankar, SRI International,

Program Committee:

Conference Chair:
John Harrison
Intel Semiconductors,

Workshop Chair:
Maria Paola Bonacina
Univ. of Verona,

Publicity Chair:
Sergey Berezin

Steering Committee:
Franz Baader
Peter Baumgartner
Ulrich Furbach
John Harrison
Reiner Haehnle
Tobias Nipkow
Natarajan Shankar
Cesare Tinelli
Toby Walsh

International Conference on Practice and Theory of Automated Timetabling
  PATAT 2006
Brno, Czech Republic, August 30-September 1, 2006

This conference is the sixth in a series of conferences that serve as a forum for an international community of researchers, practitioners and vendors on all aspects of computer-aided timetable generation. For more information about the series of conferences see
The themes of the conference include (but are not limited to):
   o  Educational Timetabling
   o  Transport Timetabling
   o  Employee Timetabling and Rostering
   o  Sports Timetabling
   o  Complexity Issues
   o  Distributed Timetabling Systems
   o  Experiences
   o  Implementations
   o  Commercial Packages
   o  Interactive vs Batch Timetabling
   o  Timetable Updating
   o  Standard Data Formats
   o  Relationship with Other Scheduling Problems
   o  Timetabling Research Areas, including:
                  Constraint-Based Methods
                  Evolutionary Computation
                  Artificial Intelligence
                  Graph Colouring
                  Expert Systems
                  Heuristic Search
                  Knowledge Based Systems
                  Operational Research
                  Simulated Annealing
                  Local Search
                  Mathematical Programming
                  Soft Computing
                  Tabu Search
                  Very Large Neighborhood Search
                  Ant Colony Methods
                  Hybrid Methods
                  Multi-Criteria Decision Making
                  Fuzzy Reasoning
The Featured Keynote Speakers for this conference are:
       Michel Gendreau (Centre de Recheche sur les Transports, Montréal, Canada)
       James Orlin (MIT, USA)
       Andrea Schaerf (Universita di Udine, Italy)
 Authors are invited to submit presentations in one of three categories:
(a) Full Papers
 Authors should submit papers describing significant, original and unpublished work.  Such papers are expected to be approximately 10-20 pages in length but this guideline is not strict. These papers will be fully refereed by the programme committee and the accepted ones will appear in a conference proceedings (ISBN 80-210-3726-1). As in previous years, a selection of the papers will appear in a post conference volume published in the Springer Lecture Notes in Computer Science series.  The second round of refereeing for this volume will take place shortly after the conference.
(b) Abstracts
Authors can submit abstracts of up to 1000 words. Abstracts will be fully refereed. The accepted ones will appear in the conference proceedings. Abstracts will not go forward to the second round of refereeing for the post-conference volume. However, authors of accepted abstracts will have the opportunity to write a full paper based on their abstract and submit it for the selected papers volume. People who wish to give a talk (e.g. practitioners, researchers with preliminary or incomplete papers) but do not want to submit  a full paper can submit under this category.
(c) System Demonstrations:
Authors can submit an abstract, describing the major properties and contribution of implemented and/or commercial timetabling systems. Abstracts should not exceed 1000 words (3-4 pages). Authors of accepted submissions in this category would be expected to provide a demonstration of their software during the conference. Demonstration submissions will be evaluated on the basis of their innovation, relevance and scientific contribution.  The abstracts will be published in the conference proceedings but they will not be forwarded to the second round of refereeing for the post-conference volume.  However, authors of accepted system demonstration abstracts are welcome to submit a full paper to the post-conference volume if they so wish.
Submission Instructions:
Papers for all three categories must be formatted using instructions which will be published on the conference web site.  These instructions will appear by the end of September 2005. The length of the paper should fulfill the requirements given for each category.
All submissions should be made through our online system available at
Authors who have problems with the online system should contact one of the co-chairs of the Programme Committee for instructions. Please note that all participants will need to register for the conference and pay the registration fee in order for accepted submissions to appear in the conference proceedings.
Paper/abstract submissions     January 27th 2006
Notification                             April 28th 2006 (at the latest)
Programme Committee:
Edmund Burke (co-chair) University of Nottingham, UK
Hana Rudová (co-chair) Masaryk University, Czech Republic
Hesham Alfares   King Fahd University, Saudi Arabia
Viktor Bardadym  Noveon Inc., Belgium
James Bean   University of Michigan, USA
Peter Brucker   University of Osnabrück, Germany
Michael Carter   University of Toronto, Canada
Peter Cowling   University of Bradford, UK
Patrick De Causmaecker  KaHo St.-Lieven, Gent, Belgium
Kathryn Dowsland  Gower Optimal Algorithms Ltd. UK
Andreas Drexl   University of Kiel, Germany
Moshe Dror   University of Arizona, USA
Wilhelm Erben  FH Konstanz - University of Applied Sciences, Germany
Jacques A. Ferland  University of Montreal, Canada
Michel Gendreau  Centre de Recherche sur les Transports, Montréal, Canada
Alain Hertz   Ecole Polytechnique de Montréal, Canada
Jeffrey Kingston  University of Sydney, Australia
Raymond Kwan   University of Leeds, UK
Gilbert Laporte  Université de Montréal, Canada
Vahid Lotfi   University of Michigan-Flint, USA
Amnon Meisels   Ben-Gurion University, Beer-Sheva, Israel
Thiruthlall Nepal  Durban Institute of Technology, South Africa
Jim Newall  eventMAP Ltd, UK
Ben Paechter   Napier University, Edinburgh, UK
Gilles Pesant   Ecole Polytechnique de Montréal, Canada
Sanja Petrovic   University of Nottingham, UK
Jean-Yves Potvin  Université de Montréal, Canada
Rong Qu   University of Nottingham, UK
Andrea Schaerf   Universita di Udine, Italy
Jan Schreuder   University of Twente, Enschede, The Netherlands
Jonathan Thompson  Cardiff University, UK
Paolo Toth   University of Bologna, Italy
Michael Trick   Carnegie Mellon University, USA
Greet Vanden Berghe  KaHo St.-Lieven, Belgium
Stefan Voss  University of Hamburg, Germany
Dominique de Werra  EPF-Lausanne, Switzerland
George White   University of Ottawa, Canada
Michael Wright  Lancaster University, UK
Jay Yellen  Rollins College, USA
About the Venue:
Brno is the Czech Republic's second largest city.  It lies in the middle of South Moravia and is a thriving centre of commerce and culture.  The city has a rich history and a wide variety of architectural styles dating back almost a thousand years. Lying right at the heart of Europe, Brno is well placed to attract visitors from around the world. The city is a major trade fair centre, a grand prix motorcycle venue, and is the home of six universities and a number of research institutes.
The conference will be held at the Hotel International (which is a member of the Best Western Premier network of hotels). The hotel is located in a pleasant area of the city between the Cathedral of St. Peter and Paul and the 13th century Špilberk fortress.  Parks surrounding the fortress and cathedral provide a very convenient and quiet walking area.  Adjacent areas of the old city offer excellent opportunities for shopping and a wide range of restaurants, pubs, and bars. The conference hotel is reasonably priced and includes excellent conference facilities.
Conference organizers can also provide details on how to book accommodations in a nearby student hostel. It is located within 5-10 minutes walking distance from the conference hotel.
Brno has a growing international airport. There are regular train and bus  connections to large international airports at Prague and Vienna (Austria).  Detailed travel instructions will be placed on the conference web site.
You can find more information about Brno at
and more about the hotel at
For more information, contact
Conference Organisers are:
 Edmund Burke
Automated Scheduling, Optimisation and Planning Research Group
School of Computer Science and Information Technology
University of Nottingham
University Park, Nottingham NG7 2RD
United Kingdom
Hana Rudová
Faculty of Informatics, Masaryk University
Botanická 68a
Brno 602 00
Czech Republic

International Conference on Web Information Systems and Technology
  WEBIST 2006
Setubal, Portugal, April 10-13, 2006


The purpose of the 2nd International Conference on Web Information Systems and Technologies (WEBIST-2006) is to bring together researchers, engineers and practitioners interested in the technological advances and business applications of web-based information systems. The conference has four main track, covering different aspects of Web Information Systems, including Internet Technology, Web Interfaces and Applications, Society, e-Communities, e-Business and, last but not least, e-Learning.
WEBIST focuses on real world applications; therefore authors should highlight the benefits of Web Information Systems and Technologies for industry and services, in addition to academic applications. Ideas on how to solve business problems, using web based information systems and technologies, will arise from the conference. Papers describing advanced prototypes, systems, tools and techniques and general survey papers indicating future directions are also encouraged. Both technological and social-oriented papers are accepted. All papers must describe original work, not previously published or submitted to another conference. Accepted papers, presented at the conference by one of the authors, will be published in the Proceedings of WEBIST. Acceptance will be based on quality, relevance and originality. Both full research reports and work-in-progress reports are welcome. There will be both oral and poster sessions.
Special sessions, dedicated to case-studies and commercial presentations, as well as tutorials dedicated to technical/scientific topics are also envisaged: companies interested in presenting their products/methodologies or researchers interested in holding a tutorial, workshop or special session are invited to contact the conference secretariat or visit the conference website (


Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable, provided they fit in one of the following main topic areas:
    1. Internet Technology
    2. Web Interfaces and Applications
    3. Society, e-Business and e-Government
    4. e-learning


Authors should submit a paper in English of up to 8 A4 pages, carefully checked for correct grammar and spelling, using the submission procedure indicated below.
The guidelines for paper formatting provided at the conference web site must be strictly used for all submitted papers.
The submission format is the same as the camera-ready format. Please check and carefully follow the instructions and templates provided.
The program committee will review all papers and the contact author (the author that submit the paper) of each paper will be notified of the result, by e-mail.
Each paper should clearly indicate the nature of its technical/scientific contribution, and the problems, domains or environments to which it is applicable.

Due to space limitations in the Proceedings, the camera-ready versions of accepted papers will be limited to 8 (eight) pages for long oral presentations, 6 (six) for short oral presentations (progress reports) and 4 (four) for poster presentations. If absolutely needed, the number of pages may be increased up to a maximum of 12. However, for each page in excess of the maximum allowed, the author will have to pay an additional fee.

Submission procedure:
A "double-blind" paper evaluation method will be used. To facilitate that, the authors are kindly requested to produce and provide the full paper, WITHOUT any reference to any of the authors. The manuscript must contain, in its first page, the paper title, an abstract and a list of keywords but NO NAMES OR CONTACT DETAILS WHATSOEVER are to be included in any part of this file. The file to be uploaded must be a zip containing two files: author(s) information in one and the paper, without any author(s) information, in another. LaTeX/PS/PDF/DOC format are accepted.
The web submission facility automatically sends an acknowledgement, by e-mail, to the contact author. Please contact the secretariat if no acknowledgement is received.

If the author is unable to use the web-based procedure then he/she can send the paper by e-mail to the secretariat attaching an additional file containing: the title, author(s), affiliation(s), contact details, a list of keywords and an abstract. Authors must also indicate the conference area (including the topics) or the workshop, to which the paper is submitted.


Full Paper Submission: 29th November 2005
Author Notification: 15th January 2006
Final Camera-Ready Submission and Registration: 7th February 2006
Conference Date: 10-13 April 2006


WEBIST Secretariat
Address: Av. D.Manuel I, 27 r/c esq.
                2910-595 Setúbal - Portugal
Tel.: +351 265 520 185
Fax: +351 265 520 186
e- mail:


The conference will be held at the School of Business of Setúbal.


Joaquim Filipe, INSTICC/E.S.T. Setúbal, Portugal


José Cordeiro, INSTICC/ E.S.T. Setúbal, Portugal


Cristina Baroglio, Università degli Studi di Torino, Italy
Christos Bouras, University of Patras and RACTI, Greece
Amy Bruckman, Georgia Tech, United States
Ku-Ming Chao, Coventry University, United Kingdom
Christophe Claramunt, Naval Academy Research Institute, France
Daniel Cunliffe, University of Glamorgan, United Kingdom
John Philip Cuthell, MirandaNet Academy; Bath Spa University College; University of Huddersfield, United Kingdom
Alessandro D'Atri, CeRSI - Luiss Guido Carli, Italy
Josep Domingo-Ferrer, Rovira i Virgili University of Tarragona, Spain
Chyi-Ren Dow, Feng Chia University, Taiwan, Taiwan
Barry Eaglestone, The University of Sheffield, United Kingdom
Ali El Kateeb, University of Michigan, United States of America
Filomena Ferrucci, University of Salerno, Italy
Begoña Gros, University of Barcelona, Spain
Aaron Gulliver, University of Victoria, Canada
Kathleen Hornsby, University of Maine, United States of America
Brian Hudson, Sheffield Hallam University, United Kingdom
Kai Jakobs, Aachen University, Germany
Anne James, Coventry University, United Kingdom
Jussi Kangasharju, Darmstadt University of Technology, Germany
Heiko Ludwig, IBM TJ Watson Research Center, United States of America
Anna Maddalena, DISI - University of Genoa, Italy
Johannes Mayer, University of Ulm, Germany
Alessandro Micarelli, University of "Roma Tre", Italy
Kia Ng, ICSRiM - University of Leeds, United Kingdom
David Nichols, University of Waikato, New Zealand
Jun Pang, INRIA Futurs, France, France
Guenther Pernul, University of Regensburg, Germany
Bhanu Prasad, Florida A & M University, United States of America
Kimmo Raatikainen, University of Helsinki, Finland
Danguole Rutkauskiene, Kaunas University of Technology, Lithuania
Abdolhossein Sarrafzadeh, Massey University, New Zealand
Anthony Savidis, ICS-FORTH, Greece
Alexander Schatten, Vienna University of Technology: Institute for Software Technology and Interactive Systems, Austria
Alexander Schill, TU Dresden, Germany
Heiko Schuldt, UMIT, Austria
Charles A. Shoniregun, University of East London, United Kingdom
J. Michael Spector, FSU-LSI, United States of America
Aixin Sun, University of New South Wales, Australia
Junichi Suzuki, University of Massachusetts, Boston, United States of America
Jianying Zhou, Institute for Infocomm Research, Singapore

International Conference on Computing Frontiers
Ischia, Italy, May 3-5, 2006

The increasing needs of present and future computation-intensive applications have stimulated research in new and innovative approaches to the design and implementation of high-performance computing systems. These challenging boundaries between state of the art and innovation constitute the computing frontiers, which must push forward and provide the computational support required for the advancement of all science domains and applications. This conference focuses on a wide spectrum of advanced technologies and radically new solutions, and is designed to foster communication between the various scientific areas and disciplines involved.

Authors are invited to submit papers on all areas of innovative computing systems that extend the current frontiers of computer science and engineering and that will provide advanced systems for current and future applications.

Papers are sought on theory, methodologies, technologies, and implementations concerned with innovations in computing paradigms, computational models, architectural paradigms, computer architectures, development environments, compilers, and operating environments. Papers should be submitted to one of the following areas:

Selected papers will be published in special issues of the ACM Journal of Emerging Technology in Computing Systems or the Journal of Instruction Level Parallelism.

If you are interested in proposing a special session or workshop, please contact the program chair (sam at csl dot cornell dot edu) by September 15, 2005.

Important Dates

Paper submissions due:
December 9, 2005
Author notification:
January 20, 2006
Final papers due:
February 24, 2006

International Symposium on Formal Methods
FM 2006
Hamilton, Canada, August 21-27, 2006

FM'06 is the fourteenth in a series of symposia organized by Formal Methods Europe,, an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software development, industrial users as well as researchers. Submissions are welcomed in the form of original papers on research and industrial experience, proposals for workshops and tutorials, entries for the exhibition of software tools and projects, and reports on ongoing doctoral work.

FM'06 welcomes all aspects of formal methods research, both theoretical and practical. We are particularly interested in the experience of applying formal methods in practice. The broad topics of interest of this conference are:

Full papers should be submitted via the web site. Papers will be evaluated by the Program Committee according to their originality, significance, soundness, quality of presentation and relevance with respect to the main issues of the symposium. Accepted papers will be published in the Symposium Proceedings, to appear in Springer's Lecture Notes in Computer Science series, . Submitted papers should have not been submitted elsewhere for publication, should be in Springer's format, (see Springer's web site), and should not exceed 16 pages including appendices. A prize for the best technical paper will be awarded at the symposium.

One day will be dedicated to sharing the experience -- both positive and negative -- with using formal methods in industrial environments. The Industry Day is organized by ForTIA, the Formal Techniques Industry Association, . This year's Industry Day investigates the use of formal methods in security and trust. Invited papers on organizational and technical issues will be presented. Inquiries should be directed to the Industry Day Chairs; see the web site for details.

We welcome proposals for one-day or one-and-a-half-day workshops related to FM'06. In particular, but not exclusively, we encourage proposals for workshops on various application domains. Proposals should be directed to the Workshop Chair.

We are soliciting proposals for full-day or half-day tutorials. The tutorial contents can be selected from a wide range of topics that reflect the conference themes and provide clear utility to practitioners. Each proposal will be evaluated on importance, relevance, timeliness, audience appeal and past experience and qualification of the instructors. Proposals should be directed to the Tutorial Chair.

An exhibition of both research projects and commercial tools will accompany the technical symposium, with the opportunity of holding scheduled presentations of commercial tools. Proposals should be directed to the Poster and Tools Exhibition Chair.

For the first time, FM'06 will feature a doctoral symposium. Students are invited to submit work in progress and to defend it in front of "friendly examiners". Participation for students who are accepted will be subsidized. Submissions should be directed to the Doctoral Symposium Chair.

Technical Papers, Workshops, Tutorials: Friday, February 24, 2006
Posters and Tools, Doctoral Symposium: Friday, May 26, 2006

Technical Papers: Friday, April 28, 2006
Workshops, Tutorials: Friday, March 10, 2006
Posters and Tools, Doctoral Symposium: Friday, June 9, 2006

General Chair: Emil Sekerinski (McMaster)
Program Chairs: Jayadev Misra (U. Texas, Austin), Tobias Nipkow (TU Munich)
Workshop Chair: Tom Maibaum (McMaster)
Tutorial Chair: Jin Song Dong (NUS)
Tools and Poster Exhibition Chair: Marsha Chechik (U. Toronto)
Industry Day Chairs: Volkmar Lotz (SAP France), Asuman Suenbuel (SAP US)
Doctoral Symposium Chair: Augusto Sampaio (U. Pernambuco)
Sponsorship Chair: Juergen Dingel (Queens U.)

Jean-Raymond Abrial (ETH Zurich)
Alex Aiken (Stanford U.)
Keijiro Araki (Kyushu U.)
Ralph Back (Abo Akademi)
Gilles Barthe (INRIA)
David Basin (ETH Zurich)
Ed Brinksma (U. Twente)
Michael Butler (U. Southampton)
Rance Cleaveland (U. Stony Brook)
Jorge Cuellar (Siemens)
Werner Damm (U. Oldenburg)
Frank de Boer (U. Utrecht)
Javier Esparza (U. Stuttgart)
Jose Fiadeiro (U. Leicester)
Susanne Graf (VERIMAG)
Ian Hayes (U. Queensland)
Gerard Holzmann (JPL)
Cliff Jones (U. Newcastle)
Gary T. Leavens (Iowa State U.)
Rustan Leino (Microsoft)
Xavier Leroy (INRIA)
Dominique Mery (LORIA)
Carroll Morgan (UNSW)
David Naumann (Stevens)
E.-R. Olderog (U. Oldenburg)
Paritosh Pandya (TIFR)
Sriram Rajamani (Microsoft)
John Rushby (SRI)
Steve Schneider (U. Surrey)
Vitaly Shmatikov (U. Texas, Austin)
Bernhard Steffen (U. Dortmund)
P.S. Thiagarajan (NUS)
Axel van Lamsweerde (U. Louvain)
Martin Wirsing (LMU Munich)
Pierre Wolper (U. Liege)

Publicity: Wolfram Kahl, Alan Wassyng, Jeff Zucker
Tools, Posters, Book Exhibition: Spencer Smith
Social Events: Ridha Khedri
Local Arrangements:: William Farmer, Mark Lawford
Events Co-ordinator: Ryszard Janicki

Pacific Rim International Conference on Artificial Intelligence
Guilin, China, August 7-11, 2006

The Pacific Rim International Conference on Artificial Intelligence
(PRICAI) is a  biennial international event which concentrates on AI theories, technologies and their applications in the areas of social and economic importance for countries in the Pacific Rim.  In the past conferences have been  held in Nagoya (1990),  Seoul (1992), Beijing (1994),  Cairns (1996),  Singapore (1998), Melbourne (2000), Tokyo (2002) and Auckland (2004)

The Program Committee invites technical papers on substantial, original, and unpublished research in all aspects of Artificial Intelligence (AI). PRICAI  aims  to bring together a large and diverse community, which includes practitioners, researchers, educators, and users. Topics of PRICAI-06 include, but are by no way limited to:

Abduction Agents AI architectures
AI foundations Artificial life Automated modeling
Automated reasoning    
Bayesian networks Belief revision and updates  
Case-based reasoning Cognitive Modeling Cognitive Robotics
Common-sense reasoning Computational complexity Computer-aided education
Conceptual graphs Configuration Constraint satisfaction
Creativity support Customer relationship management Cyberspace intelligence
Data mining Data quality management Decision theory
Description logics Discourse modeling Distributed AI
E-commerce and AI Emergent computation Entertainment and AI
Environment sensing / understanding Evolutionary computing (genetic algorithm, genetic programming) Expert Systems
Game playing Geometric reasoning  
Heuristics Human computer interaction  
Industrial applications of AI Inductive logic programming Information enhancement
Information retrieval Intelligent databases Intelligent data analysis
Intelligent e-mail processing Internet / WWW intelligence  
Knowledge acquisition Knowledge discovery  Knowledge engineering
Knowledge representation    
Lifelike characters Logic programming Logics (inductive / description / fuzzy, etc.)
Machine learning Machine translation Mobile agents
Mobile / Wearable intelligence Multiagent systems Multimedia and AI
Multimodal systems Multiple data source mining Music, Art and AI
Natural language processing Neural networks  
Planning & plan recognition Post data mining Problem solving
Reasoning about actions & change Reinforcement learning Robotics
Scheduling Scientific discovery Search
Semantic web Simulation Social intelligence
Spatial/temporal reasoning Speech processing  
Theorem proving    
User modelling    
Virtual reality Vision  
Web mining Web search  


Paper Submission: 22nd February, 2006
Acceptance Date: 5th May, 2006
Camera-ready: 22nd May, 2006

Submission Guidelines

Papers should be no longer than 10 pages including all tables, figures and references.  Fonts should not be smaller than 10pt. As in the past, the proceedings of  PRICAI 2006 will be published as Lecture Notes in Artificial Intelligence (LNAI) by Springer.  Submission conforming to the LNAI style [] is recommended.
All papers should be submitted electronically in PDF format via this site.  A link will be provided shortly.

Multiple Submission Policy

Papers that are being submitted to other AI conferences, whether verbatim or in other form, must reflect this fact on the first page. If a paper is accepted at another conference (with the exception  of specialised workshops), it must be withdrawn from PRICAI-06. Papers that do not meet these requirements are subject to rejection without review.


All submissions will be reviewed by an international program committee on the basis of relevance, originality, significance, soundness, clarity and standard of English expression. Papers will be reviewed in two rounds.  In the first round, all papers will be reviewed by a single reviewer.  Papers assessed as unpublishable in the first round will be rejected.  All remaining papers will be reviewed by two further reviewers.  Final acceptance decisions will be made by the program committee chairs on the basis of all three reviews.


Papers accepted for presentation at PRICAI 2006  will be published in Lecture Notes in Artificial Intelligence (LNAI) by Springer.

In addition to full papers, some papers will be accepted as poster presentations.  Authors of poster papers will be given an opportunity to present their research briefly (a few minutes) at designated sessions.

Queries regarding paper submission may be directed to the Program Committee chairs.

International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
CP-AI-OR 2006
Cork, Ireland, May 31-June 2, 2006

After a successful series of five international workshops (Ferrara, Paderborn, Ashford, Le Croisic, and Montreal) and two international conferences (Nice, Prague), the third international conference devoted to integration of Constraint Programming, Artificial Intelligence, and Operations Research techniques will be held in Cork, Ireland, in 2006.

The aim of the conference is to bring together interested researchers from AI and OR, and to give them the opportunity to show how the integration of techniques from AI and OR can lead to interesting results on large scale and complex problems. We explicitly welcome new ideas and methods for integrating OR and AI techniques that have arisen from real-world applications. CP-AI-OR is intended primarily as a forum to focus on the integration and hybridization of the approaches of CP, AI, and OR technologies. A secondary aim is to provide an opportunity for researchers in one area to learn about techniques in others. Therefore, papers that actively combine, integrate or contrast approaches from more than one of the areas are solicited. High quality papers from a single area are eligible provided that they are of interest to other communities involved.

CP-AI-OR'06 will be preceded by a Master Class where leading researchers give introductory and overview talks. This year, the topic of the Master Class will be "Modelling and Solving for Uncertainty and Change." The Master Class is intended for PhD students, researchers, and practitioners.

The program committee invites submissions that include but are not limited to the following topics:
Papers should be at most 15 pages in length, and should be prepared in the format used for the Springer Lecture Notes in Computer Science series ( It is planned that the proceedings will be published in the Springer Lecture Notes in Computer Science series ( All papers are to be submitted electronically in a PDF or PS format by following the instructions at the URL

Following the conference, authors of all accepted papers will be invited to submit substantially extended versions of their papers to a special issue of the Annals of Operations Research devoted to papers from CP-AI-OR'06. These papers will undergo an additional, very thorough refereeing process and a selection of the best papers will be published.


Deadline for paper submissions January 9, 2006
Notification of acceptance     February 24, 2006
Camera-ready copy              March 7, 2006
Master Class                   May 30, 2006
CP-AI-OR'06                    May 31-June 2, 2006

Program Chairs
Chris Beck, University of Toronto, Canada
Barbara Smith, Cork Constraint Computation Centre, Ireland

Conference Chair
Barry O'Sullivan, Cork Constraint Computation Centre, Ireland

Master Class Chairs
Ken Brown, Cork Constraint Computation Centre, Ireland
Armagan Tarim, Cork Constraint Computation Centre, Ireland

Publicity Chair
Ian Miguel, University of St. Andrews, Scotland

Sponsorship Chair
Michela Milano, Universita di Bologna, Italy

Program Committee
Gautamkumar Appa, London School of Economics, UK
Philippe Baptiste, Ecole Polytechnique, France
Roman Bartak, Charles University, Czech Republic
Mats Carlsson, SICS, Sweden
Ondrej Cepek, Charles University, Czech Republic
Hani El Sakkout, CISCO, UK
Bernard Gendron, CRT and Univ. of Montreal, Canada
Carmen Gervet, Brown University USA/Imperial College UK
Carla Gomes, Cornell University, USA
Narendra Jussien, Ecole des Mines de Nantes, France
Stefan Karisch, Carmen Systems, Canada
Francois Laburthe, Bouygues, France
Andrea Lodi, Univ. of Bologna, Italy
Michela Milano, Univ. of Bologna, Italy
Gilles Pesant, CRT and Ecole Polytechnique de Montreal, Canada
Jean-Francois Puget, ILOG, France
Jean-Charles Regin, ILOG, France
Michel Rueher, Univ. of Nice-Sophia Antipolis, France
Meinolf Sellmann, Brown University, USA
Helmut Simonis, IC-Parc, UK
Gilles Trombettoni, Univ. of Nice-Sophia Antipolis, France
Michael Trick, Carnegie Mellon University, USA
Pascal van Hentenryck, Brown University, USA
Mark Wallace, Monash University, Australia
Weixiong Zhang, Washington University, USA

Workshop on Quantitative Aspects of Programming Languages
QAPL 2006
Vienna, Austria, April 1-2, 2006

Quantitative aspects of computation are important and sometimes essential in characterising the behaviour and determining the properties of systems. They are related to the use of physical quantities (storage space, time, bandwidth, etc.)  as well as mathematical quantities (e.g. probability and measures for reliability, risk and trust). Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties.

The aim of this workshop is to discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems. In particular, the workshop focuses on
Topics include (but are not limited to) probabilistic, timing and general quantitative aspects in:
We encourage submissions of two forms:
  1. Full papers of at most 15 pages in A4 format. The use of the ENTCS style files is strongly recommended.
  2. Extended abstracts of ongoing work of at most 5 pages.
On the basis of available time a selection of these will be invited for presentation at the workshop.
Information on electronic submission is available on the workshop web site.

Important dates
Submission (Full papers):          15 December, 2005
Submission (Extended abstracts):    5 February, 2006
Notification to authors:            20 January, 2006
Final version:                     10 February, 2006

Accepted papers will be published in Elsevier's ENTCS.  Publication of a selection of the papers in a special issue of a journal is under consideration.

Program Committee
A. Aldini (Urbino)
F. de Boer (Utrecht)
F. van Breugel (Toronto)
A. Cerone (UNU-IIST)
L. de Alfaro (Santa Cruz)
A. Di Pierro (Pisa, co-chair)
M. Gabbrielli (Bologna)
I. Hayes (Queensland)
D.V. Hung (UNU-IIST)
M. Huth (IC London)
S.D. Johnson (Indiana)
J.P. Katoen (RWTH Aachen)
P. Malacaria (QMUL, London)
M. Massink (CNR, Pisa)
P. Mateus (IST, Lisbon)
A. McIver (Macquarie)
C. Morgan (UNSW/NICTA)
P. Panangaden (McGill, Quebec)
A.K. Seda (UC Cork,Ireland)
R. Segala (Verona)
H. Wiklicky (IC London, co-chair)
W. Yi (Uppsala)

Organising Committee
A. Cerone (UNU-IIST)
A. Di Pierro (Pisa, chair)
H. Wiklicky (London)

Invited Speakers
Rocco De Nicola (Florence)
Joel Ouaknine (Oxford)
Birgit Pfitzmann (IBM Zurich)

Workshop on Emerging Applications of Abstract Interpretation
EAAI 2006
Vienna, Austria, March 26, 2006

Abstract interpretation is  almost  30  years   old. These   30  years witnessed  a  great  success  of this   methodology,  in particular in analysis and verification of programming languages and systems: static program analysis,  program   compilers, program  verification, program transformation, program semantics.  This workshop focusses on emerging applications of abstract   interpretation in  nontraditional  or  even innovative  areas,   like  security,   model checking,    embedded and real-time systems,   systems    biology, software   watermarking   and obfuscation,    hardware verification, etc.    The  workshop aim is to spread the methods  of abstract  interpretation towards nontraditional areas and to share common experiences in using abstract interpretation as an approximation technique.

Topics    of  interest include   all     the applications of  abstract interpretation in nontraditional fields, like:
Paper submission: 8 January 2006
Notification: 27 January 2006
Camera-ready: 9 February 2006

Anindya Banerjee (US)
Bruno Blanchet (FR)
Radhia Cousot (FR)
Saumya Debray (US)
Roberto Giacobazzi (IT, co-chair)
David Monniaux (FR)
Alan Mycroft (UK)
Francesco Ranzato (IT, co-chair)
Hanne Riis Nielson (DK)
Helmut Veith (DE)

Authors are invited to submit papers  up to 15  pages in ENTCS format. Contributions should report  about  ongoing research in the   emerging applications of  abstract  interpretation according  to the scope  and objectives of the  workshop. Position papers are  also encouraged. Electronic submissions in  pdf or postscript format should be sent via email to: <>.

As in  previous years ETAPS'06 workshop proceedings  are planned to be published as a volume of  Elsevier's  Electronic Notes in  Theoretical Computer Science (ENTCS).

Roberto Giacobazzi
University of Verona
email: roberto.giacobazzi[AT]

Francesco Ranzato
University of Padova
email: franz[AT]

Synchronous Languages, Applications, and Programming
SLAP 2006
Vienna, Austria, March 25, 2006

Submission of full papers  :  december 11th, 2005
Notification of authors    :  january 20th, 2006
Final copy of paper        :  february 10th, 2006
Workshop                   :  march 25th, 2006

Florence Maraninchi, VERIMAG/INPGrenoble, France
Marc Pouzet, LRI, Paris-sud, France

Joaquin     Aguado - University of Bamberg, Germany
Luca        Carloni - Columbia Univ., NYC, USA
Stephen A.  Edwards - Columbia Univ., NYC, USA
Florence    Maraninchi (co-chair) - VERIMAG/INPG, Grenoble, France
Michael     Mendler - University of Bamberg, Germany
Gordon J.   Pace - University of Malta, Msida, Malta
Alessandro  Pinto - UC Berkeley, USA
Marc        Pouzet (co-chair) - LRI/Paris Sud, France
Klaus       Schneider - University of Kaiserslautern, Germany
Jean-Pierre Talpin - IRISA, Rennes, France
Daniel      Weil - ATHYS  / Dassault Systèmes, France

SLAP is a workshop dedicated to synchronous languages. Such languages have emerged in the 80s as a new method to design real-time embedded critical systems. There exists now a strong interest for them in industry: Lustre, Esterel, and Signal are used with success to program real-time and safety critical applications, from nuclear power plant management layer to Airbus air flight control systems. The purpose of the SLAP workshop is to bring together researchers and practitioners who work in the field of reactive systems. The workshop topics are covering all these issues: synchronous model of computation, synchronous languages and programming formalisms, compiling techniques, formal verification, test and validation of programs, case-studies, education, etc.

After SLAP2002 in Grenoble, SLAP2003 in Porto, SLAP2004 in Barcelona, and SLAP2005 in Edinburgh, SLAP'06 will be the fifth workshop devoted entirely to synchronous languages, applications, and programming. It will be a satellite event of ETAPS'2006. Its purpose is to bring together researchers and practitioners who work in the field of reactive systems.

The workshop topics cover the following issues:

1 invited talk (to be announced) + regular submissions.

The proceedings will be published by ENTCS.

Send a pdf file to For any other format, please contact us in advance.

International Conference on Virtual Execution Environments
VEE 2006
Ottawa, Canada, June 14-16, 2006

VEE is a forum that brings together leading practitioners and researchers in the broad area of virtualization, which includes topics such as high-level language virtual machines (JVM, CLR, etc.), process and system virtual machines, translators, machine emulators, and simulators. VEE'06 will be co-located with PLDI'06 in Ottawa, Ontario from June 14-16, 2006.

Important Dates
  Submission deadline: Thursday, December 15, 2005 11:59PM UTC-11
  Author Notification: Friday, February 17, 2006
  Conference: June 14-16, 2006.

The VEE conference seeks original papers in areas including, but not  limited to the following:
For more information on VEE'06, including submission details, and conference organization see
VEE is sponsored by ACM SIGPLAN in cooperation with USENIX and ACM SIGOPS.

European Semantic Web Conference
ESWC 2006
Budva, Montenegro, June 11-14, 2006

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, accompanied with domain  theories (Ontologies), will enable a web that provides a  qualitatively new level of service. It will weave together an  incredibly large network of human knowledge and will complement it  with machine processability. Various automated services will help the  user to achieve goals by accessing and providing information in  machine-understandable form. This process may ultimately create truly  knowledgeable systems with various specialized reasoning services  systems. Many technologies and methodologies are being developed  within Artificial Intelligence, Human Language Technology, Machine  Learning, Databases, Multimedia Systems, Distributed Systems,  Software Engineering and Information Systems that can contribute  towards the realization of this vision.
The 3rd Annual European Semantic Web Conference (ESWC 2006) will  present the latest results in research and application in semantic  web technologies (including knowledge mark-up languages, semantic web  services, ontology management and more). ESWC 2006 will also feature  a special industry-oriented event providing European industry with an  opportunity to become even more familiar with these technologies. It  will offer a tutorial program to get up to speed with European and  global developments in this exciting new area.
ESWC 2006 is co-located with general assembly of the Knowledge Web  Network of Excellence. Workshops and meetings of other European  Commission 6th Framework Programme projects involved in the semantic  web and semantic web technologies will be able to showcase their  developments. In particular we will welcome the new projects accepted  at the EU IST 4th Call.
ESWC 2006 is sponsored by SDK - a group of three European Commission  6th Framework Programme projects known as SEKT, DIP and Knowledge  Web. Together these projects aim to improve world-wide research and  standardisation in the area of the Semantic Web. For more information  on SDK, please visit

ESWC 2006 welcomes the submission of excellent original research and  application papers dealing with all aspects of the semantic web,  particularly those relating to the subject areas indicated by the  topics below. We particularly encourage the submission of papers  relating to industrial efforts and experiences with semantic web  projects. We also 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 2006 will be electronic, via  the conference WWW site: Papers, due to  November 28th, 2005, should not exceed fifteen (15)  pages in  Springer LNCS format.

Full Paper Submission:         November 28, 2005
Camera-Ready Papers due:   March 31, 2006
Conference:                         June 11 - 14, 2006

Topics of interest to the conference include (but are not restricted  to):
We particularly welcome application papers which clearly show  benefits of semantic web technologies in practical settings.

York Sure (University of Karlsruhe, DE),

Andreas Abecker (FZI Karlsruhe, DE)
Dean Allemang (TopQuadrant Inc., US)
Jürgen Angele (Ontoprise, DE)
Anupriya Ankolekar (University of Karlsruhe, DE)
Sean Bechhofer (University of Manchester, UK)
Richard Benjamins (iSOCO, ES)
Abraham Bernstein (University of Zurich, CH)
Walter Binder (EPFL, CH)
Kalina Bontcheva (University Sheffield, UK)
Paolo Bouquet (University of Trento, IT)
Jeen Broekstra (Technical University Eindhoven and Aduna, NL)
Francois Bry (University of Munich, DE)
Paul Buitelaar (DFKI Saarbruecken, DE)
Christoph Bussler (DERI Galway, IE)
Liliana Cabral (Open University, UK)
Nigel Collier (National Institute of Informatics, JP)
Oscar Corcho (University of Manchester, UK)
Isabel Cruz (University Illinois at Chicago, US)
Hamish Cunningham (University Sheffield, UK)
Paulo da Pinheiro (Stanford University, US)
John Davies (BT, UK)
Jos de Bruijn (DERI Innsbruck, AT)
Grit Denker (SRI, US)
Ying Ding (University of Innsbruck, AT)
Martin Dzbor (Open University, UK)
Andreas Eberhart (Hewlett Packard, DE)
Jerome Euzenat (INRIA Rhone-Alpes, FR)
Boi Faltings (EPFL Lausanne, CH)
Dieter Fensel  (University of Innsbruck and DERI, AT)
Enrico Franconi (Free University of Bozen-Bolzano, IT)
Aldo Gangemi  (CNR, IT)
Mari Georges (ILOG, FR)
Fausto Giunchiglia (University of Trento, IT)
Carole Goble (University of Manchester, UK)
Christine Golbreich (University of Rennes, FR)
Asun Gomez-Perez (Universidad Politecnica de Madrid, ES)
Marko Grobelnik (J. Stefan Institute, SL)
Nicola Guarino (CNR, IT)
Volker Haarslev (Concordia University, CA)
Siegfried Handschuh (FZI Karlsruhe, DE)
Jeff Heflin (Lehigh University, US)
Nicola Henze (University of Hannover, DE)
Pascal Hitzler (University of Karlsruhe, DE)
Masahiro Hori (Kansai University, JP)
Andreas Hotho (University of Kassel, DE)
Jane Hunter (University of Queensland, AU)
Eero Hyvönen (University of Helsinki, FI)
Vipul Kashyap (Clinical informatics R&D, US)
Atanas Kiryakov (Sirma AI, BG)
Matthias Klusch (DFKI Saarbruecken, DE)
Manolis Koubarakis (Technical University of Crete, GR)
Ruben Lara (Tecnologia, Informacion y Finanzas, ES)
Alain Leger (France Telecom, FR)
Maurizio Lenzerini (Universita di Roma "La Sapienza", IT)
Mihhail Matskin (KTH Stockholm, SE)
Diana Maynard (University Sheffield, UK)
Brian McBride (Hewlett Packard, UK)
Vibhu Mittal (Google Research, US)
Riichiro Mizoguchi (Osaka University, JP)
Dunja Mladenic (J. Stefan Institute, SL)
Ralf Moeller (Hamburg University of Technology, DE)
Boris Motik (FZI Karlsruhe, DE)
Enrico Motta (The Open University, UK)
John Mylopoulos (University of Toronto, CA)
Wolfgang Nejdl (University of Hannover and L3S, DE)
Leo Obrst (MITRE, US)
Jeff Z. Pan (University of Aberdeen, UK)
Terry Payne (University of Southampton, UK)
Sofia Pinto (Technical University of Lisbon, PT)
Marco Pistore (University of Trento, IT)
Aleksander Pivk (J. Stefan Institute, SL)
Dimitris Plexousakis (University of Crete, GR)
Chris Preist (HP Labs, UK)
Jinghai Rao (Carnegie Mellon University, US)
Marie-Christine Rousset (University Orsay, FR)
Stefan Schlobach (Vrije Universiteit Amsterdam, NL)
Guus Schreiber (Vrije Universiteit Amsterdam, NL)
Daniel Schwabe (PUC-Rio, BR)
Amit Sheth (University of Georgia and Semagix, US)
Michael Sintek (DFKI Kaiserslautern, DE)
Derek Sleeman (University of Aberdeen, UK)
Kavitha Srinivas (IBM T. J. Watson Research Center, US)
Steffen Staab (University of Koblenz, DE)
Ljiljana Stojanovic (FZI Karlsruhe, DE)
Michael Stollberg (DERI Innsbruck, AT)
Heiner Stuckenschmidt (University of Mannheim, DE)
Rudi Studer (University of Karlsruhe, DE)
Gerd Stumme (University of Kassel, DE)
Vojtech Svatek (University of Economics, CZ)
Katia Sycara (Carnegie Mellon University, US)
Marko Tadic (University of Zagreb, HR)
Hideaki Takeda (National Institute of Informatics, JP)
Valentina Tamma (University of Liverpool, UK)
Herman ter Horst (Philips Research, NL)
Sergio Tessaris (Free University Bozen, IT)
Robert Tolksdorf (Free University Berlin, DE)
Paolo Traverso (Automated Reasoning Systems Division at ITC/IRST, IT)
Frank van Harmelen (Vrije Universiteit Amsterdam, NL)
Ubbo Visser (University of Bremen, DE)
Holger Wache (Vrije Universiteit Amsterdam, NL)
Krzysztof Wecel (Poznan University of Economics, PL)
Steve Willmott (Universidad Politecnica de Cataluna, ES)
Michael Wooldridge (University of Liverpool, UK)

International Conference on Coordination Models and Languages
Bologna, Italy, June 14-16, 2006

* Submission of abstract:           10 January 2006
* Submission of papers:             17 January 2006
* Notification of acceptance:        7 March 2006
* Final version:                    28 March 2006
* Conference:                       14-16 June 2006

Modern information systems rely increasingly on combining concurrent, distributed, mobile, reconfigurable and heterogenous components. New models, architectures, languages, verification techniques are necessary to cope with the complexity induced by the demands of today's software development. Coordination languages have emerged as a successful approach, in that they provide abstractions that cleanly separate behavior from communication, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development.

Building on the success of the previous editions, this conference provides a well-established forum for the growing community of researchers interested in models, languages, architectures, and implementation techniques for coordination.

The previous editions of COORDINATION took place in Cesena (Italy), Berlin (Germany), Amsterdam (Netherlands), Limassol (Cyprus), York (UK), Pisa (Italy) and Namur (Belgium). More details are available at

They include but are not limited to:

Proceedings of previous editions of this conference were published by Springer, in the Lecture Notes in Computer Science (LNCS) series and are available as LNCS volumes 1061, 1282, 1594, 1906, 2315, 2949 and 3454. The intention is to continue this series.

Authors are invited to submit full papers electronically in PostScript or PDF using a two-phase online submission process. Registration of the paper information and abstract (max. 250 words) must be completed before 10 January 2006. Submission of the full paper is due no later than 17 January 2006. Further instructions on the submission procedure will be published at

Submissions must be formatted according to the LNCS guidelines (see and must not exceed 15pages in length. Papers that are not in the requested format or significantly exceed the mandated length may be rejected without going through the review phase.

Submissions should explicitly state their contribution and their relevance to the theme of the conference. Other criteria for selection will be originality, significance, correctness, and clarity.
Simultaneous or similar submissions to other conferences or journals are not allowed.

The conference will be hosted by the Department of Computer Science of the University of Bologna.


Paolo Ciancarini         University of Bologna, Italy
Herbert Wiklicky         Imperial College London, UK

Farhad Arbab                      CWI Amsterdam, The Netherlands
Antonio Brogi                     University of Pisa, Italy
Wolfgang Emmerich                 University College London, UK
Frank de Boer                     CWI & Utrecht University, The Netherlands
Jean-Marie Jacquet                University of Namur, Belgium
Josst Kok                         Leiden University, The Netherlands
Toby Lehman                       IBM Almaden, US
D.C. Marinescu                    University of Central Florida, US
Ronaldo Menezes                   Florida Institute of Technology, US
Andrea Omicini                    University of Bologna, Italy
Paolo Petta                       OeFAI, Austria
Gian Pietro Picco                 Politecnico di Milano, Italy
Ernesto Pimentel                  University of Malaga, Spain
Rosario Pugliese                  University of Florence, Italy
Gruia Catalin Roman               Washington Univeeristy, USA
Robert Tolksdorf                  FU Berlin, Germany
Emilio Tuosto                     University of Leicester, UK
Carlos Varela                     Rensselaer Polytechnic Institute, US
Alan Wood                         University of York, UK

Computer Science Logic
CSL 2006
Szeged, Hungary, September 25-29, 2006

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. CSL'06, the 15th annual EACSL conference will be organized by the Institute of Informatics, University of Szeged.

Suggested topics of interest include: automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain theory, database theory, specification, extraction and transformation of programs, logical foundations of programming paradigms, verification of security protocols, linear logic, higher-order logic, nonmonotonic reasoning, logics and type systems for biology.

Programme Committee:      
Krzysztof Apt (Amsterdam/Singapore)
Matthias Baaz (Vienna)            
Michael Benedikt (Chicago)        
Pierre-Louis Curien (Paris)       
Rocco De Nicola (Florence)        
Zoltan Esik (Szeged, chair)
Dov Gabbay (London)
Fabio Gadducci (Pisa)             
Neil Immerman (Amherst)
Michael Kaminski (Haifa)
Bakhadyr Khoussainov (Auckland)   
Ulrich Kohlenbach (Darmstadt)     
Marius Minea (Timisoara)          
Damian Niwinski (Warsaw)          
R. Ramanujam (Chennai)            
Philip Scott (Ottawa)             
Philippe Schnoebelen (Cachan)     
Alex Simpson (Edinburgh)          

Invited speakers:
Martin Escardo (Birgmingham)
Paul-Andre Mellies (Paris)
Luke Ong (Oxford)
Luc Segoufin (Orsay)
Miroslaw Truszczynski(Lexington,KY)

Organizing Committee:
Zoltan Esik (Szeged, co-chair)
Zsolt Gazdag (Szeged)
Eva Gombas (Szeged, co-chair)
Szabolcs Ivan (Szeged)
Zsolt Kakuk (Szeged)
Zoltan L. Nemeth (Szeged)
Sandor Vagvolgyi (Szeged, workshop-chair)

It is anticipated that the proceedings will be published in the LNCS series. Each paper accepted by the Programme Committee must be presented at the conference by one of the authors, and final copy prepared according to Springer's guidelines.

Submitted papers must be in Springer's LNCS style and of no more than 15 pages, presenting work not previously published. They must not be submitted concurrently to another conference with refereed proceedings. The PC chair should be informed of closely related work submitted to a conference or journal by 1 April, 2006. Papers authored or coauthored by members of the Programme Committee are not allowed.

Submitted papers must be in English and provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a technical appendix which will be read at the reviewer's discretion. The title page must contain: title and author(s), physical and e-mail addresses, identification of the corresponding author, an abstract of no more than 200 words, and a list of keywords.

The submission deadline is in two stages. Titles and abstracts must be submitted by 24 April, 2006 and full papers by 1 May, 2006. Notifications of acceptance will be sent by 12 June, 2006, and final versions are due 3 July, 2006. A submission server will be available from 1 April, 2006.

The Ackermann Award for 2006 will be presented to the recipients at CSL'06.

Important Dates:
title & abstract: 24 April, 2006
full paper:        1 May,   2006
Notification:       12 June,  2006
Final papers:        3 July,  2006

Conference address:
               c/o Prof. Zoltan Esik
               Institute of Informatics,
               University of Szeged
               H-6701, Szeged, P.O.B. 652,

Workshop on Agent Based Modeling and Simulation
ABModSim 2006
Vienna, Austria, April 18-21, 2006

The notions of agents and multi-agent systems have been widely adopted for the modelling of complex systems in most various contexts, ranging from social sciences, to urban modelling and planning, biology, logistics and production, and many other more. However the concepts behind the term agent are often quite different, as well as the goals of the modelling and simulation activities. This leads to different approaches, methodologies and developed computational systems supporting simulation of the modeled realities. The aim of this workshop is to bring together experiences related to agent based modelling and simulation in different contexts and thus to try to identify common goals and research issues, and to possibly define common methodologies and requirements for computational supports to agent based modelling and simulation.

Topics of interest
We invite papers on all aspects relating to agent based modeling and simulation, with particular attention to interdisciplinary experiences. Topics of interest include, but are not limited to, the following:
Important dates
Deadline for submission (extended!):     November 18, 2005
Notification of acceptance/rejection:    December 16, 2005
Final papers:                            January 30, 2006

After the workshop, extended versions of selected accepted contributions
will be included in a special issue of an international journal.

Program Committee (Further members to be announced)
- Stefania Bandini (University of Milano-Bicocca - Italy)
- Michael Batty (Centre for Advanced Spatial Analysis (CASA) - UK)
- Rafael Bordini (University of Durham - UK)
- Bastien Chopard (University of Geneva - Switzerland)
- Paul Davidsson (Blekinge Institute of Technology - Sweden)
- Jan Dijkstra (Eindhoven University of Technology - Netherlands)
- Giovanna Di Marzo Serugendo (University of Geneva - Switzerland)
- Samira El Yacoubi (University of Perpignan - France)
- Nigel Gilbert (University of Surrey - UK)
- Nabeel Koshak (Umm Al-Qura University - Saudi Arabia)
- Markus Knoflacher (Austrian Research Centre - Austria)
- Sara Manzoni (University of Milano-Bicocca - Italy)
- Fabien Michel (LIRMM - France)
- Andrea Omicini (University of Bologna - Italy)
- Paolo Petta (Medical University of Vienna and OFAI - Austria)
- Andreas Pyka (University of Augsburg - Germany)
- Keith Sawyer (Washington University - USA)
- Andreas Schadschneider (University of Cologne - Germany)
- Flavio Soares Correa da Silva (University of S. Paulo - Brazil)
- Harry Timmermans (Eindhoven University of Technology - Netherlands)
- Marco Valente (University of L'Aquila - Italy)
- Giuseppe Vizzari (University of Milano-Bicocca - Italy)
- Danny Weyns (Katholieke Universiteit Leuven - Belgium)
- Franco Zambonelli (Università di Modena-Reggio Emilia - Italy)

Further Information
For more information on the workshop please contact Giuseppe Vizzari (giuseppe.vizzari [at) For information about paper formatting, registration, and accomodation please see the EMCSR06 website (

International Workshop on Non-Monotonic Reasoning
NMR 2006
Lake District, UK, May 30-June 1, 2006

This is the 11th workshop in the NMR series. Its aim is to bring together active researchers in the broad area of nonmonotonic reasoning, including belief revision, reasoning about actions, planning, logic programming, argumentation, causality, probabilistic and possibilistic approaches to KR, and other related topics.

As part of the program of the 11th workshop, we will assess the status of the field and discuss issues such as: Significant recent achievements in the theory and automation of NMR; Critical short and long term goals for NMR; Emerging new research directions in NMR; Practical applications of NMR; Significance of NMR to knowledge representation and AI in general.

The workshop programme will be chaired by Juergen Dix and Anthony Hunter, and the provisional programme will include the following sessions (with session chairs).
Authors are invited to submit papers directly to any of the above sessions. Click on the above links for the CFP for each session. Informal proceedings for the workshop including accepted papers will be published on the web. Each paper should be no longer than 9 pages using the KR paper format.

Below are the important dates for the workshop.
Details on the workshop location, programme, invited talks, registration, accommodation, etc will be presented on this website soon.

International Workshop on Logic for Automated Reasoning and Automated Reasoning for Logic
St. Petersburg, Russia, June 8-12, 2006

This workshop will bring together practioners and researchers who are concerned with the logics that underlie automated reasoning, and the use of automated reasoning to investgate logics and their applications. Reasoning in all forms (automated, interactive, etc) and all logics (classical, non-classical, all orders, etc) is of interest to the workshop. The workshop will be divided into two tracks:

Logic for Automated Reasoning
Automated Reasoning for Logic
Submission of papers for presentation at the workshop, and proposals for system and application demonstrations at the workshop, are now invited. Submissions  will be reviewed (using this review form), and a balanced program of high-quality contributions will be selected. There is a 20 page limit. Full details of the workshop and submission requirements are on the WWW page.

Submission deadline - 6th March 2006

International Symposium on Methodologies for Intelligent Systems
ISMIS 2006
Bari, Italy, September 27-29, 2006

ISMIS has established a  prestigious tradition by organizing a leading international  conference  on  intelligent  systems.   The  conference provides a  unique opportunity for exchanging  scientific research and technological   achievements   accomplished   by   the   international community.   The previous  events  were held  in Knoxville,  Tennessee (1986, 1990), Charlotte, North Carolina (1987, 1989, 1991, 1994, 1997, 2000), Turin (1988), Trondheim (1993), Zakopane (1996), Warsaw (1999), Lyon (2002), Maebashi City (2003), Saratoga Springs (2005).

Important Dates
    Paper submission:.................. March 18
    Notification of acceptance:........ May 15
    Camera-ready copy due:............. June 30

Conference Theme
ISMIS is  intended to represent a  wide range of topics  of concern to scholars applying advanced techniques  to areas as diverse as decision support,  automated  deduction,  reasoning, knowledge  based  systems, machine  learning,  computer  vision, robotics,  planning,  databases, information retrieval,  etc.  ISMIS  provides a medium  for exchanging scientific research and technological achievements accomplished by the international  community. The  focus of  the  work is  on research  in Intelligent  systems.   The  conference  addresses   issues  involving solutions  of  problems  which   are  complex  to  be  solved  through conventional   approaches  and   which  require   the   simulation  of intelligent   thought  processes,   heuristics  and   applications  of knowledge.  The integration  of these  multiple approaches  in solving complex problems  is of particular importance. ISMIS  provides a forum and a means for exchanging  information for those interested purely in theory,  those  interested  primarily  in  implementation,  and  those interested in specific research and industrial applications.

Topics of Interest
ISMIS 2006 invites submissions  of original research contributions, as well  as  proposals  for  panels  and  workshops.   Contributions  for industry  and applications sessions  and software  demonstrations also are  solicited.   The  conference  covers  a broad  range  of  topics, including  the  use  of   conventional  approaches,  as  well  as  new challenges  for advanced  techniques  for intelligent  systems in  any possible domain.   This Symposium  is intended to  attract individuals who are actively engaged both  in theoretical and practical aspects of intelligent systems.  The  goal is to provide a  platform for a useful exchange between  theoreticians and  practitioners, and to  foster the cross-fertilization of ideas in the following areas:
In  addition,   we  solicit   papers  dealing  with   Applications  of Intelligent  Systems in  complex/novel domains,  e.g.  bioinformatics, global change, manufacturing, health care, etc.

Proceedings will be published by Springer-Verlag in LNCS/LNAI (Lecture Notes  in  Artificial  Intelligence)  and  will be  available  at  the symposium.   Any necessary information  concerning typesetting  can be obtained directly from Springer-Verlag page at

Authors are invited to submit  their manuscript in the LNCS/LNAI style (maximum   10  pages).    All  paper   submissions  will   be  handled electronically. Detailed  instructions are provided  on the conference homepage at

A selected number  of ISMIS 2006 accepted papers  will be expanded and revised for  possible inclusion in Journal  of Intelligent Information Systems  (   by  Springer,  Knowledge  and Information Systems  journal ( by Springer-Verlag,   Web   Intelligence   and  Agent   Systems   journal ( by IOS Press, Annual Review of Intelligent Informatics  ( by World  Scientific, Journal
of  Experimental  & Theoretical  Artificial  Intelligence (Taylor  and Francis) (

Conference Officers
General Chair:
  Zbigniew W. Ras, University of North Carolina (USA)
Program Chair:
  Floriana Esposito, University of Bari (Italy)
Program Co-Chairs:
  Donato Malerba, University of Bari (Italy)
  Giovanni Semeraro, University of Bari (Italy)

Steering Committee:
 Floriana Esposito (Univ. Bari, Italy)
 Mohand-Said Hacid (Univ. Lyon 1, France)
 David Hislop (ARL/ARO, USA)
 Setsuo Ohsuga (Waseda Univ., Japan)
 Zbigniew W. Ras (UNC-Charlotte) (Chair)
 Robert Meersman (Vrije Univ. Brussels, Belgium)
 Neil Murray (SUNY at Albany, USA)
 Lorenza Saitta (Univ. Piemonte Orientale, Italy)
 Shusaku Tsumoto (Shimane Medical Univ., Japan)
 Maria Zemankova (NSF, USA)
 Djamel Zighed (Univ. Lyon 2, France)
 Ning Zhong (Maebashi Institute of Tech., Japan)

Program Committee:
 Luigia Carlucci Aiello (Univ. Roma, Italy)
 Troels Andreasen (Roskilde Univ., Denmark)
 Stefania Bandini (University of Milano-Bicocca, Italy)
 Salima Benbernou (University Lyon 1, France)
 Petr Berka (Univ. of Economics, Prague, Czech Republic)
 Elisa Bertino (Purdue Univ., USA)
 Alan Biermann (Duke Univ., USA)
 Jacques Calmet (Univ. of Karlsruhe, Germany)
 Sandra Carberry (Univ. of Delaware, USA)
 Juan Carlos Cubero (Univ. de Granada, Spain)
 Agnieszka Dardzinska (Bialystok Technical Univ., Poland)
 Ian Davidson (SUNY at Albany, USA)
 Robert Demolombe (ONERA/CERT, France)
 Eric Dietrich (SUNY at Binghamton, USA)
 Tapio Elomaa (Tampere Univ. of Technology, Finland)
 Attilio Giordana (Univ. Piemonte Orientale, Italy)
 Marco Gori (University of Siena, Italy)
 Jerzy Grzymala-Busse (Univ. of Kansas, USA)
 Mirsad Hadzikadic (Univ. of North Carolina, Charlotte, USA)
 Janusz Kacprzyk (Polish Academy of Sciences, Poland)
 Joost N. Kok (Leiden University, The Netherlands)
 Jacek Koronacki (Polish Acad. Sci., Poland)
 T.Y. Lin (San Jose State Univ., USA)
 David Maluf (NASA Ames)
 Simone Marinai (University of Florence, Italy)
 Stan Matwin (Univ. of Ottawa, Canada)
 Paola Mello (University of Bologna, Italy)
 Maria Teresa Pazienza (Università degli Studi di Roma, Italy)
 Witold Pedrycz (Univ. of Alberta, Canada)
 Luís Moniz Pereira (Universidade Nova de Lisboa, Portugal)
 James Peters (Univ. of Manitoba, Canada)
 Enric Plaza (CSIC - Spanish Scientific Research Council, Spain)
 Vijay Raghavan (Univ. of Louisiana, USA)
 Jan Rauch (Univ. of Economics, Prague, Czech Rep.)
 Gilbert Ritschard (Univ. of Geneva, Switzerland)
 Marie-Christine Rousset (University Paris-Sud, France)
 Nahid Shahmehri (Linkoping Univ., Sweden)
 Andrzej Skowron (Univ. of Warsaw, Poland)
 Dominik Slezak (Univ. of Regina, Canada)
 Steffen Staab (University of Koblenz-Landau, Germany)
 V.S. Subrahmanian (Univ. of Maryland, USA)
 Einoshin Suzuki (Yokohama National Univ., Japan)
 Piero Torasso (University of Turin, Italy)
 Li-Shiang Tsay (Hampton Univ., USA)
 Athena Vakali (Thessaloniki University, Greece)
 Christel Vrain (The Orleans Univ., France)
 Alicja Wieczorkowska (Polish-Japanese Institute of IT, Poland)
 Xindong Wu (Univ. of Vermont, USA)
 Xintao Wu (Univ. of North Carolina
 Yiyu Yao (Univ. of Regina, Canada)

 For additional information contact:

     Professor Zbigniew W. Ras (ISMIS 2006)
     University of North Carolina
     Dept. of Computer Science
     Charlotte, NC 28226
     Fax: 704-547-3516

     Professor Floriana Esposito (ISMIS 2006)
     Department of Computer Science
     University of Bari
     Via Orabona, 4 - 70125, Bari, Italy
     Telephone & Fax: +39 080 544 32 64

International Workshop on Term Graph Rewriting
Vienna, Austria, April 1, 2006

Term graph rewriting is concerned with the representation of functional expressions as graphs and the evaluation of these expressions by rule-based graph transformation. The advantage of using graphs rather than strings or trees is that common subexpressions can be shared, which improves the efficiency of computations in space and time. Sharing is ubiquitous in implementations of functional and logic programming languages, systems for automated reasoning, and symbolic computation systems, etc.

The aim of this workshop is to bring together researchers working in these different domains and to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in term graph rewriting. TERMGRAPH 2006 will be a one-day satellite event of the ETAPS 2006, which will take place in Vienna, 2006. The first TERMGRAPH workshop took place in Barcelona in 2002 and the second in Rome in 2004.

Topics of interest include all aspects of term graphs and sharing of common subexpressions in rewriting, programming, automated reasoning and symbolic computation. This includes (but is not limited to): Theory of first-order and higher-order term graph rewriting; Graph rewriting in lambda calculus (sharing graphs, interaction nets, optimality); Applications in functional, logic and functional-logic programming; Applications in automated reasoning and symbolic computation; Implementation issues; System descriptions.

Invited Speaker
Ugo Montanari, University of Pisa, Italy

Submissions and Publication
Authors are invited to submit an extended abstract (max. 10 pages) by e-mail to by 7 January, 2006. Preliminary proceedings will be available at the workshop. Submissions should be in PostScript or PDF format, using ENTCS style files. After the workshop authors are invited to submit a full paper of their presentation. Accepted contributions will appear in an issue of Elsevier's Electronic Notes in Theoretical Computer Science.

Important Dates
Submission deadline for Extended Abstracts:  7 January, 2006
Notification: 10 February, 2006
Pre-proceedings version due: 15 March, 2006
Workshop: 1 April, 2006
Submission deadline for ENTCS: 15 June, 2006.
Notification: 15 September, 2006.
Final Versions: 15 October, 2006.

Programme Committee
Zena Ariola,  University of Oregon, USA
Fabio Gadducci, University of Pisa, Italy
Pierre Lescanne, ENS Lyon, France
Ian Mackie, King's College London, UK (Chair)
Aart Middeldorp, University of Innsbruck, Austria
Rinus Plasmeijer,   Radboud University Nijmegen, Netherlands
Detlef Plump, University of York, UK
Vladimiro Sassone,  University of Sussex, UK

Organizing Committee
Maribel Fernandez, King's College London, UK
Bernhard Gramlich, Vienna University of Technology, Austria

International Conference on Relational Methods in Computer Science
RelMiCS 2006
Manchester, UK, August 29-September 2, 2006

The RelMiCS Conference is the main forum for the relational calculus as a conceptual and methodological tool.  The AKA Workshop is a forum on topics related to Kleene algebras. As in previous years, the two events are co-organised; they have a joint programme committee and joint proceedings.  RelMiCS/AKA 2006 will be held from 29 August to 2 September 2006 in Manchester.
Visit the conference website for more information.

We invite submissions on the general topics of relations and Kleene algebra in computer science.  Special focus will be on formal methods for software engineering, logics of programs and links with neighbouring disciplines.  Particular topics of the conference cover, but are not limited to the theory of
and their applications in areas such as
A paper title and a short abstract of about 100 words must be submitted before the paper. All submissions will be electronic.
  Abstract Submission:  27 February 2006
  Paper Submission:     6 March 2006
  Author Notification:  2 May 2006
  Camera-ready papers:  2 June 2006
  RelMiCS/AKA 2006:     29 August - 2 September 2006
Submissions must be in English, in postscript or pdf format and provide sufficient information to judge their merits.  They must be unpublished and not submitted for publication elsewhere.  They may not exceed 15 pages in Springer LNCS style. Additional material may be provided by a clearly marked appendix or a reference to a manuscript on a website.  This may be considered at the discretion of the PC. Deviation from these requirements may cause immediate rejection. One author of each accepted paper is expected to present the paper at the conference. 
Detailed instructions for electronic submission will appear on the conference web site in December/January.

The proceedings of the conference will most probably be published in the Springer LNCS series.  The proceedings will be available at the conference.

A PhD training programme will be co-organised with the conference. Details will be published in a special call and on the conference website.

  General Chair:
    Renate Schmidt, Manchester, UK,

  Programme Chair:
    Georg Struth, Sheffield, UK,

  Programme Committee:
    Roland Backhouse, Nottingham, UK
    Brandon Bennett, Leeds, UK
    Rudolf Berghammer, Kiel, Germany
    Stephane Demri, Cachan, France
    Jules Desharnais, Laval, Canada
    Zoltan Esik, Szeged, Hungary & Tarragona, Spain
    Marcello Frias, Buenos Aires, Argentina
    Hitoshi Furusawa, AIST, Japan
    Stephane Gaubert, INRIA, France
    Steven Givant, Mills College, USA
    Valentin Goranko, Witwatersrand, South Africa
    Martin Henson, Essex, UK
    Ali Jaoua, Quatar
    Peter Jipsen, Chapman University, USA
    Wolfram Kahl, McMaster, Canada
    Yasuo Kawahara, Kyushu, Japan
    Zhiming Liu, UNU-IIST Macao, China
    Bernhard Moeller, Augsburg, Germany
    Damian Niwinski, Warsaw, Poland
    Ewa Orlowska, Warsaw, Poland
    Alban Ponse, Amsterdam, The Netherlands
    Ingrid Rewitzky, Stellenbosch, South Africa
    Ildiko Sain, Hungarian Academy of Sciences
    Holger Schlingloff, Berlin, Germany
    Gunther Schmidt, Muenchen, Germany
    Renate Schmidt, Manchester, UK
    Giuseppe Scollo, Verona, Italy
    Harrie de Swart, Tilburg, The Netherlands
    Michael Winter, St.Catharines, Canada

   Local Organisation:
    Renate Schmidt, Manchester, UK,
    Zhen Liz, Manchester, UK
    David Robinson, Manchester, UK
    Iain Hart & ACSO, Manchester, UK

International Conference on Computational Science
ICCS 2006
Reading, UK, May 28-31, 2006

You are invited to submit a paper with unpublished original work and/or a proposal to organise a workshop at ICCS 2006, Reading, UK, May 28-31, 2006.
Please, see for more information.

ICCS 2006 is the sixth in the series of highly successful conferences.

The theme for ICCS, "Advancing Science through Computation", marks the continued progress in computational science theory and practice, leading to greatly improved applications in science. This conference will be a unique event focusing on recent developments in novel methods and modelling of complex systems for diverse areas of science, on scalable scientific algorithms, advanced software tools, computational grids, advanced numerical methods, and on novel application areas where the above novel models, algorithms and tools can be efficiently applied such as physical systems, computational and systems biology, environmental systems, finance, and others. We look forward to welcoming you to this exciting event!

The ICCS 2006 Proceedings will be published in Springer's Lecture Notes in Computer Science (LNCS) series.

Important dates:
Proposals for Workshops                November 1, 2005
Full papers submission                 December 2, 2005
Notification of acceptance of papers   January 31, 2006
Camera ready papers                    February 10, 2006
Early registration                     March 30, 2006

ICCS Local Organizing Committee
ACET Centre
School of Systems Engineering
Whiteknights, P.O. Box 225
Reading, RG6 6AY
Phone     +44 118 378 6372
FAX:      +44 118 378 5224

Vassil Alexandrov.... Scientific Chair
Dick van Albada...... Workshop Chair
Jack Dongarra........ Overall Co-chair
Peter M.A. Sloot..... Overall Chair

Workshop on Logic, Models, and Computer Science
LMCS 2006
Camerino, Italy, April 20-22, 2006

Mathematical Logic has been contributing in a relevant way to the birth and the development of Computer Science. Accordingly the AILA Logic, Models and Computer Science workshop  LMCS06 just aims at bringing together researchers interested in the interactions between Mathematical Logic and several fields in Computer Science. LMCS06 wishes also to honour the memory of Sauro Tulipani, who so largely and brilliantly, and for so many years contributed to this research area. Hence the workshop will focus in particular on Sauro's main research interests
but it will also deal with other topics such as
and further themes concerned with the relationship between Mathematical Logic and Computer Science.

Submissions may be of two forms:
Simultaneous submission to other conferences or journals is only allowed for short papers. Submissions may already use the ENTCS-style format.

The proceedings will be published after the workshop in the ENTCS (Electronic Notes in Theoretical Computer Science).

A printed preliminary version of the proceedings will be available at the workshop. Authors will be asked to prepare their final version using the ENTCS-style format.

Authors of selected papers will be invited after the workshop to submit for publication of a full version in a Special  Issue of the Mathematical Structures in Computer Science; those submissions will then be subject to a separate reviewing procedure matching the standards of the journal.

Deadline for Paper Submission: February 4, 2006
Notification to Authors: March 15, 2006
Final Version of Accepted Papers due: April 1, 2006

Luca Aceto (Aalborg, Denmark/Reykjavik, Iceland)
Riccardo Camerlo (Polytechnic Turin, Italy)
Andrea Capotorti/Marco Baioletti (Perugia, Italy)
Rocco De Nicola (Florence, Italy)
Mariangiola Dezani (Turin, Italy)
Wilfrid Hodges (QMUL London, UK)
Giuseppe Longo (ENS Paris, France)
Angus Macintyre (QMUL London, UK)
Johann Makowski (Technion-Israel Institute of Technology, Haifa, Israel)
Daniele Mundici (Florence, Italy)
Giovanni Sambin (Padua, Italy)

Flavio Corradini (University of Camerino, Italy)
Carlo Toffalori (University of Camerino, Italy)

Rajeev Alur, Pennsylvania, USA
Flavio Corradini (co), Camerino, Italy
Zoltan Esik, Szeged, Hungary/Tarragona, Spain
Annalisa Marcja, Florence, Italy
Simone Martini, Bologna, Italy
Alberto Policriti, Udine, Italy
Simona Ronchi Della Rocca, Turin, Italy
Carlo Toffalori (co), Camerino, Italy

Patrizio Cintioli, Camerino, Italy
Flavio Corradini, Camerino, Italy
Stefano Leonesi, Camerino, Italy
Sonia L'Innocente, Camerino, Italy
Emanuela Merelli, Camerino, Italy
Carlo Toffalori, Camerino, Italy

Computability in Europe: Logical Approaches to Computational Barriers
CiE 2006
Swansea, Wales, June 30-July 5, 2006

CiE 2006 is the second of a new conference series on Computability Theory and related topics which started in Amsterdam in 2005.  CiE 2006 will focus on (but not be limited to) logical approaches to computational barriers:
Tutorials will be given by:
   Samuel R. Buss (San Diego)
   Julia Kempe (Paris)

Invited Speakers include:
   Jan Bergstra (Amsterdam)
   Luca Cardelli (Microsoft Cambridge)
   Jan Krajicek (Prague)
   Elvira Mayordomo Camara (Zaragoza)
   Istvan Nemeti (Budapest)
   Helmut Schwichtenberg (Munich)
   Andreas Weiermann (Utrecht)

The Programme Committee cordially invites all researchers (European and non-European) in the area of Computability Theory to submit their papers (in PDF-format, at most 10 pages) for presentation at CiE 2006. We particularly invite papers that build bridges between different parts of the research community.  Since women are underrepresented in mathematics and computer science, we emphatically encourage submissions by female authors.

The proceedings are intended to be published within Springer's LNCS series. Important dates are:

Submission Deadline:         December 15th, 2005.
Notification of Authors:     February 15th, 2006.
Deadline for Final Version:     March 15th, 2006.

Programme Committee:
   Samson Abramsky  (Oxford)
   Klaus Ambos-Spies (Heidelberg)
   Arnold Beckmann (Swansea, co-chair)
   Ulrich Berger (Swansea)
   Olivier Bournez (Nancy)
   Barry Cooper (Leeds)
   Laura Crosilla (Firenze)
   Costas Dimitracopoulos (Athens)
   Abbas Edalat (London)
   Fernando Ferreira (Lisbon)
   Ricard Gavalda (Barcelona)
   Giuseppe Longo (Paris)
   Benedikt Loewe (Amsterdam)
   Yuri Matiyasevich (St.Petersburg)
   Dag Normann (Oslo)
   Giovanni Sambin (Padova)
   Uwe Schoening (Ulm)
   Andrea Sorbi (Siena)
   Ivan Soskov (Sofia)
   Leen Torenvliet (Amsterdam)
   John Tucker (Swansea, co-chair)
   Peter van Emde Boas (Amsterdam)
   Klaus Weihrauch (Hagen)

Confirmed sponsors:
   British Logic Colloquium (BLC)
   Kurt Goedel Society (KGS)
   Welsh Development Agency (WDA)

For more information about the conference please check the CiE conference series and our web page

International Conference on Rewriting Techniques and Applications
RTA 2006
Seattle, WA, August 12-14, 2006

The 17th International Conference on Rewriting Techniques and Applications (RTA'06) is organized as part of the Federated Logic Conference (FLoC), collocated with CAV, ICLP, IJCAR, LICS, SAT, and several affiliated workshops.

 Feb 15, 2006: Deadline for electronic submission of title and abstract
 Feb 22, 2006: Deadline for electronic submission of papers
 May 01, 2006: Notification of acceptance of papers
 Jun 01, 2006: Deadline for final versions of accepted papers

RTA is the major forum for the presentation of research on all aspects of rewriting. Typical areas of interest include (but are not limited to):
The following workshops are affiliated with RTA'06:
Please refer to the RTA'06 web site for further information on the workshops.

Randy Bryant will be the joint plenary speaker of LICS, RTA and SAT. More RTA invited speakers will be announced later.

An award is given to the best paper or papers as decided by the program committee. A limited number of travel grants may be available for students who are (co-)authors of RTA-papers. To apply for grants, students should send an e-mail to the PC chair together with their submission.

  * Frank Pfenning, Carnegie Mellon University

 * Zena Ariola, University of Oregon
 * Franz Baader, Technical University Dresden
 * Gilles Dowek, Ecole Polytechnique and INRIA
 * Guillem Godoy, Technical University of Catalonia
 * Deepak Kapur, University of New Mexico
 * Delia Kesner, University Paris 7
 * Denis Lugiez, University of Provence
 * Claude Marche, University Paris-Sud
 * Jose Meseguer, University of Illinois at Urbana-Champaign
 * Frank Pfenning, Carnegie Mellon University (Chair)
 * Ashish Tiwari, SRI International
 * Yoshihito Toyama, Tohoku University
 * Eelco Visser, Utrecht University
 * Hans Zantema, Eindhoven University of Technology

  * Ashish Tiwari, SRI International

Submissions must be original and not submitted for publication elsewhere. Submission categories include regular research papers and system descriptions. Problem sets and submissions describing interesting applications of rewriting techniques are also welcome. The page limit for submissions is 15 pages in Springer Verlag LNCS style (10 pages for system descriptions).

Please consult for further instructions.

RTA'06 will be part of the 2006 Federated Logic Conference (FLoC 2006) which will be held August 10-22, 2006, at the Seattle Sheraton Hotel and Towers, in Seattle, Washington state, USA. Further information will be made available at the FLoC 2006 home page

International Conference on Computer Aided Verification
CAV 2006
Seattle, WA, August 16-21, 2006

Aims and Scope:
CAV'06 is the 18th in a series dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for hardware and software systems.  This year, CAV is part of the 4th International Federated Logic Conference (FLoC 2006), which includes CAV and five other conferences/symposia.

Topics of interest include: algorithms and tools for verifying models and implementations; hardware verification techniques; program analysis and software verification; modeling and specification formalisms; deductive, compositional, and abstraction techniques for verification; testing and runtime analysis based on verification technology; applications and case studies; verification in industrial practice.

Special Symposium:
The first day of CAV is traditionally a tutorial day.  This year, the tutorial will be replaced with a special symposium entitled "25 Years of Model Checking".

Affiliated workshops:
There are two categories of submissions: regular papers (not to exceed 13 pages) and tool presentations (not to exceed 4 pages).  Information concerning the procedure for submissions will be available on the conference home page:

Submission Deadline: 
January 27, 2006 (firm)

Program Committee:
Thomas Ball (Microsoft) (Co-chair),
Clark Barrett (NYU),
Karthik Bhargavan (Microsoft),
Per Bjesse (Synopsys),
Ahmed Bouajjani (Univ. Paris 7),
Randy Bryant (CMU),
Rance Cleaveland (Univ. Maryland),
Werner Damm (Univ. Oldenberg),
Ganesh Gopalakrishnan (Univ. Utah),
Steve German (IBM Research),
Patrice Godefroid (Bell Labs),
Mike Gordon (Univ. Cambridge),
Orna Grumberg (Technion),
Holger Hermanns (Saarland Univ.),
Ranjit Jhala (UC San Diego),
Robert Jones (Intel) (Co-chair),
Roope Kaivola (Intel),
Ken McMillan (Cadence),
Tom Melham (Oxford Univ.),
Corina Pasareanu (NASA Ames),
Amir Pnueli (NYU),
Thomas Reps (Univ. Wisconsin),
Sanjit Seshia (UC Berkeley),
Prasad Sistla (Univ. Illinois - Chicago),
Fabio Somenzi (Univ. Colorado).

Workshop on Logic Programming
WLP 2006
Vienna, Austria, February 22-24, 2006

The series of workshops on (constraint) logic programming serve as the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases and artificial intelligence. Previous workshops have been held in Germany, Austria and Switzerland. The workshops provide a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation, and facilitate interactions between research in theoretical foundations and in the design and implementation of logic-based programming systems. The technical program of the workshop will include invited talks, presentations of refereed papers, and system demonstrations.

Contributions are welcome on all theoretical, experimental, and application aspects of constraint and logic programming, including, but not limited to the following areas (the order does not reflect any priorities):
The primary focus is on new and original research results but submissions describing innovative products, prototypes under development or interesting experiments (e.g., benchmarks) are also encouraged.

Authors are invited to submit an extended abstract (no longer than 10 pages including figures and references) or a system description (no longer than 3 pages) in PDF or Postscript format (11pt) before November 14, 2005. Submissions should include the title, authors' names, affiliations, addresses, and e-mail information. All submissions must be written in English. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file (in A4 format), available at the Springer LNCS/LNAI homepage.

More information about the submission procedure will be available at the workshop homepage

If you have any problems with submitting papers, please send an email to

All accepted papers will be published as a technical report.

Program Chair
Hans Tompits (TU Wien)

Program Committee
Slim Abdennadher (German University Cairo)
Gerd Brewka (University of Leipzig)
François Bry (LMU München)
Marc Denecker (Katholieke Universiteit Leuven)
Jürgen Dix (TU Clausthal)
Thom Frühwirth (University of Ulm)
Ulrich Geske (FhG FIRST)
Michael Hanus (Christian-Albrechts-University of Kiel)
Steffen Hölldobler (TU Dresden)
Gabriele Kern-Isberner (University of Dortmund)
Axel Polleres (University of Innsbruck)
Sebastian Schaffert (Salzburg Research)
Dietmar Seipel (University of Würzburg)
Hans Tompits (TU Wien)
Armin Wolf (FhG FIRST)

Local Organization
Michael Fink
Hans Tompits (Chair)
Stefan Woltran

Important Dates
Submission of papers:     November 14, 2005
Notification of acceptance:     December 19, 2005
Camera-ready papers:     January 23, 2006
Workshop:     February 22-24, 2006

Hans Tompits
Knowledge-Based Systems Group E184/3
Institute of Information Systems
Vienna University of Technology
Favoritenstrasse 9-11
A-1040 Vienna
Phone: +43-1-58801-18463
Fax: +43-1-58801-18493

European Conference on Logics in Artificial Intelligence
JELIA 2006
Liverpool, UK, September 13-15, 2006

JELIA'06 will bring together researchers interested in all aspects concerning the use of logics in AI to discuss current research, results, problems and applications of both a theoretical and practical nature. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of Logics in AI.

Proceedings will be published by Springer-Verlag in the Lecture Notes on Artificial Intelligence series.  All submissions must be received (in PS or PDF only) by 1st May, 2006, and should be submitted via the form available at the JELIA-06 web page. Papers should be written in English, and should be formatted according to the Springer LNCS style (with standard margins). There are two categories of submission:
                   Deadline for submission:     1st May, 2006
                   Notification of acceptance: 8th June, 2006
                   Camera Ready Copy:         26th June, 2006

For further details, including lists of Conference Officials and Programme Committee, see

Send your questions and comments to

International Static Analysis Symposium
SAS 2006
Seoul, Korea, August 29-31, 2006

Submission: 7 April 2006
Notification: 26 May 2006
Camera-ready: 10 June 2006

Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical, and application advances in the area. The Thirteenth International Static Analysis Symposium (SAS'06) will be held in Seoul, hosted by the Seoul National University.  Previous symposia were held in London, Verona, San Diego, Madrid, Santa Barbara, Venice, Pisa, Paris, Aachen, Glasgow and Namur.

The technical program for SAS'06 will consist of invited lectures, tutorials, presentations of refereed papers, and software demonstrations. Contributions are welcome on all aspects of Static Analysis, including, but not limited to
abstract domains  abstract interpretation
abstract testing  bug detection      
data flow analysis model checking
program specialization security analysis
theoretical frameworks  type checking
verifications new applications

Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Survey papers, that present some aspect of the above topics with a new coherence, and application papers, that describe experience with industrial applications, are also welcomed.

 Kwangkeun Yi  (Seoul National U., Korea)

 Anindya  Banerjee    (Kansas State U., USA)
 Wei-Ngan Chin        (National U. of Singapore, Singapore)
 Patrick  Cousot      (ENS Paris, France)
 Roberto  Giacobazzi  (U. of Verona, Italy)
 Chris    Hankin      (Imperial College, UK)
 Luddy    Harrison    (U. of Illinois at Urbana-Champaign, USA)
 Naoki    Kobayashi   (Tohoku U., Japan)
 Oukseh   Lee         (Hanyang U., Korea)
 Alan     Mycroft     (U. of Cambridge, UK)
 Kedar    Namjoshi    (Bell Labs., USA)
 Jens     Palsberg    (UCLA, USA)
 Andreas  Podelski    (Max-Planck-Institut, Germany)
 Ganesan  Ramalingam  (IBM T.J.Watson, USA)
 Radu     Rugina      (Cornell U., USA)
 Harald   Sondergaard (U. of Melbourne, Australia)
 Zhendong Su          (UC Davis, USA)
 Reinhard Wilhelm     (U. des Saarlandes, Germany)
 Kwangkeun Yi         (Seoul National U., Korea)

Colloquium on Implementation of Constraint Logic Programming Systems
Seattle, USA, August 21 or 22, 2006

Workshop Description

The workshop aims at discussing and exchanging experience on the design, implementation, and optimization of logic and constraint (logic) programming systems, or systems intimately related to logic as a means to express computations. Preference will be given to the analysis and description of implemented (or under implementation) systems and their associated techniques, problems found in their development or design, and steps taken towards the solutions.

The workshop topics include, but are not limited to:
Workshop Motivation
The last years have witnessed continuous progress in the technology available both for academic and commercial computing environments. Examples include more processor performance, increased memory capacity and bandwidth, faster networking technology, and operating system support for cluster computing. These improvements, combined with recent advances in compilation and implementation technologies, are causing high-level languages to be regarded as good candidates for programming complex, real world applications. Techniques aiming at achieving flexibility in the language design make powerful extensions easier to implement; on the other hand, implementations which reach good performance in terms of speed and memory consumption make declarative languages and systems amenable to develop non-trivial applications.

Logic Programming and Constraint Programming, in particular, seem to offer one of the best options, as they couple a high level of abstraction and a declarative nature with an extreme flexibility in the design of their implementations and extensions and of their execution model. This adaptability is key to, for example, the implicit exploitation of alternative execution strategies tailored for different applications (e.g., for domain-specific languages) without unnecessarily jeopardizing efficiency.

This workshop continues a tradition of successful workshops on Implementations of Logic Programming Systems, previously held with in Budapest (1993) and Ithaca (1994), the Compulog Net workshops on Parallelism and Implementation Technologies held in Madrid (1993 and 1994), Utrecht (1995) and Bonn (1996), the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages (ParImp) held in Port Jefferson (1997), Manchester (1998), Las Cruces (1999), and London (2000), and more recently the Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS) in Paphos (Cyprus, 2001), Copenhagen (2002), Mumbai (2003), Saint-Malo (France, 2004), and Sitges (Spain, 2005), and the CoLogNet Workshops on Implementation Technology for Computational Logic Systems held in Madrid (2002), Pisa (2003) and Saint-Malo (France, 2004).

Important Dates
Submission Deadline:       June 1st, 2006 (strict)
Notifications to Authors:  July 1st, 2006
Final Version Deadline:    July 20th, 2006
CICLOPS 2006 Workshop:     August 21st or 22nd, 2006

Submission Guidelines
Participants  should  submit a paper  (maximum 15 pages,  PDF format),  describing  their work  in topics  relevant  to the workshop.  Accepted papers  will be presented  during the workshop. At least one author  of an accepted contribution  is expected to register for the workshop, and present the paper.
All  submissions   should   include   the  author's  name(s), affiliation, complete mailing address, and email address.

Authors are requested to prepare their submissions, following the LNCS/LNAI Springer format. Please see: for further details.

The submission should be submitted through the electronic submission site, accessible via the workshop web page. The deadline for receipt of submissions is June 1, 2006. Papers received after this date may not be reviewed. Eligible  papers  will  be  peer-reviewed  by  at least three members of the Program Committee. Authors will be notified via email of the results by July 1, 2006.   Authors  of accepted papers  are expected  to improve their paper based on reviewers' comments and to send a camera ready version of their manuscripts by July 20, 2006.

Accepted papers will be included in the workshop proceedings, which will be distributed to the participants.

Questions about submissions may be directed to haifengguo <AT> mail <DOT> unomaha <DOT> edu

Organizing Committee
Hai-Feng Guo        (University of Nebraska at Omaha)
Enrico Pontelli     (New Mexico State University)

Program Committee
Manuel Carro        (Polytechnic University of Madrid)
Bart Demoen         (KUL Leuven)
Michel Ferreira     (University of Porto)
Hai-Feng Guo        (University of Nebraska at Omaha)
Gopal Gupta         (University of Texas at Dallas)
Enrico Pontelli     (New Mexico State University)
Vitor Santos Costa  (Federal University of Rio de Janeiro)
Tom Schrijvers      (KUL Leuven)
Christian Schulte   (University of Uppsala)
Neng-Fa Zhou        (City University of New York)

Contact Information
Hai-Feng Guo
University of Nebraska at Omaha
Department of Computer Science
6001 Dodge Street
Omaha, NE 68182, USA
haifengguo <AT> mail <DOT> unomaha <DOT> edu

Enrico Pontelli
New Mexico State University
Department of Computer Science
Box 30001, MSC CS
Las Cruces, NM 88003, USA
epontell <AT> cs <DOT> nmsu <DOT> edu

First International Workshop on Preferences and Their Applications in Logic Programming Systems
Seattle, USA, August 21 or 22, 2006

Workshop Description
This workshop attempts to address all aspects of describing, modelling, computationally handling, and application of preferences, within the context of logic programming. In particular, we seek contributions that create cross-fertilization between different approaches to preferences and different flavors of logic programming (e.g., constraint logic programming, answer set programming) -- hopefully leading to new, more general, approaches for handling preferences in logic programming.

The workshop topics include, but are not limited to:
The purpose of this workshop is to bring together researchers interested in modeling and implementing preferences in logic programming. The objective is to promote exchange of ideas and possible integration between the different approaches proposed so far.

Workshop Motivation
The concept of preference has played an important role in various aspects of computer science. For example, preferences play a key role in the design of practical and efficient reasoning systems dealing with real-world knowledge. The concept of preference has been investigated by many researchers  in different fields, both within Computer Science (e.g., Artificial  Intelligence, Optimizations, Scheduling) and outside of Computer Science (e.g., Economics, Decision Theory).

In recent years we have witnessed a growing interest in studying the integration of preferences in the context of logic-based and logic programming systems. These directions of research are of great importance, considering that preferences are considered a vital component of reasoning with real-world knowledge, and logic programming is one of the most widely used programming paradigms employed in knowledge representation and reasoning.

Workshop Format
This workshop is open to all members of the CP and ICLP communities.  The workshop will emphasize discussion and cross-fertilization, so presentations will be balanced with discussion time.  In this direction, the workshop is seeking high quality papers that address cutting-edge research in this field, and that can contribute to the discussion. The agenda will include paper presentations, and possibly an invited speaker. At least one author of each accepted submission must attend the workshop, and all participants must pay the workshop fee (which covers both CP'05 and ICLP'05 workshops).

Important Dates
   Submission Deadline: June 1
   Notifications to Authors: July 1
   Final Version Deadline: July 20
   Worksop: August 21-22

Submission Guidelines
Participants  should  submit a paper  (maximum 15 pages,  PDF  format),  describing  their work  in topics  relevant  to the workshop. Accepted papers  will be presented  during the workshop.   At least one author  of an accepted contribution  is expected to register for the workshop, and present the paper.
All  submissions   should   include   the  author's  name(s), affiliation, complete mailing address, and email address.

Authors are requested to prepare their submissions, following the LNCS/LNAI Springer format. Please see:
for further details.

The submission should be sent in PDF format, using the submission web site:

Enrico Pontelli and Tran Cao Son
Department of Computer Science
New Mexico State University
Email: epontell aT cs DOT nmsu DOT edu, tson aT cs DOT nmsu DOT edu

Marcello Balduccini, Texas Tech University, USA
Gerhard Brewka, University of Leipzig, Germany
Ulrich Junker, ILOG, France
Enrico Pontelli, New Mexico State University, USA
Torsten Schaub, University of Potsdam, Germany
Tran Cao Son, New Mexico State University, USA
Mirek Truszczynski, University of Kentucky, USA