6-8 September 2010, Temporal Representation and Reasoning (TIME’10), Paris, France

This annual event brings together researchers from all areas of computer science that involve temporal representation and reasoning.
The program includes three tracks: temporal representation and reasoning in AI, temporal database management, and temporal logic and verification in computer science. The invited speakers include: I.
Hodkinson, B. Kuijpers, and M. Leucker.

For further information, visit the website below http://www.lsv.ens-cachan.fr/Events/TIME10/.

             4th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS
                                               January 9–11, 2011
                                            Delhi University, India
                                       http://ali.cmi.ac.in/icla2011

DEADLINE EXTENDED TO JULY 31 !!!
                            

CALL FOR PAPERS

ALI, the Association for Logic in India, announces the fourth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Delhi University, from January 9 to 11, 2011.

ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and
 historical research on logic.

As in the earlier events in this series, we shall have eminent logicians as invited speakers. Pre-conference workshops during Jan 5-8 are also being planned. One such event is ‘LogICCC Meets India’ which will take place during Jan 7-8. For more information, see
 http://www.illc.uva.nl/LogICCCMeetsIndia. Details of other workshops will be posted on the conference website in due course. Details of the last ICLA (2009) may be found at http://ali.cmi.ac.in/icla2009.

Submission
———–
Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, foundations and philosophy of mathematics and the sciences, history of logic, Indian systems of logic, use of formal logic in areas of theoretical computer science and artificial intelligence, or on the relationship between logic and other branches of knowledge, are welcome.

