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:

Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to vastly different real-world situations, ranging from data base management to active networks to software engineering to decision support systems.

New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raises numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well.

PADL is a forum for researchers and practioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc. Topics of interest include:

• innovative applications of declarative languages;
• declarative domain-specific languages and applications;
• practical applications of theoretical results;
• new language developments & their impact on applications;
• evaluation of implementation techniques on practical applications;
• novel uses of declarative languages in the classroom; and
• practical experiences

PADL 06 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages, and is not limited to the scope of the past five PADL symposia.
PADL 06 will be co-located with the ACM POPL.

IMPORTANT DATES AND SUBMISSION GUIDELINES

      Paper Submission:      August 20, 2006
      Notification:          September 30, 2006
      Final Manuscript:      October 20, 2006
      Symposium:             January 9-10, 2006

Authors should submit an electronic copy of the full paper (written in English) in Postscript (Level 2) or PDF. Papers must be no longer than 15 pages, written in 11-point font and with single spacing. Since the final proceedings will be published as Lecture Notes in Computer Science by Springer Verlag, authors are strongly encouraged to use the LNCS paper formatting guidelines for their submission.

Each submission must include on its first page the paper title; authors and  their affiliations; contact author's email and postal addresses, telephone and  fax numbers, abstract, and three to four keywords. The keywords will be used to  assist us in selecting appropriate reviewers for the paper. If electronic submission  is impossible, please contact the program chair for information on how to submit hard copies.

MOST PRACTICAL PAPER AWARD

The Most Practical Paper award will be given to the submission that is judged by the programm committee to be the best in terms of practicality, originality,  and clarity of presentation. The program committee may choose not to make an award; or may make multiple awards.

Contacts:
     For information about papers and submissions, please contact the Program Chair:
          Pascal van Hentenryck
          PC Chair - PADL 2006
          Department of Computer Science
          Brown University
          Providence, RI, U.S.A.
          Email: pvh@cs.brown.edu

     For other information about the conference and the summer school, please contact:
          Gopal Gupta
          Department of Computer Science
          University at Texas at Dallas
          Dallas, TX, U.S.A.
          Email: gupta@utdallas.edu

Introduction
AAMAS is the premier scientific conference for research in autonomous agents and multi-agent systems. The AAMAS conference series was initiated in 2002 as a merger of three highly respected individual conferences: the International Conference on Autonomous Agents (AGENTS), the International Workshop on Agent Theories, Architectures, and Languages (ATAL), and the International Conference on Multi-Agent Systems (ICMAS). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multi-agent systems. (See The AAMAS conference for more information.) AAMAS-06 is the fifth conference in the AAMAS series, following enormously successful previous conferences at Bologna, Italy (2002), Melbourne, Australia (2003), New York City, USA (2004), and Utrecht, the Netherlands (2005). AAMAS-06 will be held at the Future University-Hakodate, Japan. Hakodate is a beautiful city located at the southern end of Japan's northern island, Hokkaido.

Information for Authors
AAMAS-06 encourages the submission of theoretical, experimental, methodological, and applications papers. Theory papers should make clear the significance and relevance of their results to the AAMAS community. Similarly, applied papers should make clear both their scientific and technical contributions, and are expected to demonstrate a thorough evaluation of their strengths and weaknesses in practice. Papers that address isolated agent capabilities (for example, planning or learning) are discouraged unless they are placed in the overall context of autonomous agent architectures or multiagent system organization and performance. A thorough evaluation is considered an essential component of any submission. Authors are also requested to make clear the implications of any theoretical and empirical results, as well as how their work relates to the state of the art in autonomous agents and multiagent systems research as evidenced in, for example, previous AAMAS conferences. All submissions will be rigorously peer reviewed and evaluated on the basis of the quality of their technical contribution, originality, soundness, significance, presentation, understanding of the state of the art, and overall quality.

In addition to conventional conference papers, AAMAS-06 will also include a demonstrations track for work focusing on implemented systems, software, or robot prototypes; and an industry track for descriptions of industrial applications of agents. The submission processes for the demonstration and industry tracks will be separate from the main paper submission process.

