BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260611T032318Z
DTSTART;TZID=Europe/London:20120731T100000
DTEND;TZID=Europe/London:20120731T100000
SUMMARY:Logic and Logical Philosophy: Point-free Geometry and Topology
UID:20260615T200352Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Europe/London
DESCRIPTION:<p>Guest Editors: Cristina Coppola\, Giangiacomo Gerla (Salerno\, Italy)<br><br>Deadline for submissions: 31 July 2012<br><br>Point-free systems of geometry and topology are those geometrical and&nbsp\;topological theories which do not include the notion of point among&nbsp\;their primitive concepts. On the one hand\, research within this branch&nbsp\;of logic and mathematics was initiated at the beginning of the XXth&nbsp\;century by Alfred N. Whitehead and Theodore de Laguna with the&nbsp\;aim to give intuitive foundations of Euclidean geometry. On the other hand\,&nbsp\;Marshall Stone in his ground-breaking representation theorems for&nbsp\;Boolean algebras showed how closely related to each other are algebra and&nbsp\;topology.<br><br>Whitehead's and de Laguna's ideas gave rise to the so called&nbsp\;region-based theories of space\, which aspire to describe spatial relations&nbsp\;by means of regions and relations holding between them: inclusion (parthood)&nbsp\;and connection. Stone's discoveries were the cornerstone of the theory of&nbsp\;frames and locales\, which turned out to be very fruitful in establishing&nbsp\;properties of topological spaces. However\, both approaches to point-free&nbsp\;theories of space are closely related to each other: regions have algebraic&nbsp\;properties which allow to reconstruct geometries and topologies\, frames and&nbsp\;locales deliver tools which shed new light on mutual dependencies between&nbsp\;algebraic and topological properties.<br><br>We invite all scholars interested in the field to submit papers for&nbsp\;the special issue of Logic and Logical Philosophy devoted to point-free&nbsp\;systems of geometry and topology. We expect papers submitted to be related&nbsp\;to point-free geometry and topology via the following research areas:</p>\n<ul>\n<li>Contact algebras\, connection structures\, region connection calculus</li>\n<li>Foundations of geometry and topology</li>\n<li>Frames and locales</li>\n<li>Point-free metric spaces</li>\n<li>Modal logics of space</li>\n<li>Mereology</li>\n<li>Mereotopology</li>\n<li>Ontology of space</li>\n<li>Proximity spaces</li>\n<li>Qualitative theories of space</li>\n<li>Representation theorems for ordered sets</li>\n<li>Rough mereology</li>\n<li>Spatial logic.</li>\n</ul>\n<p>Expected publication: Winter 2012/Spring 2013.<br><br>In case we receive a large number of high-quality papers we will publish&nbsp\;them in two parts in two different issues.<br><br>Papers should be sent to one of the Guest Editors:</p>\n<p>Giangiacomo Gerla:&nbsp\;<a href="mailto:ggerla@unisa.it">ggerla@unisa.it</a></p>\n<p>Cristina Coppola:&nbsp\;<a href="mailto:ccoppola@unisa.it">ccoppola@unisa.it</a></p>\n<p>Guide for authors:&nbsp\;<a target="_blank">http://www.logika.umk.pl/llp/inf4a.html</a><br>CFP on the website:&nbsp\;<a target="_blank">http://www.logika.umk.pl/llp/c4p.html</a><br>About LLP:</p>
ORGANIZER:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR