Call for Papers


List of Events:

ICLP 2005
21st International Conference on Logic Programming
Sitges, Spain, October 2-5, 2005

http://www.iiia.csic.es/iclp2005/

The Conference

The 21st International Conference on Logic Programming will be held near Barcelona (Spain) from October 2nd to October 5th, 2005. ICLP'05 will be colocated with the International Conference on Principles and Practice of Constraint Programming (CP'05).

Conference scope

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:
Theory
Semantic Foundations
Formalisms
Nonmonotonic Reasoning
Virtual Machines
Knowledge Representation
Implementation
Compilation
Memory Management
Memory Management
Parallelism

Environments
Program Analysis
Program Transformation
Validation and Verification
Debugging, Profiling
Alternative Paradigms
Constraint Logic Programming
Abductive Logic Programming
Inductive Logic Programming
Answer Set Programming
Language Issues 
Concurrency
Objects
Coordination
Mobility
Higher Order
Types
Modes
Programming Techniques
Applications
Semantic Web
Software Engineering
Web Tools
Internet Agents
Artificial Intelligence

Deductive Databases
Natural Language
Specific attention will be  given to work providing novel integrations of these different areas, and to new applications of logic programming in  general. Contributions on  applications will  be assessed  with an emphasis on their  impact and synergy with other  areas, as opposed to technical maturity. Applications of  logic programming to the Semantic Web are especially encouraged.

The technical program will include several invited talks and advanced tutorials, in addition to the presentations of the accepted papers and posters. A special session on industrial applications of logic programming is also planned and several workshops will be held in parallel with the conference. For the first time, a doctoral student consortium will be organized as part of ICLP.

Papers

