Organization of scientific events

by current and past members of CLC (now SQIG at IT) since 1981:

• Days in Logic (DiL'08), IST, Lisboa, January 16-18, 2008.
  J. Rasga: Organization chair.
  C. Caleiro: Co-organizer.
• 18th International Conference on Concurrency Theory and Satellite Workshops (CONCUR'07), FCG and IST, Lisboa, July 11-15 and July 10, 16-17, 2005.
  A. Ravara: Co-organizer and Satellite Workshops chair.
• Lisbon Quantum Computation, Information and Logic (LQCIL'07), IST, Lisboa, July 18-20, 2007.
  P. Mateus: Organization chair.
  A. Sernadas: Program chair.
  
• Encontro Nacional de Matemática'06 da Sociedade Portuguesa de Matemática, ISEL, Lisboa, June 20-23, 2006.
  A. Sernadas: Program chair of the Logic and Computation Session.
• The 32nd International Colloquium on Automata, Languages and Programming and Satellite Workshops (ICALP'05), FCG and IST, Lisboa, July 11-15 and July 10, 16-17, 2005.
  A. Ravara: Co-organizer.
• International Workshop on Computations on the Continuum, ISA, Lisboa, June 27-28, 2005.
  M. Campagnolo: Co-organizer and host.
• Workshop on Combination of Logics: Theory and Applications (CombLog'04), IST, Lisboa, July 28-30, 2004.
  A. Sernadas and P. Mateus: Co-organizers and hosts.
• Short Course on Directed Combinatorial Homology and Noncommutative Geometry by Marco Grandis, IST, Lisboa, February 9-13, 2004.
  Pedro Resende and P. Mateus: Organizers and hosts.
• Meeting on the Theory and Applications of Quantales, IST, Lisboa, July 16-18, 2002.
  P. Resende: Co-organizer and host.
• Reunião Mikado-Profundis, IST, Lisboa, February 14, 2002.
  A. Ravara: Organizer and host.
• Encontro Nacional de Matemática'02 da Sociedade Portuguesa de Matemática, Universidade de Coimbra, February 5-8, 2002.
  A. Sernadas: Chair of the Logic and Computation Session.
• Workshop on Electronic Media in Mathematics, CIM, Universidade de Coimbra, September 13-15, 2001.
  F. M. Dionísio: Member of the Organization Committee.
• IFIP TC 1 Meeting, IST, Lisboa, March 29, 1998.
  A. Sernadas: Organizer and host.
• ASPIRE Meeting, IST, Lisboa, September 19-20, 1997.
  A. Sernadas: Organizer and host.
• Escola de Verão sobre Fundamentos Matemáticos da Computação, CIM, Coimbra, September 8-11, 1997.
  A. Sernadas: Co-organizer.
• COMPASS Meeting, Sintra, February 15-18, 1995.
  A. Sernadas: Organizer.
• Dagstuhl Seminar 9529 on Role of Logics in Information Systems, July 17-21, 1995.
  C. Sernadas: Co-organizer.
• Dagstuhl Seminar 9212 on Foundations of Information Systems Specification and Design, March 16-19, 1992.
  A. Sernadas: Co-organizer.
• 7th Very Large Data Base International Conference, Barcelona, September 3-6, 1991.
  A. Sernadas: European program chair and proceedings co-editor.
• IFIP TC 8 WG 8.1 Meeting, Sesimbra, June 5-8, 1989.
  A. Sernadas: Organizer.
• 1º Encontro sobre Representação do Conhecimento Jurídico, Sesimbra, May 12-13, 1988.
  A. Sernadas: Organization and program chair.
• 3º Encontro Português de Inteligência Artificial, Braga, October 1-9, 1987.
  A. Sernadas: Program chair.
• IFIP TC 2 WG 2.6 Meeting, Aldeia das Açoteias, November 8, 1986.
  A. Sernadas: Organizer.
• IFIP TC 2 WG 2.6 Working Conference, Aldeia das Açoteias, November 3-7, 1986.
  A. Sernadas: Organization chair and proceedings co-editor (Data and Knowledge, North-Holland, 1988).
• IV Congresso Português de Informática, Lisboa, June 23-27, 1986.
  A. Sernadas: Program chair.
• IFIP TC 8 WG 8.1 Working Conference, Sitges, April 16-18, 1985.
  A. Sernadas: Program chair and proceedings co-editor (Theoretical and Formal Aspects of Information Systems, North-Holland, 1985).
• IFIP TC 8 WG 8.1 CRIS3 Task Group Meeting, Lisboa, October 27-28, 1983.
  A. Sernadas: Organizer and host.
• IFIP TC 2 WG 2.3 Meeting, Sintra, October 19-23, 1981.
  A. Sernadas: Organizer.

Last update: September 19, 2006.