[FOM] CombLog'04 in Lisbon

Martin Davis martin at eipye.com
Tue Oct 7 09:29:55 EDT 2003


Call for Contributions - 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/

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.

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







                           Martin Davis
                    Visiting Scholar UC Berkeley
                      Professor Emeritus, NYU
                          martin at eipye.com
                          (Add 1 and get 0)
                        http://www.eipye.com






More information about the FOM mailing list