Logic List Mailing Archive

Final CfP: STeDy 2012

27-28 Aug 2012
Montpellier, France

STeDy 2012 Final Call: Demos, Short Position Papers

We invite you to participate in the STeDy 2012 workshop. Furthermore, 
there exists a final opportunity to directly contribute to the scientific 
program of the workshop: we solicit proposals for presenting a *system 
demo* or for presenting preliminary work by way of a *short paper*.

Workshop
Spatio-Temporal Dynamics (STeDy 2012)
at ECAI 2012, Montpellier, France.
http://stedy.spatialnetwork.org/
Workshop duration: Two days

How to propose demos, and short position papers?

- Demo proposals would describe a complete or work-in-progress system or 
project to be presented at the workshop. The demo proposal should clearly, 
and briefly state how the demo relates to the theme of the workshop, and 
what is going to be presented. Demos may use a combination of methods: 
video recording, system execution+examples, and slides. The proposal for a 
demo could up to 1 to 2 pages.

- Short position abstracts would ideally describe work-in-progress or 
early ideas requiring discussion in 2 pages.

Both demo proposals and short papers should follow the submission format / 
style for ECAI, and submit the contribution as a PDF (without 
headers/footers, page numbers etc).

Upcoming due dates in 2012
Short papers: July 15
Demo proposals: July 15
Notifications: July 18
Workshop dates: Aug 27-28

Workshop Theme
Commonsense, Space, and Change

Keynote speakers
- Patrick Doherty (Linköping University, Sweden)
   On: Leveraging KR Techniques in Autonomous Unmanned Aircraft Systems

- Christian Freksa (University of Bremen, Germany)
   On: Spatial Computing for Commonsense Reasoning

- Gérard Ligozat (Paris-Sud University, France)
   On: Three decades of Qualitative Spatial and Temporal Reasoning

Scientific Program

Full papers are presently undergoing peer-review; schedule will be 
announced in due course after the notifications for demos and short 
papers.

Workshop Format: keynotes, paper presentations, discussion sessions, 
system demos, short presentations (subject to relevant submissions)

Student Scholarships: Sponsored by the Spatial Cognition Research Center 
(SFB/TR 8). Details online.

Organising Committee:
Mehul Bhatt (University of Bremen, DE),
Hans Guesgen (Massey University, NZ)
Ernest Davis (New York University, USA)
=================================================================


================
About STeDy 2012
================

We are pleased to announce the newest edition of the International Workshop on Spatio-Temporal Dynamics (STeDy 2012) as a two-day event at the European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France. The workshop is co-chaired by Mehul Bhatt, Hans Guesgen, and Ernest Davis, and is driven by an international Program and Advisory Committee from diverse areas including Logic, Computer Science, Geography, Linguistics, Mathematics, and Philosophy.

Theme: STeDy-12 focusses on the theme: Commonsense, Space, and Change, and the contemporary scientific agenda of STeDy addresses several areas within Knowledge Representation and Reasoning (KR) in particular, and reaches out to all sub-disciplines within Artificial Intelligence, Spatial Cognition, and Cognitive Technologies in general.

Core areas being addressed include:
* Spatial Representation and Reasoning
* Commonsense Reasoning
* Qualitative Reasoning
* Reasoning about Actions and Change
* Logic-based Modelling of Dynamic Systems
* Language, Ontology, and Space
* Spatial Learning
* Cognitive Technologies and Spatial Cognition

Main topics of interest include:
* Representing and reasoning about dynamic spatial systems
* Non-monotonic reasoning in dynamic spatial systems
* Abduction for spatial knowledge discovery
* Spatio-Temporal Abduction, Causal explanation with spatio-temporal data
* Declarative spatial representation and reasoning, with:
 	- Logic Programming, Abductive Logic Programming
 	- Constraint Logic Programming
 	- Answer-Set Programming