Submissions must be in English and should provide sufficient detail to allow the programme committee to assess the merits of the paper. It should clearly present the context of the problem, summary of the main results and should contain the technical development directed to the specialist. Comparison with related work must be included. The submission may not exceed 12 pages using Springer’s
LNCS format(http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
If necessary, detailed proofs of technical results can be included in a clearly marked appendix which may be read at the discretion of the programme committee. All submissions will be in electronic form and submitted via easychair submission system. Simultaneous submission to journals or to other conferences with proceedings is not allowed.

Submitted papers will be peer-reviewed and accepted papers will be published in the conference proceedings, which will be made available at the time of the conference. It is expected that the conference proceedings will appear as a volume in the FoLLI series of Springer Lecture Notes in Artificial Intelligence; this will be confirmed soon.

Important Dates
Deadline for Submission (Extended):                   31 July 2010
Notification to Authors:                                        5 September 2010
Deadline for camera-ready papers:                      10 October 2010

For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference.

Programme Committee
Mohua Banerjee (IIT Kanpur), co-chair
Dietmar Berwanger (ENS Cachan)
Achim Blumensath (TU Darmstadt)
Richard Booth (University of Luxembourg, and Mahasarakham University, Thailand)
Hans van Ditmarsch (University of Sevilla)
Didier Dubois (IRIT, Paul Sabatier University)
Valentin Goranko (Technical University of Denmark)
Wilfrid Hodges
Peter Jipsen (Chapman University)
Steven Lindell (Haverford College)
Benedikt Loewe (ILLC, Amsterdam)
Shahid Rahman (University of Lille 3)
R Ramanujam (IMSc, Chennai)
K Ramasubramanian (IIT Bombay)
Sundar Sarukkai (Manipal University)
Anil Seth (IIT Kanpur), co-chair
S P Suresh (Chennai Mathematical Institute)
Andrzej Szalas (Linkoeping University)
Katherine Thompson (University of Vienna)
Jouko Vaananen (University of Helsinki)
Scott Weinstein (University of Pennsylvania)

Contact

Any queries related to the conference may be sent to the following email address: icla@cse.iitk.ac.in.

18-21 May 2011, WoLLIC 2011: Workshop on Logic, Language, Information
and Computation, Philadelphia PA, U.S.A.

WoLLIC is an annual international forum on inter-disciplinary research
involving formal logic, computing and programming theory, and natural
language and reasoning. Each meeting includes invited talks and
tutorials as well as contributed papers. The eighteenth WoLLIC will be
held at the University of Pennsylvania, Philadelphia, USA, from May
18th to 21st, 2011.

Contributions are invited on all pertinent subjects, with particular
interest in cross-disciplinary topics. A title and single-paragraph
abstract should be submitted by January 1st.

For more information, see http://wollic.org/wollic2011/

21-22 August 2010, 7th Workshop on Fixed Points in Computer Science
(FICS 2010), Brno, Czech Republic

Fixed points play a fundamental role in several areas of computer
science and logic by justifying induction and recursive definitions.
The construction and properties of fixed points have been investigated
in many different frameworks such as: design and implementation of
programming languages, program logics, databases. The aim of the
workshop is to provide a forum for researchers to present their results
to those members of the computer science and logic communities who
study or apply the theory of fixed points.

FICS-2010 is a satellite workshop to MFCS & CSL 2010. For more
information, see http://www.lif.univ-mrs.fr/fics2010/

WoLLIC 2011
18th Workshop on Logic, Language, Information and Computation May 18th to 21st, 2011
University of Pennsylvania, USA

Scientific Sponsorship
Interest Group in Pure and Applied Logics
(<http://www.cin.ufpe.br/~igpl/>IGPL.>)
The Association for Logic, Language and Information  (<http://www.folli.org/>FoLLI>)
Association for Symbolic Logic (<http://www.aslonline.org/>ASL?)
European Association for Theoretical Computer
Science (<http://www.eatcs.org/>EATCS)
Sociedade Brasileira de Computação (<http://www.sbc.org.br/>SBC>)
Sociedade Brasileira de Lógica (<http://www.cle.unicamp.br/sbl/>SBL)

Organisation
<http://www.math.upenn.edu>Department> of Mathematics, <http://www.upenn.edu/>University> of Pennsylvania, USA
<http://www.cin.ufpe.br/>Centro> de Informática,
<http://www.ufpe.br/>Universidade> Federal de Pernambuco, Brazil

 Call for Papers
 <http://wollic.org/>WoLLIC> is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The eighteenth WoLLIC will be held at the University of Pennsylvania, Philadelphia, USA, from May 18th
to 21st, 2011. It is sponsored by the <http://www.aslonline.org/>Association for Symbolic Logic (ASL), the
<http://www.cin.ufpe.br/~igpl>Interest Group in Pure and Applied Logics (IGPL), the <http://www.folli.org/>The Association for Logic, Language and Information (FoLLI), the <http://www.eatcs.org/>European Association for
 Theoretical Computer Science (EATCS), the <http://www.sbc.org.br/>Sociedade Brasileira de Computação (SBC), and the <http://www.cle.unicamp.br/sbl/>Sociedade Brasileira de Lógica (SBL).

Special Event
(tba)
Paper submission
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition
 accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper’s main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2011 EasyChair website. (Please go to
<http://wollic.org/wollic2011/instructions.html>http://wollic.org/wollic2011/instructions.html>
for instructions.) A title and single-paragraph abstract should be submitted by January 1st, and the full paper by January 8 (firm date). Notifications are expected by February 21, and final papers for the proceedings will be due by March 1 (firm date).

Proceedings
The proceedings of WoLLIC 2011, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer’s <http://www.springer.com/lncs>LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2011 issue of a scientific journal (soon to be announced).

Invited Speakers
(tba)

Student Grants
ASL sponsorship of WoLLIC 2011 will permit ASL student members to apply for a modest travel grant. See
<http://www.aslonline.org/studenttravelawards.html>http://www.aslonline.org/studenttravelawards.html>
for details.
Important Dates
January 1, 2011: Paper title and abstract deadline
January 8, 2011: Full paper deadline (firm)
February 21, 2011: Author notification
March 1, 2011: Final version deadline (firm)
Programme Committee
Krzysztof Apt (Amsterdam) (tbc)
<http://web.cs.gc.cuny.edu/~sartemov/>Sergei Artemov (New York)
<http://www.andrew.cmu.edu/user/avigad/>Jeremy Avigad (Pittsburgh)
<http://www.cs.swan.ac.uk/~csarnold/>Arnold Beckman (Swansea)
<http://www.mi.ras.ru/~bekl/>Lev Beklemishev (Moscow) (CHAIR)
<http://www.dm.unipi.it/~berardu/>Alessandro Berarducci (Pisa)
<http://www.math.lsa.umich.edu/~ablass/>Andreas Blass (Ann Arbor) (tbc)
<http://www.math.ucsd.edu/~sbuss/>Sam Buss (San Diego)
<http://www.cs.bham.ac.uk/~axj/>Achim Jung (Birmingham)
<http://staff.science.uva.nl/~bloewe/>Benedikt Löwe (Amsterdam)
<http://www.cs.technion.ac.il/~janos/>Janos Makowski (Haifa)
<http://www.let.uu.nl/~ctl/docenten/moortgat.html>Michael Moortgat (Utrecht)
<http://www.dtc.umn.edu/~odlyzko/>Andrew Odlyzko (Minneapolis) (tbc)
<http://www.phil.uu.nl/~oostrom/>Vincent van Oostrom (Utrecht)
<http://www.cs.mcgill.ca/~prakash/>Prakash Panangaden (Montréal)
<http://www.sci.brooklyn.cuny.edu/cis/parikh/>Rohit Parikh (New York)
<http://www.cis.upenn.edu/~pereira/>Fernando Pereira (Philadelphia) (tbc)
<http://www.cin.ufpe.br/~ruy>Ruy de Queiroz (Recife)
<http://www.poncelet.ru/pers/shen.htm>Alexander Shen (Marseilles and Moscow)
<http://www.cs.ru.nl/~spitters/>Bas Spitters (Nijmegen)
<http://www7.in.tum.de/~veith/>Helmut Veith (Wien)
<http://staff.science.uva.nl/~yde/>Yde Venema (Amsterdam) (tbc)
<http://www.cis.upenn.edu/~weinstei/>Scott Weinstein (Philadelphia)
<http://www.csc.liv.ac.uk/~frank/>Frank Wolter (Liverpool)

Organising Committee
<http://www.math.upenn.edu/~vnigam/>Vivek Nigam (UPenn)
<http://www.cin.ufpe.br/~ago>Anjolina de Oliveira (U Fed Pernambuco)
<http://www.cin.ufpe.br/~ruy>Ruy de Queiroz (U Fed Pernambuco) (cochair)
<http://www.cis.upenn.edu/~scedrov/>Andre Scedrov (UPenn) (co-chair)

Steering Committee
Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz.

Further information
Contact one of the Co-Chairs of the Organising Committee.

Web page
<http://wollic.org/wollic2011/>http://wollic.org/wollic2011/

 Edinburgh, July 15th, 2010
 affiliated with LICS and IJCAR

TOPIC AND OBJECTIVE:
Methods for deciding satisfiability of formulae are of vital  importance for both the theoretical relevance and practical impact of a logic. Different logics require different decision procedures. Nevertheless, certain methodologies like terminating semantic tableaux, automata, games, SAT/SMT methods, resolution, reductions, etc. have proved to be successful in providing decidability results for several, even quite different logics.  
      Perception of some methodology being better than others has grown within certain communities, for example regarding automata-based techniques in automatic verification or tableau-based techniques in knowledge representation. Such perception, however, is often not based on systematic comparative analysis. Sometimes, different methodologies also turn out to do or even be the same in certain cases. Yet, few formal technical results to that effect are known, and the scientific discussions on the pros and cons, and similarities and differences between different methodologies have been rather sporadic so far.
     The purpose of this workshop is to provide an expert forum for such discussion, to provoke and foster discussion between communities, and to stimulate further research on that topic. It is a generalization and follow-up of the AutoTab workshop which was held with TABLEAUX’09 last year.
WORKSHOP PROGRAM COMMITTEE:
 Stephane Demri,               CNRS Cachan,        F
 Valentin Goranko (co-chair),  TU of Denmark,      DK
 Rajeev Gore,                  ANU Canberra,       AUS
 Felix Klaedtke,               ETH Zurich,         CH
 Daniel Kröning,               Oxford University,  UK
 Martin Lange (co-chair),      Univ. of Kassel,    D
 Christof Löding,              RWTH Aachen,        D
 Carsten Lutz,                 Univ. of Bremen,    D
 Renate Schmidt,               Univ. of Liverpool, UK
 Colin Stirling,               Univ. of Edinburgh, UK

 INVITED TALKS:
 Moshe Vardi, Rice University, TX, US:
 Symbolic Techniques in Propositional Satisfiability Solving

 Jerome Leroux, LaBRI, Bordeaux, FR:
 Presburger Automata

 Yevgeny Kazakov, Oxford, UK:
 Consequence-Based Reasoning for Description Logic Ontologies

 CONTRIBUTED TALKS AND WORKSHOP PROGRAMME:
 See http://www2.imm.dtu.dk/~vfgo/CLODEM2010/CLODEM2010%20Programme.html

 REGISTRATION:
 Through the FLoC’2010 registration site
FURTHER INFORMATION:
Workshop dinner: We intend to organize a dinner for the participants of the workshop on July 15. At this stage the budget of the workshop is unknown, so we cannot make any commitment for covering, partly or in full, the cost of the dinner.
Workshop website:
      http://www2.imm.dtu.dk/~vfgo/CLODEM2010/CLODEM2010.html
FLoC workshop website:
      http://www.floc-conference.org/CLoDeM-home.html
FLoC’10 website:   http://www.floc-conference.org/
LICS’10 website:
      http://www2.informatik.hu-berlin.de/lics/lics10/index.html
IJCAR’10 website:   http://www.floc-conference.org/IJCAR-home.html

 ENQUIRIES to the organizers:
 Valentin Goranko, http://www2.imm.dtu.dk/~vfgo
 Martin Lange,     http://www.tcs.ifi.lmu.de/~mlange

GAMES 2010
Annual Workshop of the ESF Networking Programme on
Games for Design and Verification
September 19 – 23, 2010
St Anne’s College, Oxford, UK
http://www.comlab.ox.ac.uk/games2010
CALL FOR CONTRIBUTIONS

The ESF Networking Programme on Games for Design and Verification is a European Network pursuing research and training on the design and verification of computing systems. This network proposes a research and training programme for the design and verification of computing systems, using a methodological framework that is based on the interplay of finite and infinite games, mathematical logic and automata theory. For details, see www.games.rwth-aachen.de/

GAMES is the annual workshop of the Network. This year’s GAMES workshop will be held at St. Anne’s College Oxford. More information about the games workshop can be found at http://www.comlab.ox.ac.uk/games2010.

SCOPE:
The scope of the workshop includes the mathematical and algorithmic analysis of finite and infinite games, the interplay of games with automata theory and logic, and applications of games, automata, and logic to the design and verification of computing systems.

PROGRAMME:
As in previous years, GAMES 2010 will be an informal workshop, without proceedings. Its programme consists of six invited tutorials, contributed talks (30 min) and short presentations (15 min). Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts. GAMES 2010 will also feature an open problem session, which will consist of very short (10 min) descriptions of interesting open problems about games.

INVITED TUTORIALS:
- Roderick Bloem (TU Graz, Austria)
- Thomas Colcombet (Liafa, Paris 7, France)
- Fedor Fomin (Bergen, Norway)
- Paul Goldberg (Liverpool, UK)
- Tristan Tomala (HEC, Paris, France)
- Wieslaw Zielonka (Liafa, Paris 7, France)

SUBMISSIONS:
Researchers who would like to present a talk at GAMES 2010 are invited to
submit an extended abstract of up to two pages by email to games2010@comlab.ox.ac.uk by 1st July 2010. Decisions about acceptance will be made by 1st August 2010.

IMPORTANT DATES
Paper submission: 1st July 2010
Author notification: 1st August 2010
Workshop: 20-23 September 2010

SUPPORT:
We will be able to cover travel and accommodation costs for a limited number of participants (especially students). For information, please contact games2010@comlab.ox.ac.uk. There will be no registration fee.

LOCATION:
The workshop will be held in the Mary Ogilvie Lecture Theatre at St Anne’s College, Oxford UK. See http://www.st-annes.ox.ac.uk/ for information about the venue.

PROGRAMME COMMITTEE:
- Dietmar Berwanger (ENS Cachan)
- Mikokaj Bojanczyk (Warsaw)
- Patricia Bouyer (ENS Cachan)
- Erich Graedel (Aachen)
- Stephan Kreutzer (Oxford)
- Jean-Francois Raskin (Brussels)
- Helmut Veith (TU Vienna)
- James Worrell (Oxford)

The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to concrete applications, and to stimulate cross-fertilization.

Authors are invited to submit original research or tool papers on any relevant topic in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. Papers focused on formal methods are especially welcome. Abstract submission deadline: March 21, 2010

For more information, see http://gandalf.dia.unisa.it/

On 1 April, Carlos Areces (INRIA) will be giving a talk entitled ‘To B or not to B, is that the question?” at the University of Groningen (Bernoulliborg, Room 293):

Abstract: In this lecture, I will talk about Logic from a computational point of view. In particular, I will review a number of logical languages (propositional logic, first order logic, modal logics), present some classical reasoning tasks (model checking, satisfiability checking) and discuss their properties. These classical inference tasks have been investigated in detail and their characteristics are, in many cases, well known. I will then discuss other reasoning tasks (model equivalence, retrieval, verification, model building). Some of them can be seen as more complex reasoning tasks defined in terms of satisfiability and model checking. But I will argue that they deserve to be treated as first class citizens. We will even dare question the basic definition of what a satisfiability relation should be: Should we evaluate a formula in a model, or rather `evaluate a model in a formula’.

Call for Participation

The ECAI-10 Workshop on

Automated Reasoning about Context and Ontology Evolution (ARCOE-10)
http://www.arcoe.org/2010/

held on August 16-17, 2010

at the European Conference on Artificial Intelligence (ECAI-10)
http://ecai2010.appia.pt/

Description of the workshop

Methods of automated reasoning have solved a large number of problems in Computer Science by using formal ontologies expressed in logic. Over the years, though, each problem or class of problems has required a different ontology, and sometimes a different version of logic. Moreover, the processes of conceiving, controlling and maintaining an ontology and its versions have turned out to be inherently complex. All this has motivated much investigation in a wide range of disparate disciplines — from logic-based Knowledge Representation and Reasoning to Software Engineering, from Databases to Multimedia — about how to relate ontologies to one another.

ARCOE-10 aims at bringing together researchers and practitioners from core areas of Artificial Intelligence (Knowledge Representation and Reasoning, Contexts, and Ontologies) to discuss these kinds of problems and relevant results. Historically, there have been at least three different, yet interdependent motivations behind this type of research: defining the relationship between an ontology and its context, providing support to ontology engineers, enhancing problem solving and communication for software agents.

Ontology and Context. Most application areas have recognised the need for representing and reasoning about knowledge that is distributed over many resources. Such knowledge depends on its context, i.e., on the syntactic and/or semantic structure of such resources. Research on information integration, distributed knowledge management, the semantic web, multi-agent and distributed reasoning have pinned down different aspects of how ontologies relate to and/or develop within their context.

Ontology Engineering. Ontology engineers are not supposed to succeed right from the beginning when (individually or collaboratively) developing an ontology. Despite their expertise and any assistance from domain experts, revision cycles are the rule. Research on the automation of the process of engineering an ontology has improved efficiency and reduced the introduction of unintended meanings by means of interactive ontology editors. Moreover, ontology matching has studied the process of manual, off-line alignment of two or more known ontologies.

Problem Solving and Communication for Agents. Agents that communicate with one another without having full access to their respective ontologies or that are programmed to face new non-classifiable situations must change their own ontology dynamically at run-time — they cannot rely on human intervention. Research on this problem has either concentrated on non-monotonic reasoning and belief revision or on changes of signature, i.e., of the grammar of the ontology’s language, with a minimal disruption to the original theory.

ARCOE-10 will provide a multi-disciplinary forum, where differences in methodologies, representation languages and techniques are over-arched and hopefully overcome. Accordingly, the workshop will be structured into four tracks: three of them will focus on specific areas, the fourth one will foster links and integration.

Track 1: Context and Ontology
This track will select and present works about Context and Ontology, a well-established research area that has mainly concentrated on the relationship between contexts and ontologies for distributed information and for the enhancement of software agents.

Track 2: Common Sense and Non-Monotonic Reasoning for Ontologies
This track will select and present works about logic-based Knowledge Representation and Reasoning, a classic area of AI, which since its origins has produced remarkable results on logic-based methods for supporting knowledge engineers and for enhancing software agents.

Track 3: Automated Ontology Evolution
This track will select and present works about Automated Ontology Evolution, an area which in recent years has been drawing the attention of Artificial Intelligence and Knowledge Representation and Reasoning on the automation of ontology evolution.

Track 4: Links and integration
This track will foster links and integration by means of invited talks and (panel) discussions. Topics that are likely to be covered are: the formalisation of software engineering concepts for ontology development; the relationship between automated reasoning and information retrieval; relationships between representation languages; relationships between canonical domains; relationships between contexts and ontology evolution and between Non-Monotonic Reasoning and ontology evolution.

ARCOE-10 will bring the participants to position the various approaches with respect to one another. Hopefully, though, the workshop will also start a process of cross-pollination and set out the constitution of a truly interdisciplinary research-community dedicated to automated reasoning about contexts and ontology evolution.

Topics

Track 1: Context and Ontology
Submissions are welcome on the role of context and ontology in areas that include but are not limited to the following ones:

- Information Integration
- The role of context and ontology in Distributed Reasoning and Knowledge Management
- The role of context and ontology in Semantic Web
- Multi-Agent Systems
- Data Grid and Grid Computing
- Pervasive Computing and Ambient Intelligence
- Peer-to-peer Information Systems
- Comparison of uses of contexts and ontologies

Track 2: Common Sense and Non-Monotonic Reasoning
Submissions are welcome on the role of common sense and non-monotonic reasoning for ontologies in areas that include but are not limited to the following ones:

- Ontology Debugging, Update and Merging
- Inconsistency Handling, Belief Revision and Theory Change for DL ontologies
- Uncertainty Handling, Defeasible Reasoning and Argumentation in ontologies
- Heuristic and Approximate Reasoning
- Planning and Reasoning about Action and Change on the Semantic Web
- Rules and Ontologies
- Temporal and Spatial Reasoning

Track 3: Automated Ontology Evolution
Submissions are welcome on the role of automated ontology evolution in areas that include but are not limited to the following ones:

- Ontology fault diagnosis and repair
- Problem Solving
- Agent Communication
- Persistent Agents in Changing Environment
- Multimedia on the Web
- IT and Automated Reasoning

Attendance

Authors will be selected on significance of their submission and will be preferred to simple attendees. Attendees will be selected on a first-come-first-served basis. Please check http://ecai2010.appia.pt/ for registration procedure and fees.

Submission Requirements and Dates

ARCOE-10 will accept submissions of long abstracts, for both long presentations and poster presentations. The distinction during the selection-phase will be based on the significance and the quality of submissions as well as oriented towards fostering cross-pollination and discussions during the event. All selected abstracts will be included in the Working Notes. Authors are kindly requested to provide keywords upon submission. The format for submissions is the same as that of ECAI-10. Please check http://ecai2010.appia.pt/index.php?option=com_content&task=view&id=44&Itemid=69 for the style files. Submissions should be no longer than 3 pages.

Abstract submission: May 7, 2010
Notification: June 7, 2010
Camera ready: June 21, 2010
Early registration: T.B.A.
Late registration: T.B.A.
Workshop: August 16-17, 2010

Submit to

Please submit to https://www.easychair.org/login.cgi?conf=arcoe10

Workshop Co-Chairs

Alan Bundy
School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK.
Tel: +44-131-650-2716, Fax No.: +44-131-650-6899, website: http://homepages.inf.ed.ac.uk/bundy

Jos Lehmann (primary contact)
School of Informatics, University of Edinburgh, Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, UK.
Tel: +44-131-650-2725, Fax No.: +44-131-650-6899, website: http://www.inf.ed.ac.uk/people/staff/Jos_Lehmann.html

Guilin Qi
School of Computer Science and Engineering, Southeast University, 211189, Jiangning District, Nanjing, China.
Fax: +86-25-52090880, website: http://cse.seu.edu.cn/people/qgl/index_en.htm

Ivan José Varzinczak
Meraka Institute, Meiring Naude Road, CSIR, 0001 Pretoria, South Africa.
Tel: +27-12-841-25-94, website: http://en.varzinczak.net16.net

Program Committee

- Grigoris Antoniou (FORTH, Greece)
- Franz Baader (TU Dresden, Germany)
- Richard Booth (University of Luxembourg and Mahasarakham University, Thailand)
- Paolo Bouquet (University of Trento, Italy)
- Jerome Euzenat (INRIA Grenoble Rhone-Alpes, France)
- Giorgos Flouris (FORTH, Greece)
- Chiara Ghidini (FBK Fondazione Bruno Kessler, Italy)
- Deborah McGuinness (Rensselaer Polytechnic Institute, USA)
- Thomas Meyer (Meraka Institute, South Africa)
- Maurice Pagnucco (The University of New South Wales, Australia)
- Valeria de Paiva (Cuil Inc., USA)
- Jeff Pan (University of Aberdeen, UK)
- Dimitris Plexousakis FORTH, Greece)
- Luciano Serafini (FBK Fondazione Bruno Kessler, Italy)
- Renata Wassermann (Universidade de Sao Paulo, Brazil)