Australasian Ontology Workshop (AOW 2010)

6th Australasian Ontology Workshop (AOW 2010)
                              7 December 2010 
                       Held in Conjunction with the 
23rd Australasian Joint Conference on Artificial Intelligence (AI2010)
                              Adelaide, Australia
                   http://krr.meraka.org.za/~aow2010

AOW 2010 is the sixth in a series of workshops on ontologies held 
in the Australasian region.

The primary aim of the workshop is to bring together active researchers in
the broad area of ontologies. Topics of interest include, but are not 
limited to:

- Ontology models and theories         
- Ontologies and the Semantic Web     
- Interoperability in ontologies      
- Ontologies and Multi-agent systems                                        
- Description logics for ontologies  
- Reasoning with ontologies 
- Ontology harvesting on the web      
- Ontology of agents and actions
- Ontology visualisation  
- Ontology engineering and management
- Ontology-based information extraction  and retrieval
- Ontology merging, alignment and integration
- Web ontology languages
- Formal concept analysis and ontologies 
- Ontologies for e-research
- Linking open data
- Significant ontology applications

The proceedings of all previous Australasian Ontology 
Workshops were published in the CRPIT Series and this 
will also be the case for AOW 2010.

Authors of the best papers will be invited to submit 
extended versions of their AOW 2010 papers as chapters in 
a forthcoming Springer book.

For the second year running, AOW 2010 will have a best paper 
award, with a prize of $250(AUD) being awarded to the 
author(s) of the best paper. 

Important Dates:
Paper submission deadline: 24 September 2010
Notification of acceptance/rejection: 22 October 2010
Camera-ready copies due: 12 November 2010
AOW 2010: 7 December 2010

Papers must be submitted via the EasyChair system at

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

Workshop Chairs:
Thomas Meyer
Meraka Institute, South Africa
tommie.meyer@meraka.org.za

Mehmet Orgun
Macquarie University
mehmet.orgun@mq.edu.au

Kerry Taylor
CSIRO ICT Centre
Kerry.Taylor@csiro.au


Program Committee :
Franz Baader (TU Dresden, Germany)
Arina Britz (Meraka Institute, South Africa)
Werner Ceusters (SUNY Buffalo, USA)
Michael Compton (CSIRO, Australia)
Oscar Corcho (Universidad Politecnica de Madrid, Spain)
R. Cenk Erdur (Ege University, Turkey)
Aurona Gerber (Meraka Institute, South Africa)
Dennis Hooijmaijers (University of South Australia, Australia)
Bo Hu (SAP Research, UK)
Renato Iannella (NICTA, Australia)
Ken Kaneiwa (NICT, Japan)
Marijke Keet (Free University of Bolzano, Italy)
Kevin Lee (NICTA and UNSW, Australia)
Laurent Lefort (CSIRO, Australia)
Costas Mantratzis (University of Westminster, UK)
Lars Moench (University of Hagen, Germany)
Maurice Pagnucco (UNSW, Australia)
Debbie Richards (Macquarie University, Australia)
Rolf Schwitter (Macquarie University, Australia)
Murat Sensoy (Bogazici University, Turkey)
Markus Stumptner (University of South Australia, Australia)
Boontawee (Meng) Suntisrivaraporn (Thammasat University, Thailand)
Sergio Tessaris (Free University of Bolzano, Italy)
Nwe Ni Tun (National University of Singapore, Singapore)
Ivan Varzinczak (Meraka Institute, South Africa)
Kewen Wang (Griffith University, Australia)

UniDL'10 - First International Workshop on Uncertainty in Description Logics

                 New submission deadline: 11. of April
-------------------------------------------------------------------

                          UniDL'10
First International Workshop on Uncertainty in Description Logics
             co-located with IJCAR 2010 at FLoC 2010

                        July 20, 2010

                        Edinburgh, UK


             http://lat.inf.tu-dresden.de/UniDL
-------------------------------------------------------------------


During the recent decade, handling uncertainty has started to play an
important role in ontology languages, especially in application areas
like the Semantic Web, biomedicine, and artificial intelligence. For
this reason, there is currently a strong research interest in
description logics (DLs) that allow for dealing with uncertainty. The
subject of the workshop is how to deal with uncertainty and
imprecision in Description Logics (DLs).  This encompasses approaches
that enable probabilistic or fuzzy reasoning in DLs, but the workshop
is also open for approaches based on other uncertainty formalisms. The
workshop focusses on the investigation of reasoning problems and
approaches for solving them, including especially tractable ones. For
classical DL reasoning problems such as subsumption and
satisfiability, algorithms that can handle uncertainty exist, but they
are still less well-investigated than in the case of standard DLs
without uncertainty. For novel reasoning services, such as query
answering, computation of generalizations, modules, or explanations,
it is not yet clear how to realize them in DLs that can express
uncertainty.


SPONSOR

UniDL is sponsored by the Artificial Intelligence Journal (AIJ)


INVITED SPEAKER

Ralf Moeller,  Hamburg University of Technology


TOPICS OF INTEREST

include but are not limited to:

    * Modeling of uncertain knowledge in DLs
    * Different formalisations of uncertainty for DLs
    * Formal semantics for uncertain information in DLs
    * Extensions of DL reasoning problems to uncertainty
    * Reasoning algorithms for DLs with uncertainty, in particular
    * Tableau algorithms for probabilistic DLs or fuzzy DLs
    * Tractable DLs with uncertainty
    * Complexity of uncertain reasoning
    * System descriptions for implemented reasoning algorithms
      in uncertain DLs
    * Novel applications of DLs with uncertainty
    * Open and future problems


IMPORTANT DATES:

*New* submission deadline: April 11, 2010
             Notification: April 29, 2010
            Final version:   May 18, 2010
                 Workshop:  July 20, 2010


