[DL] CombLog'04 - Call for Contributions

[Amilcar Sernadas]

CombLog'04
Workshop on Combination of Logics: Theory and Applications
CLC, Department of Mathematics, IST, Lisbon, Portugal
July 28-30, 2004

http://www.cs.math.ist.utl.pt/comblog04/

--------------------------------------------------------------------------------

Call for Contributions

The workshop aims to provide a forum for interaction and exchange of ideas 
among a limited number of participants in the general area of analysis and 
synthesis of logics and related topics. Prospective contributors are 
invited to submit an extended abstract (up to six pages) describing 
innovative proposals and results.

Electronic submissions in the form of ps or pdf files to be sent to 
acs at math.ist.utl.pt by February 01, 2004.


--------------------------------------------------------------------------------

Topics

Different forms of composing and decomposing logics, such as fibring, 
fusion, splicing, splitting, synchronization and temporalization.
Transference results between the whole and the component logics, such as 
preservation of completeness, interpolation properties and decidability.
Application domains, such as security, software specification and 
verification, knowledge representation and formal ethics.

Important dates

February 01, 2004 - Deadline for submitting extended abstracts (up to 6 
pages including references).
April 01, 2004 - Notification of program and list of participants.
May 01, 2004 - Deadline for reception of final version of extended abstracts.
May 15, 2004 - Deadline for registration and hotel booking through the 
organization.

Organization

Walter A. Carnielli, CLE, University of Campinas.
Marcelo E. Coniglio, CLE, University of Campinas.
Paulo Mateus, CLC, IST, Technical University of Lisbon.
Till Mossakowski, University of Bremen.
Amílcar Sernadas (Chair), CLC, IST, Technical University of Lisbon.

Keynote speakers (confirmed)

Dov Gabbay, King's College, London.
Joseph Halpern, Cornell University.
Dick de Jongh, University of Amsterdam.
Gabriel Sandu, University of Helsinki.
Andrzej Tarlecki, Warsaw University.
Frank Wolter, University of Liverpool.

Other invited participants (to be confirmed)

Carlos Areces, Langue et Dialog (LED), INRIA Lorraine.
Marcelo Finger, IME, São Paulo University.
Joseph Goguen, University of California, San Diego.
Don Pigozzi, Iowa State University.
Luca Viganò, ETH Zentrum, Zürich.
Alberto Zanardo,University of Padova.

Publication

Electronic publication of extended abstracts at CLE e-Prints.
Publication (planned) of selected full papers in the series Studies in 
Logic and Computation, King's College Publications, Research Studies Press, 
England.

Sponsors

ASL: The Association for Symbolic Logic, USA
(ASL student members are encouraged to apply for the ASL travel funds 
available for sponsored meetings).
CLC: Center for Logic and Computation, IST, Lisbon, Portugal.
CLE: Centre for Logic, Epistemology and the History of Science, UNICAMP, 
Campinas, Brazil.
FLIRTS Interest Group.

--------------------------------------------------------------------------------

For further information contact acs at math.ist.utl.pt.
Last update: October 6, 2003.

--------------------------------------------------------------------------------