[FOM] CombLog04 - NEW DEADLINE: March 01, 2004.

Walter Carnielli carniell at cle.unicamp.br
Mon Feb 2 08:03:58 EST 2004


Dear Professor Davis:

I´d appreciate you posting this is announcement in FOM.

Thanks,

Walter Carnielli

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
EXTENDED DEADLINE

The deadline for submissions to
CombLog'04- Workshop on Combination of Logics: Theory and Applications
CLC, Department of Mathematics, IST, Lisbon, Portugal
July 28-30, 2004 NEW DEADLINE
http://www.cs.math.ist.utl.pt/comblog04/

has been moved to MARCH 01, 2004.

Contributions by FOMers are most welcome!!

--------------------------------------------------------------------------
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 March 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

March 01, 2004 - Deadline for submitting extended abstracts (up to 6
pages including references).
April 02, 2004 - Notification of program and list of participants.
May 03, 2004 - Deadline for reception of final version of extended
abstracts.
May 17, 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 (confirmed)

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: January 26, 2004.





More information about the FOM mailing list