CombLog'04

Workshop on Combination of Logics: Theory and Applications

July 28-30, 2004

The workshop organized within the scope of the FibLog project of CLC 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:

• 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.

Program

• Talks
• Schedule
• Participants and photos

Venue information

• Useful information and maps on how to reach the Congress Center of IST and the Hotel.

Proceedings

• Extended abstracts
  • W. A. Carnielli, F. M. Dionísio, and P. Mateus, editors. Proceedings of CombLog'04, Workshop on Combination of Logics: Theory and Applications, 1049-001 Lisboa, Portugal, 2004. ISBN 972-99289-0-8. Departamento de Matemática, Instituto Superior Técnico. Available on request to acs@math.ist.utl.pt.
  • Electronic publication at CLE e-Prints.
• Selected full papers
  • To appear in a special issue of the Logic Journal of the IGPL edited by W. A. Carnielli and P. Mateus.

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.

Sponsors

• ASL: The Association for Symbolic Logic, USA.
• BPI.
• CLC: Center for Logic and Computation, IST, Lisbon, Portugal.
• CLE: Centre for Logic, Epistemology and the History of Science, UNICAMP, Campinas, Brazil.
• EU FEDER POCTI Program.
• FLIRTS Interest Group.
• Fundação Calouste Gulbenkian.
• Fundação para a Ciência e a Tecnologia.

For further information contact acs@math.ist.utl.pt.
Last update: September 22, 2004.