From till at informatik.uni-bremen.de  Tue Mar 20 11:41:37 2007
From: till at informatik.uni-bremen.de (Till Mossakowski)
Date: Tue, 20 Mar 2007 11:41:37 +0100
Subject: [Flirts] [Fwd: pls circulate - unilog 07]
Message-ID: <45FFBA61.9010308@informatik.uni-bremen.de>

Dear FLIRTers,

this seems to be an interesting event, especially the contest
"how to translate a logic into another one?"

Don't worry: there will be at least one contribution of FLIRTers to this
contest...

Greetings,
Till

-- 
Till Mossakowski     Office:                  Phone +49-421-218-64226
DFKI Lab Bremen      Cartesium                Fax +49-421-218-9864226
Robert-Hooke-Str. 5  Enrique-Schmidt-Str. 5  Till.Mossakowski at dfki.de
D-28359 Bremen       Room 2.051               http://www.tzi.de/~till

Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
principal office: 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
-------------- next part --------------
An embedded message was scrubbed...
From: Razvan.Diaconescu at imar.ro (Razvan Diaconescu)
Subject: pls circulate - unilog 07
Date: Mon, 19 Mar 2007 22:08:32 +0200 (EET)
Size: 3512
Url: http://www.informatik.uni-bremen.de/pipermail/flirts/attachments/20070320/e14f72c7/attachment.mht 

From Till.Mossakowski at dfki.de  Fri Jun 22 14:19:40 2007
From: Till.Mossakowski at dfki.de (Till Mossakowski)
Date: Fri, 22 Jun 2007 14:19:40 +0200
Subject: [Flirts] CombLog'07:  Combination of Logics
Message-ID: <467BBE5C.1060900@dfki.de>

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