Logic List Mailing Archive

Shapes 2.0: The shape of things

29 Mar - 7 Apr 2013
Rio de Janeiro, Brazil

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

FIRST CALL FOR PAPERS:

SHAPES 2.0 - THE SHAPE OF THINGS
at the 4th World Congress and School on Universal Logic (UNI-LOG 2013)
March 29 - April 7, 2013 - Rio de Janeiro, Brazil

http://cindy.informatik.uni-bremen.de/cosy/events/shapes2/
IAOA supported event (www.iaoa.org)

Papers due: November 12, 2012
Workshop date: between April 3-7, 2013

- INVITED KEYNOTE SPEAKERS
Antony Galton (University of Exeter, United Kingdom)
Roberto Casati (Institut Nicod, France)
Simon Colton (Imperial College London, United Kingdom)
Roberto M. Cesar Jr (University of Sao Paulo, Brazil)


- ORGANISING COMMITTEE
Oliver Kutz (University of Bremen, Germany)
Mehul Bhatt (University of Bremen, Germany)
Paulo Santos (Centro Universitrio da FEI, Brazil)
Stefano Borgo (LOA, ISTC-CNR, Italy)

(Please distribute as appropriate)

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

SHAPE, FORM, and STRUCTURE are some of the most elusive notions within many different disciplines ranging from the natural sciences through engineering to art.  Several approaches have been proposed to study notions of shape, form and structure from different viewpoints, yet a comprehensive formal treatment of these notions is currently lacking and an interdisciplinary perspective has not yet been put forward.

This workshop serves as an interdisciplinary platform for the discussion of all topics connected to shape (broadly understood): perspectives from psycho-linguistics, ontology, logic, computer science, mathematics, aesthetics, cognitive science and beyond are welcome to contribute and participate.

We seek to provide a forum to stimulate and facilitate an active exchange on interdisciplinary ideas, methods, and applications in the area of modelling shape, form, pattern and function. 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.


TOPICS INCLUDE:


LINGUISTICS / PHILOSOPHY
     shape and form in natural language
     differences between shape, form, structure, and pattern
     shape in natural and artificial objects

COGNITION
     shape perception and mental representation
     gestalt vs. structuralist understanding of shape cognition
     perception and shape (e.g. identifying objects from incomplete visual information)
     affordances, dispositions, and shape

LOGICS, SPATIAL REPRESENTATIONS
     formal characterisations of shape and form
     logics for shape: e.g. fuzzy, modal, intensional, etc.
     logics for topology, symmetry, shape similarity etc.

     design semantics, spatial semantics
     shape and 3D space
     shape and space in creative assistance systems

ONTOLOGY
     ontologies and classifications of shapes
     ontological relations among shape, objects and functions
     patterns as shapes of processes
     forms and patterns in ontology


APPLICATIONS
     biology & chemistry: molecular shapes, shape in anatomy and phenotype definitions, shape in medical image analysis and annotation
     visual art and aesthetics; shape in Film and Photography; shape in computational creativity
     naive physics and geography: e.g. qualitative classifications of shapes of geographic objects
     design & architecture: shape grammars; CAD, symmetry and beauty in architectural design
     engineering: formal shape analysis in engineering processes



KEY DATES:

Paper submissions:  November 12
Notification of paper acceptance:   December 16
Camera-ready copies:   January 14
Online papers/proceedings:   February 28
Workshop date:  between April 3-7, 2013

Page length: 7-10 pages


FORMAT:
http://cindy.informatik.uni-bremen.de/cosy/events/shapes2/submissions/


ONLINE SUBMISSIONS VIA:
http://www.easychair.org/conferences/?conf=shapes20


ORGANISING COMMITTEE:

Oliver Kutz (University of Bremen, Germany)
Mehul Bhatt (University of Bremen, Germany)
Paulo Santos (Centro Universitrio da FEI, Sao Paulo, Brazil)
Stefano Borgo (LOA, ISTC-CNR, Trento; KRDB Free University of Bolzano, Italy)


PROGRAM COMMITTEE: (to be completed)

Colin Batchelor (RSC, Cambridge, UK)
John Bateman (University of Bremen, Germany)
Thomas Bittner (SUNY, Buffalo, USA)
Mehul Bhatt (University of Bremen, Germany)
Stefano Borgo (KRDB Free University of Bolzano, Italy)
Walter Carnielli (State Uni. of Campinas, Brazil)
George Gkoutos (University of Cambridge, UK)
Michael Grninger (University of Toronto, Canada)
Giancarlo Guizzardi (Federal University of Esprito Santo, Brazil)
Roberto Hirata Jr. (University of Sao Paulo, Brazil)
Ingvar Johansson (Umea University, Sweden)
Joao Kogler (University of Sao Paulo, Brazil)
Kai-Uwe Kuehnberger (University of Osnabrueck, Germany)
Oliver Kutz (University of Bremen, Germany)
Frieder Nake (University of Bremen, Germany)
Paulo Santos (Centro Universitrio da FEI, Sao Paulo, Brazil)


For more information, the workshop website can be accessed at:
http://cindy.informatik.uni-bremen.de/cosy/events/shapes2/

Organisers can be contacted by email at: shapes.workshop@gmail.com

Best regards,
SHAPES 2.0 Organisation
Oliver Kutz, Mehul Bhatt, Paulo Santos, Stefano Borgo