Programming Multi-Agent Systems (ProMAS'12)

Tenth International Workshop on Programming Multi-Agent Systems (ProMAS'12)


ProMAS'12 is a satellite workshop at AAMAS 2012 Valencia, Spain, 4-5 June 2012


Over the last decade, the ProMAS workshop series has provided a venue
for state-of-the-art research in programming languages and tools for
the development of multi-agent systems. With the increasing commercial
application of multi-agent systems, the need for development tools and
platforms capable of supporting "professional" or "industrial
strength" MAS development has only increased. Such languages and tools
must be developed in a way that is principled and and at the same time
practical, and ProMAS aims to address both theoretical and practical
issues related to developing and deploying multi-agent systems.

Now in its 10th edition, ProMAS has proved to be an invaluable venue
for bringing together leading researchers from both academia and
industry to discuss key issues in the design of programming languages
and tools for multi-agent systems. In particular, the workshop
promotes the discussion and exchange of techniques, concepts,
requirements and principles central to multi-agent programming
technology. These include the theory and application of agent
programming languages, how to effectively implement a multi-agent
system specification or design, the verification and analysis of agent
systems, as well as the implementation of social structures in
agent-based systems (e.g., organisations, coordination, and
communication in multi-agent systems).

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

TOPICS OF INTEREST

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

- Programming languages, models and abstractions for MAS
- Extensions of traditional languages for multi-agent programming
- Programming mobile agents
- Semantics for multi-agent programming languages
- Computational complexity of MAS
- Algorithms, techniques, or protocols relevant to multi-agent
programming (e.g., coordination, cooperation, negotiation)
- Agent communication issues in multi-agent programming
- Programming social, organizational, and normative aspects of MAS
- Interoperability and standards for MAS
- Safety and security for mobile MAS deployment
- Fault tolerance and load balancing for mobile MAS
- Generic tools and infrastructures for multi-agent programming
- High-level executable multi-agent specification languages
- Formal methods and tools for specification and verification of MAS
- Agent/environment/interaction/organization development tools and platforms
- Benchmarks and testbeds for comparing multi-agent programming
languages and tools
- Applications of multi-agent programming languages including: legacy
systems, pervasive applications, multi-robot systems, autonomous
software (e.g., UAVs), (Semantic) Web and Grid-based applications, and
deployed (industrial-strength) multi-agent systems
- Integration of multi-agent and mainstream technologies

IMPORTANT DATES

Paper submission deadline:                    28  February 2012
Notification of acceptance/rejection:         27  March    2012
Camera-ready copies due:                      10  April    2012
Workshop Date:                                4-5 June     2012

SUBMISSION DETAILS

Authors should submit their papers via the easychair conference
management system:


Papers should be formatted using Springer LNCS style

and should be less than 16 pages in length.

PUBLICATION

Accepted papers will be appear in informal proceedings to distributed
among participants during the workshop. As was the case with previous
editions of the ProMAS workshop, we are planning to publish extended
versions of selected and invited papers as a volume of the Lecture
Notes in Computer Science series by Springer-Verlag.


ORGANISING COMMITTEE

- Mehdi Dastani (Utrecht University, Netherlands)
- Brian Logan (University of Nottingham, UK)
- Jomi Hubner (Federal University of Santa Catarina, Brazil)


STEERING COMMITTEE

- Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil)
- Mehdi Dastani (Utrecht University, Netherlands)
- Juergen Dix (Clausthal University of Technology, Germany)
- Amal El Fallah Seghrouchni (University of Paris VI, France)

6th MASTA @ EPIA 2011 - Thematic Track on Multi-Agent Systems: Theory and Applications

6th MASTA @ EPIA 2011
Thematic Track on Multi-Agent Systems: Theory and Applications

10-13 October 2011, Lisbon, Portugal

http://epia2011.appia.pt/masta

Submission deadline: May 10, 2011
---------------------------------- - - - - - - - - - -  -  -  -  -   -

---------------------------------- - - - - - - - - - -  -  -  -  -   -
Introduction
---------------------------------- - - - - - - - - - -  -  -  -  -   -

Since 1993, the area of Multi-Agent Systems (MAS) has been present in all EPIA Conferences, both as individual tracks and as autonomous workshops. Focusing on a fundamental subject of Artificial Intelligence, the 6th edition of Multi-Agent Systems: Theory and Applications - MASTA 2011 Thematic Track, will be a forum for presenting and discussing the most recent and innovative work on MAS.

Departing, from the end of the 1980’s, from the two main branches of Decentralized Artificial Intelligence and Distributed Problem Solving, research on MAS has developed in areas of increasing specialization and autonomy as diverse as agent theories and architectures, cognitive modelling, coordination, negotiation and argumentation, social organization and social simulation, swarm intelligence, and agent-oriented programming.

Agent technology has been used to solve real-world problems in a range of industrial and commercial applications, including manufacturing, supply chain management, process control, telecommunications, air traffic control, transportation systems, and business process management.

---------------------------------- - - - - - - - - - -  -  -  -  -   -
Aims and Scope
---------------------------------- - - - - - - - - - -  -  -  -  -   -

Research on MAS has a vigorous, exciting tradition and has led to important theories and systems. However, new trends and concerns are still emerging and form the basis of current and future research. This thematic track is intended to provide a discussion forum on the most recent and innovative work in all areas of MAS.

The unifying focus of the thematic track will be on methodological aspects. Both theoretical and practical research should be situated in the context of existing or new methodologies. This will not preclude any specific topic, but preference will be given to research work that establishes some connection with the methodological aspects or to successful applications built upon some methodology.

---------------------------------- - - - - - - - - - -  -  -  -  -   -
Topics of Interest
---------------------------------- - - - - - - - - - -  -  -  -  -   -

Topics of interest include, but are not limited to:

     * Agent theories, Architectures and Languages;
     * Cognitive models, including emotions and philosophies;
     * Formal Methods for Modelling Agents and MAS;
     * Cooperation, Coordination and Teamwork;
     * Automated Negotiation and Computational Argumentation;
     * Multi-Agent Evolution, Adaptation and Learning;
     * Trust and Reputation in MAS;
     * Communication: protocols and languages;
     * Artificial Social Systems;
     * Agent-Oriented Software Engineering;
     * Multi-Agent Simulation and Modelling;
     * Norms and Institutions in MAS;
     * Ethical and Legal issues raised by Agents and MAS;
     * Industrial and Commercial Applications;
     * Scalability and Performance of MAS.

---------------------------------- - - - - - - - - - -  -  -  -  -   -
Submission Information
---------------------------------- - - - - - - - - - -  -  -  -  -   -

Submission of papers is made electronically through the Conference website (epia2011.appia.pt). Authors must remove their names from the papers and should take reasonable care not to indirectly disclose their identity (blind reviewing process).

Papers should be no longer than 12 pages, including figures and references, and should be formatted according to the Springer's LNCS/LNAI format, following the instructions on Springer’s website (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).

Papers of higher quality will be published in Lecture Notes in Artificial Intelligence (LNAI), by Springer (proceedings indexed by the Thomson ISI Web of Knowledge). All other accepted papers will be published in the local proceedings.

---------------------------------- - - - - - - - - - -  -  -  -  -   -
Important Dates
---------------------------------- - - - - - - - - - -  -  -  -  -   -

     * Full Paper Submission:       May 10, 2011
     * Notification of Acceptance:  June 10, 2011
     * Camera-ready Papers:         July 1, 2011
     * Conference Date:             October 10-13, 2011

---------------------------------- - - - - - - - - - -  -  -  -  -   -
Organizing Committee
---------------------------------- - - - - - - - - - -  -  -  -  -   -

Paulo Urbano
Departamento de Informática
Faculdade de Ciências, Universidade de Lisboa
Edifício C6, Piso 3, Campo Grande
1749-016 Lisboa, Portugal
pub [at] di [dot] fc [dot] ul [dot] pt

Cesar Analide
Departamento de Informática
Universidade do Minho
Campus de Gualtar, 4710-057 Braga, Portugal
analide [at] di [dot] uminho [dot] pt

Fernando Lopes
Departamento de Modelação e Simulação
Laboratório Nacional de Energia (LNEG)
1649-038 Lisbon, Portugal
fernando [dot] lopes [at] ineti [dot] pt

Henrique Lopes Cardoso
Departamento de Engenharia Informática
Faculdade de Engenharia da Universidade do Porto
Rua Dr. Roberto Frias, 4200-465 Porto, Portugal
hlc [at] fe [dot] up [dot] pt

---------------------------------- - - - - - - - - - -  -  -  -  -   -
Additional Information
---------------------------------- - - - - - - - - - -  -  -  -  -   -

Additional information can be found at the Conference website (epia2011.appia.pt/masta) or asked for by e-mail, using the address masta2011 [at] appia [dot] pt.

---------------------------------- - - - - - - - - - -  -  -  -  -   -
Steering Committee
---------------------------------- - - - - - - - - - -  -  -  -  -   -

Eugénio Oliveira, Universidade do Porto, Portugal
Helder Coelho, Universidade de Lisboa, Portugal
João Balsa, Universidade de Lisboa, Portugal
Luís Reis, Universidade do Porto, Portugal

---------------------------------- - - - - - - - - - -  -  -  -  -   -
Program Committee
---------------------------------- - - - - - - - - - -  -  -  -  -   -

Alejandro Hérnandez, Universidad Veracruzana, Spain
Alexander Pokahr, University of Hamburg, Germany
Amal Elfallah, Université Paris VI, France
Amílcar Cardoso, Universidade de Coimbra, Portugal
Ana Paula Rocha, Universidade do Porto, Portugal
Andrea Omicini, Università di Bologna, Italy
António Pereira, Universidade do Porto, Portugal
António Rocha Costa, Universidade Federal do Rio Grande do Sul, Brazil
Carlos Martinho, Instituto Superior Técnico, Portugal
Christian Lemaître, Universidad Autonoma Metropolitana, Mexico
Cristiano Castelfranchi, ISTC-CNR, Italy
Eugénio Oliveira, Universidade do Porto, Portugal
F. Jordan Srour, American University of Beirut, Lebanon
Frank Dignum, Universiteit Utrecht, The Netherlands
Helder Coelho, Universidade de Lisboa, Portugal
Huib Aldewereld, Universiteit Utrecht, The Netherlands
Jaime Sichman, Universidade de São Paulo, Brazil
Javier Bajo, Universidad Pontificia de Salamanca, Spain
Javier Carbó, Universidad Carlos III Madrid, Spain
João Balsa, Universidade de Lisboa, Portugal
João Leite, Universidade Nova de Lisboa, Portugal
John-Jules Meyer, Universiteit Utrecht, The Netherlands
Jomi Hübner, Universidade Federal de Santa Catarina, Brazil
Jordi Sabater-Mir, IIIA-CSIC, Spain
Jörg Müller, TU Clausthal Institut für Informatik, Germany
Juan Burgillo, Universidade de Vigo, Spain
Juan M. Corchado, Universidad de Salamanca, Spain
Laurent Vercouter, École Nationale Supérieure des Mines de Saint-Étienne, France
Luís Botelho, ISCTE, Portugal
Luís Correia, Universidade de Lisboa, Portugal
Luís Macedo, Universidade de Coimbra, Portugal
Luís Moniz, Universidade de Lisboa, Portugal
Luís Reis, Universidade do Porto, Portugal
Marc Esteva, IIIA-CSIC, Spain
Michael Fisher, University of Liverpool, UK
Murat Sensoy, University of Aberdeen, UK
Neil Yorke-Smith, American University of Beirut, Lebanon
Nicoletta Fornara, Università della Svizzera Italiana (University of Lugano), Switzerland
Nuno Lau, Universidade de Aveiro, Portugal
Olivier Boissier, École Nationale Supérieure des Mines de Saint-Étienne, France
Onn Shehory, IBM Haifa Research Lab, Israel
Pablo Noriega, IIIA-CSIC, Spain
Paolo Torroni, Università di Bologna, Italy
Paulo Ferreira Jr., Universidade Federal de Pelotas, Brazil
Paulo Novais, Universidade do Minho, Portugal
Pavlos Moraitis, Université Paris Descartes, France
Pedro Mariano, Universidade de Lisboa, Portugal
Reyhan Aydogan, Bogazici University, Turkey
Rosa Vicari, Universidade Federal do Rio Grande do Sul, Brazil
Santiago Ontañón Villar, IIIA-CSIC, Spain
Virginia Dignum, Delft University of Technology, The Netherlands
Wamberto Vasconcelos, University of Aberdeen, UK
Wojtek Jamroga, University of Luxembourg, Luxembourg
Ya'akov Gal, Ben-Gurion University of the Negev, Israel
Yun-Gyung Cheong, Samsung Advanced Institute of Technologies, South Korea
Yves Demazeau, Laboratoire d'Informatique de Grenoble, France

---------------------------------- - - - - - - - - - -  -  -  -  -   -
6th Multi-Agent Systems: Theory and Applications - MASTA @ EPIA 2011
Thematic Track @ EPIA 2011                          Lisbon, PORTUGAL
http://epia2011.appia.pt/masta                    masta2011@appia.pt
---------------------------------- - - - - - - - - - -  -  -  -  -   -

2010 International Conference on Brain Informatics (BI 2010)

2010 International Conference on Brain Informatics (BI 2010)

August 28-30, 2010, Toronto, Canada

Homepage: http://www.wici-lab.org/amtbi10
Mirror page: http://www.yorku.ca/amtbi10 

Co-organized by IEEE Task Force on Brain Informatics (IEEE TF-BI)
                Web Intelligence Consortium (WIC) 
Co-sponsored by York University, Toronto, Canada
                Springer Lecture Notes in Computer Science

##################################################################
# Papers Due: *** 31 March 2010 *** 
# Accepted papers will be published by Springer as a volume of 
# the series of LNCS/LNAI.
# Extensions of selected papers from the proceedings will be
# considered for publication in special issues of journals,
##################################################################

Brain Informatics (BI) is an emerging interdisciplinary and
multi-disciplinary research field that focuses on studying the
mechanisms underlying the human information  processing system (HIPS). 
BI investigates the essential functions of the brain, ranging from
perception to thinking, and encompassing such areas as multi-
perception, attention, memory, language, computation, heuristic
search, reasoning, planning, decision-making, problem-solving,
learning, discovery, and creativity.  One goal of BI research is to
develop and demonstrate a systematic approach to an integrated
understanding of macroscopic and microscopic level working principles
of the brain, by means of experimental, computational, and cognitive
neuroscience studies, as well as utilizing advanced Web Intelligence 
(WI) centric information technologies.  Another goal is to promote
new forms of collaborative and interdisciplinary work.  New kinds
of BI methods and global research communities will emerge, through
infrastructure on the wisdom Web and knowledge grids that enables high
speed and distributed, large-scale analysis and computations, and
radically new ways of data/knowledge sharing.

The series of Brain Informatics Conferences started with
The First WICI International Workshop on Web Intelligence meets 
Brain Informatics (WImBI'06), held at Beijing, China, December 
15-16, 2006.  The second conference, Brain Informatics 2009, was 
held again in Beijing, China, October 22-24, 2009.  The Brain
Informatics Conferences provide a leading international forum to bring
together researchers and practitioners from diverse fields, such as
computer science, information technology, artificial intelligence, Web
intelligence, cognitive science, neuroscience, medical science, life
science, economics, data mining, data and knowledge engineering,
intelligent agent technology, human computer interaction, complex
systems, and system science, to explore the main research problems in
BI lie in the interplay between the studies of human brain and the
research of informatics.  On the one hand, one models and
characterizes the functions of the human brain based on the notions of
information processing systems. WI centric information technologies
are applied to support brain science studies.  For instance, the
wisdom Web and knowledge grids enable high-speed, large-scale
analysis, simulation, and computation as well as new ways of sharing
research data and scientific discoveries.  On the other hand,
informatics-enabled brain studies, e.g., based on fMRI, EEG, MEG
significantly broaden the spectrum of theories and models of brain
sciences and offer new insights into the development of human-level
intelligence on the wisdom Web and knowledge grids.

Brain Informatics 2010 will be jointly held with the 2010
International Conference on Active Media Technology (AMT 2010).  
The two conferences will have a joint opening, keynote, reception, and
banquet. Attendees only need to register for one conference and can
attend workshops, sessions, exhibits and demonstrations across the two
conferences.

+++++++++++++++++++
Topics of Interest
+++++++++++++++++++

CONFERENCE TOPICS AND AREAS INCLUDE, BUT NOT LIMITED TO

- Thinking and perception-centric investigations of HIPS:

* Human reasoning mechanisms 
  (e.g., principles of human deductive/inductive reasoning, 
   common-sense reasoning, decision making, and problem solving)
* Human learning mechanisms 
  (e.g., stability, personalized user/student models)
* Emotion, heuristic search, information granularity, and autonomy 
  related issues in human reasoning and problem solving
* Human higher cognitive functions and their relationships
* Human multi-perception mechanisms and visual, auditory, 
  and tactile information processing
* Methodologies for systematic design of cognitive experiments
* Investigating spatiotemporal characteristics and flow in HIPS and
  the related neural structures and neurobiological process 
* Cognitive architectures; their relations to fMRI/EEG/MEG
* HIPS meets complex systems
* Modeling brain information processing mechanisms
  (e.g., neuro-mechanism, mathematical, cognitive and computational models 
   of HIPS).

- Information technologies for the management and use of brain data:

* Human brain data collection, pre-processing, management, and analysis
* Databasing the brain and constructing data brain models
* Data brain modeling and formal conceptual models of human brain data
* Multi-media brain data mining and reasoning
* Multi-aspect analysis in fMRI/EEG/MEG activations
* Simulating spatiotemporal characteristics and flow in HIPS
* Developing brain data grids and brain research support portals
* Knowledge representation and discovery in neuroimaging
* Multimodal information fusion for brain image interpretation
* Statistical analysis and pattern recognition in neuroimaging

- Applications

* Neuro-economics and neuro-marketing
* Brain-Computer-Interface (BCI) 
* Brain/Cognition inspired artificial systems
* Wisdom Web systems based on new cognitive and computational models
* MCI and AD diagnosis 
* e-Science, e-Health and e-Medicine

++++++++++++++++++++++++++++++++++++
On-Line Submissions and Publication
++++++++++++++++++++++++++++++++++++

High-quality papers in all BI related areas are solicited. Papers
exploring new directions will receive a careful and supportive review. 
All submitted papers will be reviewed on the basis of technical
quality, relevance, significance, and clarity. 

The proceeding of the conference will be published by Springer as a
volume of the series of Lecture Notes in Computer Science/Lecture
Notes in Artificial Intelligence (LNCS/LNAI). (Pending for approval.)

Authors are strongly encouraged to use Springer LNCS/LNAI 
manuscript submission guidelines (available at 
http://www.springer.de/comp/lncs/authors.html) 
for their initial submissions (a maximum of 12 pages in Springer 
LNCS/LNAI style file).  All papers must be submitted electronically 
in PDF format only, using the conference management tool. 

We will also have poster, demonstration, and late breaking result 
paper sessions. More detailed instructions and a paper submission 
form can be found the BI'10 Web page at
http://www.wici-lab.org/amtbi10/

A selected number of the best papers from BI'10 will be expanded
and revised for possible inclusion in "Knowledge and Information Systems:
An International Journal" (http://www.cs.uvm.edu/~kais/) by Springer
and "Cognitive Systems Research: An International Journal"
(http://www.sciencedirect.com/science/journal/13890417) by Elsevier. 

+++++++
Awards
+++++++

BI 2009 best paper awards and student paper awards will be conferred
on the authors at the conference.  

++++++++++++++++
Important Dates
++++++++++++++++

Electronic submission of full papers 
(12 pages in Springer LNAI/LNCS style file): 
*** 31 March 2010 *** 

Notification of paper acceptance: June 1, 2010
Camera-ready of accepted papers: June 24, 2010
Conference:  August 28-30, 2010

++++++++++++++++++++++++
Conference Organization
++++++++++++++++++++++++

Conference General Chairs:
 * Tomaso Poggio, Massachusetts Institute of Technology, USA
 * Jiming Liu, Hong Kong Baptist University, HK

Program Chairs:
 * Yiyu Yao, University of Regina, Canada
 * Ron Sun, Rensselaer Polytechnic Institute, USA

Organizing Chair:
 * Jimmy Huang, York University, Toronto, Canada

Publicity Chairs:
 * Jian Yang, International WIC Institute/BJUT, China
 * Daniel Tao, Queensland University of Technology, Australia

IEEE-CIS-TFBI Chair
 * Ning Zhong, Maebashi Institute of Technology, Japan

WIC Co-Chairs/Directors:
 * Ning Zhong, Maebashi Institute of Technology, Japan
 * Jiming Liu, Hong Kong Baptist University, HK

WIC Advisory Board:
 * Edward A. Feigenbaum, Stanford University, USA
 * Setsuo Ohsuga, University of Tokyo, Japan
 * Benjamin Wah, University of Illinois, Urbana-Champaign, USA
 * Philip Yu, University of Illinois, Chicago, USA
 * L.A. Zadeh, University of California, Berkeley, USA

WIC Technical Committee:
 * Jeffrey Bradshaw, UWF/Institute for Human and Machine Cognition, USA
 * Nick Cercone, York University, Canada
 * Dieter Fensel, University of Innsbruck, Austria
 * Georg Gottlob, Oxford University, UK
 * Lakhmi Jain, University of South Australia, Australia
 * Jianchang Mao, Yahoo! Inc., USA
 * Pierre Morizet-Mahoudeaux, Compiegne University of Technology, France
 * Hiroshi Motoda, Osaka University, Japan
 * Toyoaki Nishida, Kyoto University, Japan
 * Andrzej Skowron, Warsaw University, Poland
 * Jinglong Wu, Okayama University, Japan
 * Xindong Wu, University of Vermont, USA
 * Yiyu Yao, University of Regina, Canada

*** Contact Information ***

Email: Yiyu Yao 
       Jimmy Huang 

Call for participation to the Tutorial Programming Multi-Agent Systems @ AAMAS 2010.

Call for participation to the Tutorial Programming Multi-Agent Systems @ AAMAS 2010.
------------------------------------------------------------------------------------

With the significant advances in the area of autonomous agents and multi-agent systems in recent years, promising technologies have emerged as a sensible alternative for the design of systems that can operate in complex and dynamic scenarios. However, in order for this technology to become accessible to the multi-agent research community in Academia and practitioners in Industry, it is necessary that programming languages and tools that are appropriate for developing such systems become widely known and thoroughly understood. This course aims at introducing novices, researchers, and developers (from both Academia and Industry) who already have basic notions of multi-agent systems to some of the languages, techniques, and tools that are currently available to support the effective implementation of multi-agent systems. The course will have a practical part where participants will learn and practice basic programming skills in the agent programming language GOAL.

The full day Tutorial will be held on Monday, May 10th as part of the AAMAS 2010 conference.

Please see: http://mmi.tudelft.nl/~koen/ProMASTutorial2010.html for more information.

Note that the AAMAS early registration deadline is March 12th, and that students qualify for a discounted registration fee.

ProMAS Tutorial Organizers,
Mehdi Dastani, Koen Hindriks, Joao Leite

Please contact: k.v.hindriks@tudelft.nl if you have any questions.

4th International Conference on Web Reasoning and Rule Systems (RR 2010)

4th International Conference on Web Reasoning and Rule Systems (RR 2010)


Call for Papers

Bressanone/Brixen, Italy
September 22-24, 2010

http://www.rr-conference.org/RR2010

Co-located with the Italian Workshop on Semantic Web Applications
and Perspectives (SWAP) 2010.


The International Conference on Web Reasoning and Rule Systems (RR) is
a major forum for discussion and dissemination of new results concerning
Web Reasoning and Rule Systems. RR 2010 builds on the success of the
first three International Conferences on Web Reasoning and Rule Systems
(see http://www.rr-conference.org), held in Innsbruck, Austria (2007),
Karlsruhe, Germany (2008), and Chantilly, Virginia, USA (2009), which
received enthusiastic support from the Web Reasoning community. In 2010,
RR will continue the excellence of the new series and aim to attract
the best Web Reasoning and Rules researchers from all over the world.

Suggested topics include the following (but are not limited to):

*  Representation techniques for Web-based knowledge
*  Acquisition of rules and ontologies by knowledge extraction
*  Combining open and closed-world reasoning
*  Combining rules and ontologies
*  Design and analysis of reasoning languages
*  Efficiency and benchmarking
*  Implemented tools and systems
*  Foundations and applications related to relevant standardization
     bodies such as the W3C Rule Interchange Format (RIF), Web
     Ontology Language (OWL2) and SPARQL working groups, or the
     W3C Uncertainty Reasoning for the WWW Incubator Group, etc.
*  Ontology usability
*  Ontology languages and their relationships
*  Querying and optimization
*  Rules and ontology management (such as inconsistency handling
     and evolution)
*  Reasoning with uncertainty and under inconsistency
*  Reasoning with constraints
*  Rule languages and systems
*  Rule interchange formats and Rule markup languages
*  Scalability vs. expressivity of reasoning on the Web
*  Approximate reasoning techniques for the Web
*  Integration of statistical methods and symbolic reasoning
*  Stream reasoning
*  Semantic Web Services modeling and applications
*  Web and Semantic Web applications and experience papers


PUBLICATION

The proceedings will be published by Springer in the Lecture Notes
in Computer Science (LNCS) series (acceptance pending) and will
be available at the conference. After the conference, there will
be a special issue of the (new IOS Press) journal "Semantic Web
- Interoperability, Usability, Applicability" with selected
papers from the conference.


SUBMISSION OF PAPERS

Submissions must be typeset using the Springer LaTeX2e
style llncs for Lecture Notes in Computer Science (see
http://www.springer.com/comp/lncs/Authors.html), and
must be in PDF format. Submission is via EasyChair
(http://www.easychair.org/conferences/?conf=rr2010).

The length should not exceed 15 pages for full papers,
9 pages for short papers, 4 pages for posters, and 6 pages
for system descriptions (for system demos at the conference).
The stated lengths include title, abstract, and references.
Short papers, posters, and system descriptions should be
clearly marked as such in the title and in the easychair
submission system. Submissions that deviate substantially
from these guidelines may be rejected without review.
Original research and application papers are welcome;
submissions will especially be judged for originality and
scientific quality. All accepted papers, posters, and
system descriptions will be included in the proceedings.


IMPORTANT DATES

Abstract submission deadline: May 15, 2010
Paper/poster/demo submission deadline: May 22, 2010
Paper/poster/demo accept/reject decisions: June 24, 2010
Camera-ready due: July 15, 2010
Last day for early registration fee: July 15, 2010


CONFIRMED INVITED SPEAKERS

Georg Gottlob (Oxford University, UK)


GENERAL CHAIR

José Júlio Alferes (Universidade Nova de Lisboa, Portugal)


PROGRAM CHAIRS

Pascal Hitzler (Wright State University, USA)
Thomas Lukasiewicz (Oxford University, UK)


LOCAL ARRANGEMENTS

Diego Calvanese (Free University of Bozen-Bolzano, Italy)
Mariano Rodríguez-Muro (Free University of Bozen-Bolzano, Italy)


SPONSORSHIP CHAIR

Krzysztof Janowicz (Pennsylvania State University, USA)


PROGRAM COMMITTEE

Grigoris Antoniou (University of Crete, Greece)
Marcelo Arenas (PUC Chile, Chile)
Jie Bao (Rensselaer Polytechnic Institute, USA)
Chitta Baral (Arizona State University, USA)
Leopoldo Bertossi (Carleton University, Canada)
Andrea Calì (Oxford University, UK)
Vinay Chaudri (Stanford Research Institute, USA)
Kendall Clark (Clark & Parsia, USA)
Claudia d'Amato (University of Bari, Italy)
Carlos Damasio (Universidade Nova de Lisboa, Portugal)
Wlodek Drabent (IPI PAN Warszawa, Poland)
Sergio Flesca (University of Calabria, Italy)
Christine Golbreich (University of Versailles Saint-Quentin, France)
Claudio Gutierrez (University of Chile, Chile)
Stijn Heymans (TU Vienna, Austria)
Rinke Hoekstra (VU Amsterdam, The Netherlands)
Giovambattista Ianni (University of Calabria, Italy)
Krzysztof Janowicz (Pennsylvania State University, USA)
Domenico Lembo (University of Rome "La Sapienza", Italy)
Francesca A. Lisi (University of Bari, Italy)
Gergely Lukácsy (DERI Galway, Ireland)
Jan Maluszynski (University of Linköping, Sweden)
Wolfgang May (University of Göttingen, Germany)
Ralf Möller (TU Hamburg, Germany)
Boris Motik (Oxford University, UK)
Wolfgang Nejdl (LS3 and University of Hannover, Germany)
Matthias Nickles (University of Bath, UK)
Andrea Pugliese (University of Calabria, Italy)
Guilin Qi (Southeast University, China)
Sebastian Rudolph (University of Karlsruhe, Germany)
Alan Ruttenberg (ScientificCommons, Switzerland)
Michael Sintek (DFKI GmbH, Kaiserslautern, Germany)
Umberto Straccia (ISTI-CNR Pisa, Italy)
Heiner Stuckenschmidt (University of Mannheim, Germany)
Terrance Swift (SUNY Stony Brook, USA)
Sergio Tessaris (Free University of Bozen, Italy)
Dirk Vermeir (University of Brussels, Belgium)
Zhe Wu (Oracle, USA)


FURTHER INFORMATION

For further information refer to the RR 2010 web site at

  http://www.rr-conference.org/RR2010

Deadline Extension: AISC 2010

CALL FOR PAPERS
      AISC 2010 - 10th International Conference on 
    ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION 
        Theory, Implementations and Applications
      http://cicm2010.cnam.fr/aisc/
           
     CNAM, Paris, France, July 5th - July 6th, 2010

**********************************************************************
DEADLINE EXTENSION: - Abstracts:      March 9, 2010
                    - Full papers:   March 12, 2010
**********************************************************************
INVITED SPEAKERS: James Davenport (http://people.bath.ac.uk/masjhd/)
                  Bruno Salvy     (http://algo.inria.fr/salvy/)
**********************************************************************

Artificial  Intelligence and  Symbolic Computation  are two  views and
approaches for automating  problem solving, in particular mathematical
problem solving.  The two  approaches are based  on heuristics  and on
mathematical  algorithmics, respectively. Artificial  Intelligence can
be  applied to Symbolic  Computation and  Symbolic Computation  can be
applied  to Artificial  Intelligence. Hence,  a wealth  of challenges,
ideas, theoretical insights and  results, methods and algorithms arise
in  the  interaction  of  the  two fields  and  research  communities.
Advanced tools of software technology and system design are needed and
a broad spectrum  of applications is possible by  the combined problem
solving power of the two fields.

Hence, the conference is in the center of interest and interaction for
various research communities:

 * Artificial Intelligence  * Logic
 * Symbolic Computation     * Software Technology 
 * Computer Algebra         * Semantic Web Technology
 * Automated Reasoning      * Mathematical Knowledge Management 
 * Formal mathematics       * Computer-based Math Teaching & Didactics
 * Machine Learning         * Computer-Supported Publishing 
 * Automated Discovery      * Language and System Design 
    
Topics
======

Topics of particular interest of the conference include:

  * AI in Symbolic Mathematical Computing
  * Computer Algebra Systems and Automated Theorem Provers
  * Symmetries in AI problems
  * Engineering, Industrial and Operations Research Applications
  * Foundations and Complexity of Symbolic Computation
  * Mathematical Modeling of Multi-Agent Systems
  * Implementations of Symbolic Computation Systems
  * Programming Languages for Symbolic Computation
  * Symbolic Computations for Expert Systems and Machine Learning
  * Symbolic Computation and Ontologies 
  * Logic and Symbolic Computing
  * Implementation and Performance Issues
  * Intelligent Interfaces
  * Symbolic Techniques for Document Analysis

Papers on  other topics  with links to  the above research  fields and
topics will also be welcomed for consideration.

Proceedings
===========

The proceedings of the conference will be published as a volume in the
series   Lecture   Notes   in   Artificial  Intelligence   (LNAI)   by
Springer-Verlag. Accepted papers will have to be prepared in LaTeX and
formatted according to the  requirements of the Springer's LNAI series
(the    corresponding   style   files    can   be    downloaded   from
http://www.springer.de/comp/lncs/authors.html  and  are  the same  for
LNCS and LNAI).   In addition to the  formal proceedings  published by
Springer,  we intend to  make online versions  of the published papers 
available from the conference website.

Submission
==========

Theoretical and applied research papers on all topics within the scope
of the conference are invited.  Submitted papers (in English) must not
exceed 15 pages  in length (in the LNCS style).  The title page should
contain the title,  author(s) with affiliation(s), e-mail address(es),
listing of keywords  and abstract plus the topics  from the above list
to which the paper is related. The program committee (PC) will subject
all  submitted papers  to a  peer review.  Theoretical papers  will be
judged  on their  originality  and contribution  to  their field,  and
applied papers  on the importance and originality  of the application.
Results must be original and have not been published elsewhere.

The web page for electronic submission is at:

  http://www.easychair.org/conferences/?conf=aisc20100

Best Paper Awards
=================

Every  submission automatically  competes  for the  Best Paper  Award.
Papers  which have  been mainly  developed  by (PhD)  students can  be
marked as student papers upon  submission to also compete for the Best
Student Paper Award.

Important Dates
===============

 Abstract Submission deadline (extended):       Tuesday, March 9, 2010 
 Submission deadline (extended):                Friday, March 12, 2010
 Notification:                                          April 18, 2010
 Camera Ready Version:                                  April 28, 2010
 Conference:                                     July 5 - July 6, 2010