Organization of events

(by current members of the Group)

• Correlations, integrability, and criticality in quantum systems, Évora, Portugal, October 24-29, 2016.
  N Paunkovic: Local committee member. 
• GeTFun 2015 - Third WS on Compositional Meaning in Logic, Natal, Brazil, September 2-4, 2015.
  C. Caleiro: Organization co-chair.
• Escola de Inverno de Matemática, IST, Lisboa, February 2-4, 2015.
  P. Gouveia: Co-organizer.
• 12th International Conference on Technology in Mathematics Teaching, U Algarve, Portugal, June 24-27, 2015.
  D. Graça: Local committee member.
• GeTFun 2014 - Second WS on Compositional Meaning in Logic, Vienna, Austria, July 22-23, 2014.
  C. Caleiro: Organization co-chair.
• Seminário sobre Cibersegurança: Questões Tecnológicas e Implicações Legais, FCUL, Lisboa, July 2, 2014.
  C. Caleiro: Member of the executive board.
• Logic Colloquium’13 - ASL European Summer Meeting 2013, Évora, Portugal, July 22-27, 2013.
  J. Rasga: Program and local committee member.
• GeTFun 2013 - First WS on Compositional Meaning in Logic, Rio de Janeiro, Brazil, April 3-4, 2013.
  C. Caleiro: Organization co-chair.
• IEEE Conference on Computational Complexity, Porto, Portugal, June 26-29, 2012.
  Luís Antunes: Organization and local committee member.
  A. Souto: Oranization and local committee member.
  A. Teixeira: Organization and local committee member.
• Computability in Europe 2010, U Açores, Portugal, June 30-July 4, 2010.
  J. Rasga: Program and local committee member.
• UNILOG'2010 - World Congress on Universal Logic, Estoril, April 18-25, 2010.
  C. Caleiro: Organization co-chair.
  P. Gouveia: Local committee member.
  J. Ramos: Local committee member.
  J. Rasga: Local committee member.
• Days in Logic’10, U. Porto, January 28-30, 2010.
  J. Rasga: Programa and local committee member.
• 18th EACSL Annual Conference on Computer Science Logic, U Coimbra, Portugal, September 7-11, 2009.
  J. Rasga: Local committee member.
• Lisbon Quantum Computation, Information and Logic (LQCIL'09 - QuEBS), IST, Lisboa, July 7-10, 2009.
  P. Adão: Local committee member.
  P. Baltazar: Local committee member.
  Y. Omar: Organization and program co-chair.
• Distributed Computing Techniques (DisCoTec'08), FCUL, Lisboa, June 9-12 2009.
  A. Ravara: General chair.
• Days in Logic (DiL'08), IST, Lisboa, January 16-18, 2008.
  J. Rasga: Organization chair.
  C. Caleiro: Co-organizer.
• The 18th International Conference on Concurrency Theory (CONCUR'07), FCG and IST, Lisboa, September 3-8, 2007.
  A. Ravara: Workshop organization chair.
• Lisbon Quantum Computation, Information and Logic (LQCIL'07), IST, Lisboa, July 18-20, 2007.
  P. Adão: Co-organizer.
  P. Mateus: Organization chair.
  Y. Omar: Co-organizer.
  A. Sernadas: Program chair.
• TheNIS 2nd Information Security Workshop, IST, Lisboa, July 17, 2007.
  P. Adão: Co-organizer.
  P. Mateus: Organization chair.
  C. Caleiro: Co-organizer.
• Tarde de Trabalho SPM/CIM em Lógica e Computação,CIM, Coimbra, May 5, 2007.
  C. Sernadas: Organizer.
  P. Mateus: Moderator.
  
• 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, 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.
• 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.