Topics of Interest
Topics of interest to AAMAS-06 include, but are not restricted to:

• agent and multi-agent architectures
• agent communication: languages, semantics, pragmatics, protocols
• agent programming languages
• agent standardizations in industry and commerce
• agents and adjustable autonomy
• agents and ambient intelligence
• agents and cognitive models
• agents and novel computing paradigms (e.g. autonomic, grid, P2P, ubiquitous computing)
• agents, web services and semantic web
• agent-based simulation and modeling
• agent-mediated electronic commerce and trading agents
• agent-oriented software engineering and agent-oriented methodologies
• applications of autonomous agents and multi-agent systems
• argumentation in agent systems
• artificial social systems
• auctions and electronic markets
• autonomous robots and robot teams
• coalition formation and teamwork
• collective and emergent agent behavior
• computational complexity in agent systems
• constraint processing in agent systems
• conventions, commitments, norms, social laws
• conversation and dialog in agent systems
• cooperative distributed problem solving in agent systems
• cooperation and coordination among agents
• electronic institutions
• formal models of agency
• frameworks, infrastructures and environments for agent systems
• game theoretic foundations of agent systems
• humanoid and sociable robots
• information agents, brokering and matchmaking
• legal issues raised by autonomous agents
• logics for agent systems
• mobile agents
• (multi-)agent evolution, adaptation and learning
• (multi-)agent planning
• negotiation and conflict handling in agent systems
• ontologies and agent systems
• perception, action and planning in agents
• performance evaluation of agent systems
• privacy, safety and security in agent systems
• scalability, robustness and dependability of agent systems
• social choice mechanisms
• social and organizational structures of agent systems
• specification languages for agent systems
• synthetic, embodied, emotional and believable agents
• task and resource allocation in agent systems
• computational autonomy
• trust and reputation in agent systems
• verification and validation of agent systems
• other

Important Dates
Please note that AAMAS 2006 has earlier submission deadlines than the previous AAMAS conferences:

Oct 15, 2005:

electronic abstract submission deadline

Oct 18, 2005:

electronic paper submission deadline

Dec 20, 2005:

notification

The workshop will be held in conjunction with

         ETAPS 2006 
         9th European Joint Conferences on Theory and Practice of Software
         March 26 - April 2, 2006
         http://www.complang.tuwien.ac.at/etaps06/

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

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

The topics of the workshop comprise, but are not limited to,

• foundations and models of RL;
• languages based on RL, including implementation issues;
• RL as a logical framework;
• RL as a semantic framework, including applications of RL to
• object-oriented systems,
• concurrent and/or parallel systems,
• interactive, distributed, open ended and mobile systems,
• specification of languages and systems;
• formalisms related to RL, including
• real-time and probabilistic extensions of RL,
• tile logic,
• rewriting approaches to behavioral specifications;
• verification techniques for RL specifications, including
• equational and coherence methods, and
• verification of properties expressed in first-order, higher-order, modal and temporal logics;
• comparisons of RL with existing formalisms having analogous aims;
• application of RL to specification and analysis of
• distributed systems,
• physical systems.

PAST EVENTS
Previous WRLA workshops have been organized in

• Asilomar, California, September 3-6, 1996
• Pont-a-Mousson, France, September 1-4, 1998
• Kanazawa, Japan, September 18-20, 2000
• Pisa, Italy, September 19-21, 2002
• Barcelona, Spain, March 27-28, 2004

The proceedings of the WRLA workshops have been published as volumes 4, 15, 36, 71, and 117 in the Elsevier ENTCS series, available at 
 
       http://www.sciencedirect.com/science/journal/15710661

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

LOCATION
WRLA 2006 will be held in Vienna, Austria in March 25-26, 2006. It is  a satellite  workshop of ETAPS 2006, the European Joint Conferences on Theory and Practice of Software. For venue, registration and suggested accommodation see the ETAPS 2006 web page 
            
             http://www.complang.tuwien.ac.at/etaps06


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

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

            wrla06@csl.sri.com

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

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

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

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


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


