In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modeled after the successful Federated Computer Research Conference (FCRC), and synergetically brought together conferences that apply logic to computer science. The second Federated Logic Conference (FLoC'99) was held in Trento, Italy, in 1999, and the third (FLoC'02) was held in Copenhagen, Denmark, in 2002.
We are pleased to announce the fourth Federated Logic Conference (FLoC'06) to be held in Seattle, Washington, in August 2006, at the Seattle Sheraton (http://www.sheraton.com/seattle).
The following conferences will participate in FLoC.
Pre-conference workshops will be held on August 10-11. LICS, RTA, and SAT will be held in parallel on August 12-15, to be followed by mid-conference workshops and excursions on August 15-16. CAV, ICLP, and IJCAR will be held in parallel on August 16-21, to be followed by post-conference workshops on August 21-22.
Plenary events involving all the conferences are planned.
Calls for papers and call for workshop proposals will be issued in the near future. For additional information regarding the participating meetings, please check the FLoC web page (see above) later this summer.
FLoC'06 Steering Committee:
The workshop topics include, but are not limited to:
Logic Programming and Constraint Programming, in particular, seem to offer one of the best options, as they couple a high level of abstraction and a declarative nature with an extreme flexibility in the design of their implementations and extensions and of their execution model. This flexibility is the key to, for example, the implicit exploitation of parallelism, allowing immediate and transparent reuse of logic and constraint programs written for sequential machines, without compromising efficiency. Moreover, implementations which reach good performance in terms of speed and memory consumption make declarative languages and systems amenable to develop non-trivial applications.
We hope that the workshop will provide a meeting point and bring together people working on implementation technology for different aspects of logic and constraint-based languages and systems, in order to promote the exchange of ideas and feedback on recent developments. The workshop continues a tradition of successful workshops on Implementations of Logic Programming Systems, previously held with in Budapest (1993), Ithaca (1994) and Portland (1995), the Compulog Net workshops on Parallelism and Implementation Technologies held in Madrid (1993 and 1994), Utrecht (1995) and Bonn (1996), the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages held in Port Jefferson (1997), Manchester (1998), Las Cruces (1999), and London (2000), and recently the Colloquium on Implementation of Constraint and LOgic Programming Systems in Paphos (2001), Copenhagen (2002), Mumbai (2003), and Saint-Malo (2004), and the CoLogNet Workshops on Implementation Technology for Computational Logic Systems held in Madrid (2002), Pisa (2003) and Saint-Malo (2004).
Authors are invited to submit papers written in english and not exceeding 12 pages. Submissions should contain full return mail, email address (if applicable) and fax number (if applicable) of the contact author. To speed up the process of refereeing, authors are requested to submit their paper in Postscript or PDF form using this page.
In order to obtain homogeneous workshop proceedings, authors of accepted papers will be requested to send the sources to the organizers. We strongly encourage the use of LaTeX style files, both in the preparation of submissions and, specially, for the final version (please use the following template and style files to prepare your paper). Authors who wish to prepare papers in formats other than LaTeX are kindly requested to contact the organization beforehand in order to make sure that we have available the right tools to process the files (if needed), or in order to receive detailed format instructions otherwise.
|Submission deadline:||July 1st|
|Notification to authors:||July 22th|
|Camera-ready copy due:||August 5th|
The first workshop which took place September last year in Roskilde, Denmark, was very successful and motivated a continuation of the series; you can find all details at http://control.ruc.dk/CSLP2004.html (proceedings published as Springer LNCS 3438).
The purpose of the workshop is to provide an overview of activities in the field of Constraint Solving with special emphasis on Natural Language Processing and for researchers to meet and exchange ideas.
Constraint Solving (CS), in particular Constraint Logic Programming (CLP), is a promising platform, perhaps the most promising present platform, for bringing forward the state of the art in language processing. The data subjected to processing via constraint solving may include written and spoken language, formal and semiformal language, and even general input data to multimodal and pervasive systems.
CLP and CS have been applied in projects for shallow and deep analysis and generation of language, and to different sorts of languages. The view of grammar expressed as a set of conditions simultaneously constraining and thus defining the set of possible utterances has influenced formal linguistic theory for more than a decade.
CLP and CS provide flexibility of expression and potential for interleaving the different phases of language processing, including handling of pragmatic and semantic information, e.g. ontologies.
Topics considered relevant for the workshop include (but are not limited to)
Please submit papers as PDF files to firstname.lastname@example.org
Philippe Blache, Aix-en-Provence, France
Henning Christiansen, Roskilde, Denmark (Chair)
Veronica Dahl, Simon Fraser University, Canada
Denys Duchier, LORIA, France
John Gallagher, Roskilde, Denmark
Claire Gardent, LORIA, France
Michael Johnston, ATT, USA
Shalom Lappin, London, UK
Bernd Meyer, Monash, Australia
Jørgen Fischer Nilsson, Technical University of Denmark
Gerald Penn, Ontarion, Canada
Kiril Simov, Bulgarian Academy of Science
Peter Skadhauge, Copenhagen Business School, Denmark
Jørgen Villadsen, Roskilde, Denmark
Philippe Blache, Univ. Aix-en-Provence, France
Henning Christiansen, Roskilde University, Denmark (Chair)
Veronica Dahl, Simon Fraser University, Canada
Gerald Penn, Univ. of Toronto, Canada
The Constraint Handling Rules (CHR) language has become a major declarative specification and implementation language for constraint reasoning algorithms and applications. Algorithms are often specified using inference rules, rewrite rules, sequents, proof rules or logical axioms that can be directly written in CHR. Based on first order predicate logic, this clean semantics of CHR facilitates non-trivial program analysis and transformation. See the CHR website for more information.
The First Workshop on Constraint Handling Rules was organized in May 2004 in Ulm, Germany.
Topics of Interest
The workshop calls for full papers and short papers describing ongoing work, on all aspects of CHR, including topics such as:
In addition, the workshop calls for CHR programming pearls. A programming pearl is a short piece of self-contained code of outstanding quality. Ideally it should be clearly correct, elegant, concise and efficient, though in some cases a (small) subset of these may not apply. It may be a useful application or may primarily be an example of a useful programming technique. Accompanying text explains the code and its qualities. These may be exposed by describing how a programmer could derive the code. Ideally, a CHR programming pearl should also showcase the CHR language, for example, declarative semantics, concurrency, on-line and any-time behavior.
The best paper receives the CHR Best Paper Award. It is chosen among all submissions for its outstanding quality in both presentation and scientific contribution and for its impact on the field of CHR.
The best programming pearl submission receives the CHR Programming Pearl Award and will be presented at the workshop.
All papers 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.
Submissions should be sent to email@example.com and mention 'CHR 2005 Submission' in the subject. Every submission should include the names and e-mail addresses of the authors (with the corresponding author marked), the paper abstract in ASCII format and the actual paper in postscript or PDF format. The submission should also indicate whether it is a full paper, a short paper or a programming pearl.
||July 5, 2005
|Notification of Acceptance
||July 21, 2005
|Final Version Due
||August 4, 2005
||October 5, 2005|
Multi-agent systems are beginning to play an important role in today’s software development. See for example the forthcoming new International Journal of Agent-Oriented Software Engineering
This competition is an attempt to stimulate research in the area of multi-agent systems by
* identifying key problems and
* collecting suitable benchmarks
that can serve as milestones for testing new approaches and techniques from computational logics. While there exist several competitions in various parts of artificial intelligence (theorem proving, planning, robo-cup etc) and, lately, also in specialised areas in agent systems (trading agents), the emphasis of this contest is on the use of 'computational logic' in (multi-) agent systems.
We expect to promote the development of multi-agent systems by first identifying difficult problems and then finding solutions by comparing different approaches from computational logic for solving them. While this idea seems very appealing, it is not an easy task to come up with a particular scenario that serves as a basis for a contest. Such a scenario should be generic enough to be applicable for a wide range of techniques of computational logic, but it should also be precise enough so that different approaches can be tested and compared against each other.
This competition is organised as part of CLIMA and consists of developing multi-agent systems to solve a cooperative task in a dynamically changing environment. The environment of the multi-agent system is a grid-like world where agents can move from one slot to a neighbouring slot if there is no agent already in that slot. In this environment, food can appear in all but one of these slots. The special slot, in which no food can appear, is considered as a depot where the agents can bring and collect their food. An agent can observe if there is food in the slot it is currently visiting. Initially, food can be placed in some randomly selected slots. During the execution, additional food can appear dynamically in randomly selected slots except the depot slot. The agents may have/play different roles (such as explorer or collector), communicate and cooperate in order to find and collect food in an efficient and effective way.
We encourage submissions that specify and design a multi-agent system in terms of high-level concepts such as goals, beliefs, plans, roles, communication, coordination, negotiation, and dialogue in order to generate an efficient and effective solution for the above mentioned application. Moreover, the multi-agent system implementations should be based on computational logic techniques (e.g. logic programming, formal calculi, etc) and they should reflect their design in a direct and intuitive way.
The challenge of this competition is thus to use computational logic techniques to provide implemented models for the abstract concepts that are used in the specification and design of multi-agent systems. These implemented models should be integrated to implement the above-mentioned application intuitively, directly, and effectively.
A submission consists of two parts.
The first part is a description of analysis, design and implementation of a multi-agent system for the above application. Existing multi-agent system methodologies such as Gaia, Prometheus and Tropos can be used (not demanded) to describe the analysis and design of the system. For the description of the implementation, it should be explained how the design is implemented. This can be done by explaining, for example, which computational logic techniques are used to implement certain aspects of the multi-agent system (including issues related to individual agents). The maximum length of this description is 5 pages according to the LNCS format.
The second part is an (executable) implementation of the application. We do not demand any particular way (data format, algorithm, mechanism) to implement the system as long as it is implemented as a multi-agent system and as long as the environment is a 20x20 grid. Moreover, it should be possible to configure the initial state of the environment to place food in arbitrary slots. During the execution food should appear automatically every 20 seconds in a randomly selected slot. The multi-agent system will be run with 4 agents that are positioned initially at the corners of the grid. The implementation should be executable on a windows or linux machine.
How To Submit
Please follow this link to register and submit the 5 page description of your solution. You can then submit the implementation by e-mail (to the CLIMA Contest Chairs) or by specifying in your paper a URL where the implementation can be downloaded from. In the registration, please select 'Competition' in the paper type (tracks) drop-down menu.
The criteria that will be used to evaluate submission and to select the first three winners are as follows:
The First CLIMA Contest is organised by Jürgen Dix, Technical University of Clausthal, and Mehdi Dastani, Utrecht University
* Marco Alberti, University of Ferrara, Italy
* Federico Chesani, University of Bologna, Italy
* Mehdi Dastani, Utrecht University, The Netherlands (chair)
* Jürgen Dix, Technical University of Clausthal, Germany (chair)
* Marco Gavanelli, University of Ferrara, Italy
* Kostas Stathis, City University London, UK
* Francesca Toni, Imperial College London, UK
* Paolo Torroni, University of Bologna, Italy
Important Dates (no extensions)
* Submission: May 20, 2005
* Notification: May 27, 2005
* Camera-Ready: June 6, 2005
* Winner announcement: at CLIMA, June 27-29, 2005
There will be a prize for the winner. A selection of teams will be invited to extend their description for publication in the post-proceedings.
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.
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 are 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 5, 2005. Comments from the organizers and notice of acceptance will be sent to authors by June 20, 2005, and submission of final, revised, versions will be required by July 12, 2005.
Proceedings will be published by SIGPLAN. Details of the publication procedure will be given on the workshop web site in due course.
The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI, http://www.folli.org) in different sites around Europe.
The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation.
Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information.
The ESSLLI 2006 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 18th annual Summer School on a wide range of timely topics that have demonstrated their relevance in the following fields:
Proposals should be submitted through a web form available at http://www.folli.org/submission.php
All proposals should be submitted no later than
******* Friday June 17, 2005. *******
Authors of proposals will be notified of the committee's decision no later than Friday September 23, 2005. Proposers should follow the guidelines below while preparing their submissions; proposals that deviate can not be considered.
GUIDELINES FOR SUBMISSION:
Anyone interested in lecturing or organizing a workshop during ESSLLI-2006, please read the following information carefully.
Courses are taught by 1 or max. 2 lecturers. They consists of five sessions (a one-week course), each session lasting 90 minutes. Lecturers who want to offer a long, two-week course should structure it as two independent one week courses (ideally, with an introductory part in the first week of ESSLLI, and a more advanced part during the second). The ESSLLI program committee has the right to select only one of the two proposed courses.
Timetable for Course Proposal Submission:
Jun 17, 2005: Proposal Submission Deadline
Sep 23, 2005: Notification
Jun 2, 2006: Deadline for receipt of camera-ready course
material (by ESSLLI Local Organizers)
These are strictly elementary courses not assuming any background knowledge. They are intended for people to get acquainted with the problems and techniques of areas new to them. Ideally, they should allow researchers from other fields to acquire the key competences of neighboring disciplines, thus encouraging the development of a truly interdisciplinary research community. Foundational courses may presuppose some experience with scientific methods in general, so as to be able to concentrate on the issues that are germane to the area of the course.
Introductory courses are central to the activities of the Summer School. They are intended to equip students and young researchers with a good understanding of a field's basic methods and techniques. Introductory courses in, for instance, Language and Computation, can build on some knowledge of the component fields; e.g., an introductory course in computational linguistics should address an audience which is familiar with the basics of linguistics and computation. Proposals for introductory courses should indicate the level of the course as compared to standard texts in the area (if available).
Advanced courses should be pitched at an audience of advanced Masters or PhD students. Proposals for advanced courses should specify the prerequisites in detail.
The aim of the workshops is to provide a forum for advanced Ph.D. students and other researchers to present and discuss their work. Workshops should have a well defined theme, and workshop organizers should be specialists in the theme of the workshop. It is a strict requirement that organizers give a general introduction to the them during the first session of the workshop. They are also responsible for the organization and program of the workshop including inviting the submission of papers, reviewing, expenses of invited speakers, etc. In particular, each workshop organizer will be responsible for producing a Call for Papers for the workshop by November 15, 2005. The call must make it clear that the workshop is open to all members of the LLI community. It should also note that all workshop contributors must register for the Summer School.
Timetable for Workshop Proposal Submissions
Jun 17, 2005: Proposal Submission Deadline
Sep 23, 2005: Notification
Nov 11, 2005: Deadline for receipt of Call for Papers
(by ESSLLI PC chair)
Nov 18, 2005: Workshop organizers send out (First) Call for Papers
Mar 17, 2006: Deadline for Papers (suggested)
Apr 28, 2006: Notification of Workshop Contributors (suggested)
Jun 2, 2006: Deadline for receipt of camera-ready copy of Workshop
Proceedings (by ESSLLI Local Organizers)
Notice that workshop speakers will be required to register for the Summer School; however, they will be able to register at a reduced rate to be determined by the Local Organizers.
FORMAT FOR PROPOSALS:
The web-based form for submitting course and workshop proposals is accessible at http://www.folli.org/submission.php. You will be required to submit the following information:
Prospective lecturers and workshop organizers should be aware that all teaching and organizing at the summer schools is done on a voluntary basis in order to keep the participants fees as low as possible. Lecturers and organizers are not paid for their contribution, but are reimbursed for travel and accommodation (up to a fixed, maximum amount that will be notified to lecturers when courses are accepted). It should be stressed that while proposals from all over the world are welcomed, the Summer School cannot guarantee full reimbursement of travel costs, specially from destinations outside Europe.
Please note the following: In case a course is to be taught by two lecturers, a lump sum is reimbursed to cover travel and accommodation expenses for one lecturer. The splitting of the sum is up to the lecturers.
The local organizers highly appreciate it if, whenever possible, lecturers and workshop organizers find alternative funding to cover travel and accommodation expenses, and such issues might be taken into account when selecting courses.
INRIA Lorraine. 615, rue du Jardin Botanique
54602 Villers les Nancy Cedex, France
phone : +33 (0)3 83 58 17 90
fax : +33 (0)3 83 41 30 79
e-mail : carlos.areces (at) loria.fr
www : http://www.loria.fr/~areces
Larry Moss and Gerhard Jaeger (Logic and Language)
Valeria de Paiva and Juan Jose Moreno Navarro (Logic and Computation)
Philip Miller and Anette Frank (Language and Computation)
Ernesto Pimentel (chair)
The main aim of this workshop is to share recent results in this area (new constraint solvers, new prediction programs) and to present new challenging problems that can be addressed using constraint-based methods.
Submitted papers can be
|Notification to Authors
workshop focuses on
constraint programming over countable structured domains such as sets,
multisets, sequences, lists, or others that go beyond traditional
finite domains (namely over integers or other simple terms).
The workshop is seeking high quality papers that address cutting-edge research in this field, and that can contribute to the discussion over issues regarding such domains. Topics include, for instance:
should submit a paper (maximum 15 pages, PDF format), describing their
work in topics relevant to the workshop. All submissions should include
the author's name(s), affiliation, complete mailing address, and email
address. Authors are requested to prepare their submissions, following
the LNCS/LNAI Springer format. Please see http://www.springer.de/comp/lncs/authors.html
for further details.
The submission should be sent via email, in PDF format, to
The deadline for
receipt of submissions is June 30, 2005. Papers received after
this date may not be reviewed. Eligible papers will be peer-reviewed by
at least three members of the Program Committee.
Authors will be notified via email of the results by July 22, 2005. Authors of accepted papers are expected to improve their paper based on reviewers' comments and to send a camera ready version of their manuscripts by August 15, 2005. Accepted papers will be presented during the workshop and included in the workshop proceedings, which will be distributed to the participants. At least one author of each accepted contribution is expected to register for the workshop, and present the paper. (The workshop fee covers both CP'05 and ICLP'05 workshops).
This call for
papers is available in pdf
Questions about submissions may be directed to
Departamento de Informatica
Quinta da Torre
AIMS OF THE WORKSHOP
The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems, particularly in the field of Concurrency. More specifically, they focus on the comparison between programming concepts (such as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of computation (such as process algebras, Petri nets, event structures, modal logics, rewrite systems etc.) on the basis of their relative expressive power.
Submissions may be of two forms:
Simultaneous submission to other conferences or journals is only allowed for short papers. Submissions may already use the ENTCS-style format.
PUBLICATION OF THE PROCEEDINGS:
The proceedings will be published after the workshop in the ENTCS (Electronic Notes in Theoretical Computer Science).
A printed preliminary version of the proceedings will be available at the workshop. Authors will be asked to prepare their final version using the ENTCS-style format.
Authors of selected papers will be invited after the workshop to submit a full version for publication in a Special Issue of a leading journal; those submissions will then be subject to a separate reviewing procedure matching the standards of the journal.
Deadline for Paper Submission: 1 June 2005
Notification to Authors: 11 July 2005
Final Version of Accepted Papers due: 25 July 2005
Thomas Henzinger (EPFL, CH)
Glynn Winskel (Univ. of Cambridge, UK)
Jos Baeten (Eindhoven Univ. of Technology, NL)
Iain Phillips (Imperial College London, UK)
Roberto Amadio (Univ. de Provence, CMI Marseille, FR)
Jos Baeten (Eindhoven Univ. of Technology, NL)
Julian Bradfield (Univ. of Edinburgh, UK)
Michele Bugliesi (Univ. Ca' Foscari, IT)
Mariangiola Dezani-Ciancaglini (Univ. di Torino, IT)
Wan Fokkink (Vrije Univ. Amsterdam, NL)
Thomas Hildebrandt (IT Univ. of Copenhagen, DK)
Kohei Honda (Queen Mary Univ. of London, UK)
Richard Mayr (North Carolina State Univ. US)
Catuscia Palamidessi (INRIA Futurs, LIX École Polytechnique, FR)
Iain Phillips (Imperial College London, UK)
Julian Rathke (Univ. of Sussex, UK)
Eugene Stark (SUNY Stony Brook, US)
Jos Baeten - firstname.lastname@example.org
Iain Phillips - email@example.com
MICAI is a high-level international conference covering all areas of Artificial Intelligence. Acceptance rate of MICAI-2004 was 38% of submissions from 19 countries. See www.MICAI.org for more info.
All accepted papers will be published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI).
Authors are invited to submit original previously unpublished research papers, in English, up to 10 pages, strictly following the LNCS/LNAI format guidelines.
Submissions are received through the website, see www.MICAI.org/2005. The title and abstract must be submitted by May 22, then the full paper by May 29.
All submissions will be subject to blind peer review by three program committee members.
May 22: Paper registration deadline (title and abstract required).
May 29: Paper submission deadline (only papers registered by May 22).
July 17: Acceptance notification.
August 7: Camera-ready deadline.
Topics of interest are all areas of Artificial Intelligence, including but not limited to:
- Expert Systems / KBS
- Multiagent systems and Distributed AI
- Knowledge Management
- Intelligent Interfaces: Multimedia, Virtual Reality
- Natural Language Processing / Understanding
- Computer Vision
- Neural Networks
- Genetic Algorithms
- Fuzzy logic
- Belief Revision
- Machine Learning
- Intelligent Tutoring Systems
- Data Mining
- Knowledge Acquisition
- Knowledge Representation
- Knowledge Verification, Sharing and Reuse
- Qualitative Reasoning
- Model-Based Reasoning
- Constraint Programming
- Common Sense Reasoning
- Case-Based Reasoning
- Nonmonotonic Reasoning
- Spatial and Temporal Reasoning
- Planning and Scheduling
- Hybrid Intelligent Systems
- Logic Programming
- Automated Theorem Proving
- Intelligent Organizations
- Uncertainty / Probabilistic Reasoning
- Philosophical and Methodological Issues of AI
Conference Chairs: Alvaro de Albornoz, Angel Kuri.
Program Chairs: Alexander Gelbukh, Raul Monroy.
Tutorial Chairs: Manuel Valenzuela, Horacio Martinez.
Workshop Chairs: Ramon Brena, Jose Luis Aguirre.
Keynote Talks Coordinator: Carlos Alberto Reyes.
Local Chair: Hugo Terashima.
Local Steering Committee: Rogelio Soto, Ricardo Swain.
General inquiries: micai2005 at MICAI dot org.
Inquiries on submission requirements: submission at MICAI dot org.
Inquiries on the conference program: program at MICAI dot org.
See more contact options on www.MICAI.org/2005.
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).
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. Papers describing applications such as those in the areas of verification and security are especially welcome.
The following is a non-exhaustive list of topics:
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. Authors are also asked to register with the online site and submit titles and abstracts of their intended submissions three days before the deadline. Prospective authors who have difficulties for the electronic submission may contact the chairman at firstname.lastname@example.org.
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 May 20th, 2005.
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 June 3rd, 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).
* Maria Alpuente,
* Roberto Bagnara,
* Gilles Barthe,
* Annalisa Bossi,
* Giorgio Delzanno,
* Michael Hanus,
* Patricia M. Hill, (Program Chair)
* John Gallagher,
* Lindsay Groves,
* Gopal Gupta,
* Michael Leuschel,
* Fabio Martinelli,
* Fred Mesnard,
* Maurizio Proietti,
* Andreas Podelski,
* German Puebla,
* Abhik Roychoudhury,
* C.R. Ramakrishnan,
* Wim Vanhoof.
* 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
The 2005 IEEE International Conference on Data Mining (IEEE ICDM '05) provides a premier forum for the dissemination of innovative, practical development experiences as well as original research results in data mining, spanning applications, algorithms, software and systems. The conference draws researchers and application developers from a wide range of data mining related areas such as statistics, machine learning, pattern recognition, databases and data warehousing, data visualization, knowledge-based systems and high performance computing. By promoting high quality and novel research findings, and innovative solutions to challenging data mining problems, the conference seeks to continuously advance the state of the art in data mining. As an important part of the conference, the workshops program will focus on new research challenges and initiatives, and the tutorials program will cover emerging data mining technologies and the latest developments in data mining.Topics of Interest
Topics related to the design, analysis and implementation of data mining theory, systems and applications are of interest. These include, but are not limited to the following areas:
* Foundations of data mining
* Data mining and machine learning algorithms and methods in traditional areas (such as classification, regression, clustering, probabilistic modeling, and association analysis), and in new areas
* Mining text and semi-structured data, and mining temporal, spatial and multimedia data
* Mining data streams
* Pattern recognition and trend analysis
* Collaborative filtering/personalization
* Data and knowledge representation for data mining
* Query languages and user interfaces for mining
* Complexity, efficiency, and scalability issues in data mining
* Data pre-processing, data reduction, feature selection and feature transformation
* Post-processing of data mining results
* Statistics and probability in large-scale data mining
* Soft computing (including neural networks, fuzzy logic, evolutionary computation, and rough sets) and uncertainty management for data mining
* Integration of data warehousing, OLAP and data mining
* Human-machine interaction and visual data mining
* High performance and parallel/distributed data mining
* Quality assessment and interestingness metrics of data mining results
* Security, privacy and social impact of data mining
* Data mining applications in bioinformatics, electronic commerce, Web, intrusion detection, finance, marketing, healthcare, telecommunications and other fields
Conference Publications and ICDM Best Paper Awards
High quality papers in all data mining areas are solicited. Original papers exploring new directions will receive especially careful and supportive reviews. Papers that have already been accepted or are currently under review at other conferences or journals will not be considered for publication at ICDM '05.
Paper submissions should be limited to a maximum of 8 pages in the IEEE 2-column format (see the IEEE Computer Society Press Proceedings Author Guidelines at http://www.computer.org/cspress/instruct.htm), and will be reviewed by the Program Committee on the basis of technical quality, relevance to data mining, originality, significance, and clarity. Please use the Submission Form on the ICDM '05 website to submit your paper. Accepted papers will be published in the conference proceedings by the IEEE Computer Society Press.
A selected number of IEEE ICDM '05 accepted papers will be invited for possible inclusion, in an expanded and revised form, in the Knowledge and Information Systems journal (http://www.cs.uvm.edu/~kais/) published by Springer-Verlag.
IEEE ICDM Best Paper Awards will be conferred at the conference on the authors of (1) the best research paper and (2) the best application paper. Application-oriented submissions will be considered for the best application paper award.
June 15, 2005 Paper submissions
August 20, 2005 Paper acceptance notices
September 7, 2005 Final camera-readies
November 27, 2005 Tutorials and Workshops
November 28-30, 2005 Conference
All paper submissions will be handled electronically. Detailed instructions are provided on the conference home page at http://www.cacs.louisiana.edu/~icdm05
* Vijay Raghavan, University of Louisiana, Lafayette, USA
* Rajeev Rastogi, Bell Laboratories, Lucent, USA
Program Committee Chairs:
* Jaiwei Han, University of Illinois at Urbana-Champaign, USA
* Benjamin Wah, University of Illinois at Urbana-Champaign, USA
University of Louisiana, Lafayette, USA
Topics of interest include:
Invited speaker: Frank Pfenning (Carnegie Mellon University).
Submissions can be done electronically by email to email@example.com, or via post to Alberto Momigliano, LFCS, School of Informatics, University of Edinburgh, Mayfield Road, Edinburgh EH9 3JZ, Scotland, UK.
Abstract submission: 23 May 2005
Paper submission: 30 May 2005
Notification: 1 July 2005
Final Version: 12 July 2005
Workshop: 30 September 2005
See the workshop website for further information.
A number of hot research topics are currently sharing the common problem of combining concurrent, distributed, mobile and heterogenous components, trying to harness the intrinsic complexity of the resulting systems. These include coordination, peer-to-peer systems, grid computing, web-services, multi-agent systems, and component-based systems. Coordination languages and software architectures are recognised as fundamental approaches to tackle these issues, improving software productivity, enhancing maintainability, advocating modularity, promoting reusability, and leading to systems more tractable and more amenable to verification and global analysis. The goal of this workshop is to put together researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general solutions in the contexts of coordination languages and software architectures.
Topics of interest
Topics of interest include (but are not limited to):
In particular, practice, experience and methodologies from the following areas are solicited as well:
Call for Papers
FOCLASA 2005 is a satellite workshop of the 16th International Conference on Concurrency Theory (CONCUR 2005). The workshop will be held at same location as CONCUR 2005 on August 27, 2005, one day after the main conference. The workshop tries to provide a venue where researchers and practitioners on the topics above can meet, exchange ideas and problems, identify some of the key and fundamental issues related to coordination languages and software architecture, and explore together and disseminate solutions.
FOCLASA 2005 invites the submission of technical papers in any of the topics of interest and areas listed above. Submissions
must describe authors’ original research work and their results. Description of work-in-progress is also encouraged. The
contributions should not exceed 15 pages formatted according to the style of the Electronic Notes on Theoretical Computer Science (ENTCS), and should be emailed as PostScript (PS) or Portable Document Format (PDF) files to firstname.lastname@example.org.
All submissions will be reviewed by an international program committee that will select them for presentation in the workshop. Selected papers will be available through the workshop website, and a printed version of the proceedings will be distributed among participants during the workshop. The proceedings of the workshop will be published in Electronic Notes in Theoretical Computer Science (ENTCS).
Participants will make a presentation of their papers (about twenty or twenty five minutes maximum), followed by a five to ten minutes round of questions and discussion on participants’ work. The workshop will also include a closing panel in which several issues related to the topics of the workshop and some issues raised during the workshop will be discussed. The Panel Chair (to determine) will invite the panelists and moderate the debate.
The publication of a special issue on FOCLASA 2005 in an international scientific journal is also being prepared. Selected
participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by an international program committee, which will decide on their final publication on the special issue. Previous editions of FOCLASA have been published on Fundamenta Informaticae and Science of Computer Programming.
Farhad Arbab, CWI, The Netherlands
Antonio Brogi, University of Pisa, Italy
Carlos Canal (co-chair), University of Málaga, Spain
Atsushi Igarashi, University of Kyoto, Japan
Jean-Marie Jacquet, University of Namur, Belgium
Nickolas Kavantzas, Oracle, USA
Antónia Lopes, University of Lisbon, Portugal
Ronaldo Menezes, Florida Institute of Technology, USA
John-Jules Ch. Meyer, Universiteit Utrecht, The Netherlands
Ernesto Pimentel, University of Málaga, Spain
Alessandro Ricci, University of Bologna, Italy
Katia Sycara, Carnegie Mellon University, USA
Vladimiro Sassone, University of Sussex, UK
Mirko Viroli (co-chair), University of Bologna, Italy
Jan Vitek, Purdue University, USA
Gianluigi Zavattaro, University of Bologna, Italy
Submission: May 31, 2005
Notification of acceptance: June 30, 2005
Final version due: July 15, 2005
Workshop: August 27, 2005
Universidad de Málaga (Spain)
Università degli Studi di Bologna (Italy)
The 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-12) will be held 2nd-6th December 2005, at the Wexford Hotel, Montego Bay, Jamaica. Submission of papers for presentation at the conference is now invited. Topics of interest include:
Full and short papers are welcome. Full papers may be either regular papers containing new results, or experimental papers describing implementations or evaluations of systems. Short papers may describe work in progress or provide system descriptions. Submitted papers must be original, and not submitted concurrently to a journal or another conference.
The full paper proceedings of LPAR-12 will be published by Springer-Verlag in the LNAI series. Authors of accepted full papers will be required to sign a form transferring copyright of their contribution to Springer-Verlag. The short paper proceedings of LPAR-12 will be published by the conference.
Papers must be prepared using the Springer-Verlag instructions for authors (http://www.springer.de/comp/lncs/authors.html). Papers may be up to 15 pages. If proofs do not fit in 15 pages, an appendix with proofs may be added. Short papers may be up to 5 pages. Papers must be submitted in plain postscript or PDF format, through the online submission system
Dates and Deadlines:
+ Submission of full paper abstracts 11th July
+ Submission of full papers 18th July
+ Notification of acceptance of full papers 12th September
+ Camera ready versions of full papers due 3rd October
+ Submission of short papers 26th September
+ Notification of acceptance of short papers 24th October
+ Camera ready versions of short papers due 7th November
Questions related to submission may be sent to the program chairs, Geoff Sutcliffe and Andrei Voronkov.
The integration of functional and logic programming has been extensively studied during the last years. The declarative multi-paradigm language Curry is one of the important results of this work since it combines in a seamless way the most relevant features of functional, logic, and concurrent programming. The development of Curry is an international initiative intended to provide a common platform for the research, teaching, and application of integrated functional logic languages. Various implementations of Curry are available and they have been used in a number of different applications.
The aim of this workshop is to bring together researchers interested in Curry, related functional logic languages, and general aspects of integrating declarative programming paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas.
WCFLP 2005 includes the annual Workshop on Functional and Logic Programming (WFLP). Previous WFLP editions were: WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany).
WCFLP 2005 solicits papers in all areas of functional and (constraint) logic programming, including (but not limited to):
The primary focus is on new and original research results but submissions describing innovative products, prototypes under development or interesting experiments (e.g., benchmarks) are also encouraged.
Abstracts of workshop papers will be published in ACM SIGPLAN Notices. Full workshop proceedings will be published by ACM's printing vendor and in ACM's Digital Library under the usual copyright policy. It is intended to publish a special issue of the best papers after the workshop.
Deadline for submissions: June 5, 2005
Notification of acceptance: June 30, 2005
Camera-ready papers: July 12, 2005
Workshop: September 29, 2005
Authors are invited to submit an extended abstract (no longer than 8 pages including figures and references) or a system description (no longer than 3 pages) in PDF or Postscript format. Submissions should include the title, authors' names, affiliations, addresses, and e-mail. All submissions must be written in English. Authors are strongly encouraged to use LaTeX2e and the ACM Proceedings Format (http://www.acm.org/sigs/pubs/proceed/template.html). All submissions must be original work. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted.
Further details about the procedure to submit papers electronically will be announced at the workshop's web page at
The IEEE/ACM International Conference on Automated Software Engineering brings together researchers and practitioners to share ideas on the foundations, techniques, tools, and applications of automated software engineering technology. Both automatic systems and systems that support and cooperate with people are within the scope of the conference, as are models of software and software engineering activities.
ASE'05 encourages contributions describing basic research, novel applications, and experience report relevant to automating software engineering activities. Solicited topics include, but are not limited to:
- Automated reasoning techniques
- Automated software specification
- Automated software design and synthesis
- Category and Graph-theoretic approaches
- Component-based systems
- Computer-supported cooperative work
- Configuration management
- Domain modeling and meta-modeling
- Human computer interaction
- Knowledge acquisition
- Maintenance and evolution
- Modeling language semantics
- Ontologies and methodologies
- Open systems development
- Process and workflow management
- Program understanding
- Reflection and Metadata approaches
- Requirements engineering
- Specification languages
- Software architectures
- Software design and synthesis
- Software visualization
- Tutoring, help, documentation systems
- Verification and validation
Accepted papers will be published in the conference proceedings. In addition, authors of a selection of papers from the conference will be invited to revise and re-submit their papers for consideration for a special issue of the Journal of Automated Software Engineering (Springer). ASE'05 will also include invited talks, tutorials, panel discussions, doctoral symposium, and research demonstrations, for which separate calls for participation will be issued.
Papers should not exceed 10 pages in the conference format (http://www.acm.org/sigs/pubs/proceed/template.html). Papers exceeding the length restriction will not be reviewed. Papers will be reviewed by at least three program committee members. All papers, especially application papers and experience reports, should clearly identify their novel contributions. Please see the ASE on-line Bibliography at http://ase.informatik.uni-essen.de/olbib/index.html as a reference for potential contributors. All papers should be submitted electronically in PDF format by June 6, 2005 (abstracts should be submitted by May 31). Information regarding electronic submission will be available at the conference website http://www.ase-conference.org/
David Redmiles (email@example.com) University of California, Irvine, CA, USA http://www.ics.uci.edu/~redmiles/
Andrea Zisman (firstname.lastname@example.org) City University London, UK http://www.soi.city.ac.uk/~zisman/
Tom Ellman (email@example.com) Vassar College, Poughkeepsie, New York, USA http://faculty.vassar.edu/thellman/
Program Committee Members:
Bernhard Aichernig, United Nations University, China
Perry Alexander, University of Kansas, USA
Jamie Andrews, University of Western Ontario, Canada
Mikio Aoyama, Nanzan University, Japan
Tevfik Bultan, University of California, Santa Barbara, USA
Shing-Chi Cheung, Hong Kong University of Science and Technology, China
Elisabetta Di Nitto, Politecnico de Milano, Italy
Steve Easterbrook, University of Toronto, Canada
Alexander Egyed, Teknowledge Corporation, USA
Wolfgang Emmerich, University College London, UK
Martin Feather, Jet Propulsion Laboratory, USA
Steve Fickas, University of Oregon, USA
Bernd Fischer, NASA Ames Research Center, USA
Gerald Gannod, Arizona State University, USA
Dimitra Giannakopoulou, NASA Ames Research Center, USA
Michael Goedicke, University of Essen, Germany
Paul Gruenbacher, Johannes Kepler University Linz, Austria
John Grundy, University of Auckland, New Zeland
Bob Hall, AT&T Research, USA
Mats Heimdahl, University of Minnesota, USA
Shinichi Honiden, National Institue of Informatics, Japan
Paola Inverardi, Universita' dell'Aquila, Italy
Andrew Ireland, Heriot-Watt University, UK
Jeff Kramer, Imperial College London, UK
Kung-Kiu Lau, University of Manchester, UK
Yves Ledru, LSR/IMAG, France
Julio Cesar Leite, Pontificia Universidade Catolica, Brazil
Michael Lowry, NASA Ames Research Center, USA
Neil Maiden, City University, UK
Jonathan Maletic, Kent State University, USA
Cecilia Mascolo, University College London, UK
Neno Medvidovic, University of Southern California, USA
Tim Menzies, NASA/WVU IV&V Facility, USA
Alessandro Orso, Georgia Institute of Technology, USA
Charles Pecheur, University Catholique de Louvain, Belgium
John Penix, NASA Ames Research Center, USA
Debra Richardson, University of California, Irvine, USA
Julian Richardson, NASA Ames Research Center, USA
Gregg Rothermel, University of Nebraska, Lincoln, USA
Motoshi Saeki, Tokyo Institute of Technology, Japan
Houari Sahraoui, Universite de Montreal, Canada
Doug Smith, Kestrel Institute, USA
George Spanoudakis, City University, UK
Kurt Stirewalt, Michigan State University, USA
Sebastian Uchitel, Imperial College London, UK
Willem Visser, NASA Ames Research Center, USA
Virginie Wiels, ONERA, CERT, France
Dave Wile, Teknowledge, USA
Yunwen Ye, University of Colorado, Boulder, USA
May 31: Electronic Abstracts Due
Jun 6 : Paper Submission Due
Nov 7 : Doctoral Symposium
Nov 7-8: Workshops
Nov 7-8: Tutorials
Nov 9-11: Conference
For further information, please visit the conference website
Yunwen Ye (firstname.lastname@example.org), ASE'05 Publicity Chair
The aim of the workshop is to bring together researchers and practitioners working on different aspects of formal methods in software engineering. The specific goal is to facilitate transfer of experience, adaptation of methods, and where possible, collaboration between different groups. The topics may cover any aspect in formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques.
Topics of interest
The topics of this workshop include, but are not restricted to, the following:
Accepted papers will be available at the workshop in a pre-proceedings published by IPM. A post-proceedings will be published in the Elsevier's ENTCS conference series. Selected papers will also be published in a special issue of a journal (to be confirmed).
Best Paper Award
There will be an award for the best paper.
The length of each paper including figures and references must not exceed the maximum size of 15 ENTCS style pages. All papers must be submitted in PDF or postscript format. Papers are to be sent to the following email address: email@example.com.
Submissions should explicitly state their contribution and their relevance to the theme of the workshop. Other criteria for selection will be originality, significance, correctness, and clarity.
Simultaneous or similar submissions to other conferences or journals are not allowed.
Ali Movaghar, Sharif University of Technology, Iran IPM, Iran
Farhad Arbab CWI, Netherlands, Leiden University, Netherlands, University of Waterloo, Canada
Marjan Sirjani, Tehran University, Iran, IPM, Iran
Local Organization Chair
Marjan Sirjani, Tehran University, Iran, IPM, Iran
Submission: Jul 15, 2005
Notification: Sep 15, 2005
Final Version: Sep 30, 2005
Workshop: Oct 24-25, 2005
* Farhad Arbab (CWI and LIACS, Leiden University)
* Paolo Ciancarini (Universit=E0 di Bologna)
* Edmund Clarke (Carnegie Mellon University)
AIMS AND SCOPE
The objective of FACS'2005 is to bring together researchers in the areas of component software and formal methods to promote a deep understanding of this paradigm and its applications.
The Workshop will also be interested in defining the common aspects of components and component-based development. It is expected that formal paper presentations be followed by lively debate in a stimulating atmosphere. Possible topics include,
but are not limited to:
Further information is available at the web site:
Component-based software emerged as a promising paradigm to deal with the ever increasing need for mastering systems' complexity, their evolution and reuse, and driving software engineering into sound production and engineering standards. Soon, however, it became a popular technology long before consensual definitions and principles, let alone formal foundations, have been put forward. Issues like mathematical models for components, their interaction and composition, or
rigourous approaches to verification, deployment, testing and certification remain open research questions and challenging opportunities for formal methods. Moreover, new challenges are raised by applications to non conventional areas, such as safety-critical, mobile, and/or embedded systems.
FACS'05 is the second in a series of workshops, founded by the International Institute for Software Technology of the United Nations University. The first FACS workshop was held in Pisa, Italy, in September 2003, collocated with FM'03.
ORGANIZATION: UNU-IIST (Macao)
Farhad Arbab (CWI, The Netherlands)
Luis Barbosa (PC Chair, Universidade do Minho, Portugal)
Marcello Bonsangue (LIACS-Leiden University, The Netherlands)
Christiano Braga (Universidade Federal Fluminense, Brazil)
Manfred Broy (Technical University of Munich, Germany)
Calos Canal (Universidad de Malaga, Spain)
Jo=E3o Faria (Universidade do Porto, Portugal)
Jose Fiadeiro (University of Leicester, United Kingdom)
Susanne Graf (VERIMAG, France)
Mathai Joseph (Tata Consultancy Services Limited, India)
Atsushi Igarashi (Kyoto University, Japan)
Kung-Kiu Lau (The University of Manchester, United Kingdom)
Zhiming Liu (PC Chair, UNU-IIST, Macao)
Ant=F3nia Lopes (University of Lisbon, Portugal)
Markus Lumpe (Iowa State University, USA)
Tom Maibaum (McMaster University, Canada)
Sun Meng (National University of Singapore, Singapore)
Ugo Montanari (University of Pisa, Italy)
David Naumann (Stevens Institute of Technology, USA)
Anders Ravn (Aalborg University, Denmark)
Bernhard Sch=E4tz (Technical University of Munich, Germany)
Carolyn Talcott (SRI International, USA)
He Jifeng, UNU-IIST, Macao (OC chair)
Antonio Cerone, UNU-IIST, Macao
Bernhard Aichernig, UNU-IIST, Macao
Chan Iok Sam , UNU-IIST, Macao
Xiaoshan Li, Univ. Macao
ICTAC'05 will be held in Hanoi, Vietnam, the week before.
SUBMISSION AND PUBLICATION:
Submissions to the workshop will be judged on the basis of originality, relevance, technical soundness and presentation
quality. Papers should be written in English and not exceed 15 pages in ENTCS format.
Publication of the workshop proceedings in Electronic Notes in Theoretical Computer Science, Elsevier, is anticipated.