posted by user: xpontus || 1458 views || tracked by 3 users: [display]

DL 2010 : 23rd International Workshop on Description Logics

FacebookTwitterLinkedInGoogle

Link: http://www.cs.uwaterloo.ca/conferences/dl2010
 
When May 4, 2010 - May 7, 2010
Where Waterloo, Canada
Submission Deadline Jan 26, 2010
Notification Due Mar 9, 2010
Final Version Due Mar 30, 2010
Categories    logic
 

Call For Papers

----------------------------------------------------------------------

23rd International Workshop on Description Logics (DL 2010)
SECOND CALL FOR PAPERS
Waterloo, Ontario, Canada

http://www.cs.uwaterloo.ca/conferences/dl2010/

The DL workshop is the major annual event of the description logic
research community. The workshop is the premier forum to meet, discuss
and exchange experiences among all those, both in the academia and
industry, who are interested in description logics and their
applications.

----------------------------------------------------------------------

IMPORTANT DATES

Paper submission deadline: January 26th, 2010
Acceptance notification: March 9th, 2010
Camera ready copies: March 30th, 2010
Early registration: March 30th, 2010
Workshop: May 4 to May 7th

----------------------------------------------------------------------

WORKSHOP SCOPE

We invite contributions on all aspects of description logics,
such as

* foundations of description logics, including expressive power,
decidability and complexity of reasoning, novel inference problems,
and reasoning techniques for solving these problems;

* extensions of description logics, including, but not limited to,
closed-world and nonmonotonic reasoning, defaults, epistemic
reasoning, temporal and spatial reasoning, procedural knowledge, and
query languages;

* integration of description logics with other formalisms, such as
object-oriented representation languages, database query languages,
constraint-based programming, logic programming, and rule-based
systems;

* use of description logics in applications or areas such as ontology
engineering, ontology languages, databases, semi-structured data,
document management, natural language, learning, planning, semantic
web, and grid computing;

* building systems based on description logics, with special emphasis
on optimization and implementation techniques; and

* tools that exploit description logic reasoning, such as ontology
editors, database schema design, query optimization, and data
integration tools.

----------------------------------------------------------------------

SUBMISSION DETAILS

We invite submissions of papers in Springer LNCS style, see

http://www.springer.com/comp/lncs/Authors.html

to arrive no later than January 26th, 2010.

The length of submissions is limited to 11 pages, including title and
abstract (can be omitted if necessary), and list of references.
Papers must be submitted in PDF format via EasyChair; see

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

The workshop proceedings will be made available electronically in the
CEUR Workshop Proceedings series; see

http://www.CEUR-ws.org/

Accepted submissions will be selected for either oral or poster
presentation; however, no distinction will be made in the workshop
proceedings: all accepted papers can be 11 pages long.

----------------------------------------------------------------------

WORKSHOP CHAIRS

* Grant Weddell, Waterloo (Workshop Chair)
* Volker Haarslev, Concordia (PC Chair)
* David Toman, Waterloo (PC Chair)

----------------------------------------------------------------------

INVITED SPEAKERS

* Ian Horrocks (Oxford)
* Phokion Kolaitis (UC Santa Cruz)
* Roberto Sebastiani (Trento)

----------------------------------------------------------------------

PROGRAMME COMMITTEE

Carlos Areces (LORIA, France)
Alessandro Artale (Free University of Bozen-Bolzano, Italy)
Meghyn Bienvenu (University of Bremen, Germany)
Alex Borgida (Rutgers University, USA)
Andrea Cali (University of Oxford, UK)
Diego Calvanese (Free University of Bozen-Bolzano, Italy)
Bernardo Cuenca Grau (University of Oxford, UK)
Giuseppe De Giacomo (Sapienza Universita di Roma, Italy)
Achille Fokoue (IBM Research, USA)
Enrico Franconi (Free University of Bozen-Bolzano, Italy)
Rajeev Gore (Australian National University, Australia)
Stijn Heymans (TU Vienna, Austria)
Pascal Hitzler (Wright State University, USA)
Ian Horrocks (University of Oxford, UK)
Ulrich Hustadt (University of Liverpool, UK)
Yevgeny Kazakov (University of Oxford, UK)
Boris Konev (University of Liverpool, UK)
Roman Kontchakov (Birkbeck University of London, UK)
Thomas Lukasiewicz (University of Oxford, UK)
Carsten Lutz (University of Bremen, Germany)
Tommie Meyer (Meraka Institute, South Africa)
Maja Milicic (University of Manchester, UK)
Ralf Moeller (Hamburg University of Technology, Germany)
Boris Motik (University of Oxford, UK)
Jeff Z. Pan (University of Aberdeen, UK)
Bijan Parsia (University of Manchester, UK)
Peter F. Patel-Schneider (Bell Labs Research, USA)
Riccardo Rosati (Sapienza Universita di Roma, Italy)
Sebastian Rudolph (University of Karlsruhe, Germany)
Uli Sattler (University of Manchester, UK)
Stefan Schlobach (Vrije Universiteit Amsterdam, The Netherlands)
Luciano Serafini (ITC-IRST, Italy)
Evren Sirin (Clark & Parsia, USA)
Viorica Sofronie-Stokkermans (Max-Planck-Institute, Germany)
Giorgos Stamou (National Technical University of Athens, Greece)
Umberto Straccia (ISTI-CNR, Italy)
Anni-Yasmin Turhan (TU Dresden, Germany)
Frank Wolter (University of Liverpool, UK)
Misha Zakharyaschev (Birkbeck University of London, UK)

----------------------------------------------------------------------

RESOURCES

* Information about registration, travel information, accommodation,
and so on will be made available on the DL 2009 homepage:

http://www.cs.uwaterloo.ca/conferences/dl2010/

* Enquiries about the DL 2009 workshop can be made by contacting
the organizing committee:

dl2010@easychair.org

* The official Description Logic home page is at

http://dl.kr.org/

----------------------------------------------------------------------

Related Resources

AISTATS 2020   The 23rd International Conference on Artificial Intelligence and Statistics
ICALP 2020   47th International Colloquium on Automata, Languages and Programming
LNLM-SI-DL 2020   Special Issue on Deep Learning Methods: Trends and Applications
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
COMPUTATION TOOLS 2020   The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
CONCUR 2020   31st International Conference on Concurrency Theory
EDBT 2020   23rd International Conference on Extending Database Technology
IULP 2020   3rd International Workshop on User-Oriented Logic Paradigms
SLIE 2020   Semantic, Logics, Information Extraction and AI
MICCAI 2020   23rd International Conference on Medical Image Computing and Computer Assisted Intervention