CONTACT INFORMATION
For more information, please contact the organizers
  
            wrla06@csl.sri.com

or visit the workshop web page

            http://www-formal.stanford.edu/WRLA06/

The Third International Joint Conference on Automated Reasoning (IJCAR) is the fusion of several major conferences in Automated Reasoning:

• CADE (Automated Deduction)
• TABLEAUX (Automated Reasoning with Analytic Tableaux and Related Methods)
• FTP (First-Order Theorem Proving)
• FroCoS (Frontiers of Combining Systems)
• TPHOLs (Theorem Proving in Higher-Order Logics).

IJCAR 2006 will be part of the Federated Logic Conference, FLoC'06 (http://research.microsoft.com/floc06/), to be held in Seattle during August 10--22, 2006.

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

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

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

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

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

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

Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, that can be obtained from
http://www.springer.de/comp/lncs/authors.html

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

Important Dates:

Program Chairs:
Ulrich Furbach,    University of Koblenz, uli@uni-koblenz.de
Natarajan Shankar, SRI International,     shankar@csl.sri.com

Program Committee:

• Alessandro Armando
• Matthias Baaz
• David Basin
• Bernhard Beckert
• Michael Beeson
• Maria Paola Bonacina
• Hubert Comon
• Amy Felty
• Rajeev Gore
• Martin Giese
• Jason Hickey
• Ian Horrocks
• Tom Henzinger
• Dieter Hutter
• Andrew Ireland
• Deepak Kapur
• Helene Kirchner
• Chris Lynch
• Michael Kohlhase
• Michael Maher
• Bill McCune
• Tom Melham
• Jose Meseguer
• Aart Middeldorp
• Ilkka Niemela
• Larry Paulson
• Christine Paulin-Mohring
• Carsten Schuermann
• Stephan Schulz
• John Slaney
• Mark Stickel
• Aaron Stump
• Geoff Sutcliffe
• Frank Wolter
• Hantao Zhang

Conference Chair:
John Harrison
Intel Semiconductors, johnh@ichips.intel.com

Workshop Chair:
Maria Paola Bonacina
Univ. of Verona, mariapaola.bonacina@univr.it

Publicity Chair:
Sergey Berezin
Synopsys, berezin@synopsys.com

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

While OO has become ubiquitously employed for design, implementation, and even conceptualization, many practitioners recognize the concomitant need for other programming paradigms according to problem domain.  We seek answers to the question of how to address the need for other programming paradigms in the general context of OO languages.

Can OO programming languages effectively support other programming paradigms? The answer seems to be affirmative, at least for some paradigms; for example, significant progress has been made for the case of functional programming in C++.  Additionally, several efforts have been made to integrate support for other paradigms as a front-end for OO languages (the Pizza language, extending Java, is a prominent example).

