CombLog'04

Workshop on Combination of Logics: Theory and Applications

CLC, Department of Mathematics, IST, Lisbon, Portugal

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:

Program

Venue information

Proceedings

Organization

Sponsors


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