CFP: 1st International Workshop on Advanced Reasoning Technology (ART2012) for e-Science (second call, deadline extended)

============================================================
The First International Workshop on Advanced Reasoning Technology (ART) for
e-Science
         November 28, 2012, Paphos, Cyprus (http://wasp.cs.vu.nl/art2012/)
Collocated with the 13th International Conference on Web Information System
Engineering (WISE2012)
============================================================

Overview
---------
Reasoning and inference about semantically annotated data is a key
technology for any future application aiming at exploring digital
information. The ART2012 workshop is a reaction on the novel challenges of
the Semantic Web, which the modern information mining and reasoning
technology face with. Among those challenges are size, completeness,
closeness, trustworthiness, consistence, coherence, and dynamic nature of
the explored data. The workshop will elaborate a strategy and a roadmap for
the traditional reasoning approaches such as complete and deductive
reasoning to be advanced by the novel techniques such as automated and
streaming reasoning in order to get a dominating position on the
Intelligent Information Management system market, leveraging the on-demand
infrastructures such as high performance computing and Cloud.

ART2012 will continue the discussion forum started at the previous
workshops such as NeFoRS'07, NeFoRS'08, SR'09, and NeFoRS'10.

The ART workshop invites submissions that address world-class research and
development and highlight innovative and emerging systems, methods, and
technologies in Semantic Web Reasoning. The workshop explores the latest
and most innovative work in the following topics:

-> scalable reasoning for the Web
-> automated reasoning
-> web scale querying and searching
-> reasoning with inconsistent ontologies
-> temporal and spatial reasoning in the Semantic Web
-> abduction reasoning in the Semantic Web
-> stream reasoning in the Semantic Web
-> efficient storage of structured data that scale to a very large size
-> reasoning with large, expressive or distributed ontologies
-> distribution and parallelization for semantic reasoning
-> cognitively-inspired approaches to deal with large and dynamic
information
-> implementation and evaluation of scalable and dynamic reasoners
-> applications of reasoning on large and dynamic datasets

Key dates
---------
Full Paper Submission Deadline: September 17, 2012.
Acceptance notification: October 8, 2012.
Camera ready: October 24, 2012.
Workshop Full-day: November 28, 2012.

Venue information
---------------------
The workshop will take place in Paphos, Cyprus, November 28, 2012,
http://wasp.cs.vu.nl/art2012/.
The workshop is collocated with the WISE2012 conference,
http://www.wise2012.cs.ucy.ac.cy/.

Submission Guidelines
---------------------
The workshop invites full papers (up to 14 pages) as well as short papers
(up to 6 pages).
Submissions should be formatted according to the Lecture Notes in Computer
Science guidelines
for proceedings available at
http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0.
Papers should be submitted in the PDF format.

Submission performs via the Easy Chair system set up at
http://www.easychair.org/conferences?conf=art2012

Publication
----------------
Proceedings of the workshop will be published online. All papers presented
at the workshop will be invited
to be revised and extended for a second peer-review process to be published
by Springer in the Lecturer Notes
in Computer Science series.

Workshop Chairs
----------------
    Alexey Cheptsov, High Performance Computing Center Stuttgart (HLRS),
Universitat Stuttgart, Germany
    Jeff Pan, University of Aberdeen, UK
    Zhisheng Huang, Free University of Amsterdam, the Netherlands

Program Committee
-----------------
Frank van Harmelen, Vrije Universiteit Amsterdam
Stefan Wesner, High Performance Computing Center Stuttgart, Germany
Marko Grobelnik, Jozef Stefan Institute in Ljubljana, Slovenia
Volker Tresp, Ludwig Maximilian University of Munich, Germany
Michael Witbrock, Cycorp, USA
Dongmo Zhang, University of Western Sydney, Australia
Frank van Harmelen, Vrije University Amsterdam, the Netherlands
Kewen Wang, Griffith University, Australia
Guilin Qi, Southeast University, China
Grigoris Antoniou, University of Huddersfield, Greece
Jianfeng Du, Guangdong University of Foreign Studies, China
Luciano Serafini, FBK-IRST
Giorgos Stoilos, Information System Group, University of Oxford

Contact
-------
Dr. Alexey Cheptsov, email: cheptsov<add>hlrs.de, tel.: +49-711-68560470