[Flirts] CombLog'07: Combination of Logics

[Till Mossakowski]

International Workshop on Combination of Logics

Neuchâtel, Switzerland, July 4th 2007

www.comblog.org <http://www.comblog.org/>

The theory of combination of logics has been a central theme of logical 
researches during the last past 15 years. One of a particular technique 
for combining logics promoted by Dov Gabbay became famous under the name 
"fibring".


At first the theory, as it is often the case in mathematics, started 
with specific problems: how to put together different modal operators. 
But the theory has developed onwards in a general theory applying to and 
concerned with many different logical systems. At this stage the theory 
has been growing analysing and shedding new light on the most 
fundamental concepts of logic: the notions of rule, of logical operator, 
of extension of logic and of logical system itself.

This event is the following in a list of gatherings on combination of 
logics, such as Logical Consequences and its Combinations held in Pune, 
India, December 2005, CombLog'04 held in Lisbon, July 2004 and the 
FroCoS (Frontiers of Combining Systems) going on since 1996.

All the dimensions of combination of logics will be touched: from 
abstract general frameworks based on universal logic and category theory 
to applications to some philosophical problems through some typical 
cases related with classical and intuitionistic logics.


-- 
Till Mossakowski      Cartesium, room 2.051  Phone +49-421-218-64226
DFKI Lab Bremen                              Fax +49-421-218-9864226
Safe & Secure Cognitive Systems             Till.Mossakowski at dfki.de
Enrique-Schmidt-Str. 5, D-28359 Bremen   http://www.dfki.de/sks/till

Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
principal office, *not* the address for mail etc.!!!:
Trippstadter Str. 122, D-67663 Kaiserslautern
management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff
supervisory board: Prof. Hans A. Aukes (chair)
Amtsgericht Kaiserslautern, HRB 2313