SUBMISSION DETAILS:

The workshop welcomes submissions in pdf format in Springer's LNCS
style. Submissions can be
- technical papers not exceeding 10 pages,
- system descriptions not exceeding 6 pages, or
- position papers on work in progress not exceeding 3 pages
in LNCS. Submissions are via EasyChair at
http://www.easychair.org/conferences/?conf=unidl10 . The workshop
prceedings will be published as CEUR proceedings.

We adopt the same double submission policy as the DL workshop,
that is, we also welcome submissions of papers that have recently
been published at other conferences and workshops (e.g., KR,
AAAI, ECAI, DL, and URSW).


WORKSHOP CHAIRS:

- Thomas Lukasiewicz,    Oxford University, UK
- Rafael Penaloza,       TU Dresden, Germany
- Anni-Yasmin Turhan,    TU Dresden, Germany


PROGRAM COMMITTEE:

- Eyal Amir,   University of Illinois, Urbana-Champaign
- Fernando Bobillo,  University of Zaragoza
- Simona Colucci,  Technical University of Bari
- Fabio G. Cozman,  University of Sao Paulo
- Manfred Jaeger,  Aalborg University
- Pavel Klinov,  University of Manchester
- Ralf Moeller,  Hamburg University of Technology
- Mathias Niepert,  University of Mannheim
- Stefan Schlobach,  Vrije Universiteit Amsterdam
- Luciano Serafini,  IRS Trento
- Giorgos Stoilos,  Oxford University
- Umberto Straccia,  ISTI-CNR
- Guilin Qi,  Southeast University, China

Fifth "Starting Artificial Intelligence Research" Symposium - STAIRS-2010

######################################################################
## STAIRS-2010 ##         Call for Papers            ## STAIRS-2010 ##
######################################################################

The Fifth "Starting Artificial Intelligence Research" Symposium

16-20 August 2010 ## Lisbon, Portugal

http://ecai2010.appia.pt/

Deadline for submission of papers: Monday, 3 May 2010

######################################################################
## INTRODUCTION                                                     ##
######################################################################

The STAIRS-10 is the fourth European Starting AI Researcher Symposium.
STAIRS is an international meeting intended to support AI researchers,
from all countries, at the beginning of their career: PhD students or
people holding a PhD for less than one year. STAIRS-2010 will be
co-located with ECAI-2010, the European Conference on AI, in Lisbon,
Portugal, over 16-20 August 2010.

STAIRS offers doctoral students and young post-doctoral AI fellows:

* a first experience on submitting and presenting a paper in an
  international forum with a broad scope and a peer review process

* an opportunity to gather knowledge and exchange ideas related to
  their research problems and approaches together with information on
  European research careers and mobility.

Co-location with both ECAI and PAIS aims at creating a unique and
valuable opportunity for young researchers to gain experience at
presenting their work in a supportive scientific environment, and
obtain constructive feedback on the technical content of the work as
well as how to present the work and other related topics.

######################################################################
## TOPICS OF INTEREST                                               ##
######################################################################

Papers are welcome on all aspects of contemporary AI, including, but
not restricted to:

* Agents & Multiagent Systems
* Case-Based Reasoning
* Cognitive Modeling & Interaction
* Constraints & Search
* Knowledge Representation & Reasoning
* Machine Learning
* Model-Based Reasoning
* Natural Language Processing
* Perception & Sensing
* Planning & Scheduling
* Robotics
* Uncertainty in AI
* Applications of AI

An extensive list of subtopics is available at the conference website.

######################################################################
## IMPORTANT DATES                                                  ##
######################################################################

Paper submission deadline:
Monday, 3 May 2010

Notification of acceptance/rejection:
Friday, 28 May 2010

Conference:
16-20 August 2010

######################################################################
## PAPER FORMATTING & SUBMISSION INFORMATION                        ##
######################################################################

Papers must not exceed SIX (6) pages in camera-ready
format. Over-length submissions will be rejected without
review. Papers for STAIRS should be submitted using the ECAI
formatting style; details of the style are available at:

http://www.csc.liv.ac.uk/~mjw/ecai2010.zip

This file unpacks to a directory "ecai2010", and contains LaTeX and
other style files. The file "ecai2010.tex" is an example paper in
LaTeX format using the appropriate styles, and can be used as a
template for submissions.

Each accepted paper will be allocated SIX (6) pages in the
proceedings.

Multiple submissions with ECAI and PAIS is allowed if this is clearly
indicated on a front page preceding the paper itself. In borderline
cases single submissions will be preferred over multiple
submissions. In case of multiple acceptances the author(s) are
strictly required to withdraw their paper from all but one of the
events.

The proceedings of STAIRS, together with those of its associated
events, ECAI and PAIS, will be published and distributed by IOS
Press as a book and as a CD-ROM. The authors will be responsible for
producing camera-ready copies of papers, conforming to the ECAI 2010
formatting guidelines for inclusion in the proceedings. At least one
author of each accepted paper or poster is required to attend the
conference to present the contribution.

Submission and review of papers for ECAI-2010 will be managed via the
EasyChair system:

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

All submissions will be subject to LIGHT TOUCH review, with the goal
of providing constructive feedback to authors.

Depending on the quality of submissions, a subset of accepted papers
will be invited to submit a revised version to a journal special
issue.

IMPORTANT NOTE: At least one of the authors must be a PhD student, or
a person holding a PhD for less than one year. Papers not satisfying
this criterion will be rejected.

######################################################################
## ORGANISATION                                                    ##
######################################################################

STAIRS General Chair:

Thomas Ågotnes (mailto:Thomas.Agotnes@infomedia.uib.no)
University of Bergen, Norway

######################################################################



