CombLog'04

Workshop on Combination of Logics: Theory and Applications

CLC, Department of Mathematics, IST, Lisbon, Portugal

July 28-30, 2004


Participants (see photos)

  1. Mario Benevides, Federal University of Rio de Janeiro, Brazil.
  2. Jean-Yves Béziau, University of Neuchâtel, Switzerland.
  3. Juliana Bueno, CLE, University of Campinas, Brazil.
  4. Carlos Caleiro, CLC, IST, Technical University of Lisbon, Portugal.
  5. Walter Carnielli, CLE, University of Campinas, Brazil.
  6. Marcelo Coniglio, CLE, University of Campinas, Brazil.
  7. Vania Costa, Federal University of Rio de Janeiro, Brazil.
  8. Alexandre Costa-Leite, University of Neuchâtel, Switzerland.
  9. Luís Cruz-Filipe, University of Nijmegen, Netherlands.
  10. Razvan Diaconescu, Institute of Mathematics "Simion Stoilow", Bucharest.
  11. Isabel Ferreirim, CAUL, University of Lisbon, Portugal.
  12. Marcelo Finger, IME, São Paulo University, Brazil.
  13. Dov Gabbay, King's College, London, UK.
  14. Joseph Goguen, University of California, San Diego, USA.
  15. Ricardo Gonçalves, CLC, IST, Technical University of Lisbon, Portugal.
  16. Paula Gouveia, CLC, IST, Technical University of Lisbon, Portugal.
  17. Joseph Halpern, Cornell University, USA.
  18. Dick de Jongh, University of Amsterdam, Netherlands.
  19. João Marcos, CLC, IST, Technical University of Lisbon, Portugal.
  20. Manuel Martins, University of Aveiro, Portugal.
  21. Paulo Mateus, CLC, IST, Technical University of Lisbon, Portugal.
  22. Till Mossakowski, University of Bremen, Germany.
  23. Hélio Pais, IST, Technical University of Lisbon, Portugal.
  24. Don Pigozzi, Iowa State University, USA.
  25. Misha Protin, CLC, IST, Technical University of Lisbon, Portugal.
  26. Jaime Ramos, CLC, IST, Technical University of Lisbon, Portugal.
  27. João Rasga, CLC, IST, Technical University of Lisbon, Portugal.
  28. Odinaldo Rodrigues, King's College, London, UK.
  29. Gabriel Sandu, University of Helsinki, Finland.
  30. Pierre-Yves Schobbens, University of Namur, Belgium.
  31. Amílcar Sernadas, CLC, IST, Technical University of Lisbon, Portugal.
  32. Cristina Sernadas, CLC, IST, Technical University of Lisbon, Portugal.
  33. Petros Stefaneas, National Technical University of Athens, Greece.
  34. David Steiner, University of Bern, Switzerland.
  35. Andrzej Tarlecki, Warsaw University, Poland.
  36. Paulo Veloso, Federal University of Rio de Janeiro, Brazil.
  37. Sheila Veloso, Federal University of Rio de Janeiro, Brazil.
  38. Ventura Verdú, University of Barcelona, Spain.
  39. Luca Viganò, ETH, Zurich, Switzerland.
  40. Frank Wolter, University of Liverpool, UK.
  41. Alberto Zanardo,University of Padova, Italy.

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