Papers must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. They must be written in English and not exceed 15 pages in Springer LNCS format. The authors are encouraged, although not obliged, to submit their papers already in Springer LNCS format. General information about the Springer LNCS series and the LNCS authors' instructions are available at the Springer LNCS/LNAI home page
(http://www.springer.de/comp/lncs/index.html).
Papers should express their  contribution clearly, both in general and technical terms.  It is essential  to identify what  was accomplished, describe its significance, and explain how the paper compares with and advances previous work.  Authors should make every effort  to make the technical content understandable to a broad audience.

The primary means of submission will be electronic, in pdf format. If electronic submission is not possible, five hard copies should be sent to one of the program co-chairs. More information on the submission procedure will be available at http://www.utdallas.edu/ICLP05

Industrial Papers

A special session on industrial applications of logic programming is also planned during the conference. Papers accepted in this session will describe innovative applications of logic programming to industrial problems. The application's innovativeness and industrial impact will be the main criteria used for judging the paper. Papers accepted for this session will be published in the proceedings as shorter, (up to) 10 pages papers.

Posters

Posters provide a forum for presenting work in an informal and interactive setting. They are ideal for discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. Accepted posters will also get a 10 minute slot for presentation during the conference. Extended abstract (2 pages) of each accepted poster will be published in the proceedings.

Posters must be submitted electronically. More information on the submission procedure will be available at
http://www.utdallas.edu/ICLP05

Doctoral Student Consortium

The Doctoral Consortium will provide an opportunity for students pursuing their doctoral thesis in logic programming and related areas to explore their research interests under the guidance of a panel of distinguished experts in the field. The Doctoral Consortium will also offer invited speakers and discussion groups. The Consortium will allow participants to interact with established researchers and with other students, through presentations, question-answer sessions, panel discussions, and invited presentations.

A separate call-for-participation will be issued for the doctoral consortium. About 6 to 8 students will be selected for the consortium. Selected students will also present their research in the poster session. The abstract of the poster will be published in the conference proceedings. Financial support for selected students may be available.

Publication

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.

Sponsoring and prizes

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 prizes for ICLP'05: for the best technical paper and for the best application paper.


Important dates


PAPERS POSTERS
Abstract submission deadline:
April 30

Submission deadline:
May 6
June 1
Notification of Authors:
June 24
July 1
Camera-ready Copy Due:
July 15
July 15
Conference:
October 2-

Organization

Conference Co-Chairs:
Pedro Meseguer (IIIA-CSIC, Spain)

Javier Larrosa (Technical University of
Catalonia, Spain)

Program Co-Chairs:
Maurizio Gabbrielli (University of Bologna, Italy)

Gopal Gupta (University of Texas at Dallas, USA)

Workshop Chair:
Hai-Feng Guo (University of Nebraska at Omaha, USA)


Doctoral Consortium Chair:
Enrico Pontelli (New Mexico State University, USA)


Publicity Chair:
Felip Manya (IIIA-CSIC, Spain)


Program Committee:
Roberto Bagnara 
University of Parma, Italy
Maurice Bruynooghe
KU Leuven, Belgium
Giorgio Delzanno
University of Genova, Italy
Stefan Decker
Digital Enterprise Research Institute, Ireland
Thom Fruwirth
University of Ulm, Germany
Maurizio Gabbrielli
University of Bologna, Italy (Program Co-Chair)
Gopal Gupta 
University of Texas at Dallas, USA (Program Co-Chair)
Patricia Hill
University of Leeds, UK
Joxan Jaffar
University of Singapore, Singapore
Bharat Jayaraman
SUNY Buffalo, USA
Javier Larrosa
Technical University of Catalonia, Spain (Conference Co-Chair)
Michael Leuschel  
University of Southampton, UK
Massimo Marchiori 
University of Venice, Italy and W3C, MIT, USA
Pedro Meseguer
IIIA-CSIC, Spain (Conference Co-Chair)
Juan J. Moreno Navarro
Technical University of Madrid, Spain
Gopalan Nadathur
University of Minnesota, USA
Illka Niemela 
Helsinki U. of Tech. Finland
Catuscia Palamidessi
 INRIA, France
Enrico Pontelli
New Mexico State University, USA
I.V. Ramakrishnan
SUNY Stony Brook, USA
Vitor Santos Costa
Federal U. of Rio de Janeiro, Brazil
Harald Sondergaard 
University of Melbourne, Australia
Peter Stuckey
University of Melbourne, Australia
Frank Valencia
University of Uppsala, Sweden

Contact addresses

Conference Chairs:
Pedro Meseguer
Javier Larrosa
IIIA-CSIC 
Dep. LSI, UPC
Campus UAB 
Jordi Girona 1-3
08193 Bellaterra, Spain
08034 Barcelona, Spain

Program Co-chairs: iclp05-chairs@cs.unibo.it
Maurizio Gabbrielli
Gopal Gupta
Department of Computer Science
Department of Computer Sciences MS EC31
University of Bologna
The University of Texas at Dallas
Mura A. Zamboni 7
2601 N. Floyd Rd
40127 Bologna, Italy
Richardson, TX 78050, USA




ICLP 2005
Call for Workshop Proposals
Sitges, Spain, October 2-5, 2005

http://www.iiia.csic.es/iclp2005/


ICLP'05, the 21st International Conference on Logic Programming, will be held in Sitges(Barcelona), Spain, from October 2 to October 5, 2005. We plan to have several workshops in parallel with the conference.

Workshops have a key role in Logic Programming Conferences. They provide an ideal platform for the presentation of preliminary work or novel ideas in a less formal way than the conference itself. They also are an opportunity to disseminate work in progress, particularly for new researchers. Workshops also provide a venue for presenting more specialized topics and opportunities for more intensive discussions, exchange of ideas, and project collaboration. The topics of the workshops can cover any areas related to logic programming, including cross-disciplinary areas.

To encourage active participation and exchange of ideas, the workshops will be kept small, preferably under 40 participants. The format of the workshop will be determined by the organizer(s) proposing the workshop, but ample time must be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Having two or three co-organizers for a workshop is strongly advised.

Workshop Proposal:
The persons intending to organize a workshop at ICLP'05 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain:
Proposals are expected in ASCII or LaTeX format. All proposals should be submitted to the Workshop Chair by email by March 31, 2005.

Workshop Organizers' Tasks:
Reviewing Process:
Each submitted proposal is reviewed by the Workshops Chair and the Conference Program Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by April 13, 2005.

The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting place and can print the workshop proceedings, whose LaTeX preparation is however in charge to the workshop organizers. The workshop registration fees will be handled together with the conference fees.

Workshop Location:
The workshops will be held on October 5th, in parallel with the 21st International Conference on Logic Programming (ICLP'05). ICLP'05 will be held in Sitges(Barcelona), Spain. Sitges is a town 15 minutes away from the Barcelona international airport and 30 minutes from the center of Barcelona. The town of Sitges is situated in the Catalan region of Spain, and it is a well-established tourist resort and residential area thanks to its warm climate and fantastic natural panoramic views. The conference will be held at Melia Sitges Hotel, located on the sea-front facing the Mediterranean and is within five-minute walking distance from the city center.

Important Dates:
March 31, 2005: Proposal submission deadline
April 13, 2005: Acceptance notification
May 5, 2005: Deadline for receipt of CFP and URL for workshop web page
August 31, 2005: Deadline for workshop working notes
October 5, 2005: ICLP 2005 workshops

Workshop Chair:
Hai-Feng Guo
Department of Computer Science
University of Nebraska at Omaha
Omaha, NE 68182-0500, USA
Email: haifengguo@phoenix.unomaha.edu
Phone: +1 402 5542852
Fax: +1 402 5543284




ICLP 2005
Doctoral Consortium Call for Papers
Sitges, Spain, October 2-5, 2005

http://www.cs.nmsu.edu/~epontell/DC2005


The ICLP Doctoral Consortium (DC) is the first ever doctoral consortium to be offered as part of the International Conference on Logic Programming. The DC will take place during ICLP 2005 in Sitges (Barcelona), Spain. The Doctoral Consortium is designed for doctoral students working in areas related to logic programming, who are planning to pursue a career in academia. The Doctoral Consortium aims to provide students with an opportunity to present and discuss their research directions and to obtain feedbacks from peers as well as world-renown experts in the field. The Doctoral Consortium will also offer invited speakers and panels discussions.

The Doctoral Consortium is held the during the regular activities of the ICLP 2005 Conference. The aims of the Doctoral Consortium are:
The Consortium is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Masters program and interested in doctoral studies). The Consortium is for students at any stage of their doctoral studies are welcome to apply. Applicants are expected to be conducting research in the field of Logic Programming; topics of interest include (but are not limited to):
The Consortium allows participants to interact with established researchers and with other students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation.The Doctoral Consortium will be held on a date to be determined, in
parallel with the regular activities of the ICLP 2005 conference; the ICLP conference will run from October 2nd to October 5th, 2005. Doctoral Consortium participants will beoffered the opportunity to have their abstracts published in the ICLP 2005 conference proceedings.

Discussants:
Several renown faculty members and researchers in the field of Logic Programming will join in evaluating the submission packets and will participate in the Doctoral Consortium, providing feedback to the presenters. The list of the discussants will be published at a later date.

Submissions:
Detailed submission instructions can be found in the ICLP 2005 Doctoral Consortium web site, at:
http://www.cs.nmsu.edu/~epontell/DC2005

Important Dates
Submission Deadline:      June 1st, 2005
Acceptance Notification:  July, 1st 2005
Last Date to Update Research Summary:  July 15th, 2005
Doctoral Consortium:      October 2-5, 2005
ICLP 2005 Conference:     October 2-5, 2005

Doctoral Consortium Chair:
        Enrico Pontelli
        Department of Computer Science
        New Mexico State University
        MSC CS, Box 30001
        Las Cruces, NM 88003, USA
        epontell _a_t_ cs.nmsu.edu







CP 2005
International Conference on Principles and Practice of Constraint Programming
Sitges, Spain, October 1-5, 2005

http://www.iiia.csic.es/cp2005/


Description

The CP conference is the annual international conference on constraint programming, and it is concerned with all aspects of computing with constraints, including: algorithms, applications, environments, languages, models, and systems.  CP 2005 includes a technical program, where presentations of theoretical and application papers, as well as invited talks and tutorials, aim at describing the best results and techniques in the state-of-the-art of constraint programming. Moreover, CP 2005 continues the tradition of the CP doctoral program, in which PhD students can present their work, listen to tutorials on career and ethical issues, and discuss their work with senior researchers via a mentoring scheme. There will also be a number of workshops, where researchers will be able to meet in an informal setting and discuss their most recent ideas with their peers.

Technical Program

The technical programme is concerned with all aspects of computing with constraints including: algorithms, applications, environments, languages, models, systems. Papers are solicited from any of the disciplines concerned with constraints, including: artificial intelligence, combinatorial algorithms, computational logic, concurrent computation, databases, discrete mathematics, engineering, operations research, programming languages, symbolic computation.

Papers may concern any of the domains using constraints, including: combinatorial auctions, computational linguistics, configuration, decision support, design, diagnosis, graphics, hardware verification, molecular biology, planning, program analysis, qualitative reasoning, real-time systems, resource allocation, robotics, satisfiability, scheduling, software engineering, temporal reasoning, type inference, vision, visualization, user interfaces. We especially welcome papers discussing novel reasoning and search methods, presenting original applications of constraint programming, building bridges between constraint programming and other areas, or providing fundamental theoretical insights in explaining the success or failure of existing methods. The call for papers can be found here (.ps, .pdf, .doc, .txt).

Submission Details

Summitted papers to the technical program must be original and not submitted for publication in a journal or another conference. Authors are required to prepare their papers by following the LNCS style. A page limit of 15 will be strictly enforced. The proceedings, comprising papers accepted as full length (15 pages) or short (5 pages), will be published by Springer in the Lecture Notes in Computer Science series. The paper submission deadline is May 6th, 2005. Details about how to submit papers electronically will be posted here.

Workshop Program

CP 2005 will include a series of workshops. The workshops will provide an informal setting where workshop participants will have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas. Workshops are an opportunity to disseminate work in progress or to promote new and emerging areas within the field of constraints. The topics of the workshops can cover any area related to constraints and any related cross-disciplinary areas. The call for workshop proposals can be found here (.txt).

Tutorial Program

CP 2005 will include a number of tutorials. The tutorials will give a state-of-the-art description of a field of research related to constraint programming or of a large area of application. The call for tutorial proposals can be found here (.txt).

Doctoral Program

A special program for PhD students will be held alongside the conference. Students will be able to present their work and receive feedback from more senior members of the community. In addition, there will be tutorials about research skills and career issues. The call for doctoral program submissions can be found here (.html, .txt).

Important Dates
 
Deadline for workshop proposals:
Notification of accepted workshops:
Deadline for paper submission:
Deadline for doctoral program submission:
Deadline for tutorial proposals:
Notification of accepted tutorials:
Notification of accepted papers:
Notification of acceptance to doctoral program:
Camera-ready copy due:
Deadline for early conference registration:
CP 2005 Conference:
March 31st
April 13th
May 6th
May 16th
May 21st
June 13th
June 24th
June 30th
July 15th
July 29th
October 1st-5th

Organizing Committee
 
Conference Chairs
Pedro Meseguer
Artificial Intelligence Research Institute (IIIA-CSIC), Spain 
Javier Larrosa
Technical University of Catalonia (UPC), Spain

Workshop/Tutorial Chairs
Alan Frisch
University of York, UK 
Ian Miguel
University of York, UK

Publicity Chair
Felip Manya
Artificial Intelligence Research Institute (IIIA-CSIC), Spain

Program Committee
Pedro Barahona, U of Lisbon, Portugal
Nicolas Beldiceanu, EMN, France
Christian Bessiere, LIRMM-CNRS, France
David Cohen, Royal Holloway, UK
Boi Faltings, EPFL, Switzerland 
Carmen Gervet, IC-Parc, UK 
Warwick Harvey, IC-Parc, UK
John Hooker, CMU, USA
Peter Jonsson, Linkoping U, Sweden
Francois Laburthe, Bouygues, France
Jimmy Lee, CUHK, Hong Kong 
Pedro Meseguer, IIIA-CSIC, Spain
Ian Miguel, U of St Andrews, UK
Eric Monfroy, U of Nantes, France & UTFSM, Chile 
Gilles Pesant, Polytechnique Montreal 
Francesca Rossi, U of Padova, Italy 
Christian Schulte, KTH, Sweden 
Helmut Simonis, IC-Parc, UK 
Stephen F. Smith, CMU, USA 
Pascal Van Hentenryck, Brown U, USA 
Mark Wallace, Monash U, Australia 
Roland Yap, NUS, Singapore 

Program Chair
Peter van Beek
University of Waterloo, Canada
 
 

Doctoral Program Chairs
Michela Milano
University of Bologna, Italy
Zeynep Kiziltan
University of Bologna, Italy
 
 
 
 
 

Chris Beck, U of Toronto, Canada
Frederic Benhamou, U of Nantes, France
Mats Carlsson, SICS, Sweden
Rina Dechter, UC Irvine, USA
Alan Frisch, U of York, UK
Carla Gomes, Cornell U, USA
Martin Henz, NUS, Singapore
Peter Jeavons, U of Oxford, UK
Zeynep Kiziltan, U of Bologna, Italy
Javier Larrosa, UPC, Spain
Kevin Leyton-Brown, UBC, Canada
Laurent Michel, U of Connecticut, USA
Michela Milano, U of Bologna, Italy 
Barry O'Sullivan, 4C, Ireland
Jean-Charles Regin, ILOG, France
Michel Rueher, U of Nice, France
Meinolf Sellmann, Brown U, USA
Barbara Smith, 4C, Ireland
Peter Stuckey, U of Melbourne, Australia
Gerard Verfaillie, ONERA, France
Toby Walsh, NICTA and UNSW, Australia
Weixiong Zhang, Washington U, USA





DALT 2005
International Workshop on Declarative Agent Languages and Technologies
July 25/26 2005, Utrecht, Netherlands

http://www.doc.ic.ac.uk/~ue/DALT-2005/


"Declarative Agent Languages and Technologies", in its third edition this year, is an well-established venue for  researchers  interested in sharing their experiences  in declarative  and formal  aspects of agents and multi-agent systems, on the one hand, and  in engineering and technology on the other. Today it is still a  challenge to develop technologies that can satisfy the  requirements of complex agent systems. Importantly, building  multi-agent systems still calls  for models and technologies  that ensure predictability,  enable feature discovery, allow the verification of properties, and  guarantee flexibility.  Declarative  approaches are  potentially a valuable means for satisfying the needs of  multi-agent systems developers  and for specifying multi-agent systems.

The main goal of DALT is to provide a discussion to both (1) support the transfer of declarative paradigms  and techniques into the broader  community of agent  researchers and  practitioners, and  (2) to bring the issues of designing real-world and complex agent system to the attention of researchers working on declarative programming  and technologies.

DALT topics of interst include, but are not limited to:
Proceedings
A printed volume with the proceedings will be available at the workshop. Authors  of papers presented  at the workshop will be asked to extend their contributions, possibly  incorporating the  results  of the workshop discussion, to be included in the workshop post-proceedings to be published in a journal special issue or a book. The DALT 2003 and 2004 post-proceedings are published by Springer as a volume of the Lecture Notes on Artificial Intelligence series.

Submission instructions
Papers should  be  written  in English,  formatted according  to the Springer LNCS style,  and not  exceed 16 pages.  Paper submission is electronic via the conference home page.

Important dates
Submission: March 14th, 2005
Notification of acceptance: April 18th, 2005
Final version: May 15th, 2005
Workshop: July 25th or 26th, 2005

Program Committee
Rafael Bordini, University of Durham, UK
Brahim Chaib-draa, Laval University, Canada
Alessandro Cimatti, IRST, Trento, Italy
Keith Clark, Imperial College London, UK
Marco Colombetti, Politecnico di Milano, Italy
Stefania Costantini, University of L'Aquila, Italy
Mehdi Dastani, Universiteit Utrecht, The Netherlands
Juergen Dix, University of Clausthal, Germany
Michael Fisher, University of Liverpool, UK
Wiebe van der Hoek, University of Liverpool, UK
Mike Huhns, University of South Carolina, USA
Catholijn Jonker, Nijmegen Institute for Cognition and Information, The Netherlands
Peep Kungas, Norwegian University of Science and Technology, Trondheim, Norway
Alessio Lomuscio, University College London, UK
Viviana Mascardi, DISI, Genova, Italy
John Jules Ch. Meyer, Universiteit Utrecht, The Netherlands
Sascha Ossowski, Universidad Rey Juan Carlos, Spain
Julian Padget, University of Bath, UK
Lin Padgham, RMIT University, Australia
Wojciech Penczek, Polish Academy of Science, Poland
Luis Moniz Pereira, Universidade Nova de Lisboa, Portugal
Enrico Pontelli, New Mexico State University, USA
Juan Rodriguez-Aguilar, Spanish Research Council, Spain
Marek Sergot, Imperial College London, UK
Francesca Toni, Imperial College London, UK
Wamberto Vasconcelos, University of Aberdeen, UK
Michael Winikoff, RMIT University, Australia
Franco Zambonelli, University of Modena and Reggio Emilia, Italy

Workshop organizers
Matteo Baldoni, University of Turin, Italy
Ulle Endriss, Imperial College London, UK
Andrea Omicini, University of Bologna - Cesena, Italy
Paolo Torroni, University of  Bologna, Italy



ProMAS'05
International Workshop on Programming Multi-Agent Systems
Utrecht, The Netherlands, July 25/26, 2005

http://www.cs.uu.nl/ProMAS/


Even though the contributions of the multi-agent systems (MAS) community can make a significant impact in the development of open distributed systems, the techniques resulting from such contributions will only be widely adopted when suitable programming languages and tools are available. Furthermore, such languages and tools must
incorporate those techniques in a principled but practical way, so as to support the ever more complex task of professional programmers, in particular when the systems have to operate in dynamic environments.

The ProMAS workshop series aims to address the practical programming issues related to developing and deploying multi-agent systems. In particular, ProMAS aims to address how multi-agent systems designs or specifications can be effectively implemented. In its two previous editions, ProMAS constituted an invaluable occasion bringing together leading researchers from both academia and industry to discuss issues on the design of programming languages and tools for multi-agent systems. In particular, the workshop promotes the discussion and exchange of ideas concerning the techniques, concepts, requirements, and principles that are important for multi-agent programming technology.

We encourage the submission of proposals for programming languages and tools that provide specific programming constructs to facilitate the implementation of the essential concepts used in multi-agent system analysis and specifications (e.g., mental attitudes, distribution, and social interaction). We also welcome submissions describing significant multi-agent applications, as well as agent programming tools that allow the integration of agents with legacy systems. Further, we are particularly interested in approaches or applications that show clearly the added-value of multi-agent programming, and explain why and how this technology should be adopted by designers and programmers both in academia and industry.

Specific topics for this workshop include, but are not limited to:
Important Dates:
Paper submission deadline:                 14th of March, 2005
Notifications of acceptance/rejection:  18th of April, 2005
Camera-ready copies due:                  15th of May,   2005
Workshop Date:                                   25th or 26th of July,  2005 (TBA)

Submission Details:
Authors should submit their paper by attaching it to an email to Jürgen Dix (dix@tu-clausthal.de). The email should also contain paper title, author name(s), affiliation(s), contact information of the main author, and a few keywords describing the topic (eg. from the list above). Papers should be formatted using Springer LNCS style (http://www.springer.de/comp/lncs/authors.html) and have a maximum of 15 pages.

Accepted papers will be published as a technical report and distributed among participants during the workshop. As it was the case for ProMAS'03 and ProMas'04, we are planning to publish extended versions of the accepted papers as a volume of the Lecture Notes in Computer Science series by Springer-Verlag.

Programme Committee:
 - Chris van Aart (Acklin, The Netherlands)
- Jean-Pierre Briot (University of Paris 6, France)
- Monique Calisti (Whitestein Technologies, Switzerland)
- Keith Clark (Imperial College, United Kingdom)
- Yves Demazeau (Institut IMAG - Grenoble, France)
- Frank Dignum (Utrecht University, The Netherlands)
- Michael Fisher (University of Liverpool, United Kingdom)
- Vladimir Gorodetsky (Russian Academy of Sciences, Russia)
- Jomi Hübner (Universidade Regional de Blumenau, Brasil)
- Toru Ishida (Kyoto University, Japan)
- David Kinny (CTO, Agentis Software, USA)
- João Leite (University Nova de Lisboa, Portugal)
- Jiming Liu (Hong Kong Baptist University, Hong Kong)
- John-Jules Meyer (Utrecht University, Netherlands)
- Jörg Müller (Clausthal University of Technology, Germany)
- Oliver Obst (Koblenz-Landau University, Germany)
- Gregory O'Hare (University College Dublin, Ireland)
- Andrea Omicini (University of Bologna, Italy)
- Julian Padget (University of Bath, United Kingdom)
- Agostino Poggi (Università degli Studi di Parma, Italy)
- Chris Reed (Calico Jack Ltd., United Kingdom)
- Ichiro Satoh (National Institute of Informatics, Kyoto, Japan)
- Onn Shehory (IBM Haifa Research Labs, Haifa University, Israel)
- Kostas Stathis (Università di Pisa, Italy)
- Milind Tambe (University of Southern California, USA)
- Leendert van der Torre (CWI, Netherlands)
- Paolo Torroni (University of Bologna, Italy)
- Gerhard Weiss (Technische Universität München, Germany)
- Michael Winikoff (RMIT University, Melbourne, Australia)
- Cees Witteveen (Delft University, Netherlands)

Organising Committee:
Rafael H. Bordini (University of Durham, U.K.) http://www.dur.ac.uk/r.bordini
Mehdi Dastani (Utrecht University, The Netherlands)  http://www.cs.uu.nl/~mehdi
Jürgen Dix (Clausthal University of Technology, Germany)  http://cig.in.tu-clausthal.de/
Amal El Fallah Seghrouchni (University of Paris VI, France)  http://www-poleia.lip6.fr/~elfallah/






International School on Foundations of Security Analysis and Design
Bertinoro, Italy, September 19-24, 2005

http://www.sti.uniurb.it/events/fosad


General Information
Security in computer systems and networks is emerging as one of the most challenging research areas for the future. The main aim of the school is to offer a good spectrum of current research in foundations of security, ranging from programming languages to analysis of protocols, that can be of help for graduate students, young researchers from academia or industry that intend to approach the field.
The FOSAD series started in 2000 and last edition was in 2004. This year the school covers one week (from Monday 19 to Saturday 24, September 2005) and alternates monographic courses of 4/6 hours and short courses of 2/3 hours. We also encourage presentations given by those participants that intend to take advantage of the audience for discussing their current research in the area.

Location
The school is organized at the University Residential Center of Bertinoro, situated in Bertinoro, a small village on a scenic hill with a wonderful panorama, in between Forli' and Cesena (about 50 miles south-east of Bologna, 15 miles to the Adriatic sea). The cheapest way to travel is by plane to Forli' airport (the secondary airport of Bologna), which is daily connected to London and Frankfurt AM through the low fares airline Ryanair.

Lecturers and Courses
The preliminary programme of the school (to be completed) includes courses given by the following lecturers:

* David Basin (ETH Zurich, Switzerland)
       Model-driven Security
* Elisa Bertino (Purdue University, USA)
       Privacy Preserving Database Systems
* Herve Debar (France Telecom R&D, France)
       Intrusion Detection
* Theo Dimitrakos (BT Security Research, UK)
       GRID/Virtual Organizations Security
* Fabio Massacci (Trento University, Italy)
       Security and Trust Requirements Engineering
* Mogens Nielsen (BRICS, Aarhus, Denmark)
       Formal Model of Trust
* Gene Tsudik (University of California, Irvine, USA)
       Wireless Network Security

Organisation
The scientific school directors are
- Alessandro Aldini (University "Carlo Bo", Urbino)
- Roberto Gorrieri (University of Bologna)
- Fabio Martinelli (CNR-IIT, Pisa)

The administrative director is Andrea Bandini (University Residential Centre of Bertinoro)

The local organizer is Elena Della Godenza (University Residential Centre of Bertinoro)

Notice and Dates
Prospective participants should apply through the web site by
       May 31, 2005.
Notification of accepted applicants will be posted by
       June 15, 2005.
Registration to the school is due by
       July 15, 2005.

Accommodation and Registration fees
Accommodation fee is 350 Euro and covers costs for 6 nights (starting from Sunday 18 September, 2005) in double room, half board (breakfast and lunch, dinner of 18 September 2005 included, lunch of 24 September 2005 excluded).
Registration fee is 350 Euro and includes didactical material from the lectures and a LNCS volume of the tutorial series, published by Springer, collecting material presented in FOSAD 2004 and FOSAD 2005.

Grants
A limited amount of grants will be provided to cover part of the expenses. Please, include your request with the application.

Further Information
More detailed information available at URL
       http://www.sti.uniurb.it/events/fosad/
       http://www.sti.uniurb.it/events/fosad05

Sponsors




AICS'05
Artificial Intelligence and Cognitive Science
Ballycastle, Co. Antrim, Ulster, September 7-9, 2005

http://www.ulster.ac.uk/aics05


The 16th Irish conference on Artificial Intelligence and Cognitive Science (AICS05) will be hosted by the School of Computing and Information Engineering, University of Ulster.  The conference will take place in the Marine Hotel in Ballycastle, Co. Antrim.  The AICS conference has taken place annually since 1988 and provides a forum for the exchange of ideas and the presentation of results relating to research conducted both in Ireland and worldwide.
 
Invited Speakers

The Program Committee invites submissions of papers that report original research, both basic and applied, in the areas of Artificial  Intelligence and Cognitive Science, broadly construed.
Areas of interest include but are not restricted to: case-based reasoning, cognitive modelling, constraint processing, machine learning, data mining, evolutionary computation, intelligent agents, intelligent information retrieval, knowledge representation & reasoning, game-playing, game AI, natural language processing, autonomic computing, neural networks, perception and planning & scheduling.

All accepted papers will be presented at the conference - either orally or as posters - and included in the conference proceedings. At least one author of each paper will be required to register for, and attend, the conference.
Authors of selected papers will invited to submit extended versions to be considered for publication in a special issue of the journal, Artificial Intelligence Review. 

Submissions should conform to the following requirements:

Submissions should be emailed to aics05@ulster.ac.uk with the words "AICS05 Paper" in the subject field.

First call for papers issued: 6th February 2005
 
Programme Chair: Norman Creaney

Programme Committee
Michaela Black (University of Ulster)
Derek Bridge (University College Cork)
Ken Browne (University College Cork)
Ruth Byrne (Trinity College Dublin)
Arthur Cater (University College Dublin)
Darryl Charles (University of Ulster)
Rem Collier (University College Dublin)
Brian Crean (Galway-Mayo IT)
Norman Creaney (University of Ulster)
Fred Cummins (University College Dublin)
Padraig Cunningham (Trinity College Dublin)
Kevin Curran (University of Ulster)
John Dunnion (University College Dublin)
Malachy Eaton (University of Limerick)
Colin Fyfe (University of Paisley)
Josephine Griffith (NUI Galway)
Ray Hickey (University of Ulster)
Liadh Kelly (Athlone IT)
Paul Piwek (University of Brighton)
James Reilly (University College Dublin)
Stephen Sheridan (IT Blanchardstown)
Barry Smyth (University College Dublin)
Michael Madden (NUI Galway)
Eleni Mangina (University College Dublin)
Paul Mc Kevitt (University of Ulster)
David McSherry (University of Ulster)
Kevin McCarthy (University College Dublin)
Lorraine McGinty (University College Dublin)
Stephen McGlinchey (University of Paisley)
Michael McTear (University of Ulster)
Conor Muldoon (University College Dublin)
Eamonn Newman (University College Dublin)
Greg O'Hare (University College Dublin)
Gearóid.Ó Néill (University of Limerick)
Diarmuid O'Donoghue (NUI Maynooth)
Michael O'Grady (University College Dublin)
Ciaran O'Leary (Dublin IT)
Michael O'Neill (University of Limerick)
Ian O'Neill (Queens University Belfast)
Colm O'Riordan (NUI Galway)
Barry O'Sullivan (University College Cork)
Richard Sutcliffe (University of Limerick)
Marc van Dongen (University College Cork)
Josef van Genabith (Dublin City University)
Carl Vogel (Trinity College Dublin)
Ray Walshe (Dublin City University)





FCS'05
Foundations of Computer Security
Chicago, Illinois, June 30-July 1, 2005

http://www.cs.chalmers.se/~andrei/FCS05/


Computer security is an established field of Computer Science of both theoretical and practical significance. In recent years, there has been increasing interest in foundations for various methods in computer security, including the formal specification, analysis and design of cryptographic protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, trust management, and the modeling of information flow and its application to confidentiality policies, system composition, and covert channel analysis.

The aim of this workshop is to provide a forum for continued activity in this area, to bring computer security researchers in contact with the LICS'05 community, and to give LICS attendees an opportunity to talk to experts in computer security.

TOPICS
We are interested both in new results in theories of computer security and also in more exploratory presentations that examine open questions and raise fundamental concerns about existing theories. Possible topics include, but are not limited to:

Composition issues Authentication
Formal specification Availability and denial of service
Foundations of verification Covert channels
Information flow analysis Cryptographic protocols
Language-based security Confidentiality
Logic-based design for Integrity and privacy
Program transformation Intrusion detection
Security models Malicious code
Static analysis Mobile code
Statistical methods Mutual distrust
Trust management Security policies

SUBMISSION INSTRUCTIONS
See http://www.cs.chalmers.se/~andrei/FCS05/

The proceedings will be distributed to all participants of the workshop and will be made available in electronic format. The authors of the best papers might be invited to submit an extended revision for inclusion in a special issue of a journal.

IMPORTANT DATES
Submission deadline: March 18, 2005
Notification of acceptance: May 6, 2005
Final papers: May 20, 2005
Workshop: June 30 - July 1, 2005

PROGRAM COMMITTEE
Michael Backes (IBM Zurich, Switzerland)
Gilles Barthe (INRIA, France)
Iliano Cervesato (Tulane University, USA)
Sabrina De Capitani di Vimercati (University of Milano, Italy)
Joshua Guttman (MITRE Corporation, USA)
Joe Halpern (Cornell University, USA)
Naoki Kobayashi (Tohoku University, Japan)
Ralf Kuesters (University of Kiel, Germany)
Cathy Meadows (NRL, USA)
John Mitchell (Stanford University, USA)
Frank Pfenning (Carnegie-Mellon University, USA)
Mark Ryan (University of Birmingham, UK)
Andrei Sabelfeld (Chalmers, Sweden - Chair)
Vitaly Shmatikov (University of Texas at Austin, USA)

WORKSHOP WEB PAGE AND FURTHER INFORMATION

FCS05: http://www.cs.chalmers.se/~andrei/FCS05/

LICS05: http://homepages.inf.ed.ac.uk/als/lics/lics05/




LOPSTR 2005
International Symposium on Logic-based Program Synthesis and Transformation
London, UK, September 7-9, 2005

http://www.comp.leeds.ac.uk/lopstr05/


The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development; the workshop is open to contributions in logic-based program development in any language paradigm.

LOPSTR'05 will be held at Imperial College in London co-located with SAS 2005: The International Static Analysis Symposium
(http://www.doc.ic.ac.uk/~clh/sas05.htm).

Previous LOPSTR events were held in Manchester, UK (1991, 1992, 1998), Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, the Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997), Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001), Madrid, Spain (2002), Uppsala, Sweden (2003), Verona, Italy (2004). Since 1994 the proceedings have been published in the LNCS series of Springer-Verlag.

LOPSTR has a reputation for being a lively, friendly forum for presenting new work and discussing work in progress, so it is a real workshop in the sense that it is also able to provide useful feedback to authors on their preliminary research. Formal proceedings of the workshop are produced only after the workshop, so that authors can incorporate this feedback in the published papers.


Scope of LOPSTR
We solicit extended abstracts and full papers. Topics of interest cover all aspects of logic-based program development all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

The following is a non-exhaustive list of topics:

Submission Guidelines
Authors can either submit extended abstracts describing work in progress or they can choose to submit full papers. Contributions should be written in English and should be submitted electronically in Postscript or PDF format at
http://www.comp.leeds.ac.uk/lopstr05/submit_abstracts.html (for extended abstracts) and
http://www.comp.leeds.ac.uk/lopstr05/submit_fullpapers.html (for full papers).
Authors are also asked to send the title and abstract of their submission three days before the deadline to lopstr05@comp.leeds.ac.uk.  Prospective authors who have difficulties for the electronic submission may contact the chairman at lopstr05@comp.leeds.ac.uk.

Extended abstracts should not exceed 6 pages in llncs format
and may describe work in progress. Promising abstracts relevant to the scope of LOPSTR will be selected for presentation at the conference. The submission deadline for extended abstracts is May 20th, 2005.

Full papers should not exceed 16 pages (including references) in llncs format. These papers will be judged using ordinary conference quality criteria and accepted papers will have to be presented at the conference and will automatically appear in the pre-proceedings as well as in the final collection of papers, published in the LNCS series. The submission deadline for full papers is June 1st, 2005.

Accepted papers and abstracts will be collected in informal pre-proceedings which will be available at the conference.

After the conference, authors of extended abstracts describing work judged to be mature enough for publication will be invited to submit full papers. These will be reviewed according to the usual refereeing procedures. All accepted full papers, both those accepted for the conference and those accepted full papers based on the extended abstracts will be published in the final collection of papers which is expected to be published in the Lecture Notes in Computer Science (see http://www.springer.de/comp/lncs/) series by Springer-Verlag. Note that the full papers accepted before the conference will automatically appear in that book; there will be no additional refereeing (although authors will be given a chance to revise their papers, if they so wish).

Program Committee
Important dates
---------------
* Submission of full papers: May 20, 2005
* Submission of extended abstracts: June 3, 2005
* Notification: June 27, 2005
* Camera-ready: July 22, 2005
* Conference: September 7-9, 2005


Important Dates:
May 20, 2005
Submission deadline (full papers)
June 3, 2005
Submission of extended abstracts
June 27, 2005
Notification
July 22, 2005
Camera-ready version due
September 7-9, 2005
Conference



VEE 2005
International Conference on Virtual Execution Environments
Chicago, Illinois, June 11-12, 2005

http://www.veeconference.org


Research  results on virtual  execution engines  are scattered  among a number of  different venues in  the languages (VM, PLDI,  OOPSLA, IVME,  ICFP), operating  systems (SOSP, OSDI), and architecture (ASPLOS, CGO, PACT) communities.  The organizers of  the USENIX VM Symposium  and the ACM  SIGPLAN IVME Workshop  felt the  needs of  the community  would be  better  served by having  a  single  first-rate  conference address  a breadth of issues related  to virtual execution environments.  Thus, we are happy to announce a  new annual event: the ACM/USENIX Conference on Virtual Execution Environments (VEE).  The initial instantiation of VEE will  be  co-located  with  PLDI  2005  in  Chicago,  Illinois.  Future instances  of  the   conference  will  be  held  jointly   with OS  or architecture conferences.
VEE promises to be a unique forum that brings together leading practitioners and researchers  in the broad area that  includes topics such as interpreters,  high-level language virtual  machines (JVM,  CLR, etc.), machine emulators, translators, and machine simulators.

Papers are solicited in areas including, but not limited to, the following:
  * Dynamic and high-level languages
  * Environment support for new languages features,
    domain specific languages
  * Execution environments for trusted computing, security
  * Portable or retargetable interpreters
  * Dynamic compilation techniques
  * Binary translation and optimization systems
  * Mixed-mode interpretive/compiled systems
  * Distributed execution environments
  * Software-based processor/architecture simulators
  * Hardware implementations of VMs
  * Machine emulators
  * VMs and interpreters for real-time or embedded environments
  * Garbage collection
  * VMs in servers and cluster environments
  * VM interactions in multi-VM environments
  * Scalability, simplicity and correctness issues
  * Experience reports

Important Dates:

    Submission Deadlines:    February 18, 2005
    Author notification:          March 28, 2005
    Final paper due:             April 15, 2005
   

    General Chair:                    Program Chair:
    Michael Hind,                     Jan Vitek,
    IBM Research                      Purdue

 





CADE 2005
International Conference on Automated Deducation
Tallinn, Estonia, July 22-27, 2005
http://sise.ttu.ee/it/cade


CADE is the major forum for the presentation of research in all aspects of automated deduction.
Paper submission: 
Submission is electronic in postscript or PDF format. Submitted papers must conform to the Springer LNCS style, preferrably using LaTeX2e and the Springer llncs class files. Submissions can be full papers , for work on foundations, applications or implementation techniques (15 pages), as well as system descriptions (5 pages), for describing publicly available systems. For further information and submission instructions, see the CADE-20 web page: http://sise.ttu.ee/it/cade.

Important dates:

E-submission of title and abstract:
February 25, 2005
E-submission papers: 
March 4, 2005
Notification of acceptance:
April 22, 2005
Final version due:
May 20, 2005
Workshops and tutorials:
July 22-23, 2005
Conference:
July 24-27, 2005
      
Invited talks:
Invited talks will be given at CADE-20 by Randal Bryant (CMU), Gilles Dowek (Ecole Polytechnique) and by Frank Wolter (U. Liverpool).

Organizing Chair: Tanel Tammet (Tallinn TU)
Workshop and Tutorial Chair: Frank Pfenning (CMU)
Program Chair: Robert Nieuwenhuis (UPC Barcelona)
Publicity Chair: Brigitte Pientka (McGill)





LACL 2005
Student Session - Logical Aspects of Computationa Linguistics



LACL'2005 is the 5th edition of a series of international conferences on logical and formal methods in computational linguistics.  It addresses in particular the use of proof theoretic and model theoretic methods for describing natural language syntax and semantics, as well as the implementation of natural language processing software relying on such models.

*** STUDENT SESSION ***
For the first time, LACL'2005 will feature a student session.  Students (not having defended yet their PhD thesis or defending it in 2005) are invited to submit short papers (2 or 3 pages) on the same topics as LACL.  Submitted papers may present only partial but promising work.

This student session offers a good opportunity for students to acquaint themselves with the world of research : digest writing exercise, feedback from the program committee, oral presentation exercise, feedback from LACL attendants.
Students whose articles will be selected for the student session will benefit from reduced registration fees for the LACL conference.

*** PAPER SELECTION ***
Submitted articles will be reviewed by a program committee made of a a group of experienced researcher as well as a group of chosen PhD students.  Each article will be reviewed by at least one experienced researcher and one of these PhD students.

*** PAPER PRESENTATION ***
Students whose papers will be selected will present their work in a poster session at the LACL conference.  The papers will also be grouped and edited as an INRIA research report.

*** TOPICS ***
Computer scientists, linguists, mathematicians and philosophers are invited to present their work on the use of logical methods in computational linguistics and natural language processing, in natural language analysis, generation or acquisition.
 * LOGICAL FOUNDATIONS OF SYNTACTIC FORMALISMS:
    - categorial grammars,
    - minimalist grammars,
    - dependency grammars,
    - tree adjoining grammars,
    - model theoretic syntax,
    - formal language theory for natural language processing,
    - data-driven approaches,
 * LOGIC FOR SEMANTICS OF LEXICAL ITEMS, SENTENCES, DISCOURSE
   AND DIALOG:
    - discourse representation theory,
    - Montague semantics,
    - compositionality,
    - dynamic logic,
    - game semantics,
    - situation semantics,
    - generative lexicon,
 * APPLICATIONS OF THESE MODELS TO NATURAL LANGUAGE PROCESSING:
    - software for natural language analysis,
    - software for acquiring linguistic resources,
    - software for natural language generation,
    - software for information extraction,
    - question answering and human computer interaction in
      natural language,
    - evaluation and scalability

*** SUBMISSION FORMAT ***
Papers are be 2 to 3 pages long, including bibliography and possible figures and appendices.  Articles, in PDF format, should be sent by email to lacl@labri.fr, with the keywords "student session" in the mail subject.

*** IMPORTANT DATES ***
*** SCIENTIFIC INQUIRIES ***
*** PRACTICAL INQUIRIES ***
*** PROGRAM COMMITTEE ***
Ph. Blache, E. Stabler (chairs), members of the LACL 2005 program committee, group of chosen PhD students (in the course of being defined).

*** ORGANIZING COMMITTEE ***
R. Marlet, M. Amblard, J. Busquets, R. Moot

*** MORE DETAILS ***
http://lacl.labri.fr/student-session  (at work)




AI*IA 2005
Congress of the Italian Association for Artificial Intelligence
Milan, Italy, September 21-23, 2005

http://AIIA2005.disco.unimib.it


The 9th Congress of the Italian Association for Artificial Intelligence will be held in Milan at the University of Milano-Bicocca from 21st to 23rd of September 2005.  Due to the success of the previous editions of the AI*IA Congress, this 9th edition is intended to collect national and international contributions on research results and applications in the main fields of Artificial Intelligence, and the reviewing of the submissions will be supported by an international program committee for the first time.

Artificial Intelligence is now a growing complex set of conceptual, theoretical, methodological and technical frameworks offering innovative computational solutions in the design and development of computer-based systems. Within this perspective, researchers working in this field have to tackle a broad range of knowledge about methods, results, and solutions coming from different classical areas of this discipline. This Congress has been designed as a forum allowing researchers to present and discuss specialized results as general contributions to the AI growth.

The Congress will be structured in two main tracks: Theoretical Track and Application Track.
For the Theoretical Track papers are welcome on Formal Models, Algorithms, Languages, and Architectures describing:
on the main classical and new fields of AI (agents, knowledge-based systems, knowledge representation, machine learning, model-based reasoning, natural language processing, non-monotonic reasoning, robotics, speech processing, temporal reasoning, user interfaces, virtual reality, vision and pattern recognition, …).

For the Application Track papers are welcome on:
applied to all traditional and new fields where AI impacts and offers innovative solutions (Arts, Automated Design, Biology, Chemistry, Engineering, Industry, Knowledge Management, Medicine, Pervasive Computing, Traffic Control, Urban Planning and Management, …).

Program Committee:
Stefania Bandini (chair) University of Milano-Bicocca (Italy)
Luigia Carlucci Aiello University La Sapienza – Rome (Italy)
Jean-Francois Boulicaut INSA - Lyon (France)
Ernesto Burattini University of Naples (Italy)
Marie-Odile Cordier IRISA - Rennes (France)
Floriana Esposito University of Bari (Italy)
Lee Giles Pennsylvania State University (USA)
Martin Golumbic University of Haifa (Israel)
Marco Gori University of Siena (Italy)
Owen Holland University of Essex (UK)
Lawrence Hunter Center for Computational Biology –Denver (USA)
Joost Kok Leiden University (TheNetherlands)
Sara Manzoni University of Milano-Bicocca (Italy)
Giancarlo Mauri University of Milano-Bicocca (Italy)
Peter McBurney University of Liverpool (UK)
Andrea Omicini University of Cesena/Bologna (Italy)
Maria Teresa Pazienza University Tor Vergata – Rome (Italy)
Paolo Petta Austrian Research Inst. for AI –Vienna (Austria)
Erik Sandewall Linköping University (Sweden)
Flávio Soares da Silva University of São Paulo (Brasil)
Giovanni Soda University of Florence (Italy)
Steffen Staab University of Koblenz (Germany)
Oliviero Stock ITC-IRST – Trento (Italy)
Furio Suggi Liverani Illycaffè – Trieste (Italy)
Pietro Torasso University of Turin (Italy)
Franco Turini University of Pisa (Italy)
Achille Varzi Columbia University – New York (USA)

Organizing Committee:
Fabio Zanzotto (Coordinator) – University of Milano-Bicocca
Mizar Luca Federici – University of Milano-Bicocca
Sara Manzoni – University of Milano-Bicocca
Alessandro Mosca – University of Milano-Bicocca
Matteo Palmonari – University of Milano-Bicocca
Federica Sartori – University of Milano-Bicocca

Important Dates:
March 21: submission of abstracts and paper form
March 25: paper submission
May 10: acceptance/rejection notification
May 30: final version delivery

Paper submission format
Papers not exceeding 12 pages, written in English and complying with the Springer-Verlag format (www.springer.de/comp/lncs/authors.html) should be submitted electronically. For both theoretical and application tracks, poster sessions will be organized. Extended abstracts not exceeding 4 pages can be submitted in the same format for these sessions and accepted works will be published in the proceedings. Further information and submission instructions will be posted at the congress web page (http://AIIA2005.disco.unimib.it).

Proceedings
The Congress proceedings will be published on the LNAI series of
Springer-Verlag. Moreover, selected papers will be collected for special issues of International Journals (further information will be posted at the congress web page).

Congress Secretariat:
Federica Sartori
Department of Computer Science, Systems and Communications (DISCo)
University of Milano Bicocca
Via Bicocca degli Arcimboldi, 8
Bld U7
20126 Milan (ITALY)
tel. +39 02 64487812 fax +39 02 64487805
e-mail: aiia05@disco.unimib.it









LPNMR 2005
Logic Programming and Non Monotonic Reasoning
Diamante, Italy, September 5-8, 2005

http://sv.mat.unical.it/home.html


LPNMR'05 is the eighth in the series of international meetings on logic programming and nonmonotonic reasoning. Seven previous meetings were held in Washington, D.C. (1991), in Lisbon, Portugal (1993), in Lexington, Kentucky (1995), in Dagstuhl, Germany (1997), in El Paso, Texas (1999), in Vienna, Austria (2001), and in Fort Lauderdale, Florida (2004).
LPNMR'05 will be organized by the Department of Mathematics of University of Calabria (Italy), and will be co-located with the INFOMIX Workshop on Data Integration.
The proceedings of the conference will be published in the Springer Verlag Lecture Notes in Artificial Intelligence series, see http://www.springer.de/comp/lncs/ (to be verified).


Aims and Scope:

LPNMR is a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning and knowledge representation. The aim of the conference is to facilitate= interactions between researchers interested in the design and implementation of logic based programming languages and database systems, and researchers who work in the areas of knowledge representation and nonmonotonic reasoning.
LPNMR strives to encompass these theoretical and experimental studies that lead to the construction of practical systems for declarative programming and knowledge representation.
Authors are invited to submit papers presenting original and unpublished research on nonmonotonic aspects of logic programming and knowledge representation. We particularly encourage papers on LPNMR techniques which led to the development of significant applications.

A non-exhaustive list of topics of interest includes:
SYSTEMS AND APPLICATIONS DEMONSTRATIONS
As part of the technical program, we also plan a special session devoted to presentations and demonstrations of implemented nonmonotonic reasoning systems. Systems and applications demonstrations track will be announced in a distinct call.

IMPORTANT DATES
Abstract Submission Deadline: March 22, 2005, 23:59:59 GMT
Paper Submission Deadline: March 25, 2005, 23:59:59 GMT
Notification (Accept/Reject): May 16, 2005
Conference Schedule: June 6, 2005
Final Conference Papers: June 10, 2005
Early Registration Deadline: July 4, 2005

SUBMISSION OF PAPERS
Papers must not exceed thirteen (13) pages including title page, references and figures, and must be formatted according to the Springer LNCS/LNAI authors' instructions. Papers must be written in English and present original research.
Paper submission is electronic via the conference home page
http://www.mat.unical.it/lpnmr05/.
PROGRAM CO-CHAIRS
Chitta Baral (Arizona State University, USA)
Nicola Leone (University of Calabria, Italy)
PROGRAM COMMITTEE
Jose Alferes (New University of Lisbon, Portugal)
Leopoldo Bertossi (Carleton University, Canada)
Pedro Cabalar (Corunna University, Spain)
Gerhard Brewka (University of Leipzig, Germany)
Juergen Dix (Technical University of Clausthal, Germany)
Wolfgang Faber (University of Calabria, Italy)
Norman Foo (National ICT Australia and University of New South Wales, Australia)
Michael Gelfond (Texas Tech University, USA)
Antonis Kakas (University of Cyprus, Cyprus)
Katsumi Inoue (National Institute of Informatics, Japan)
Vladimir Lifschitz (University of Texas at Austin, USA)
Fangzhen Lin (The Hong Kong University of Science and Technology, China)
Ilkka Niemelä (Helsinki University of Technology, Finland)
David Pearce (Rey Juan Carlos University, Spain)
Alessandro Provetti (University of Messina, Italy)
Francesco Scarcello (University of Calabria, Italy)
Torsten Schaub (University of Potsdam, Germany)
Hans Tompits (Vienna University of Technology, Austria)
Francesca Toni (Imperial College, London, UK)
Mirek Truszczynski (University of Kentucky, USA)
Marina de Vos (University of Bath, United Kingdom)

PUBLICITY CHAIR
Gianluigi Greco (University of Calabria, Italy)
LOCAL ORGANIZATION CO-CHAIRS
Giovambattista Ianni (University of Calabria, Italy)
Giorgio Terracina (University of Calabria, Italy)




INFINITY 2005
International Workshop on Verification of Infinite-State Systems
San Francisco, California, August 27, 2005

http://www.brics.dk/infinity05/


The aim:

The aim is, to provide a forum for researchers interested in
the development of mathematical techniques for the analysis
and verification of systems with infinitely many states.

Topics:

Topics of interest include (but are not limited to):
techniques for modeling and analysis of infinite-state systems;
equivalence-checking and model-checking with infinite-state systems;
parameterized systems; probabilistic and timed systems; calculi for
mobility and security; finite-state abstractions of infinite-state
systems; data structures for infinite state spaces.

Paper submission:

Authors are invited to submit an extended abstract presenting recent
(or ongoing) work in the areas relevant for the scope of INFINITY.
Contributions should not exceed 10 pages and ENTCS format of the
submission is highly recommended. The submissions will be evaluated
by the programme committee and accepted papers will be published in
the workshop proceedings. By submitting you agree that at least one
(co-)author will register and present the paper at the workshop.

Papers should be submitted electronically (in pdf format), by email
to both conference co-chairs (srba@cs.aau.dk, sas@cs.sunysb.edu).
Please, include a title, abstract, all authors and contact details
of a single corresponding author (address, email and phone number)
into the email as a plain text. You should receive a confirmation
of your submission within two days. If not, then we did not receive
your submission so resubmit, please.

Proceedings:

Pre-proceedings of INFINITY 2005 will be available at the workshop,
published as a BRICS Research Report of Aarhus University. Authors
will be invited to place full papers (of at least ten pages) in
a volume of Electronic Notes in Theoretical Computer Science series
dedicated to workshops affiliated to CONCUR'05.

Program committee:

Samik Basu, Iowa State University (USA)
Petr Jancar, Technical University of Ostrava (Czech Republic)
Richard Mayr, North Carolina State University (USA)
Ken McMillan, Berkeley (USA)
Faron Moller, University of Wales Swansea (UK)
Philippe Schnoebelen, LSV, ENS de Cachan (France)
Scott Smolka (co-chair), Stony Brook University (USA)
Jiri Srba (co-chair), BRICS, Aalborg University (Denmark)
Igor Walukiewicz, Bordeaux University (France)
Willem Visser, NASA Ames (USA)

Invited talk:

The invited talk will be delivered by Antonin Kucera
(Brno, Czech Republic).

Important dates:

Submission deadline: May 20th, 2005 (Friday)
Notification: June 17th, 2005
Final version for pre-proceedings: June 25th, 2005
Final version for ENTCS: September 29th, 2005

Further information:

srba@cs.aau.dk, sas@cs.sunysb.edu
http://www.brics.dk/infinity05/

Registration:

The INFINITY 2005 workshop is a satellite workshop of the
16th International Conference on Concurrency Theory (CONCUR 2005)
(see http://www.soe.ucsc.edu/concur05/). The workshop will be
held at the same location as CONCUR 2005, on the day immediately
after the conference (August 27). Registration will be handled by
the CONCUR 2005 organizing committee.





ASIAN Logic Conference
Novosibirsk, Russia, August 16-19, 2005

http://www.sbras.ru/ws/ALC-9/index.en.html


General information

This conference is the ninth in the series of logic conferences
which is held once every three years and rotates among countries in the Asia-Pacific region with interests in the broad area of logic including theoretical computer science.
In the past, there were eight meetings in Singapore (1981), Bangkok, Thailand (1984), Bejing, China (1987), Tokyo, Japan (1990), Singapore (1993), Bejing, China (1996), Hsi-Tou, Taiwan (1999), and Chongqing, China (2002).

In 2005, the conference takes place in Novosibirsk at the Sobolev Institute of Mathematics SB RAS, August 16--19.

The purpose of the conference is to facilitate interactions between researches interested in the mathematical logic, logic in computer science, and philosophical logics. It aims at promoting activities of mathematical logic in the Asia-Pacific so that logicians both from within Asia and elsewhere would get together and exchange information and ideas.

Topics of interest include, but are not limited to, recursion theory, set theory, proof theory, model theory and universal algebra, non-classical logic, and logic in computer science.

Invited lecturers
Up to now, the following specialists in logic accepted our invitation to give a plenary lecture at the conference (in alphabetical order):
Pavel Alaev (Russia)
Lev Beklemishev (Russia, Netherlands)
Yurii Ershov (Russia)
Su Gao (USA)
Sanjay Jain (Singapore)
Bakhadyr Khoussainov (New Zealand)
Andrei Mantsivoda (Russia)
Joe Miller (USA)
Hiroakira Ono (Japan)
Vladimir Rybakov (Russia, Great Britain)
Masahiko Sato (Japan)
Moshe Vardi (USA)
Andrei Voronkov (Great Britain)
Xishun Zhao (China)

Deadlines
The deadline for submission of abstracts of contributed talks is February 28, 2005. Acceptance of your submission will be notified till March 31, 2005. The deadline for participants registration is April 15, 2005.

Submission and registration
The preferable way of submitting your abstract and registering is via the conference information system at
http://www.sbras.ru/ws/ALC-9/index.en.html (English version) or
http://www.sbras.ru/ws/ALC-9/ (Russian version).
If it is not available to submit your abstract in such a way, please send it by e-mail in the PDF format to alc9@math.nsc.ru or send a hard copy to
The 9th Asian Logic Conference
Sobolev Institute of Mathematics,
Siberian Branch of the Russian Academy of Sciences,
4 Acad. Koptyug avenue,
630090 Novosibirsk, Russia

International Programme Committee

Professor Sergei Goncharov (chair) (Russia)

Professor Chi Tat Chong (Singapore)
Professor John Crossley (Australia)
Professor De-Cheng Ding (China)
Professor Rodney Downey (New Zealand)
Professor Yurii Ershov (Russia)
Professor Qi Feng (China)
Professor Bakhadyr Khoussainov (New Zealand)
Professor Larisa Maksimova (Russia)
Professor Andrei Morozov (Russia)
Professor Hiroakira Ono (Japan)
Professor Dmitrii Pal'chunov (Russia)
Professor Evgenii Palutin (Russia)
Professor Shih Ping Tung (Taiwan, R.O.C.)
Professor Mariko Yasugi (Japan)

Organising Committee
Sergei Odintsov (co-chair) (Russia)
Andrei Morozov (co-chair) (Russia)

Stanislav Bereznyuk (Russia)
Asylkhan Khisamiev (Russia)
Nurlan Kogabaev (Russia)
Aleksandr Kravchenko (Russia)
Galina Morozova (Russia)
Aleksei Stukachev (Russia)
Nikita Vinokurov (Russia)
Yang Yue (Singapore)

Contact information
The 9th Asian Logic Conference
Sobolev Institute of Mathematics,
Siberian Branch of the Russian Academy of Sciences,
4 Acad. Koptyug avenue,
630090 Novosibirsk, Russia

tel. +7 3832 33 28 94
fax +7 3832 33 25 98
e-mail alc9@math.nsc.ru
www http://www.sbras.ru/ws/ALC-9/index.en.html
http://www.sbras.ru/ws/ALC-9/




Workshop on Software Model Checking
Edinburgh, Scotland, July 11, 2005

http://www.cse.ogi.edu/~byron/SoftMC05



The Software Model Checking Workshop has met two times in the past: CAV 2001 in Paris, and CAV 2003 in Boulder, Colorado.  A great deal of progress  has been made since our last meeting.  Researchers have continued to develop their own ideas and borrow others from areas such as SAT-solving, decision procedures, and abstract interpretation.  The applications have become more impressive.  Companies are beginning to develop products based on this research.

What are the new ideas? What are the future trends? What are the current limitations of software model checking? These will be some of the themes at the 2005 Workshop on Software Model Checking, which will provide a forum for researchers and developers to communicate their ideas, ask questions, and learn about new approaches.

The workshop covers all aspects of software model checking and supporting techniques, ranging from verification of high-level requirements specifications to model checking of low-level bytecode programs. Other automated verification techniques (e.g., based on static analysis or theorem proving) with the same goals are also of interest. Theoretical results and case studies are equally welcome.

Approaches that provide limited guarantees or that work for limited classes of properties are also of interest. We especially encourage submissions that deal with general-purpose programming languages or other languages with similar features. Topics of interest include but are not limited to:
Important dates
Submission deadline : May 19, 2005
Notification of acceptance/rejection : June 8, 2005
Final version due : June 13, 2005
Workshop : July 11, 2005

The body of each submission should not exceed 10 pages, including bibliography. The submission may include, in addition, an appendix containing technical details, which reviewers may read or not, at their discretion. The manuscript should describe original research and contain sufficient detail to assess the merits and relevance of
the contribution. Simultaneous submission to other meetings with published proceedings and submission of material that has been published elsewhere are prohibited.

Submission messages should include the following information in plaintext: names and affiliations of all authors, the title of the paper, the contact author's postal and e-mail addresses and phone number, and a one- or two-paragraph abstract. Manuscripts should be in PDF (preferred) or PostScript format.

Please submit papers via e-mail to byron@cse.ogi.edu
The workshop proceedings will be published through Electronic Notes in Theoretical Computer Science (ENTCS).

For more information, see the SoftMC 2005: Workshop on Software Model Checking website at http://www.cse.ogi.edu/~byron/SoftMC05 .

Program Committee
Tevfik Bultan, University of California, Santa Barbara
Byron Cook (Co-organizer), Microsoft Research
Hubert Garavel, INRIA Rhone-Alpes
John Hatcliff, Kansas State University
Daniel Kroening, Eidgenossiche Technische Hochschule (ETH), Zurich
Andreas Podelski, Max-Planck-Institut fur Informatik, Saarbrucken
Scott Stoller (Co-organizer), State University of New York at Stony Brook
Willem Visser (Co-organizer), RIACS/NASA Ames Research Center





PDPAR'05
Workshop on Pragmatics of Decision Procedures in Automated Reasoning
Edinburgh, Scotland, July 12, 2005

http://www.ai.dist.unige.it/pdpar05


Both the Formal Verification community and the Automated Reasoning community have long recognised the importance of decision procedures for the validity or the satisfiability problem of fragments of first-order logic.

In Formal Verification, many interesting and powerful decision procedures have been developed, and applied to the verification of word-level circuits, hybrid systems, pipelined microprocessors, and software. The Automated Reasoning community, on the other hand, has primarily focussed on the principles underlying the design and combination of decision procedures for different decidable theories, and on their integration into more general reasoning activities (e.g. rewriting, boolean reasoning).

Limited attention has been paid so far to the concrete issues of implementing and assessing the effectiveness of decision procedures. This state of affairs has so far prevented the exchange of architectural solutions and implementation techniques. Furthermore, the lack of a common library of benchmarks on which to compare the performances of systems in a systematic way has so far made it difficult to compare and evaluate experimentally the merits of the different techniques.

The main goal of this workshop is to bring together researchers interested in the pragmatical aspects of decision procedures, giving them a forum for presenting and discussing implementation and evaluation techniques.

Topics of interest for the workshop include (but are not limited to):
The workshop will also serve as a forum for the development of the "Satisfiability Modulo Theories Library" (SMT-LIB, URL: http://combination.cs.uiowa.edu/smtlib) initiative, that aims at establishing a library of benchmarks of practical relevance for different theories in a standardized language.
The methodology and the results of the "Satisfiability Modulo Theories Competition" (SMT-COMP) will be presented and discussed in a special session of the workshop. The workshop will host panel discussions on the SMT-LIB and SMT-COMP initiatives.

Important Dates
Submission deadline: 9 April 2005
Notification of acceptance: 14 May 2005
Final versions: 11 Jun 2005
Workshop: 12 July 2005

Submissions
Extended abstracts addressing the pragmatical aspects of decision procedures are solicited. Submitted abstracts should not exceed 8 pages and should be written in LaTeX with the following settings: 11pt, one column, a4paper and standard margins.
Submissions should be sent by email to pdpar05@ai.dist.unige.it and contain:
  1. title, author(s) (names, correspondence addresses, e-mail addresses);
  2. small abstract (< 300 words), in plain text;
  3. extended abstract in postscript or PDF format, as an attachment;
Submissions will be reviewed by at least two referees. The authors of accepted submissions are expected to give a 25' presentation at the workshop.  The proceedings of PDPAR'05 will be distributed at the workshop.

Registration
Joint registration with the CAV'05 conference is possible but is not required. Refer to the CAV'05 web site for registration instructions and deadlines.

Program Committee
Alessandro Armando (University of Genova, Italy) [Co-chair]
Alessandro Cimatti (IRST, Trento, Italy) [Co-chair]

Thomas Ball (Microsoft Research)
Clark Barrett (New York University, USA)
Randy Bryant (Carnegie-Mellon University, USA)
David Dill (Stanford University, USA)
Enrico Giunchiglia (University of Genova, Italy)
Predrag Janicic (University of Belgrade, Serbia and Montenegro)
Greg Nelson (HP Labs, USA)
Silvio Ranise (INRIA-Lorraine, France)
Harald Ruess (SRI, USA)
Roberto Sebastiani (University of Trento, Italy)
Eli Singerman (Intel)
Ofer Strichman (Technion - IIT, Israel)
Aaron Stump (Washington University, USA)
Cesare Tinelli (University of Iowa, USA)

More Information
See http://www.ai.dist.unige.it/pdpar05 for PDPAR'05, and http://www.cav2005.inf.ed.ac.uk/ for CAV'05.




LCMAS 2005
Workshop on Logic and Communication in MultiAgent Systems
Edinburgh, Scotland, July 31, 2005

http://www.win.tue.nl/%7Eevink/lcmas05.html


The third edition of the LCMAS workshop series aims at bringing together researchers interested in topics related to the use of formal tools when applied to modelling, specifying, verifying, and reasoning about multi-agent systems in which communication and updating play a crucial role. Specifically, the workshop aims at providing a forum for discussing technical issues arising in the use of formalisms (epistemic, temporal, dynamic and authentication logics, and related techniques) inspired by the needs of modelling information exchanges in multi-agent systems. The workshop will be held as a satellite workshop of IJCAI05, the 19th edition of the biannual international joint conference on Artificial Intelligence. Previous editions of the workshop were held in Eindhoven in 2003 (as satellite workshop of ICALP), and in Nancy in 2004 (as satellite workshop of ESSLLI). Papers from the workshops were published in both occasions in the ENTCS series.
 

WORKSHOP SPECIFIC THEMES
Particular focus of attention will be given to papers relating to the following specific themes:

FORMAT/FEES
The workshop will be held either on the 30th of July or on the 1st of August (date to be confirmed). No IJCAI conference fees will be required to participate to the workshop, but a small attendance fee will be levied. Details of this will be posted as they become available.
 

PUBLICATION DETAILS
The proceedings of the workshop will be published by IJCAI and made available to all workshop participants. Papers from the 2003 and 2004 editions of the workshop were published in volumes of the ENTCS series. Publications of the proceedings of this year's edition as a volume of the ENTCS are under arrangement. Moreover, consideration will be given for a further special issue for extended versions of a selected number of contributions in an international journal.
 

SUBMISSION
Authors are invited to send original research papers in ps or pdf format by 30 March 2005 by email to evink(at)win.tue.nl. The paper should not exceed 15 pages, preferably formatted in plain LaTeX article style, or alternative similar formats.
 

IMPORTANT DATES

 

ORGANIZERS
Wiebe van der Hoek (Liverpool)
Alessio Lomuscio (King's College London)
Erik de Vink (Eindhoven)
Mike Wooldridge (Liverpool)

PROGRAM COMMITTEE
Johan van Benthem (University of Amsterdam) Wojciech Penczek (Warsaw University)
Marco Colombetti (Politecnico di Milano) Riccardo Pucella (Cornell University)
Juergen Dix (University of Clausthal) Pierre-Yves Schobbens (University of Namur)
Rogier van Eijk (University of Utrecht) Holger Schlingloff (Bremen Institute for Secure Systems}
Andrew Jones (King's College London) Marek Sergot (Imperial College)
Dusko Pavlovic (Kestrel Institute) Luca Viganò (ETH Zurich)




LAAIC 2005
Logical Aspects and Applications of Integrity Constraints
Copenhagen, Denmark, August 26, 2005

http://www.laaic05.ruc.dk/


THE EVENT
LAAIC 2005 is the first international workshop on Logical Aspects and Applications of Integrity Constraints. The workshop will be held in Copenhagen, Denmark, 26 August 2005, and is co-located with the 16th International Conference on Database and Expert Systems Applications, DEXA 2005 (http://www.dexa.org), 22-26 August 2005.

SCOPE
Major themes for the workshop include theory and applications of integrity constraints to the following topics:

INVITED SPEAKERS
Wenfei Fan (University of Edinburgh)
(list to be completed)

SUBMISSION
Authors are invited to submit research contributions representing original, previously unpublished work. Papers should be in English, and should not exceed 5 pages, formatted according to the IEEE double-column proceedings format. Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of expression.

Papers accepted by the Programme Committee must be presented at the workshop by one of the authors and will be published by IEEE in a proceedings volume of the DEXA 2005 workshops.

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. Papers should be submitted in pdf or ps format to the email address laaic05@ruc.dk by March 4, 2005.

IMPORTANT DATES
Paper submission: March 4, 2005
Notification to authors: April 15, 2005
Camera-ready copy due: May 15, 2005
Workshop: August 26, 2005

PROGRAM COMMITTEE
Marcelo Arenas (University of Toronto, Canada)
Andrea Calì (Free University of Bozen-Bolzano, Italy)
Stefano Ceri (Politecnico di Milano, Italy)
Henning Christiansen, workshop chair (Roskilde University, Denmark)
Hendrik Decker (Instituto Tecnológico de Informática, Spain)
Parke Godfrey (York University, Canada)
Mohand-Said Hacid (University Claude Bernard Lyon 1, France)
Maurizio Lenzerini (Università degli Studi di Roma 'La Sapienza', Italy)
Rainer Manthey (University of Bonn, Germany)
Davide Martinenghi, program chair (Roskilde University, Denmark)
Rosa Meo (Università di Torino, Italy)
Jack Minker, Professor Emeritus (University of Maryland, USA)






SAS 2005
Static Analysis Symposium
London, UK, September 7-9, 2005

http://www.doc.ic.ac.uk/~clh/sas05.htm


Static Analysis is increasingly  recognized as a fundamental  tool for high performance  implementations   and  verification  of  programming languages and systems. The  series   of Static Analysis Symposia   has served   as the  primary   venue   for presentation of    theoretical, practical, and   application   advances in  the  area.  The   twelfth International  Static Analysis Symposium    (SAS'05) will be  held  in London, co-located with  LOPSTR 2005 - The International  Symposium on  Logic-based Program Synthesis and  Transformation.   Previous symposia were  held in Verona, San Diego, Madrid, Paris, Santa Barbara, Venice, Pisa, Paris, Aachen, Glasgow and Namur.

The technical program for SAS'05 will consist of invited lectures, tutorials, panels, 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, complexity analysis,
data flow analysis, model checking,
optimizing compilers, program specialization,
security analysis, theoretical frameworks,
type inference, verification systems.

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 welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings.

Submitted papers should be at most 15 pages formatted in LNCS style (excluding bibliography and well-marked appendices). Program committee members are not required to read the appendices, and thus papers should be intelligible without them. The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science series (see http://www.springer.de/comp/lncs/authors.html for the LNCS author instructions). Thus, adhering to that style already in the submission is strongly encouraged. Papers should be submitted either in PostScript or PDF format and they should be interpretable by Ghostscript or Acrobat Reader.

*Important dates:*
Submission: *11 April, 2005*.
Notification: *10 May, 2005*.
Camera-ready: *10 June, 2005*.
Conference: *7-9 September 2005*.

*Program Committee:*
* Thomas Ball (Microsoft, USA)
* Radhia Cousot (CNRS/Ecole Polytechnique, FR)
* Alessandra Di Pierro (U. Pisa, IT)
* Gilberto File (U. Padova, IT)
* Roberto Giacobazzi (U. Verona, IT)
* Chris Hankin (Imperial College, UK -- PC Chair)
* Thomas Jensen (IRISA/CNRS Rennes, FR)
* Andy King (U. Kent, UK)
* Pasquale Malacaria (Queen Mary College, UK)
* Laurent Mauborgne (ENS, FR)
* Alan Mycroft (U. Cambridge, UK)
* Andreas Podelski (MPI, DE)
* German Puebla (UPM, ES)
* Ganesan Ramalingam (IBM, USA)
* Andrei Sabelfeld (Chalmers, SE)
* Mooly Sagiv, (Tel Aviv, IL)
* Harald Sondergaard (U. Melbourne, AU)
* Bernhard Steffen (U. Dortmund, DE)

*Contact address:*
Chris Hankin, SAS'05 PC Chair
Department of Computing
Imperial College London
South Kensington Campus
London SW7 2AZ
UK
e-mail: clh@doc.ic.ac.uk




VVPS 2005
Workshop on Verification and Validation of Model-based Planning and Scheduling Systems
Monterey, California, June 6-7, 2005

http://planning.cis.strath.ac.uk/vvpsws


Background
Verification techniques, such as model checking, and planning techniques have many commonalities. Planning and scheduling (P&S) systems are finding increased application in safety- and mission-critical systems that require a high level of assurance. However tools and methodologies for verification and validation (V&V) of P&S systems have received relatively little attention. The goal of this workshop is to initiate an ongoing interaction between the P&S and V&V communities, specifically here to identify specialized and innovative V&V tools and methodologies that can be applied to P&S.

Model-based P&S systems have unique architectural features that give rise to new V&V challenges. Most significantly, these systems consist of a planner engine that is largely stable across applications and a declaratively-specified domain model specialized to a particular application. Planners use heuristic search to compute detailed plans that achieve high level objectives stated as an input goal set. Experience has shown that most errors are in domain models, which can be inconsistent, incomplete or inaccurate models of the target domains. There are currently few tools to support the model construction process itself, and even fewer that can be used to validate the structures of the domains once they are constructed.

While heuristic search has proven effective at finding plans, it is generally demonstrated only empirically that a given heuristic strategy is effective in the domains on which it is tried. As planners find wider application and problems to which they are applied become more adventurous, a second challenge to V&V in P&S systems is to demonstrate that specific heuristic strategies have reliable and predictable behaviors over their operational profile, including identification of resource constraints in both the plan generation and in the quality of the plans produced.

Organization
In this first workshop, of what it is hoped will become a series of exchanges between the V&V and P&S communities, we propose to focus on the validation and verification of domain models. To facilitate contributions on this topic we make available (on the workshop website) a test bed consisting of a small collection of domain models. Domains expressed in the standard planning domain description language PDDL are supplied, together with an account of the semantics of PDDL, a parser and plan validation tool for PDDL. A planner and English requirements will also be supplied. Both formal and informal V&V methods are of interest.

The workshop will be organized over two days. The first day will be devoted to presentations of relevant papers, particularly emphasizing work that attempts to cross the gap between V&V and P&S or proposed approaches to achieving a greater integration of V&V in P&S. To encourage dialogue and exchange commentaries will be solicited on all papers that are selected for presentation and presented alongside the primary contributions. The second day will include an attempt to make practical and concrete headway in the application of V&V techniques in P&S, in round-table discussions and working groups.

Important Note: the workshop will have the atmosphere of a working group, where the emphasis is on participation, discussion and exchange of new ideas and not just on closed form papers (although such are very welcome). This is in consideration of the novelty of the field, where we encourage new initial ideas and work in process.

Topics of interest include:
- inspection methods,
- consistency and completeness of domain model,
- domain model coverage metrics,
- regression, stress and boundary testing, and
- theoretical foundations.
Submission and publication:
There are two types of submissions: short position statements and regular papers. Position papers are a maximum of two pages. Regular papers are a maximum of 12 pages. Papers should be submitted to icaps05-vvworkshop@email.arc.nasa.gov and should follow the format indicated on the website. Papers will be printed as a hard-copy hand-out, and workshop findings and a workshop report will be published on the workshop website.

Important Dates:
Papers due: April 18
Notification of acceptance: May 2
Final papers: May 9

Program Committee:
Howard Barringer (University of Manchester)
Enrico Giunchiglia (University of Genova)
Tom Henzinger (Ecole Polytechnique Federale de Lausanne)
Gerard Holzmann (JPL/NASA)
Kim Guldstrand Larsen (Aalborg University)
David Musliner (Honeywell)
Nicola Muscettola (NASA Ames)
Douglas Smith (Kestrel Institute)
Carolyn Talcott (SRI)
Brian Williams (MIT)

Chairs:
Maria Fox (University of Strathclyde)
Allen Goldberg (Kestrel Technology/NASA Ames)
Klaus Havelund (Kestrel Technology/NASA Ames)
Derek Long (University of Strathclyde)





ICFP 2005
International Conference on Functional Programming
Tallin, Estonia, September 26-28, 2005

http://www.brics.dk/~danvy/icfp05/


ICFP 2005 seeks original papers on the art and science of functional programming. Submissions are invited on all topics ranging from principles to practice, from foundations to features, from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects and concurrency. Particular topics of interest include:

Papers in the last three categories need not necessarily report original research results; they may instead, for example, report practical experience that will be useful to others, re-usable programming idioms, or elegant new ways of approaching a problem.

A special issue of the Journal of Functional Programming will highlight selected papers from the meeting.

Submission instructions will be available by 1 March, 2005, on this page.

Important Dates:

Submission deadline: 13 April, 2005
On-line response to reviews: 18-19 May, 2005
Author notification: 3 June, 2005
Camera-ready copy: 10 July, 2005

Organizers:

Conference Chair: Olivier Danvy (BRICS, University of Aarhus)
Program Chair: Benjamin C. Pierce (University of Pennsylvania)


Program Committee: Mariangiola Dezani (Universitá di Torino)

Mary Fernández (AT&T Labs)

Matthew Flatt (University of Utah)

Cédric Fournet (Microsoft Research)

Jacques Garrigue (Kyoto University)

Jason Hickey (California Institute of Technology)

John Hughes (Chalmers University)

Johan Jeuring (Utrecht University)

Frank Pfenning (Carnegie Mellon University)

Benjamin Pierce (University of Pennsylvania)

Andrew Pitts (University of Cambridge)

Norman Ramsey (Harvard University)

Manuel Serrano (INRIA Sophia Antipolis)

Peter Thiemann (Universität Freiburg)

Jan Vitek (Purdue University)






Workshop on Modelling and Solving Problems with Constraints
Edinburgh, Scotland, July 30-August 1, 2005

http://4c.ucc.ie/~brahim/ijcai05ws/


Introduction

Constraint Programming (CP) is a powerful technology to solve combinatorial problems which are ubiquitous in academia and industry. The last ten years have witnessed significant research devoted to modelling and solving problems with constraints. CP is now a mature field and has been successfully used for tackling a wide range of real-life complex applications.

As constraint solving is intractable in general, problems can become difficult to solve as their size increase. Therefore, there is always a need for more efficient solvers to cope with ever difficult problems. Techniques such as the design of specialised filtering algorithms for recurring constraints, sophisticated search techniques, heuristics to guide the search, symmetry breaking have significant impact on the time spent to solve problems. Efficiency can be improved also by bridging the gap between CP and the other communities such as Operations Research, Local Search, SAT, Planning, and Machine Learning.

Formulating an effective model for a given problem often requires trying alternate models and using ``modelling tricks'' such as redundant modelling and channelling. This could be a challenge even for modelling experts. The increasing use of CP necessitates higher level modelling languages to facilitate the exploitation of the available technology and to make CP reachable to a wider user base. The hope is that the next generation modelling languages will assist modellers by for instance helping acquire and validate constraints, automatically generating alternate models and selecting the most appropriate one for the application in hand, and synthesising propagators for complex constraints.

It is desirable to extend the classical framework for modelling and solving with constraints to adapt to some real-life scenarios. For instance, many problems contain uncertainty and thus the user may require robust solutions. In some cases, problems are over-constrained and the user has preferences for which constraints to relax. Explanations can be necessary to understand the solution process. Real-life problems are often optimisation problems and the users might want to improve the quality of their solutions as quickly as possible.

Workshop

The rapidly growing use of CP in industrial applications makes it crucial to fill the gap between the user's needs and the answers provided by the technology. Developing more efficient ways to solve constraints, assisting the users in the modelling phase, and extending the classical modelling and solving framework to capture real-life scenarios are important steps towards a better applicability of CP technology to real-life problems. This one-day workshop will address modelling and solving jointly, looking for ways to enrich the efficiency, usability and the expressiveness of the CP tools. It will interest both academics in the AI community working on constraint reasoning, and people in industry using CP technology to solve problems.

Workshop topics include (but are not limited to):

In addition to technical presentations based on accepted papers, an invited talk and a modelling challenge are planned. The details of the modelling challenge will be available shortly.

This workshop is the fifth in the series, following the successful earlier workshops held alongside ECAI 2000, IJCAI 2001, ECAI 2002, and ECAI 2004. There have also been related workshops at CP 2001/2002/2003/2004, IJCAI 1999/2003 and ECAI 1998.

The full text for call for papers can be found here .

Participation

To encourage participation, organisers ask for standard contributions including research results on the workshop topics, as well as submissions posting challenging problems to be discussed at the workshop. At least one author of each submission accepted for presentation must attend the workshop and present the contribution.

The workshop is open to all members of the AI community. Attendance is limited to active participants only. Workshop attendees need not register for the main IJCAI conference.

Submission and Selection

To submit a paper to the workshop, please e-mail to comic@4c.ucc.ie a PS or PDF file in IJCAI conference style (http://ijcai05.csd.abdn.ac.uk/index.php?section=papers#format).

Papers should not exceed 8 pages. All submissions must be received by April 23, 2005. The organising committee will acknowledge all submissions. If a submitted paper is not acknowledged in 2 working days, the authors are kindly asked to contact the chair.

All submissions will be reviewed and those that present a significant contribution to the workshop topics will be accepted for publication in the workshop proceedings. The proceedings will be available electronically at the workshop page and in hard copy on the day of the workshop.

Important Dates

Organization

Organizing Committee:

Modelling Challenge Organisers:

Programme Committee:





TABLEAUX 2005
International Conference on Automated Reasoning with Analytic Tableaux and Related Models
Koblenz, Germany, September 14-17, 2005

http://tableaux2005.uni-koblenz.de


IMPORTANT DATES 
Tutorial proposal submission deadline: March 31, 2005
Notification of acceptance of tutorials: April 10, 2005
Paper submission deadline: April 30, 2005
Notification of acceptance of papers: June 25, 2005
Final version of papers due: July 10, 2005
Conference: September 14-17, 2005

GENERAL INFORMATION

This conference is a continuation of international meetings on
Automated Reasoning with Analytic Tableaux and Related Methods held
1992 in Lautenbach (Germany), 1993 in Marseille (France), 1994 in
Abingdon (UK), 1995 in St. Goar (Germany), 1996 in Terrasini
(Italy), 1997 in Pont-à-Mousson (France), 1998 in Oisterwijk
(Netherlands), 1999 in Saratoga Springs (USA), 2000 in St Andrews
(Scotland), 2002 in Copenhagen (Denmark), and 2003 in Rome
(Italy). In 2001 TABLEAUX was part of IJCAR 2001 in Siena, and in
2004 it was part of IJCAR 2004 in Cork (Ireland).

In September 2005, the conference will be held in Koblenz, Germany.
The proceedings will again be published in Springer's LNAI series.

See http://tableaux2005.uni-koblenz.de for more information on
TABLEAUX 2005, and http://i12www.ira.uka.de/TABLEAUX for information
about the TABLEAUX conference series.

The International Workshop on First-Order Theorem Proving (FTP 2005)
will also be held in Koblenz at the same time, with opportunities
for joint registration.


TOPICS

Tableau methods are a convenient formalism for automating deduction
in various non-standard logics as well as in classical logic. Areas
of application include verification of software and computer
systems, deductive databases, knowledge representation and its
required inference engines, and system diagnosis. The conference
brings together researchers interested in all aspects - theoretical
foundations, implementation techniques, systems development and
applications - of the mechanization of reasoning with tableaux and
related methods.

Topics of interest include (but are not restricted to):

* analytic tableaux for various logics (theory and applications)
* related techniques and concepts, e.g., model checking and BDDs
* related methods (model elimination, sequent calculi,
connection method, ...)
* new calculi and methods for theorem proving in classical and
non-classical logics (modal, description, intuitionistic, linear,
temporal, ...)
* systems, tools, implementations and applications.

TABLEAUX 2005 puts a special emphasis on applications. Papers
describing applications of tableaux and related methods in areas
such as, for example, hardware and software verification, knowledge
engineering, semantic web, etc. are particularly invited.

One or more tutorials will be part of the conference program.


SUBMISSIONS

The conference will include contributed papers, tutorials, system
descriptions, position papers and invited lectures. Submissions are
invited in four categories:

A Research papers (reporting original theoretical and/or experimental
research, up to 15 pages)
B System descriptions (up to 5 pages)
C Position papers and brief reports on work in progress
D Tutorials in all areas of analytic tableaux and related methods
from academic research to applications (proposals up to 5 pages)

Submissions in categories A and B will be reviewed by peers,
typically members of the program committee. They must be
unpublished and not submitted for publication elsewhere. Accepted
papers in these categories will be published in the conference
proceedings (within the LNAI series of Springer), which will be
available at the conference. For category {\bf B} submissions a working
implementation must exist and be available to the referees.

Submissions in category C will be reviewed by members of the
program committee and a collection of the accepted papers in this
category will be published as a Technical Report of the Department
of Computer Science, University of Koblenz.

Tutorial submissions (Category D) may be at introductory,
intermediate, or advanced levels. Novel topics and topics of broad
interest are preferred. The submission should include the title, the
author, the topic of the tutorial, its level, its relevance to
conference topics, and a description of the interest and the
scientific contents of the proposed tutorial. Tutorial proposals
will be reviewed by members of the program committee.

Authors of accepted papers are expected to present their work at the
conference.

Further information and instructions about submissions can be found
on the conference website at tableaux2005.uni-koblenz.de.


PROGRAM COMMITTEE

Bernhard Beckert, U. of Koblenz, Germany (Chair)
Peter Baumgartner, MPI Saarbruecken, Germany
Marta Cialdea Mayer, U. Roma Tre, Italy
Roy Dyckhoff, U. of St. Andrews, Scotland
Christian Fermueller, Technical U. of Vienna, Austria
Ulrich Furbach, U. of Koblenz, Germany
Didier Galmiche, LORIA, U. Henri Poincare, France
Martin Giese, Chalmers U., Gothenburg, Sweden
Rajeev P. Gorè, Australian National U., Canberra, Australia
Jean Goubault-Larrecq, École Normale Supérieure de Cachan, France
Reiner Haehnle, Chalmers U., Gothenburg, Sweden
Ian Horrocks, U. of Manchester, UK
Ullrich Hustadt, U. of Liverpool, UK
Christoph Kreitz, U. of Potsdam, Germany
Reinhold Letz, Technical U. of Munich, Germany
Maarten Marx, U. of Amsterdam, The Netherlands
Ugo Moscato, U. of Milano-Bicocca, Italy
Neil V. Murray, U. at Albany, USA
Ilkka Niemela, Helsinki U. of Technology, Finland
Lawrence Paulson, U. of Cambridge, UK
David A. Plaisted, U. of North Carolina, USA
Peter H. Schmitt, U. of Karlsruhe, Germany
Viorica Sofronie-Stokkermans, MPI Saarbruecken, Germany
Arild Waaler, U. of Oslo, Norway
Calogero G. Zarba, LORIA and INRIA-Lorraine, France


ORGANIZING COMMITTEE

Conference Chair:
Bernhard Beckert, University of Koblenz, Germany

Publicity Chair:
Gernot Stenz, Technical U. of Munich, Germany

Local Organizers:
Gerd Beuster
Vladimir Klebanov
Thomas Kleeman
Alex Sinner
Christoph Wernhard




CLIMA VI
International Workshop on Computational Logic in Multi-Agent Systems
City University, London, UK, June 27-29, 2005

http://clima.deis.unibo.it/



Multi-Agent Systems are communities of problem-solving entities that can perceive and act upon their environments to achieve their individual goals as well as joint goals. The work on such systems integrates many technologies and concepts in artificial intelligence and other areas of computing as well as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability a full spectrum of domains, from search engines to aids to electronic commerce and trade, e-procurement, recommendation systems, simulation and routing, to cite only some.

Although commonly implemented by means of imperative languages, mainly for reasons of efficiency, agent-related concepts have recently increased their influence in the research and development of Computational Logic based systems.

Computational Logic provides a well-defined, general, and rigorous framework for studying syntax, semantics and procedures for various tasks by individual agents, as well as interaction amongst agents in multi-agent systems, for attending implementations, environments, tools, and standards, and for linking together specification and verification of properties of individual agents and multi-agent systems.

The purpose of this workshop is to discuss techniques, based on Computational Logic, for representing, programming and reasoning about Agents and Multi-Agent Systems in a formal way.

Topics

We solicit unpublished papers that present formal approaches to multi-agent systems based upon or relating to computational logic. The approaches must make a significant contribution to the practice of multi-agent systems. Relevant topics include, but are not limited to, the following:

Submissions

We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere.

Papers should be written in English, formatted according to the springer LNCS style, which can be obtained here, and not exceed 16 pages including figures, references, etc.

Please follow this link to submit your contribution to CLIMA VI.

Important Dates

Proceedings and post-workshop publications

A printed volume with the proceedings will be available at the workshop.

A selection of papers from past editions of CLIMA have been published in journal special issues (Electronic Notes in Theoretical Computer Science vol. 70(5) of 2002 and Annals of Mathematics and Artificial Intelligence vol. 37(1-2) of 2003 and vol. 42(1-3) of 2004), and book series such as the recent vol. 3259 of Springer-Verlag Lecture Notes in Artificial Intelligence (CLIMA IV) and the forthcoming issue of the same series, featuring the post-proceedings of CLIMA V.




MSP 2005
ACM SIGPLAN Workshop on Memory Systems Performance
Chicago, Illinois, June 12, 2005

http://www.research.microsoft.com/%7Ezorn/MSP05/home.htm


The workshop focuses on improving the memory system performance of general-purpose programs. Architecture, programming, and application trends have made memory performance a critical issue in the speed and efficiency of computer systems. The workshop is multi-disciplinary and fosters collaboration among researchers in a range of fields including compilers, memory management, programming languages, architecture, operating systems, performance evaluation, and database systems.

Papers are solicited on all aspects of memory system performance. These include, but are not limited to:

Software, hardware and hybrid approaches are encouraged.  In addition, we solicit papers from practitioners describing problems and experience with memory performance in specific application domains.

Submission Guidelines

Full paper submissions should not exceed 10 pages in length and should be submitted electronically through the web site available from the workshop home page (see below). Copies of accepted papers will be made available at the workshop and through the ACM digital library. Submitted papers must not be simultaneously under review for any other conference or journal, and authors should point out any substantial overlap with their previously published or currently submitted work.

Key Dates
Organizing Committee
General Chair
Brad Calder, U. C., San Diego
Program Chair
Ben Zorn, Microsoft

Program Committee
Vikram Adve, U.I.U.C.
Ali-Reza Adl-Tabatabai, Intel
David Bacon, IBM
Doug Burger, U. Texas, Austin
Steve Carr, Michigan Tech
Bruce Jacob, U. Maryland
Richard Jones, University of Kent
Chandra Krintz, U. C., Santa Barbara
Margaret Martonosi, Princeton
Steve Reinhardt, U. Michigan
Reinhard Wilhelm, Universität des Saarlandes
Xiadong Zhang, William and Mary

Steering Committee
Trishul Chilimbi, Microsoft
Frank Mueller, NC State University
Chen Ding, University of Rochester





AADEBUG 2005
International Symposium on Automated and Analysis-driven Debugging
Monterey, California, September 19-21, 2005

http://www.cs.nmsu.edu/aadebug/


Over the past decades automated debugging has seen major achievements. However, as debugging is by necessity attached to particular programming paradigms, the results are scattered. The aims of the symposium are to gather common themes and solutions across programming communities, and to cross-fertilize ideas. We seek papers describing original research as well as reports on practical experience. We also welcome demonstrations of tools and research prototypes.

Typical topics of the symposium include (but are not limited to):
for any kind of programming paradigms (sequential, parallel, distributed, grid, real-time, logic programming, functional, object-oriented, imperative, visual languages).

Accepted papers and demo descriptions will be included in the symposium proceedings published on paper by ACM with ISBN and also electronically in the ACM Digital Library.

Demonstration of tools and research prototypes that implement new ideas in debugging automation will be part of the AADEBUG 2005 technical program. Demos will be given in sessions together with technical paper presentations.

Submission of Papers
Contributors should be aware that the prospective audience will not necessarily be familiar with the addressed programming paradigms, which should, therefore, be briefly introduced. Papers should be no longer than 10 pages in length, including a 150 to 200 word abstract. Submit papers by uploading a PDF file to the submission site (see http://www.cs.nmsu.edu/aadebug/submit.html). Concurrently send an e-mail to aadebug-submit@cs.nmsu.edu with the title of the paper, names of the authors, full address of the correspondent and a 150 to 200 word abstract of the paper.

Submission of Demos
Demo descriptions should be no longer than 5 pages including a 150 to 200 word abstract. Submit demos by uploading a PDF file to the submission site (see www.cs.nmsu.edu/aadebug/submit.html). Concurrently send an e-mail to aadebug-submit@cs.nmsu.edu containing the title of the demo, names of the authors, full address of the correspondent and a 150 to 200 word abstract of the paper. Clearly mention the fact that you submit a demo and not a regular paper in your email.

Authors having problems to submit using the web server can send the paper as an attachment to aadebug-submit@cs.nmsu.edu

Important Dates
Paper and demo submission before March 12, 2005
Notification of acceptance by
May 31, 2005
Final version of paper before
July 15, 2005
Early registration deadline August 15, 2005

General chair
Clinton Jeffery, New Mexico State University, USA

Program chairs
Jong-Deok Choi, IBM, USA
Raimondas Lencevicius, Nokia, USA

Local arrangements chair
Mikhail Auguston, NPS, USA

Program committee
David Abramson, Monash U, Australia
Jose Nelson Amaral, U of Alberta, Canada
Mikhail Auguston, Naval Postgraduate School (CA), USA
Thomas Ball, Microsoft Research, USA
Koen De Bosschere, Ghent U, Belgium
Peter Bunus, Linkopings U, Sweden
Jacques Chassin de Kergommeaux, LSR/ENSIMAG, France
Mireille Ducasse, IRISA/INSA, France
Peter Fritzson, Linkopings U, Sweden
Michael Gerndt, Tech. U Munchen, Germany
Jeff Hollingsworth, U of Maryland, USA
Gerda Janssens, Katholieke U Leuven, Belgium
Dieter Kranzlmuller, Joh. Kepler U Linz, Austria
Edu Metz, Nokia Research Center, USA
Barton Miller, U of Wisconsin, USA
Henrik Nilsson, U of Nottingham, UK
Steve Reiss, Brown U, USA
Michiel Ronsse, Ghent U, Belgium
Atanas Rountev, Ohio State U, USA
Mary Lou Soffa, U of Virginia, USA
Scott Stoller, State U of New York at Stony Brook, USA
Markus Stumptner, U of South Australia, Australia
Kazunori Ueda, Waseda U, Japan
Shmuel Ur, IBM Haifa, Israel
Roland Wismuller , Tech U Munchen, Germany
Franz Wotawa, Technische U Graz, Austria
Andreas Zeller, Saarbrucken U, Germany





SPIN 2005
International SPIN Workshop on Model Checking of Software
San Francisco, California, August 22-24, 2005

http://cm.bell-labs.com/cm/cs/what/spin2005/index.html


SPIN 2005 solicits previously unpublished, currently unsubmitted, original contributions addressing theoretical, experimental and applied problems in model checking of software artifacts. Although authors are encouraged to compare their work with existing model checkers such as SPIN, the scope of the workshop is not limited to topics directly related to the SPIN system. 

Accepted contributions will be included in the workshop proceedings which will be published by Springer Verlag in the Lecture Notes in Computer Science series.

Submission deadline:
Invited Speakers:
<>Invited Tutorials:
Program committee:



FDPE 2005
Functional and Declarative Programming in Education
Tallin, Estonia, September 25, 2005

http://www.cs.kent.ac.uk/~sjt/fdpe05/


Overview
Functional and declarative programming plays an important role in computing education at all levels. The aim of this workshop is to bring together educators and others who are interested in exchanging ideas on how to use a functional or declarative programming style in the classroom.

Scope
The workshop will cover a wide spectrum of functional and declarative programming techniques:
 Furthermore, the workshop will also cover all levels of education: secondary school; college and university; post-college and continuing professional education.

Submissions
Submissions will be sought in two forms:
Submissions will be refereed by the workshop organisers who will call upon other members of the functional/declarative programming community for expert advice.
Participants who choose to deliver a standard presentation are asked to submit a draft PDF paper of five pages; presenters of short talks are asked to submit an abstract of 250 words. These should be submitted by June 4, 2005. Comments from the organizers and notice of acceptance will be sent to authors by July 15, 2005.

Proceedings will be published by SIGPLAN. Details of the publication procedure will be given on the workshop web site in due course.

Organisers
Robby Findler, University of Chicago, USA
Michael Hanus, University of Kiel, Germany
Simon Thompson, University of Kent, UK

FDPE05: http://www.cs.kent.ac.uk/~sjt/fdpe05/
ICFP05: http://www.brics.dk/~danvy/icfp05/






FroCos 2005
International Conference on Frontiers of Combining Systems
Vienna, Austria, September 19-21, 2005

http://www.logic.at/frocos05/


BACKGROUND

In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, and automated reasoning, there is an obvious need for using specialized formalisms and inference mechanisms for special tasks. In order to be usable in practice, these specialized systems must be combined with each other, and they must be integrated into general purpose systems. The development of general techniques and methods for the combination and integration of special formally defined systems, as well as for the analysis and modularization of complex systems has been initiated in many areas. The International Workshop on Frontiers of Combining Systems (FroCoS) traditionally focuses on this type of research questions and activities and aims at promoting progress in the field.

The previous FroCoS workshops were held in Munich (1996), Amsterdam (1998), Nancy (2000) and Santa Margherita Ligure (2002). In 2004, FroCoS joined IJCAR 2004, the 2nd International Joint Conference on Automated Reasoning. Like its predecessors, FroCoS 2005 wants to offer a common forum for research activities in the general area of combination, modularization and integration of systems (with emphasis on logic-based ones), and of their practical use.


TOPICS

Typical topics of interest include (but are not limited to):


INVITED TALKS

t.b.a.


SUBMISSIONS

The programme committee seeks high-quality submissions that are original and not submitted for publication elsewhere. Submission is electronic in postscript or PDF format. Submitted papers must conform to the Springer LNCS style, preferably using LaTeX2e and the Springer llncs class files. Submission categories include full papers, for work on foundations, applications, implementation techniques, and problem sets (up to 15 pages), as well as system descriptions (up to 8 pages), for describing publicly available systems. The submission deadline is May 2, 2005 for titles and abstracts, and May 9, 2005 for papers. For further information and submission instructions see the FroCoS 2005 web page: http://www.logic.at/frocos05/.


PROCEEDINGS

Accepted papers will appear in the proceedings of the conference, published as a volume of the Lecture Notes in Artificial Intelligence (LNAI) series, Springer-Verlag. Proceedings will be available at the time of the conference.


IMPORTANT DATES

 May     2, 2005: Deadline for electronic submission of abstract
May 9, 2005: Deadline for electronic submission of papers
June 20, 2005: Notification of acceptance/rejection
Jul 11, 2005: Deadline for final versions of accepted papers
Sep 19-21, 2005: Conference


PROGRAM COMMITTEE

 * Alessandro Armando	      (U Genova)
* Franz Baader (TU Dresden)
* Clark W. Barrett (NYU New York)
* Frédéric Benhamou (LINA, U Nantes)
* Michel Bidoit (LSV, CNRS & ENS Cachan)
* Jacques Calmet (U Karlsruhe)
* Jürgen Giesl (RWTH Aachen)
* Bernhard Gramlich (chair) (TU Wien)
* Deepak Kapur (UNM Albuquerque)
* Maarten Marx (U Amsterdam)
* Joachim Niehren (INRIA Futurs, U Lille)
* Christophe Ringeissen (LORIA-INRIA Nancy)
* Manfred Schmidt-Schauss (U Frankfurt)
* Cesare Tinelli (U Iowa)
* Ashish Tiwari (SRI Menlo Park)
* Frank Wolter (U Liverpool)

ORGANIZING COMMITTEE
 * Aneta Binder
* Bernhard Gramlich
* Franziska Gusel
* Gernot Salzer
* Jana Srna

PROGRAM COMMITTEE AND CONFERENCE CHAIR
 Bernhard Gramlich
TU Wien, Fakultät für Informatik, Theory and Logic Group
Favoritenstr. 9 - E185/2, A-1040 Wien, Austria
Email: gramlich@logic.at


FURTHER INFORMATION

 FroCoS 2005 web page: http://www.logic.at/frocos05/




SARA 2005
Symposium on Abstraction, Reformulation, and Approximation
Edinburgh, Scotland, July 26-29, 2005

http://sara2005.limbio-paris13.org/


OVERVIEW
SARA'2005 is an Artificial Intelligence symposium on all aspects of abstraction, reformulation, and approximation. Like past SARAs, it will consist of stimulating technical presentations spanning the traditional boundaries that fragment Artificial Intelligence research.

Attendance is limited to approximately 50 participants. Graduate students whose research involves techniques of abstraction, reformulation or approximation are highly encouraged to attend, and some funding might be available to subsidize their costs.

SARA'2005 will take place from July 26th to July 29th, prior to IJCAI-2005. SARA will be located in a wonderful location: Radisson SAS Airth Castle & Hotel, in Stirlingshire, nearby Edinburgh (Scotland's capital city, one of the greenest and architecturally most beautiful cities in Northern Europe).

<>BACKGROUND
It has been recognized since the inception of Artificial Intelligence that abstractions, problem reformulations and approximations (AR&A) are central to human common-sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. AR&A techniques have been used in a variety of problem-solving settings, including automatic programming, constraint satisfaction, design, diagnosis, machine learning, planning, reasoning, scheduling and theorem proving. The primary use of AR&A techniques in such settings has been to overcome computational intractability by decreasing the combinatorial costs associated with searching large spaces. In addition, AR&A techniques are also useful for knowledge acquisition and explanation generation in complex domains.

The considerable interest in AR&A techniques has led to a series of successful symposia over the last decade. AAAI workshops in 1990 and 1992 focused on selecting, constructing and using abstractions and approximations, while a series of workshops in 1988, 1990, and 1992 focused on problem reformulations. The two workshop series were then combined since there was considerable overlap in their attendees and topics. The present symposium is the sixth in this new series, following successful symposia in 1994, 1995, 1998, 2000 and 2002. Its aim is to provide a forum for intensive interaction among researchers in all areas of artificial intelligence with an interest in the different aspects of AR&A techniques. The diverse backgrounds of participants of previous symposia has lead to a rich and lively exchange of ideas, allowed the comparison of goals, techniques and paradigms, and helped identify important research issues and engineering hurdles. We expect that the upcoming symposium will include an equally diverse group of participants.

<>REQUIREMENTS FOR ATTENDING
Because of the limited capacity of the meeting venue, attendance will be by invitation only. However, it is the aim of SARA to encourage as many people as possible to attend, and therefore invitations will be extended to anyone doing relevant work and, while space permits, to anyone interested in the topic.

Anyone who has a paper or extended abstract accepted (see below) will be invited to attend. Anyone else who is interested in attending must apply by sending a research summary (one or two pages), including a list of relevant publications, to the program co-chairs before April 17, 2005. Invitations will be extended to as many interested people as possible. The research summaries of the invited non-presenters will be published in the proceedings.

Invitations will be sent April 24 2005 along with registration information.

<>SUBMISSION INFORMATION
Submissions are requested about all aspects of abstraction, reformulation and approximation (AR&A), including (but not limited to) the following topics:

Researchers who wish to make presentations at the symposium should submit a full paper or, if they prefer, an extended abstract. Authors of accepted extended abstracts are encouraged to produce full papers by the deadline for camera-ready copies. Researchers who wish to attend the symposium without making a presentation must submit a research summary as described above.

Accepted full papers, extended abstracts and research summaries will be published in the Lecture Notes in Artificial Intelligence series by Springer Verlag.

The submissions and final versions of all papers and summaries must be in LNCS/LNAI format. Formatting instructions can be found at www.springer.de/comp/lncs/authors.html. Full papers should not exceed 15 pages, extended abstracts should not exceed 8 pages, and research summaries should not exceed 2 pages.

Full paper submissions must report on substantial, original, and previously unpublished research. SARA allows researchers to submit 1- or 2-page abstracts on research that will be submitted to, has been submitted to, or has already been published in archival conferences or journals. However, researchers are encouraged to submit full papers, if possible.

Papers have to be submitted electronically in PDF format to the following email address:

sara_submission@limbio-paris13.org

Please include several ways of contacting the principal author, including e-mail address, telephone number, and fax number. Accepted full papers need to be presented at the symposium. In case of multiple authors, please indicate which authors will participate in the symposium.

Additional information may be obtained from the symposium home page on the World Wide Web:

IMPORTANT DATES





ICTCS 2005
Italian Conference on Theoretical Computer Science
Certosa di Pontignano, Siena, October 12-14, 2005

http://ictcs05.dsmi.unisi.it


The Ninth Italian Conference on Theoretical Computer Science will take place at the Certosa di Pontignano (Siena), Italy. Papers presenting original contributions in any area of theoretical computer science are being sought. Topics include (but are not limited to):


Program Committee:

Michele Bugliesi (Venezia),
Mario Coppo (Torino, Co-Chair),
Pierluigi Crescenzi (Firenze),
Giulia Galbiati (Pavia)
Luisa Gargano (Salerno),
Giorgio Ghelli  (Pisa),
Roberto Grossi (Pisa),
Benedetto Intrigila  (L'Aquila),
Nicola Leone   (Cosenza),
Elena Lodi (Siena, Co-Chair),
Flaminia Luccio (Trieste),
Andrea Masini  (Verona),
Giancarlo Mauri (Milano),
Corrado Priami  (Trento),
Geppino Pucci (Padova),
Davide Sangiorgi (Bologna).


Organizing Committee:

S. Brunetti (Siena),
G. Michele Pinna (Cagliari - Siena, Chair),
E.B.P. Tiezzi (Siena).


Invited Speakers:

Luca Cardelli (Microsoft Research, Cambridge, United Kingdom)
Giuseppe Castagna (LIENS - École Normale Supérieure, Paris, France)
Nicola Santoro (School of Computer Science, Carleton University, Ottawa, Canada)


Dates and Deadlines:

Submission Deadline: 15 April 2005
Acceptance Notification: 7 June 2005
Camera-ready deadline: 2 July 2005
Early registration deadline: 16 September 2005
Conference:  12-14 October 2005


Submissions:
Authors are invited to submit electronically one copy of their draft paper, not exceeding fifteen pages. The paper should clearly indicate the results achieved, their significance, and their relation to other work in the area.  Extended proofs can be placed in a clearly marked appendix. It is planned to publish the proceedings in the Springer Lecture Notes in Computer Science series. To uniform the submissions the authors are encouraged to use Latex and the Springer LNCS style (www.springer.de/comp/lncs)

The web-based submission form is available at the page http://ictcs05.dsmi.unisi.it/submission.html. In case electronic submission is not possible, the authors should contact:

Mario Coppo
Dipartimento di Informatica, Universita' di Torino
Corso Svizzera 185
I-10149 Torino, Italy
email: coppo@di.unito.it


Conference Page:
This Call For Papers is available online at the conference web page http://ictcs05.dsmi.unisi.it

Registration Details:
The registration form will be reachable from the conference web page. A limited number of grants for students and young researchers covering the registration fees are available. Details for the applications are in the conference web page.






AAAI 2005
20th National Conference on Artificial Intelligence
Pittsburgh, Pennsylvania, July 9-13, 2005
http://www.aaai.org/Conferences/National/2005/aaai05.html


AAAI-05 is the Twentieth National Conference on Artificial Intelligence (AI). The purpose of this conference is to promote research in AI and scientific interchange among AI researchers, practitioners, and scientists and engineers in related disciplines. AAAI-05 will have multiple technical tracks, poster sessions, invited speakers, and exhibit programs, all selected according to the highest reviewing standards.

The conference provides a forum for a broad range of topics, including (but not limited to) knowledge representation, machine learning, autonomous agents, planning, machine perception, robotics, expert systems, theorem proving, common- sense reasoning, probabilistic inference, constraint satisfaction, game playing, automated diagnosis, data mining, natural language processing, neural networks, reinforcement learning, semantic web, information integration and cognitive modeling.

As the national conference for all of AI, AAAI encourages the presentation of results both from core AI technical areas and from efforts to synthesize and unify approaches to the problems faced by intelligent systems. Contributions involving the role of AI techniques and systems in other emerging areas of computer science, science, and society (such as the Web, grid computing, biotechnology, health care, and sensory networks in physical environments, to name just a few) are particularly encouraged.

In addition to normal technical papers, this year, we also specifically encourage vision/challenge papers that lay out near-term directions for particular subfields of AI.

TIMETABLE FOR AUTHORS
Author Registration
Authors must register at the AAAI-05 web-based technical paper submission site. The software will assign a password, which will enable the author to log on to submit an abstract and paper. In order to avoid a rush at the last minute, authors are encouraged to register as soon as the software is available, scheduled for January 14, 2005.

Paper Submission
Electronic paper submission is required. Instructions about how to submit papers electronically are available at the AAAI web site (www.aaai.org/Conferences/National/ 2005/). Papers may be no longer than 6 pages including references, and formatted in AAAI two-column, camera-ready style. We cannot accept submissions by e-mail or fax. Reviewing for AAAI-05 will be blind to the identities of the authors. Details on formatting and preparing the paper for blind review can be found at the AAAI-05 web site.

Authors should submit abstracts by March 18, 2005 and papers by March 22, 2005. The software will assign paper ID number at the time of the submission. Vision/challenge papers should be clearly marked as such by selecting the keyword "vision/challenge" in addition to any applicable technical keywords.

Authors will receive confirmation of receipt of their papers shortly after submission. AAAI will contact authors again only if problems are encountered with papers. Inquiries regarding lost papers must be made no later than March 29, 2005.

Title Page Submission
Authors are also requested to submit one copy of the formatted version of their title page, including authors and affiliations, no later than March 29, 2005. This title page should also include the paper ID number assigned by the submission software. This page will be retained by the AAAI office for author identification and author order. Please note that author information should not be included on the PDF of the full paper submitted electronically for review because AAAI-05 papers will have a blind review. Please send title pages to:

AAAI-05
445 Burgess Drive, Suite 100
Menlo Park, CA 94025-3442
Telephone: 650-328-3123
Fax: 650-321-4457


Submissions to Other Conferences or Journals

Papers submitted to this conference must not have been accepted for publication elsewhere or be under review for another AI conference. However, to encourage interdisciplinary contributions, we may consider work that has been submitted or presented in part to a forum outside of AI. The guidelines of the AAAI policy on multiple submissions are fully detailed at the AAAI-05 web site and must be carefully followed.

Review Process

Program committee members will identify papers they are qualified to review based on the information submitted electronically (the paper's title, keywords, and abstract). Their reviewing will be done blind to the identities of the authors and their institutions. The program committee's reviews will make recommendations to the senior program committee, which in turn will make recommendations to the program cochairs. Although the program cochairs will formally make all final decisions, in practice almost all will be made earlier in the process.

This year, as an experiment, the cochairs are planning to allow authors of papers that may have conflicting reviews, a limited opportunity to respond to the reviews. This author's feedback may then be taken into account in making the final decisions. Further details on this specific "if controversial, hear the authors" idea will be made available on the AAAI-05 website.

Copyright

Authors will be required to transfer copyright of their paper to AAAI.
Authors of all accepted papers will have a chance to present their work both orally and again in a pan-conference poster session.




WI 2005
International Conference on WEB Intelligence
Compiegne, France, September 19-22, 2005

http://www.comp.hkbu.edu.hk/WI05/


Sponsored By:

IEEE Computer Society
Web Intelligence Consortium (WIC)
Association for Computing Machinery (ACM)

**********************************************************************

**********************************************************************

Web Intelligence (WI) has been recognized as a new direction for scientific research and development to explore the fundamental role as well as practical impacts of Artificial Intelligence (AI) (e.g., knowledge representation, planning, knowledge discovery and data mining, intelligent agents, and social network intelligence) and advanced Information Technology (IT) (e.g., wireless networks, ubiquitous devices, social networks, and data/knowledge grids) on the next generation of Web-empowered products, systems, services, and activities. It is one of the most important as well as promising IT research fields in the era of Web and agent intelligence.

The 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05) will be jointly held with the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'05

http://www.comp.hkbu.edu.hk/IAT05/
http://www.hds.utc.fr/IAT05

The IEEE/WIC/ACM 2005 joint conferences are sponsored and organized by IEEE Computer Society Technical Committee on Computational Intelligence (TCCI) (http://www.cs.uvm.edu/~xwu/tcci/index.shtml), Web Intelligence Consortium (WIC) (http://wi-consortium.org), and ACM-SIGART (http://www.acm.org/sigart/).


Topics
The topics and areas include, but not limited to:

WI Topics

Important Dates

Electronic submission of full papers:  ** April 3, 2005 **
Notification of paper acceptance:    
June 9, 2005
Workshop and tutorial proposals:    
June 9, 2005
Camera-ready of accepted papers:    
July 4, 2005
Workshops/Tutorials:    
September 19, 2005
Conference:    
September 20-22, 2005

On-Line Submissions and Publication
High-quality papers in all WI related areas are solicited. Papers exploring new directions or areas will receive a careful and supportive review.  All submitted papers will be reviewed on the basis of technical quality, relevance, significance, and clarity.
Note that WI'05 will accept ONLY on-line submissions, containing PDF (PostScript or MS-Word) versions.

The conference proceedings will be published by the IEEE Computer Society Press.

WI'05 also welcomes Industry Track and Demo submissions, Workshop and Tutorial proposals.

More detailed instructions and the On-Line Submission Form can be found from the WI'05 homepages: http://www.comp.hkbu.edu.hk/WI05/ or http://www.hds.utc.fr/WI05.

A selected number of WI'05 accepted papers will be expanded and revised for inclusion in Web Intelligence and Agent Systems: An International Journal (http://wi-consortium.org/journal.html) and in Annual Review of Intelligent Informatics (http://www.wi-consortium.org/annual.html)

The best paper awards will be conferred on the authors of the best papers at the conference.

Contact Information

wi-iat05@maebashi-it.org