* Qualitative Reasoning
* Spatial representation and reasoning
* Visual and diagrammatic reasoning
* Spatial and physical reasoning
* Concurrency in the spatial domain
* Integrated approaches for modelling and reasoning about space, actions and change
* Event-based Modelling
* Spatio-Temporal Narratives
* Spatio-Temporal Query Languages
* Commonsense ontologies of spatio-temporal dynamics
* Integrated spatial and ontological reasoning
* Ontologies for spatial scene descriptions (e.g., indoor environments, room-space)
* Grounding processes for perceptual environmental data with spatial ontologies
* Space, Motion, Natural Language
* Mapping of NL to spatial representation and reasoning
* Geometric Space, Mereology, Mereogeometry
* Commonsense and Qualitative models of visibility
* Learning of commonsensical, qualitative spatial representations
* Qualitative abstractions for Machine Learning
* Planning, explanation, simulation, and learning within dynamic spatial systems

Application Areas:
* Spatial Computing for Design (e.g., diagnosis, requirement consistency)
* Cognitive Robotics (e.g., high-level spatial planning & control)
* Geospatial Dynamics (e.g., reasoning with events and processes in GIS)
* Behaviour and Activity Interpretation
* Ambient Intelligence and Smart Environments
* Computer-Aided Learning (CAL) (e.g., question-answering, NLU applications)
* Computer-Aided Design (CAD)
* Sketch Recognition and Understanding
* Location-based Services
* Real-time Systems (e.g., traffic, transportation)
* Assistive technologies dealing with spatio-temporal Information
* Commonsense notions of space & change in biology, physics, and chemistry
* Hybrid Intelligent Sytems with a Spatial, Temporal or Spatio-Temporal component

Format:
We seek to provide a forum to stimulate and facilitate an active exchange on interdisciplinary applications, ideas, and methods in the above stated areas. The format of the workshop will combine invited speakers, peer-reviewed full contributions, as well as short position papers and posters, and will allow ample time for open discussions amongst the participants.

Scholarships:
Competitive Student Scholarships sponsored by the Spatial Cognition Research Center (SFB/TR 8) will be awarded. Eligibility criteria and application procedure have been announced on the workshop website.

Programme Committee:
* Alia Abdelmoty (Cardiff University, UK)
* Andrew Lovett (Northwestern University, USA)
* Antony Galton (University of Exeter, UK)
* Bernhard Nebel (University of Freiburg, DE)
* Christophe Claramunt (Naval Academy Research Institute, FR)
* Diedrich Wolter (University of Bremen, DE)
* Ernest Davis (New York University, USA)
* Esra Ardem (Sabanci University, TR)
* Frank Dylla (University of Bremen, Germany)
* Gerhard Lakemeyer (Aachen University of Technology, DE)
* Hans Guesgen (Massey University, NZ)
* Inderjeet Mani (Children's Organization of Southeast Asia)
* Jean-Francois Condotta (University of Artois, FR)
* John Stell (University of Leeds, UK)
* Joohyung Lee (Arizona State University, USA)
* Kathleen-Stewart Hornsby (University of Iowa, USA)
* Matt Klenk (PARC, USA)
* Mehul Bhatt (University of Bremen, DE)
* Nico Van de Weghe (Ghent University, BE)
* Paulo E. Santos (Technical University FEI, BR)
* Philippe Muller (Université Paul Sabatier, FR)
* Reinhard Moratz (University of Maine, USA)
* Shyamanta Hazarika (Tezpur University, IN)
* Stefan Woelfl (University of Freiburg, DE)
* Vinay Chaudhri (SRI International, USA)

Organising Committee:
* Mehul Bhatt (University of Bremen, DE)
* Hans Guesgen (Massey University, NZ)
* Ernest Davis (New York University, USA)

Details information can be accessed at:
STeDy URL. http://stedy.spatialnetwork.org/

Queries may be addressed to:
{bhatt@informatik.uni-bremen.de, h.w.guesgen@massey.ac.nz, davise@cs.nyu.edu}

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