AiML: News 2007

AiML news 2007

October 17, 2007: Journal of Logic, Language and Information (Special issue on HYBRID LOGIC): Call for papers

Scope. Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on applied grounds, because of the usefulness of the additional expressive power. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. For example, it becomes far simpler to formulate modal tableau, resolution, and natural deduction in hybrid logic, and completeness and interpolation results can be proved of a generality that is not available in orthodox modal logic. Topics of interest include not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power.

Submission deadlines: March 1, 2008

Guest editors: Torben Braüner and Thomas Bolander

For further information see http://akira.ruc.dk/~torben/HyLo1.TXT

September 21, 2007: First announcement of the 10th Asian Logic Conference in Kobe, Japan

The 10th Asian Logic Conference will be held at Kobe University, Kobe, Japan during September 1-6, 2008.

Several short course lectures (four hours each), plenary invited talks (one hour each) and special sessions are planned apart from contributed talks.

The Asian Logic Conference has occurred every three years in Asia-Pacific region since 1981, Singapore. The purpose of the conference is to facilitate interaction between researchers interested in mathematical logic, logic in computer science, and philosophical logic. It aims at promoting activities in mathematical logic in the Asia-Pacific so that logicians both from within Asia and elsewhere would get together and exchange information and ideas.

Call for papers will begin in the coming winter, and the registration in an early spring, 2008.

July 4, 2007: Handbook of Spatial Logics

Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem, editors.

Springer, 2007.

A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics have attracted much attention in response to developments in such diverse fields as Artificial Intelligence, Database Theory, Physics, and Philosophy. The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject.

M. Aiello, I. Pratt-Hartmann, J. van Benthem, What is Spatial Logic?
I.Pratt-Hartmann, First-Order Mereotopology
B. Bennett, I. Düntsch, Axioms, Algebras, and Topology
J. Renz, B. Nebel, Qualitative Spatial Reasoning Using Constraint Calculi
J. van Benthem, G. Bezhanishvili, Modal Logics of Space
R. Parikh, L.S. Moss, C. Steinsvold, Topology and Epistemic Logic
P. Balbiani, V. Goranko, R. Kellerman, D. Vakarelov, Logical Theories for Fragments of Elementary Geometry
S. Vickers, Locales and Toposes as Spaces
R. Kontchakov, A. Kurucz, F. Wolter, M. Zakharyaschev, Spatial Logic + Temporal Logic = ?
P. Kremer, G. Mints, Dynamic Topological Logic
H. Andréka, J.X. Madarász, I. Németi, Logic of Space-time and Relativity Theory
M.B. Smyth, J. Webster, Discrete Spatial Models
F. Geerts, B. Kuijpers, Real Algebraic Geometry and Constraint Databases
I. Bloch, H. Heijmans, C. Ronse, Mathematical Morphology
A.C. Varzi, Spatial Reasoning and Ontology: Parts, Wholes and Locations

Order from amazon.com or amazon.co.uk.

April 11, 2007: Algebraic and Topological Methods in Non-Classical Logics III

Algebraic and Topological Methods in Non-Classical Logics III (TANCL 2007)
Oxford, 5-9 August 2007
http://www.maths.ox.ac.uk/notices/events/special/tancl07/

This international conference will be held at St Anne's College (University of Oxford) from 5-9 August, 2007. The conference is the third in the series Algebraic and Topological methods in Non-Classical Logics (TANCL). The first was held in 2003 in Tbilisi, Georgia, and the second in 2005 in Barcelona, Spain.

Aims and Scope. The topics covered by TANCL'07 lie within a well-established and active area of mathematical logic. It is hoped to attract to the meeting established researchers and also postdoctoral and graduate students from the UK and overseas.

The objectives are

to provide a showcase for recent advances in the field;
to facilitate the exchange of ideas and expertise between mathematicians, logicians, and theoretical computer scientists working on many facets of non-classical logic;
to foster future collaborations.

The programme will focus on three interconnecting mathematical themes central to the study of non-classical logics and their applications: algebraic, categorical, and topological methods. Three more specialized satellite workshops are planned:

Categorical Quantum Logic (convened by Bob Coecke)
Coalgebraic Logic (convened by Alexander Kurz)
Spatial and Spatio-Temporal Logics (convened by Michael Zakharyaschev)

Conference organisers: Mai Gehrke and Hilary Priestley. They can be contacted by email at tancl07@maths.ox.ac.uk.

Key Dates:

Deadline for submission of abstracts for contributed talks: 1 May
Acceptance notification: 15 May
Deadline for registration and reservation of accommodation: 1 June

January 3, 2007. First Call for Papers: WORKSHOP ON HYBRID LOGIC 2007 (HyLo 2007)

WORKSHOP ON HYBRID LOGIC 2007 (HyLo 2007)
(affiliated with ESSLLI 2007)
Dublin, 6-10 August, 2007
http://hylomol.ruc.dk/HyLo2007

Theme. Hybrid logic is a branch of modal logic allowing direct reference to worlds/times/states. It is easy to justify interest in hybrid logic on the grounds of applications as the additional expressive power is very useful. In addition, hybrid-logical machinery improves the behaviour of the underlying modal formalism. The topic of the HyLo workshop of 2007 is not only standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but generally extensions of modal logic that increase its expressive power.The workshop HyLo 2007 will be relevant to a wide range of people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction.

Submission. Details will be announced at the workshop web page. The accepted papers will appear in the workshop proceedings published by ESSLLI. It is planned to publish revised versions of the accepted papers in a special issue of Journal of Logic, Language and Information.

Submission deadline: March 8, 2007

Program committee

Carlos Areces (INRIA Lorraine, France)
Patrick Blackburn (INRIA Lorraine, France)
Thomas Bolander (Technical University of Denmark) - Co-Chair
Torben Braüner (Roskilde University, Denmark) - Chair
Mai Gehrke (New Mexico State University, USA)
Valeria de Paiva (PARC, USA)
Jørgen Villadsen (Technical University of Denmark)

Invited speakers

Balder ten Cate (University of Amsterdam, The Netherlands)
Ian Hodkinson (Imperial College, UK)