This workshop seeks to bring together practitioners and researchers in this developing field to `compare notes' on their work--describe existing, developing, or proposed techniques, idioms, methodologies, language extensions, or software for expressing non-OO paradigms in OO languages; or theoretical work supporting or defining the same.  High-level presentations of position are welcome.

Specific areas of interest include, but are not limited to:

• non-OO programming with OO languages;
• merging functional/logic/OO/other programs (language crossbinding);
• non-OO programming at the meta level (e.g. template metaprogramming);
• module systems vs. object systems;
• OO design patterns and their relation to functional patterns;
• multiparadigm and multilingual programming in the .NET framework;
• type system relationships across languages;
• theoretical foundations of multiparadigm programming with OO languages.

The workshop will consist of presentations with interspersed discussion sessions, and longer general discussions of themes or topics derived from some common element of subsets of presentations.  We expect the majority of the participants to give presentations.

For authors of accepted presentations who require justification for travel the organizers can provide official letters of invitation.

SUBMISSION PROCEDURE
Prospective authors are invited to submit abstracts, extended abstracts, presentations, or full papers in PDF (greatly preferred), postscript, Microsoft Word, or Microsoft Powerpoint.

Final versions of papers/presentations will be distributed at the workshop.

Submission to mpool05@c3.lanl.gov.

Other correspondence to kei.davis@lanl.gov.


AUTHORS' SCHEDULE
Aug 26, 2005: Submissions due
Sep  2, 2005: Notification of acceptance
Sep  8, 2005: Last day for OOPSLA early registration fees
Oct 14, 2005: Final papers/presentations for distribution due
Oct 17, 2005: Workshop

ORGANIZERS
Gerald Baumgartner (University of Ohio, Ohio, USA)
Timothy Budd (Oregon State University, Oregon, USA)
Kei Davis (Los Alamos National Laboratory, New Mexico, USA)
Jaakko Jarvi (Texas A&M University, Texas, USA)
Herbert Kuchen (University of Muenster, Muenster, Germany)
Joerg Striegnitz (John von Neumann Institute for Computing, Germany)
Peter Van Roy (Universite catholique de Louvain, Belgium)

• System name, developers names and contact details.
• A system description, or associated paper submission.
• Screen shots or information for online access.
• Details of hardware and software that will have to be provided by the organizers if the demonstration is approved.

The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere).  The previous workshops were held in Uppsala (1989, 1999 and 2004), Aalborg  (1990), Gothenburg (1991 and 1995), Bergen (1992 and 2000), Turku (1993, 1998, and 2003), Aarhus (1994), Oslo (1996), Tallinn (1997 and  2002), Lyngby (2001).  This time the workshop will be held in Copenhagen.

 Scope
Typical topics of the workshop include (but are not limited to):

SUBMISSIONS
Authors wishing to give a talk at the workshop are requested to submit an abstract of 1-3 pages (ps or pdf, printable on A4 paper) to nwpt05(at)diku.dk by 19th  September 2005.  Submission of work submitted for formal publication elsewhere and work in progress is permitted.

The abstracts of the accepted contributions will be available at the workshop.  After the workshop, selected papers will be published in a special issue of Nordic Journal of Computing.

Important Dates (tentative)
19. September:          Submission of abstracts
5. October:             Notification of acceptance
3. October:             Registration
19-21October:           WORKSHOP

ORGANISING COMMITTEE
Neil Jones, Jesper Andersen,...

        nwpt05(at)diku.dk

More (and more current) information is available at

        http://www.diku.dk/NWPT05/

A short history of the  workshop is available at

        http://www.cc.ioc.ee/nwpt02/history.html

Knowledge Representation and Reasoning (KR&R) is a vibrant and exciting field of human endeavour. KR&R techniques are key drivers of innovation in computer science, and they have led to significant advances in practical applications in a wide range of areas from Artificial Intelligence to Software Engineering.

Explicit representations of knowledge manipulated by reasoning engines are an integral and crucial component of intelligent systems. Semantic Web technologies the design of software agents and Bio-Informatics technologies, in particular, provide significant challenges for KR&R.

We intend KR2006 to be a forum for the exchange of news, issues, and results among the community of researchers in the principles and practices of KR&R systems. We encourage papers presenting substantial new results in the principles of KR&R systems that clearly contribute to the formal foundations or show the applicability of the results to implemented or implementable systems. We also encourage "reports from the field'' of applications, experiments, developments, and tests. Such papers should be explicitly identified as reports from the field by the authors, to ensure appropriate reviewing, and must include a section on evaluation.

KR2006 will be held immediately prior to ICAPS-06 in the Lake District of the U.K. Note that the dates of the conference are subject to change.

Topics of interest include:

Important Dates
Electronic submission deadline: November 7, 2005
Notification of acceptance: January 14, 2006
Camera-ready papers due: March 3, 2006
KR2006 conference: June 2-6, 2006 (provisional)

Paper Format
The Program Committee will review extended abstracts rather than complete papers. Submissions must be at most twelve (12) pages, excluding the bibliography, with a maximum of 38 lines per page and an average of 75 characters per line (corresponding to the LaTeX article-style, 12pt). If you have a separate title page containing at most the title, author information, keywords and abstract, this will not be counted in the twelve page limit. Overlength submissions will be rejected without review.

Conference Chair
Christopher Welty, IBM Watson Research Center, USA

Program Chairs
Patrick Doherty, IDA, Linkoping University, Sweden
John Mylopoulos, Bahen Centre for IT, University of Toronto, Canada

Local Arrangements
Ian Horrocks, Department of Computer Science, University of Manchester, UK

Doctoral Consortium Chair
Fangzhen Lin, Department of Computer Science Hong Kong University of Science and Technology, Hong Kong

Publicity Support
Michael Thielscher, Department of Computer Science Dresden University of Technology, Germany

Program Committee
Eyal Amir University of Illinois, Urbana-Champaign, USA
William Andersen Ontology Works, USA
Grigoris Antoniou University of Crete and FORTH-ICS, Greece
Franz Baader TU Dresden, Germany
Philippe Balbiani IRIT-CNRS, France
Chitta Baral Arizona State University, USA
Brandon Bennett University of Leeds, UK
Danny Bobrow Palo Alto Research Center, USA
Alexander Borgida Rutgers University, USA
Ronen Brafman Ben-Gurion University, Israel
Gerhard Brewka University of Leipzig, Germany
Marco Cadoli Universita' di Roma "La Sapienza", Italy
Diego Calvanese Free University of Bozen-Bolzano, Italy
Marie-Odile Cordier Universite Rennes 1, IRISA, France
Ernest Davis New York University, USA
John Debenham University of Technology, Sydney, Australia
Giuseppe De Giacomo Universita' di Roma "La Sapienza", Italy
Jon Doyle North Carolina State, USA
Didier Dubois IRIT-CNRS, France
Thomas Eiter Vienna University of Technology, Austria
Peter Eklund University of Wollongong, Australia
Thomas Ellman Vassar College, USA
Dieter Fensel National University of Ireland & University of Innsbruck, Austria
Richard Fikes Stanford University, USA
Tim Finin University of Maryland, Baltimore County, USA
Enrico Franconi Free University of Bozen-Bolzano, Italy
Antony Galton University of Exeter, UK
Aldo Gangemi ISTC-CNR Roma, Italy
Hector Geffner University of Pompeu Fabra, Spain
Enrico Giunchiglia Universita' di Genova, Italy
Lluis Godo IIIA-CSIC Bellaterra, Spain
Asuncion Gomez-Perez University Politecnica de Madrid, Spain
Nicola Guarino ISTC-CNR, Trento, Italy
Andreas Herzig IRIT-CNRS, France
Ian Horrocks University of Manchester, UK
Anthony Hunter University College London, UK
Gabriele Kern-Isberner University of Dortmund, Germany
Iluju Kiringa University of Ottawa, Canada
Jana Koehler IBM Zurich Research Laboratory, Switzerland
Jan Komorowski Linnaeus Centre for Bioinformatics, Uppsala University, Sweden
Manolis Koubarakis Technical University of Crete, Greece
Gerhard Lakemeyer RWTH Aachen University, Germany
Jerome Lang IRIT-CNRS, France
Yves Lesperance York University, Canada
Hector Levesque University of Toronto, Canada
Paolo Liberatore Universita' di Roma "La Sapienza", Italy
Vladimir Lifschitz University of Texas at Austin, USA
Fangzhen Lin Hong Kong University of Science & Technology, Hong Kong
Thomas Lukasiewicz Universita' di Roma "La Sapienza", Italy
David Makinson Kings College London, UK
Pierre Marquis CRIL/Universit d'Artois, Lens, France
Deborah McGuinness Stanford University, USA
Sheila McIlraith University of Toronto, Canada
John-Jules Meyer Utrecht University, Netherlands
Guy Mineau Universite Laval, Canada
Leora Morgenstern IBM T.J. Watson Research Center, USA
Erik Mueller IBM T.J. Watson Research Center, USA
Bernhard Nebel Albert-Ludwigs-Universitat Freiburg, Germany
Ilkka Niemela Helsinki University of Technology, Finland
Maurice Pagnucco University of New South Wales, Australia
Pavlos Peppas University of Patras, Greece
Ramon Pino-Perez Universidad de Los Andes, Venezuela
Fiori Pirri Universita' di Roma "La Sapienza", Italy
Dimitris Plexousakis University of Crete, Greece
David Poole University of British Columbia, Canada
Alan Rector University of Manchester, UK
Marie Christine Rousset University Paris-Sud, France
Alessandro Saffiotti Orebro University, Sweden
Erik Sandewall Linkoping University, Sweden
Bart Selman Cornell University, USA
Murray Shannahan Imperial College, UK
Stuart C. Shapiro University of Buffalo, USA
Helena Sofia-Pinto Instituto Superior Tecnico de Lisboa, Portugal
Liz Sonenberg University of Melbourne, Australia
Rudi Studer University of Karlsruhe, Germany
Andrzej Szalas Linkoping University, Sweden
Michael Thielscher TU Dresden, Germany
Rich Thomason University of Michigan, USA
Pietro Torasso University of Torino, Italy
Mirek Truszczynski University of Kentucky, USA
Laure Vieu IRIT-CNRS Toulouse, France
Toby Walsh National ICT Australia & University of New South Wales, Australia
Michael Witbrock Cycorp Inc., USA
Brian Williams MIT, USA
Mary-Anne Williams University of Technology, Sydney, Australia
Frank Wolter University of Liverpool, UK
Mike Wooldridge University of Liverpool, UK

1. Internet Technology
2. Web Interfaces and Applications
3. Society, e-Business and e-Government
4. e-learning

- XML and data management
- Web Security and Privacy
- Intrusion Detection and Response
- Authentication and Access Control
- Grid Computing
- Web Services and Web Engineering
- System Integration
- Databases and Datawarehouses
- Wireless Applications
- Distributed and Parallel Applications
- Protocols and Standards
- Network systems, proxies and servers

- Multimedia and User interfaces
- Accessibility issues and Technology
- User Modeling
- Web Personalization
- Usability and Ergonomics
- Personalized Web Sites and Services
- Portal strategies
- Searching and Browsing
- Ontology and the Semantic Web
- Metadata and Metamodeling
- Web mining
- Digital Libraries

- e-Business and e-Commerce
- e-Payment
- B2B, B2C and C2C
- Knowledge Management
- Social Networks and Organizational Culture
- Social Information Systems
- Communities of practice
- Communities of interest
- Social & Legal Issues
- Tele-Work and Collaboration
- e-Government

- e-Learning standards and tools
- Web-based Education
- Web-based Teaching and Learning Technologies
- Designing Learning Activities
- Content-based and Context-based Learning
- Learning Materials Development
- Intelligent Tutoring Systems
- Virtual Learning Communities
- Case-studies and applications
- Competition and Collaboration
- Software tools for e-Learning

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

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

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

• Non-conventional computing
• Next generation high performance computing
• Grid computing
• Reconfigurable computing
• Special purpose architectures
• Compilers and operating systems
• Supercomputing
• SOC architectures
• High performance embedded architectures
• Pervasive computing
• Temperature, energy, and complexity-aware designs
• Quantum computing
• Autonomic and organic computing
• Architectures and devices for emerging nanotechnologies
• Workload characterization of emerging applications
• Computational biology
• Open topics

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

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

Important Dates

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

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

• Tools for formal methods: tool support and software engineering, environments for formal methods.
• Theoretical foundations: specification and modelling, refining, static analysis, model-checking, verification, calculation, reusable domain theories.
• Formal methods in practice: experience with introducing formal methods in industry, case studies.
• Role of formal methods: formal methods in hardware and system design, method integration, development process.

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

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

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

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

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

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

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

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

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

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

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