[Flirts] CombLog'04 very early announcement

[Amilcar Sernadas]

If you are interested in the topic do not hesitate to contact us!
http://www.cs.math.ist.utl.pt/comblog04/
Amilcar

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

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

Topics
· Fibring, fusion, splicing, splitting, synchronization, temporalization
· Transference results
· Logics for software specification
· Logics for security
· Logics for formal ethics
Executive Committee
· Walter A. Carnielli
· Marcelo E. Coniglio
· Paulo Mateus
· Amílcar Sernadas (chair)
Publication
· Electronic publication of extended abstracts
· International publication of volume with selected full papers
Sponsors
· CLC: Center for Logic and Computation, IST, Lisbon, Portugal
· CLE: Centre for Logic, Epistemology and the History of Science, UNICAMP, 
Campinas, Brazil
Follow-up
· Keynote speakers and call for contributions to be announced by October 2003

http://www.cs.math.ist.utl.pt/comblog04/
For further information contact: acs at math.ist.utl.pt


++++++++++++++++++++++++++++++++++++++++++++++++++
Amilcar Sernadas
Departamento de Matematica
Instituto Superior Tecnico
Av. Rovisco Pais, 1049-001 Lisboa, PORTUGAL
tel: 351-21-8417150
fax: 351-21-8417598
e-mail: acs at math.ist.utl.pt
www: http://www.cs.math.ist.utl.pt/cs/acs.html
++++++++++++++++++++++++++++++++++++++++++++++++++