----------------------------------------------------------------------
Thomas Ågotnes
Department of Information Science and Media Studies
University of Bergen
P.O. Box 7802, N-5020 Bergen, Norway
Tel: (+47) 55584105  Fax: (+47) 55589149
Thomas.Agotnes@infomedia.uib.no
http://folk.uib.no/nmita/

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 

UniDL'10 - First International Workshop on Uncertainty in Description Logics

                          UniDL'10
First International Workshop on Uncertainty in Description Logics
             co-located with IJCAR 2010 at FLoC 2010

                        July 20, 2010

                        Edinburgh, UK


             http://lat.inf.tu-dresden.de/UniDL
-------------------------------------------------------------------


During the recent decade, handling uncertainty has started to play an
important role in ontology languages, especially in application areas
like the Semantic Web, biomedicine, and artificial intelligence.  For
this reason, there is currently a strong research interest in
description logics (DLs) that allow for dealing with uncertainty. The
subject of the workshop is how to deal with uncertainty and
imprecision in Description Logics (DLs).  This encompasses approaches
that enable probabilistic or fuzzy reasoning in DLs, but the workshop
is also open for approaches based on other uncertainty formalisms. The
workshop focusses on the investigation of reasoning problems and
approaches for solving them, including especially tractable ones. For
classical DL reasoning problems such as subsumption and
satisfiability, algorithms that can handle uncertainty exist, but they
are still less well-investigated than in the case of standard DLs
without uncertainty. For novel reasoning services, such as query
answering, computation of generalizations, modules, or explanations,
it is not yet clear how to realize them in DLs that can express
uncertainty.


SPONSOR

UniDL is sponsored by the Artificial Intelligence Journal (AIJ)


INVITED SPEAKER

Ralf Moeller,  Hamburg University of Technology


TOPICS OF INTEREST

include but are not limited to:

    * Modeling of uncertain knowledge in DLs
    * Different formalisations of uncertainty for DLs
    * Formal semantics for uncertain information in DLs
    * Extensions of DL reasoning problems to uncertainty
    * Reasoning algorithms for DLs with uncertainty, in particular
    * Tableau algorithms for probabilistic DLs or fuzzy DLs
    * Tractable DLs with uncertainty
    * Complexity of uncertain reasoning
    * System descriptions for implemented reasoning algorithms
      in uncertain DLs
    * Novel applications of DLs with uncertainty
    * Open and future problems


IMPORTANT DATES:

Submission deadline: March 25, 2010
       Notification: April 28, 2010
      Final version:   May 18, 2010 **Updated**
           Workshop:  July 20, 2010


SUBMISSION DETAILS:

The workshop welcomes submissions in pdf format in Springer's LNCS
style. Submissions can be
- technical papers not exceeding 10 pages,
- system descriptions not exceeding 6 pages, or
- position papers on work in progress not exceeding 3 pages
in LNCS. Submissions exceeding these limits will not be
reviewed. Submissions are via EasyChair at
http://www.easychair.org/conferences/?conf=unidl10 .


WORKSHOP CHAIRS:

- Thomas Lukasiewicz,    Oxford University, UK
- Rafael Penaloza,       TU Dresden, Germany
- Anni-Yasmin Turhan,    TU Dresden, Germany


PROGRAM COMMITTEE:

- Eyal Amir,   University of Illinois, Urbana-Champaign
- Fernando Bobillo,  University of Zaragoza
- Simona Colucci,  Technical University of Bari
- Fabio G. Cozman,  University of Sao Paulo
- Manfred Jaeger,  Aalborg University
- Pavel Klinov,  University of Manchester
- Ralf Moeller,  Hamburg University of Technology
- Mathias Niepert,  University of Mannheim
- Stefan Schlobach,  Vrije Universiteit Amsterdam
- Luciano Serafini,  IRS Trento
- Giorgos Stoilos,  Oxford University
- Umberto Straccia,  ISTI-CNR
- Guilin Qi,  Southeast University, China

3rd International Workshop on Logics, Agents, and Mobility (LAM'10)

3rd International Workshop on Logics, Agents, and Mobility (LAM'10)

http://www.dur.ac.uk/lam.10

15 July 2010, Edinburgh, Scotland, UK

organised as satellite workshop at the Twenty-Fifth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2010), Edinburgh, Scotland, UK
(part of FLoC 2010)



Workshop Purpose:

The aim of this series of workshops is to bring together active researchers in the areas of logics and other formal frameworks that can be used to describe and analyse dynamic or mobile systems. The main focus is on the field of logics and calculi for mobile agents, and multi-agent systems. 

Many notions used in the theory of agents are derived from philosophy, logic, and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. The workshop intends to encourage discussion and work across the boundaries of the traditional disciplines.

Outside of academia, distributed systems are a reality and agent programming is beginning established itself as a serious contender against more traditional programming paradigms. For example, the deployment of large-scale pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs, etc.) raises a number of scientific and technological challenges for the  modelling and programming of such large-scale, open and highly-dynamic distributed systems. The agent and multi-agent systems approach seems particularly adapted to tackle this challenge, but there are many issues remaining to be investigated. For instance, the agents must be location-aware since the actual services available to them may depend on their (physical or virtual) location. The quality and quantity of resources at their disposal is also largely fluctuant, and the agents must be able to adapt to such highly dynamic environments. Moreover, mobility itself raises a large number of difficult issues related to safety and security, which require the ability to reason about the software (e.g. for analysis or verification). 

Logics and type systems with temporal or other kinds of modalities (relating to location, resource and/or security-awareness) play a central role in the semantic characterisation and verification of mobile agent systems. In the past two or three years, some logics have been proposed that would be able to handle certain aspects of these requirements, but there are still many open problems and research questions in the theory of such systems. The workshop is intended to showcase results and current work being undertaken in the areas outlined above with a focus on logics and other formalisms for the  specification and verification of dynamic, mobile systems.


