Members

• Amílcar Sernadas
• António Marques Fernandes
• Carlos Caleiro
• Cristina Sernadas
• Jaime Ramos
• João Rasga
• José Felix Costa
• Miguel Dionísio
• Paula Gouveia
• Paulo Mateus

Research in Logic and Computation at the Department of Mathematics includes such topics as bounded arithmetic, algebraic logic, combined logics, temporal logic, kleistic logic, probabilistic logic, quantum logic, computability and complexity in analog and digital computing, physics of computation, and applications to computer science and information security.

Most of the faculty members of Logic and Computation belong to the Security and Quantum Information Group (SQIG), a research group of the Associate Laboratory Instituto de Telecomunicações (IT). The other members belong to the Centro de Matemática e Aplicações Fundamentais (CMAF).

The members of the Logic and Computation area cooperate regularly with the members of information technology areas in other departments of IST, namely concerning the joint PhD Program in Information Security (under the Carnegie Mellon Portugal Program).

Seminars and future events

• Logic and Computation Seminar since 1986
  (formerly Theory of Computation Seminar).
• Mathematical Logic Seminar since 1989.
• Quantum Computation and Information Seminar since 2003.
• Information Security Seminar since 2007.

Past events

• Third International Workshop on Physics and Computation, Egypt, August 30 - September 4, 2010.
• UNILOG'2010 - World Congress on Universal Logic, Estoril, April 18-25, 2010.
• 8th International Conference on Unconventional Computation, UC 2009, Ponta Delgada, September 7-11, 2009.
• Lisbon Quantum Computation, Information and Logic (LQCIL'09 - QuEBS), IST, Lisboa, July 7-10, 2009.
• First International Workshop on Physics and Computation, Vienna, August 25-28, 2008.
• Days in Logic (DiL'08), IST, Lisboa, January 16-18, 2008.
• Lisbon Quantum Computation, Information and Logic (LQCIL'07), IST, Lisboa, July 18-20, 2007.
• TheNIS 2nd Information Security Workshop, IST, Lisboa, July 17, 2007.
• Tarde de Trabalho SPM/CIM em Lógica e Computação,CIM, Coimbra, May 5, 2007.
• Logic and Computation Session, Encontro Nacional de Matemática'06 da Sociedade Portuguesa de Matemática, ISEL, Lisboa, June 20-23, 2006.
• Workshop on Combination of Logics: Theory and Applications (CombLog'04), IST, Lisboa, July 28-30, 2004.
• Logic and Computation Session, Encontro Nacional de Matemática'02 da Sociedade Portuguesa de Matemática, Universidade de Coimbra, February 5-8, 2002.