Scopes of Interest:

The main topics of interest include
- specification and reasoning about agents, MAS, and mobile systems
- modal and temporal logics
- model-checking 
- treatment of location and resources in logics
- security
- type systems and static analysis
- logic programming
- concurrency theory with a focus on mobility or dynamics in agent systems.


Previous Workshops:

LAM'08: 4--8 August 2008 at ESSLI in Hamburg, Germany 
LAM'09: 10 August 2009 at LICS in Los Angeles, USA


Format of the Workshop:

The workshop will be held as a one day event after LICS. There will 
be a short introduction and brief survey of the field by the 
organiser as an introduction to the workshop.

The workshop will contain invited talks, contributed talks, and a 
discussion session. The latter is will give the participants a 
chance to discuss informally research directions, open problems, and 
possible co-operations.


Submission details:

Authors are invited to submit a full paper of original work in the 
areas mentioned above. The workshop chair should be informed of 
closely related work submitted to a conference or journal in advance 
of submission. One author of each accepted paper will be expected to 
present it at the LAM'10 workshop. Submissions should not exceed 15 
pages, preferably using LaTeX and a suitable class for the proceedings. 
The following formats are accepted: PDF, PS. 

Please send your submission electronically via
EasyChair 
by the deadline listed below. The submissions will be reviewed by 
the workshop's programme committee and additional reviewers. 
Accepted papers will appear in electronic proceedings (probably in  EPTCS) 
and authors will be encouraged to re-submit papers to formal proceedings 
to be published as a separate publication, e.g. as a special journal issue.


Invited Speakers:

David Pym (University of Bath and HP)
TBA


Important Dates:

Submission Deadline: 9 April 2010
Notification: 1 May 2010
Workshop: 15 July 2010


Programme Committee:

Thomas Agotnes, Bergen, Norway
Matteo Baldoni, Torino, Italy
Marina De Vos, Bath, UK
Louise Dennis, Liverpool, UK
Jürgen Dix, Clausthal, Germany
Berndt Farwer (chair), Durham, UK
Michael Fisher, Liverpool, UK
Didier Galmiche, Nancy, France
James Harland, Melbourne, Australia
Andreas Herzig, Toulouse, France
Wojtek Jamroga, Clausthal, Germany
Michael Köhler-Bußmeier, Hamburg, Germany
João Leite, Lisbon, Portugal
Alessio Lomuscio, London, UK
Dale Miller, INRIA, France
Frederic Peschanski, Paris, France
Vladimiro Sassone, Southampton, UK
Wamberto Vasconcelos, Aberdeen, UK


Further Information:

About the workshop: http://www.dur.ac.uk/lam.10
About LICS: http://www2.informatik.hu-berlin.de/lics/lics10/

22th International IEEE Conference on Tools with Artificial Intelligence (IEEE-ICTAI'10)

IEEE-ICTAI'10

22th International IEEE  Conference on Tools with Artificial Intelligence

                 October 27-29, 2010, Arras, France

          45 mn from Charles de Gaulle Paris 
International Airport by direct train
                               or
              50 mn from downtown Paris by direct train


                   http://www.cril.univ-artois.fr/ictai10/

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

Paper submission: June 6, 2010
Paper notification: July 15, 2010
Camera ready paper: August 31, 2010

========================================================

Aim & Scope
-------------------

The annual IEEE International Conference on Tools 
with Artificial Intelligence (ICTAI)
provides a major international forum where the 
creation and exchange of ideas related to
artificial intelligence are fostered among 
academia, industry, and government agencies. The
conference facilitates the cross-fertilization of 
these ideas and promotes their transfer into
practical tools, for developing intelligent 
systems and pursuing artificial intelligence
applications. The ICTAI encompasses all technical 
aspects of specifying, developing and
evaluating the theoretical underpinnings and 
applied mechanisms of the AI based components
of computer tools (i.e. algorithms, architectures and languages).

Topics (not limited to)
-------------------------------

AI Algorithms
AI in Bioinformatics
AI in Computer Security
AI in Databases and Data Mining
AI in E-commerce
AI in Games
AI in Information Assurance
AI in Logistics
AI in Medicine
AI in Multimedia Systems
AI in Real-time & Embedded Applications
AI in Robotics
AI in Software Engineering
Case-Based Reasoning
Cognitive Modelling
Constraint Programming
Collaborative Software Agents
Reasoning Under Fuzziness or Uncertainty
Evolutionary Computing
Hybrid Intelligent Systems
Information Retrieval
Intelligent Tutoring/Training Systems
Intelligent Internet Agents
Intelligent Interface Agents
Knowledge-based Systems
Knowledge Extraction
Knowledge Management and Sharing
Knowledge Representation and Reasoning
Machine Learning
Natural Language Processing and Understanding
Neural Networks
Ontologies
Planning and Scheduling
Qualitative Reasoning
Search and Heuristics, SAT, CSP, QBF
Semantic Web-Techniques & Technologies
Speech Processing and Understanding
Vision/Image Processing & Understanding

Paper Submission
---------------------------

The submissions should contain original, high 
quality, not submitted or published elsewhere
work. Papers should be submitted electronically 
(through ICTAI 2010 web site) in pdf format
and should conform to IEEE specifications 
(single-spaced, double-column, 10-point font size,
up to 8 pages).

Paper Presentation
----------------------------

Each accepted paper should be presented by one of 
the authors and accompanied by at least
one full registration fee payment, to guarantee 
publication in the proceedings. All accepted
papers will be included in proceedings of ICTAI 
2010, which will be published by the IEEE.

IJAIT special issue
---------------------------

Extended versions of the best papers of the 
conference will be invited for publication in a
special issue of the International Journal on 
Artificial Intelligence Tools (IJAIT) (SCI
Indexed).

Further Information
---------------------------

Éric Grégoire (PC Chair)
CRIL UMR 8188 CNRS
Université d'Artois
rue Jean Souvraz SP18
F-62307 Lens, FRANCE

Email: gregoire [at] cril [dot] univ-artois [dot] fr

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

Nikolaos Bourbakis, (Chair)
Chittoor V. Ramamoorthy
Jeffrey Tsai
Benjamin W. Wah
Farokh B. Bastani
Soon Chung
Despina Kavraki
Ioannis Hatziligeroudis

Co-general chairs
-------------------------

Naohiro Ishii (Asian liaison)
Phil Sheu (USA liaison) 
Youssef Hamadi (European liaison)

Program Committee Chair
-------------------------------------

Éric Grégoire

Area Chairs
-----------------

Shyi-Ming Chen
Diane Cook
Alfredo Cuzzocrea
Jin-Kao Hao
Vasant Honavar
Nobuhiro Inuzuka
Daniel Kayser
Taghi Khoshgoftaar
Vasile Palade
Luigi Portinale
Henri Prade
Marie-Christine Rousset
Andreas-Georgios Stafylopatis
Karl Tombre
Zhi-Hua Zhou
Du Zhang
Sotirios Ziavras

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

Hamid Aghajan
Charles Anderson
Spyros Angelopoulos
Asa Ben-Hur
Antonio Berlanga-de-Jesus
Philippe Besnard
Harry Bunt
Philippe Chatalic
Nicolae Constantin
Aaron Crandall
Belen Diaz Agudo
Xin Geng
Malik Ghallab
Francois Goasdoué
Jose Juarez Herrero
Yin-Tong Hsiao
Thomas R. Ioeger
Yuji Iwahori
Fabrice Jouanot
Hyunju Kim
Helge Langseth
Huey-Ming Lee
Giorgio Leonardi
Yung-Ho Leu
Xiaoou Li
Yanjun Li
Dan Lopresti
Congnan Luo
Tony R. Martinez
Bertrand Mazure
Stefania Montani
Naoto Mukai
Tsuyoshi Nakamura
Mehmet Orgun
Jeng-Shyang Pan
John Paxton
Jun Peng
Vir Phoha
Cedric Piette
Parisa Rashidi
Marek Reformat
Lorenza Saitta
Erik Sandewall
Lakhdar Saïs
Vincent Schmidt
Jianqiang Shen
Victor R. L. Shen
Marina Sokolova
ChewLim Tan
Alexandre Termier
Douglas Vieira
Toby Walsh
Marcel Worring
Ioannis Zaharakis
Daoqiang Zhang

Financial Chair Manuel Demont
---------------------

Registration Chair  Nadine Kucharski
--------------------------

Publication Chair Bertrand Mazure
------------------------

Webmaster Fabien Delorme
----------------

Local Arrangements Committee
----------------------------------------------

Assef Chmeiss
Jean-Luc Coquidé (chair)
Tiago de Lima
Anne Parrain
Cédric Piette
Lakhdar Saïs
Sébastien Tabary

Workshop on Adaptation, Personalization and REcommendation in the Social-semantic Web (APRESW 2010)

1st International Workshop on Adaptation, Personalization and REcommendation
in the Social-semantic Web (APRESW 2010) 
30 or 31 May 2010 | Heraklion, Greece
http://ir.ii.uam.es/apresw2010/

In conjunction with the
7th Extended Semantic Web Conference (ESWC 2010) 
http://www.eswc2010.org/

============================================================ 

+++++++++++++++
Important dates
+++++++++++++++

   * Paper submission:                           7 March 2010
   * Notification of paper acceptance/rejection: 5 April 2010
   * Camera-ready copies of accepted papers:     18 April, 2010
   * APRESW 2010 Workshop:                       30 or 31 May 2010

++++++++++
Motivation
++++++++++

During the last years, researchers and practitioners of the Semantic Web
have progressively consolidated a number of very important achievements.
Formal languages have been standardized to define ontology-based knowledge
representations, logic formalisms and query models. Ontology engineering
methodologies and tools have been proposed to ease the designing and
populating of ontological knowledge bases. Reasoning engines have been
implemented to exploit inference capabilities of ontologies, and
semantic-based frameworks have been built to enrich the functionalities of
Web services. These achievements are the pillars to deal with the complex
challenge of bringing semantics to the Web.

The above gives a new ground to extend the focus of the Semantic Web by
engaging it in other communities, where semantics can play an important
role. The available semantic knowledge bases can be used to enrich and link
additional repositories, ontology engineering techniques can be utilized to
properly design and build ontologies in further real-world domains, and
inference and query mechanisms can enhance classic information management
and retrieval approaches.

Among these communities, this workshop aims to attract the attention of
students and professionals both from academia and industry who take benefit
of semantic-based techniques and technologies in within-application
Adaptation, Personalization and Recommendation approaches. In parallel to
the progress made in the Semantic Web research topics, there have been
appearing works in the above areas that use ontologies to model the user’s
preferences, tastes and interests, and exploit these personal features
together with meta-information about multimedia contents in order to provide
the user with adaptation and personalization capabilities for different
purposes such as information retrieval and item recommendation.

Moreover, with the advent of the Web 2.0 (also called the Social Web), the
potential study and development of those approaches have increased
exponentially. Social networks allow people to provide explicit
relationships with others, and find out implicit user similarities based on
their profiles. Social tagging services offer the opportunity to easily
create and exploit personal knowledge representations. Wiki-style sites
represent an environment where the community contributes and shares
information, and blogs are media in which users express subjective opinions.
In all of these scenarios, adaptation, personalization and recommendation
are core functionalities. However, the understanding and exploitation of the
semantics underlying user and item profiles are still open issues.

++++++++++++++++++
Topics of interestco
++++++++++++++++++

The workshop will focus on establishing user/usage models for adaptation,
personalization and recommendation approaches for the Social-semantic Web.

Topics of interest include, but are not limited to the exploitation of the
Web of Data, the identification of semantics underlying social annotations
of multimedia contents, and the application of semantic-based techniques and
technologies in research fields related to:

   * Personalized access to multimedia content
   * Content-based recommendation and collaborative filtering
   * Adaptive exploration of multimedia content
   * Adaptive user interfaces for multimedia content browsing and searching
   * Community extraction and exploitation
   * Social networks analysis for collaborative recommendation
   * User profile construction based on social tagging information
   * Context-aware multimedia content access and delivery
   * Mobile and ubiquitous multimedia content access and delivery

++++++++++++++++++++
Organizing Committee
++++++++++++++++++++

   * Iván Cantador, Universidad Autónoma de Madrid, Spain
   * Peter Mika, Yahoo! Research, Spain
   * David Vallet, Universidad Autónoma de Madrid, Spain
   * José C. Cortizo, Universidad Europea de Madrid, Spain
   * Francisco M. Carrero, Universidad Europea de Madrid, Spain

+++++++++++++++++
Program Committee
+++++++++++++++++

   * Sofia Angeletou, Knowledge Media Institute, The Open University, UK
   * Ching-man Au Yeung, NTT Communication Science Labs, Japan
   * Pablo Castells, Universidad Autónoma de Madrid, Spain
   * Manuel Cebrián, Massachusetts Institute of Technology, USA
   * Rosta Farzan, Carnegie Mellon University, USA
   * Miriam Fernández, Knowledge Media Institute, The Open University, UK
   * Enrique Frías, Telefónica I+D, Spain
   * Ana García-Serrano, Universidad Nacional de Educación a Distancia,
Spain
   * Andrés García-Silva, Universidad Politécnica de Madrid, Spain
   * Tom Heath, Talis, UK
   * Frank Hopfgartner, University of Glasgow, UK
   * Ioannis Konstas, University of Edinburgh, UK
   * Estefanía Martín, Universidad Rey Juan Carlos, Spain
   * Phivos Mylonas, National Technical University of Athens, Greece
   * Daniel Olmedilla, Telefónica I+D, Spain
   * Carlos Pedrinaci, Knowledge Media Institute, The Open University, UK
   * Jérôme Picault, Alcatel-Lucent Bell Labs, France
   * Francesco Ricci, Free University of Bozen-Bolzano, Italy
   * Sergey A. Sosnovsky, University of Pittsburgh, USA
   * Martin Szomszor, City University London, UK
   * Marc Torrens, Strands, Spain
   * Paulo Villegas, Telefónica I+D, Spain

++++++++++
Organizers
++++++++++

   * Universidad Autónoma de Madrid, http://www.uam.es/
   * Yahoo! Research, http://research.yahoo.com/
   * Universidad Europea de Madrid, http://www.esp.uem.es/gsi/

++++++++
Sponsors
++++++++

   * Ministerio de Ciencia e Innovación de España (CENIT-2007-1012),
https://i3media.barcelonamedia.org/
   * Consorcio MAVIR, http://www.mavir.net
   * Sistema Madri+d, http://www.madrimasd.org

+++++++++++++++++++
Contact information
+++++++++++++++++++

Dr. Iván Cantador
Departamento de Ingeniería Informática
Escuela Politécnica Superior
Universidad Autónoma de Madrid, Spain
E-mail: ivan.cantador@uam.es
Phone: +34 91 497 2358

CfP: Active Media Technology 2010

####################################################################
            Active Media Technology 2010

                  CALL FOR PAPERS
####################################################################

2010 International Conference on Active Media Technology (AMT 2010)

August 28-30, 2010, Toronto, Canada

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

Co-organized by Web Intelligence Consortium (WIC) 
                IEEE Task Force on Brain Informatics (IEEE TF-BI)
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,
##################################################################

In the great digital era, we are witnessing many rapid
scientific and technological developments in human-centred,
seamless computing environments, interfaces, devices, and
systems with applications ranging from business and communication
to entertainment and learning. These developments are collectively
best characterized as Active Media Technology (AMT), a new area
of intelligent information technology and computer science that
emphasizes the proactive, seamless roles of interfaces and systems
as well as new media in all aspects of digital life. An AMT based
system offers services to enable the rapid design, implementation
and support of customized solutions.

The first International Conference on Active Media Technology
(AMT01) was held in Hong Kong in 2001, the second International
Conference on Active Media Technology (AMT04) was held in Chongqing,
China in May 29-31 of 2004, the third International Conference on
Active Media Technology (AMT05) was held in Kagawa, Japan in May
2005, the fourth International Conference on Active Media
Technology (AMT06) was held in Brisbane, Australia in June 7-9,
2006, and the fifth International Conference on Active Media
Technology (AMT09) was jointly held with the 2009
International Conference on Brain Informatics (BI 2009).
Following the success of AMT01, AMT04, AMT05, AMT06 and AMT09,
the Sixth International Conference on Active Media Technology
(AMT10) will be held in Toronto, Canada from August 28-30, 2010.

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

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

CONFERENCE TOPICS AND AREAS INCLUDE, BUT NOT LIMITED TO

* Active Computer Systems and Intelligent Interfaces
* Adaptive Web Systems and Information Foraging Agents
* Agent-Based Software Engineering and Multi-Agent Systems
* AMT for Semantic Web and Web2.0
* Cognitive Foundations for AMT
* Conversational Informatics
* Data Mining, Ontology Mining and Web Reasoning
* Digital City and Digital Interactivity
* E-Commerce and Web Services
* E-learning
* Entertainment and Social Applications of Active Media
* Evaluation of Active Media and AMT Based Systems
* Human-Web Interaction
* Human Factors in AMT
* Information Retrieval
* Machine Learning and Human-Centred Robotics
* Multi-Modal Processing, Detection, Recognition, and
  Expression Analysis
* Network, Mobile and Wireless Security
* Personalized, Pervasive, and Ubiquitous Systems and their
  Interfaces
* Semantic Computing for Active Media and AMT Based Systems
* Sensing Web
* Smart Digital Media
* Trust on Web Information Systems
* Web Based Social Networks
* Web Mining, Wisdom Web and Web Intelligence

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

High-quality papers in all AMT 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).
Extensions of selected papers from the proceedings will be
considered for publication in special issues of international journals,
including Journal of Intelligent Information Systems (Springer, 
http://www.editorialmanager.com/jiis/).

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. Detailed instructions and a paper submission form
can be found the AMT'10 Web page at http://www.wici-lab.org/amtbi10/

A selected number of the best papers from AMT'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 "Web Intelligence and Agent Systems: An International Journal"
(http://wi-consortium.org/journal.html) by IOS Press.

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

AMT 2010 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:
 * Sheela Petty, University of Regina, Canada
 * Runhe Huang, Hosei University, Japan

Program Chairs:
 * Pawan Lingras, Saint Mary's University, Halifax, Canada
 * Aijun An, York University, Toronto, Canada

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

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

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 Tech. Committee & WI/IAT Steering 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: Pawan Lingras  pawan@cs.smu.ca
       Aijun An  aan@cse.yorku.ca

16th Intl. Conference on Logic for Programming, Artificial Intelligence and Reasoning

=====================
                           CALL FOR SHORT PAPERS
                           =====================

                                  LPAR-16
           
                 16th International Conference on Logic for
             Programming, Artificial Intelligence and Reasoning

                           April 25 - May 1, 2010
                               Dakar, Senegal
                        http://www.lpar.net/lpar-16/


The series of International Conferences on Logic for Programming, Artificial 
Intelligence and Reasoning (LPAR) is a forum where, year after year, some of 
the most renowned researchers in the areas of logic, automated reasoning, 
computational logic, programming languages and their applications come to 
present cutting-edge results, to discuss advances in these fields, and to 
exchange ideas in a scientifically emerging part of the world. The 16th 
edition will be held in Dakar, Senegal.

  ---------------------------------------------------------------------------
  In keeping with the tradition of LPAR, researchers and practioners are 
  encouraged submit short papers reporting on interesting work in progress or 
  providing system descriptions. They need not be original. Extended versions 
  of the short papers may be submitted concurrently with or after LPAR-16 to 
  another conference or a journal.
  ---------------------------------------------------------------------------

Logic is a fundamental organizing principle in nearly all areas in Computer 
Science. It runs a multifaceted gamut from the foundational to the applied. 
At one extreme, it underlies computability and complexity theory and the 
formal semantics of programming languages. At the other, it drives billions 
of gates every day in the digital circuits of processors of all kinds. Logic 
is in itself a powerful programming paradigm but it is also the quintessential 
specification language for anything ranging from real-time critical systems 
to networked infrastructures. Logical techniques link implementation and 
specification through formal methods such as automated theorem proving and 
model checking. Logic is also the stuff of knowledge representation and 
artificial intelligence. Because of its ubiquity, logic has acquired a 
central role in Computer Science education.

Topics
------
New results in the fields of computational logic and applications are welcome. 
Also welcome are more exploratory presentations, which may examine open 
questions and raise fundamental concerns about existing theories and practices.

Topics of interest include, but are not limited to:
   * Automated reasoning
   * Verification
   * Interactive theorem proving and proof assistants
   * Model checking
   * Implementations of logic
   * Satisfiability modulo theories
   * Rewriting and unification
   * Logic programming
   * Satisfiability checking
   * Constraint programming
   * Decision procedures
   * Logic and the Web
   * Ontologies and large knowledge bases
   * Logic and databases
   * Modal and temporal logics
   * Program analysis
   * Foundations of security
   * Description logics
   * Non-monotonic reasoning
   * Specification using logics
   * Logic in artificial intelligence
   * Logic and types
   * Logical foundations of programming
   * Logical aspects of concurrency
   * Logic and computational complexity
   * Knowledge representation and reasoning
   * Logic of distributed systems

Programme Chairs
----------------
   * Ed Clarke
   * Andrei Voronkov

Programme Committee
-------------------
   * Rajeev Alur
   * Matthias Baaz
   * Peter Baumgartner
   * Armin Biere
   * Nikolaj Bjorner
   * Iliano Cervesato
   * Agata Ciabattoni
   * Hubert Comon-Lundh
   * Nachum Dershowitz
   * Juergen Giesl
   * Guillem Godoy
   * Georg Gottlob
   * Jean Goubault-Larrecq
   * Reiner Haehnle
   * Claude Kirchner
   * Michael Kohlhase
   * Konstantin Korovin
   * Laura Kovacs
   * Orna Kupferman
   * Leonid Libkin
   * Aart Middeldorp
   * Luke Ong
   * Frank Pfenning
   * Andreas Podelski
   * Andrey Rybalchenko
   * Helmut Seidl
   * Geoff Sutcliffe
   * Ashish Tiwari
   * Toby Walsh
   * Christoph Weidenbach

Submission Details
------------------
Short papers are limited in length to 5 pages in the EasyChair format. The 
class style may be downloaded from http://www.easychair.org/easychair.zip. 
Short papers must be submitted through the EasyChair system using the web 
page ...
     http://www.easychair.org/conferences/?conf=lpar16short

The short paper proceedings will be available as an EasyChair collection 
volume.

Participation
-------------
Authors of accepted papers are required to ensure that at least one of them 
will be present at the conference. Papers that do not adhere to this policy 
will be removed from the proceedings.

Important Dates
---------------
Paper submission deadline:  17 March 2010
Notification of acceptance: 25 March 2010
Final version:               1 April 2010
LPAR-16:                    25 April - 1 May 2010

11th Intl. Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI)

++++++++++++++++++++++++++++++++++++++++++++++++++++

                 Preliminary Call for Papers

                          CLIMA XI
               11th International Workshop on
         Computational Logic in Multi-Agent Systems

with special sessions on:
           * Norms and Normative Multi-Agent Systems.
           * Logics for Games and Strategic Reasoning.

        http://centria.di.fct.unl.pt/events/climaXI/

            Lisbon, Portugal, August 16-17, 2010.

                  Affiliated with ECAI'10.
                Submission deadline: May 7th.

Proceedings: LNCS/LNAI volume (available at the workshop).

AMAI Special Issue: Selected extended papers will be published in a
Special Issue of Annals of Mathematics and Artificial Intelligence.

++++++++++++++++++++++++++++++++++++++++++++++++++++

The purpose of the CLIMA Workshop Series is to provide a forum for
discussing techniques, based on computational logic, for representing,
programming and reasoning about agents and multi-agent systems in a
formal way.

Following the previous ten, very successful, editions, the 11th CLIMA
will be affiliated with ECAI'10 and will take place in Lisbon, Portugal,
on the 16th and 17th of August 2010.

In addition to CLIMA's regular topics and sessions, this edition will
feature two special sessions:

* Norms and Normative Multi-Agent Systems
* Logics for Games and Strategic Reasoning

We welcome and encourage the submission of high quality, original
papers, which have not been accepted for publication nor are currently
under review for another journal or conference.

LNCS Proceedings: CLIMA's Proceedings will be published by
Springer as a volume in the Lecture Notes in Computer Science, and
will be available in time for the workshop.

AMAI Special Issue: After the workshop, authors of selected papers will
be invited to extend and re-submit their work to be considered for inclusion
in a CLIMA Special Issue of Annals of Mathematics and Artificial Intelligence.

Detailed information regarding CLIMA, its topics of interest, the two Special
Sessions, formatting and submission instructions is available at
http://centria.di.fct.unl.pt/events/climaXI/

Important dates:
* Submission: May 7th
* Notification: June 4th
* Camera Ready: June 16th

CLIMA XI Chairs:
* Jürgen Dix, Technical University of Clausthal, Germany
* João Leite, New University of Lisbon, Portugal

Special Session Organisers:
* Guido Governatori, NICTA, Australia (Norms and Normative Multi-Agent Systems)
* Wojtek Jamroga, University of Luxembourg, Luxembourg (Logics for
Games and Strategic Reasoning)

Please send all enquiries about CLIMA XI to clima2010@easychair.org.

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

Logics for Games and Strategic Reasoning

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

    Special session on ==Logics for Games and Strategic Reasoning==
       at CLIMA XI (Computational Logic in Multi-Agent Systems)
               Lisbon, Portugal, August 16-17, 2010
                     (colocated with ECAI'10)
      http://centria.di.fct.unl.pt/events/climaXI/sessions.html

                       1st Call for Papers

************************************************************************
Submission deadline: May 7th.
Proceedings: LNCS/LNAI volume (available at the workshop).
Postproceedings: extended versions of selected papers will be published
in a special issue of Annals of Mathematics and Artificial Intelligence.
************************************************************************


INTRODUCTION

Strategic reasoning occurs in many multi-agent systems. This is
especially evident in game-theoretical and decision-theoretical models
of MAS, but also in more informal settings using the game metaphor (like
computer games or social network services). Mathematical logic can
contribute to this view in many ways by providing specifications,
models, and/or algorithms for game-like scenarios. We invite papers that
address how logic can contribute to our understanding, modeling and
analysis of games, but also ones that investigate how the metaphor of
games and strategies can help in constructing and using logical formalisms.

The list of subjects includes (but is not limited to) the following topics:
- Logics for reasoning about games and strategies
- Modal logics of strategic ability
- Logical foundations of game and decision theory
- Logical approaches to rationality and bounded rationality
- Solving games and verification of strategies by model checking
- Logics for mechanism design
- Game semantics for logics
- Games in verification of logical specifications

SUBMISSION

We encourage submission of high quality, original papers which have not
been accepted for publication nor are currently under review for another
journal or conference. Submissions should not exceed 16 pages in the
Springer LNCS format. For templates and instructions for authors, see
http://www.springer.de/comp/lncs/authors.html . Papers should be
submitted electronically via EasyChair:
http://www.easychair.org/conferences/?conf=clima2010 .

PROCEEDINGS AND POST-PROCEEDINGS

LNCS Proceedings: All the accepted papers (including special session
papers) will be published by Springer as a volume in Lecture Notes in
Computer Science, and will be available in time for the workshop.

AMAI Special Issue: After the workshop, authors of selected papers will
be invited to extend and re-submit their work to a special issue of
Annals of Mathematics and Artificial Intelligence.

IMPORTANT DATES

Paper submission:                              May 7, 2010
Author notification:                          June 4, 2010
Camera-ready deadline:                       June 16, 2010
Workshop:                               August 16-17, 2010

ORGANIZATION AND CONTACT

The special session is organized by Wojtek Jamroga, University of
Luxembourg. In case of questions, please do not hesitate to contact us
at wojtek.jamroga@uni.lu . General questions about CLIMA XI should be
sent to clima2010@easychair.org .

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