Talks and short courses given by current and past members of SQIG at IT (formerly CLC) in conferences, meetings and seminars at other research centers since 1998 (incomplete list):

• Seminário do Departamento de Ciência de Computação, UFMG, Brazil, October 17, 2014.
  P. Mateus: Quantum oblivious transfer. 
• Communications and Multimedia Security, Aveiro, Portugal, September 25-26, 2014.
  P. Mateus [invited talk]: Enhancing security with quantum networks. 
• Computer Logic Seminar, CMU, USA, February 28, 2014.
  P. Mateus: Minimizing probabilistic and quantum automata.
• Logic Colloquium 2013, Évora, Portugal, July 22-27, 2013.
  A. Sernadas [special session invited talk]: Extending classical logic for reasoning about quantum systems.
  J. Ramos: Classical and intuitionistic propositional logic.
  J. Rasga: Completeness and interpolation of almost-everywhere quantification over finitely additive measures. 
• Proof Theory in Lisbon 2013, Instituto para a Investigação Interdisciplinar, Lisboa, July 19, 2013.
  J. Rasga: Preservation of Craig interpolation by the product of matrix logics.
• CiE 2013: The Nature of Computation, Milan, Italy,  July, 1-5, 2013.
  D. S. Graça [invited talk]: Computability and computational complexity of the evolution of nonlinear dynamical systems. 
• 4th World Congress and School on Universal Logic (UNILOG 2013), Rio de Janeiro, Brasil, April 03-07, 2013. 
  C. Caleiro: Combining logics, cryptofibred semantics and completeness preservation. 
  J. Ramos: Classical and intuitionistic propositional logic.
• O Lugar da Filosofia da Ciência na Universidade de Lisboa, Lisboa, Portugal, February 14-15, 2013.
  A. Sernadas [invited talk]: O triunfo do formalismo.

• First openEyA Users Meeting - Didactica para el Desarrollo (DxD), Trieste, Itália, Outubro 10-12, 2012.
  J. Ramos: OpenEyA at Instituto Superior Técnico (IST).
• Days in Logic 2012, U Évora, Portugal, February 6-8, 2012.
  J. Rasga: On combined connectives. 
• Seminário "Ciberespaço - Espaço Virtual, Mediático e Global", Academia das Ciências, Lisboa, Portugal, January 25, 2012.
  P. Mateus: Como garantir a segurança da comunicação.

• Seminário de Lógica, Linguagem, Teoria e Aplicações, UFRGN, Brazil, May, 2011.
  C. Caleiro: Abstract Valuation Semantics.
• XVI Encontro Brasileiro de Logica, Petrópolis, Brasil, Maio 9-13, 2011.
  C. Caleiro: Abstract Valuation Semantics.
• Information Security Seminar, ETH, Suiça, Abril, 2011.
  C. Caleiro: Distributed temporal logic for the analysis of security protocol models.
• Seminário de Álgebra, Lógica e Computação, Universidade do Minho, Portugal, Fevereiro, 2011.
  C. Caleiro: Abstract Valuation Semantics.

• Ciclo de Conferencias "Las Conjeturas del Milenio", Universidad Complutense de Madrid, Spain, October 18-20, 2010.
  P. Mateus [colloquium]: The P versus NP problem.
• WECIQ 2010, LNCC, Petrópolis, Brazil, October 13-15, 2010.
  P. Mateus [invited talk]: Quantum Contract Signing.
  P. Mateus [short course]: Security and quantum communication.
• University of St. Andrews, Scotland, September, 2010.
  C. Caleiro: Mini-course on "Logic or Logics?".
• Seminário de Lógica Matemática, IST/FCUL, Lisboa, Portugal, May 27, 2010.
  C. Sernadas: Preservation by fibring of the finite model property.
• 40th International Symposium on Multiple-Valued Logic (ISMVL 2010), Barcelona, Spain, May 26-28, 2010.
  C. Caleiro: Two many values; an algorithmic outlook on Suszko's thesis.
• UNILOG'2010, Estoril, Portugal, April 22-25, 2010.
  A. Sernadas [invited talk]: Parallel composition of logics.
  P. Mateus [tutorial]: Quantum logic.
  C. Caleiro: Behavioral algebrization of logics.

• Unconventional Computation 2009, Ponta Delgada, Portugal, September 7-11, 2009.
  C. Lourenço [invited talk]: Brain dynamics.
• CONCUR 2009, Bologna, Italy, September 1-4, 2009
  A. Matos: Flow-policy awareness for distributed mobile code.
• Japan Advanced Institute of Science and Technology Seminar, Ishikawa, Japan, July 1, 2009.
  C. Caleiro: Combining logics.
• WoLLIC'09, National Institute of Informatics, Tokyo, Japan, June 21-24, 2009.
  C. Caleiro [invited talk]: Algebraic valuations as behavioral logical matrices.
  
• Seminário de Lógica Matemática, IST/FCUL, Lisboa, Portugal, February 5 and 19, 2009.
  K. Ojakian:  The model-theoretic proof of the witnessing theorem of bounded arithmetic.
• SENSORIA General Workshop, Munich, Germany, February 10, 2009.
  A. Ravara: Dynamic recovering of long running transactions.
• Laboratory of Cryptography and Information Security Seminar, University of Tsukuba, Japan, January 19, 2009.
  G. Bana: On the relationship between symbolic and computational analysis of security protocols.
• Workshop on New Worlds of Computation, Orléans, France, January 12, 2009.
  D. S. Graça:  Computability with continuous-time dynamical systems.
• Symposium on Logical Foundations of Computer Science, January 3-6, 2009, Deerfield Beach, Florida, U.S.A.
  Pedro Baltazar: Temporalization of probabilistic propositional logic.

• The 4th Franco-Japanese Computer Security Workshop, Tokyo, December 5-6, 2008.
  G. Bana: Computational semantics and the first order logic approach of the protocol correctness proofs.
• 4th TheNIS Information Security Workshop, Universidade de Aveiro, Aveiro, Portugal, Novembro 28, 2008.
  P. Adão: High-level programming for e-cash.
  J. Cederquist: Fairness constraints for the Dolev-Yao attacker model.
  A. Matos: Flow-policy awareness for distributed mobile code.
  B. Montalto: Modelling an attacker with cryptanalytical capabilities.
• 15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Doha, Qatar, November 23-27, 2008.
  J. Ramos: Linear algebra techniques for deciding the correctness of probabilistic programs with bounded resources.
• SENSORIA Workshop on Calculi for Service Oriented Computing, Lucca, Italy, September 18, 2008.
  A. Ravara: Session types as generic process types.
• Seminar, University of Amsterdam, the Netherlands, September 17, 2008.
  C. Lourenço: Making sense of a chaotic brain - a modeling perspective.
• Artificial Neural Networks 2008, Prague, Czech Republic, September 3-6, 2008.
  C. Lourenço: EEG switching - three views from dynamical systems.
• Workshop on Physics and Computation, Vienna, Austria, August 25-29, 2008.
  D. S. Graça: Computational bounds on polynomial differential equations.
• Fifth International Conference on Computability and Complexity in Analysis, Hagen, Germany, August 21-24, 2008.
  K. Ojakian:   Characterizing computable analysis with differential equations.
• The Fourth World Congress of Paraconsistency, Melbourne, Australia, July 13-18, 2008.
  R. Gonçalves:  Behavioral algebraization of the Cn systems of da Costa.
• 4th Workshop on Formal and Computational Cryptography (Affiliated Workshop of CSF 2008), Pittsburgh, PA, USA, June 26, 2008.
  P. Adão: High-level programming for e-cash.
• Encontro Nacional SPM - Sessão de Lógica e Computação, ISEC, Coimbra, Portugal, June 26, 2008.
  J. Rasga: Discrete measure almost-everywhere quantification.
• Programming Language Approaches to Concurrency (Workshop affiliated with the DisCoTec federated conferences), Oslo, Norway, June 7, 2008.
  A. Ravara: Session types as generic process types.
• 30th Anniversary of the CLE, UNICAMP, the 15th Brazilian Logic Conference, and the 14th Latin-American Symposium on Mathematical Logic, Paraty, Brasil, May 11-17, 2008.
  R. Gonçalves:  An algebraic perspective on valaution semantics.
• WS on Non-Classical Logics: from Foundations to Applications, Centro di Ricerca Matematica Ennio di Giorgi, Scuola Normale Superiore, Pisa, Italy, April 24-26, 2008.
  C. Caleiro [invited talk]: A bird's eye view on the joys and troubles of combined logics.
• Seminário de Lógica Matemática, IST/FCUL, Lisboa, Portugal, April 17, 2008.
  K. Ojakian:  Proving the Church-Turing thesis?
• Workshop on Fair Exchange Protocols for Electronic Commerce, Vrije Universiteit, Amsterdam, the Netherlands, February 27, 2008.
  J. Cederquist: Verifying liveness in security protocols.
• Concurrency Seminar, Oxford University, UK, February 20, 2008.
  P. Mateus: A quantum fair contract signing protocol. 
• Foundations Seminar, Oxford University, UK, February 19, 2008.
  P. Mateus: Specifying and verifying quantum and probabilistic systems with exogenous semantics.
• Formal Analysis, Theory and Algorithms Seminar, Department of Computing Science, University of Glasgow, UK, February 12, 2008.
  A. Ravara: A service-centred calculus: examples, theory and applications. 
• Seminário de Álgebra e Lógica, Centro de Matemática, U Minho, Braga, Portugal, January 28, 2008.
  J. Rasga:  Preservation of interpolation and generalized negative translations.
• Days in Logic 2008, IST, Lisboa, Portugal, January 16-18, 2008.
  K. Ojakian: Computable analysis and analog computation.
  J. Rasga: Generalized negative translations and interpolation.

• 3rd TheNIS Information Security Workshop, Universidade de Porto, Porto, Portugal, Dezembro 20, 2007.
  P. Adão: Quantum security via process calculus.
  P. Mateus: Attacks with quantum tamper-proof devices.
• Formal Analysis, Theory and Algorithms Seminar, Department of Computing Science, University of Glasgow, UK, December 18, 2007.
  A. Ravara:  Behavioural types for object-oriented languages.
• Curso de Aperfeiçoamento InfoSec - Segurança de Sistemas de Informação e Comunicação, Escola de Tecnologias Navais, Almada, Portugal, Novembro 27, 2007.
  P. Adão: Técnicas de encriptação (6h course).
• Workshop-Escola de Computação e Informação Quântica, Campina Grande, Brazil, October 29-31, 2007.
  P. Mateus [invited talk]: Logic foundations of quantum security.
• International Workshop on First-Order Theorem Proving (FTP 2007), Liverpool, UK, September 12-13, 2007.
  J. Ramos: Labeled tableaux for distributed temporal logic
• 6th International Symposium on Frontiers of Combining Systems (FroCoS 2007), Liverpool, UK, September 10-12, 2007.
  J. Ramos: Combining classical and intuitionistic implications
• XVI International Fall Workshop on Geometry and Physics, IST, Lisboa, Portugal, September 5-8, 2007.
  F. Moura: Type II and heterotic one loop effective actions.
• 2nd World Congress on Universal Logic, Xian, China, August 20-22, 2007.
  R. Gonçalves: On the algebraization of global and probabilistic exogenous logics.
• Meeting on Algebraic and Topological Methods in Non-Classical Logics III, Oxford, UK, August 5-9, 2007.
  R. Gonçalves: Behavioral algebraization.
• Lisbon Quantum Computation, Information and Logic (LQCIL'07), IST, Lisboa, Portugal, July 18-20, 2007.
  N. Paunkovic: Fair contract signing with decoherence.
  J. Rasga:  Transferring proofs of zero-knowledge systems with quantum tamper-proof devices.
• 20th IEEE Computer Security Foundations Symposium (CSF 2007 - Rump Session), Venice, Italy, July 6-8, 2007.
  P. Adão: A calculus for high-level cryptography and its computational implementation.
• LASEC Seminar, EPFL, Lausanne, Switzerland, June 19, 2007.
  P. Mateus: Introduction to quantum security.
• Computation and Logic in the Real World, CiE 2007, Siena, Italy, June 18-23, 2007.
  C. Lourenço: How can natural brains help us compute?
• Computability in Europe, Sienna, Italy, June 18-23 2007.
  K. Ojakian: Some new approaches to characterizing computable analysis by analog computation
• School on Attractor Mechanism, INFN, Frascati, Italy, June 18-22, 2007.
  F. Moura: Type II and heterotic one loop effective actions.
• 4th Conference on Computability and Complexity in Analysis (CCA 2007), Siena, Italy, June 16-18, 2007.
  D. S. Graça:  Boundedness of the domain of definition is undecidable for polynomial ODEs.
• International Conference on Order, Algebra, and Logics, Nashville, USA, June 12-16, 2007.
  R. Gonçalves: Behavioral algebraization.
• 26th Weak Arithmetics Days (JAF 26), Seville, Spain, June 11-13, 2007.
  D. S. Graça: Computability problems for differential equations.
  K. Ojakian: Bounded arithmetic with bounded finite types.
• Security Seminar, INRIA-Microsoft Paris joint Research Lab, France, May 25 2007.
  A. Almeida Matos: Non-disclosure for distributed mobile code.
• 21st International conference on Advanced Information networking and Applications Workshops/Symposia (AINA'07), Niagara Fall, Canada, May 22, 2007.
  J. Cederquist: A certified email protocol using key chains.
• 15th European Symposium on Artificial Neural Networks (ESANN 2007), Bruges, Belgium, April 25-27, 2007.
  C. Lourenço: Structured reservoir computing with spatiotemporal chaotic attractors.
• Tarde de Trabalho SPM/CIM em Lógica e Computação, CIM, Coimbra, Portugal, May 5, 2007.
  D. S. Graça: Problemas de computabilidade em equações diferenciais.
• Simpósio Doutoral do Departamento de Informática, Universidade do Minho, Braga, Portugal, February 23, 2007.
  P. Adão: Métodos formais em segurança.
  C. Caleiro: Análise de protocolos de segurança.
  P. Mateus: Segurança quântica.
  
• Seminários do Centro de Informática e Tecnologias da Informação, FCT/UNL, Lisboa, Portugal, February 21, 2007.
  C. Caleiro: Distributed temporal logic for security protocol analysis
• First International Workshop on Quantum Security, Guadeloupe, France, January 2-6, 2007.
  P. Mateus: Transferring proofs of zero-knowledge systems with quantum correlations.
  P. Mateus: Towards model-checking quantum security protocols.

• Seminário do Departamento de Ciência de Computadores, FC/UP, Porto, Portugal, December 13, 2006.
  P. Mateus: Transferring proofs of zero-knowledge systems with quantum correlations.
• Portuguese Category Seminar, University of Coimbra, December 11, 2006.
  A. Sernadas: Towards a universal theory of fibring.
  C. Caleiro: Quantum institutions.
• QNET Workshop 2006, University of Glasgow, UK, December 4-5, 2006.
  P. Mateus:  Exogenous quantum logics.
• Seminário de Lógica Matemática, IST/FCUL, Lisboa, Portugal, November 24, 2006.
  J. Rasga: A complete axiomatization of discrete-measure almost-everywhere quantification.
• Seminários do Centro de Informática e Tecnologias da Informação, FCT/UNL, Lisboa, Portugal, November 22, 2006.
  P. Mateus:  Quantum cryptography and security.
• II International Colloquium on Metaphysics, Universidade Federal do Rio Grande do Norte,
  Natal, Brazil, November 6-9, 2006.
  J. Marcos: Essential and accidental propositions.
• 4th ACM workshop on Formal Methods in Security (FMSE'06), George Mason University, Fairfax, Virginia, USA, November 3, 2006.
  J. Cederquist: An intruder model for verifying liveness in security protocols.
• Third International Conference on Computability and Complexity in Analysis, Gainesville, Florida, USA, November 1-5, 2006.
  K. Ojakian: The methods of approximation and lifting in real computation.
• Seminário de Lógica Matemática, IST/FCUL, Lisboa, Portugal, October 19, 2006.
  L. Cruz-Filipe: Reasoning about probabilistic sequential programs.
• Segurança Informática nas Organizações (SINO 2006), Universidade de Aveiro, Portugal, October 10-11, 2006.
  P. Mateus:  Análise de sistemas de prova de conhecimento nulo.
• Computer Science Logic (CSL 2006), Szeged, Hungary, September 25-29, 2006.
  P. Mateus:  Reasoning about states of probabilistic sequential programs.
• International Conference on Quantum Foundation and Technology: Frontier and Future (ICQFT'06), Hangzhou, China, August 25-31 2006.
  Y. Omar: Generation of entanglement in a quantum wire and application to single-electron transmittivity.
• Seminário do Departamento de Engenharia Elétrica, Universidade Federal de Campina Grande, Campina Grande, Brazil, August 17, 2006.
  P. Mateus: Ataques quânticos a protocolos clássicos.
• Seminário do Grupo de Informação Quântica, Universidade Federal do Ceará, Fortaleza, Brazil, August 8, 2006.
  P. Mateus: Ataques quânticos a protocolos clássicos.
• Encontros de Quarta Feira, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Portugal, July 26, 2006.
  A. Ravara: Cryptographic primitives in a calculus with polyadic synchronisation.
• Eleventh Marcel Grossmann Meeting on General Relativity, Freie Universität, Berlin,  Germany, July 23-29, 2006.
  F. Moura: Perturbative stability and gravitational wave scattering for string-corrected black holes in arbitrary dimensions.
• XV Oporto Meeting on Geometry, Topology and Physics, FCUP, Porto, Portugal, July 20-23, 2006.
  F. Moura: Type II and heterotic one loop effective actions in four dimensions.
• IEEE World Congress on Computational Intelligence, July 16-21, Vancouver, Canada.
  C. Lourenço: A very small chaotic neural net.
• 7th Conference on Real Numbers and Computers (RNC 7), Nancy, France, July 10-12, 2006.
  D. S. Graça: An ordinary differential equation defined by a computable function whose maximal interval of existence is non-computable.
• 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006), San Servolo, Venice, Italy, July 9-16, 2006.
  P. Adão: Cryptographically sound implementations for communicating processes.
• Five minute talks session, 19th IEEE Computer Security Foundations Workshop (CSFW 2006), San Servolo, Venice, Italy, July 5-7, 2006.
  P. Adão: Towards a quantitative analysis of security protocols.
  R. Chadha: Decidable quantum reasoning.
• Model-Based Reasoning in Science and Medicine (MBR'06), Guangzhou, China, July 3-5, 2006.
  W. A. Carnielli [invited talk]: Polynomizing - using polynomial forms as reasoning models.
• Computability in Europe 2006, Swansea, Wales, UK, June 30 - July 5, 2006.
  K. Ojakian: The method of approximation in real computation.
• Encontros de Quarta Feira, Departamento de Informática, Faculdade de Ciências da Universidade de
  Lisboa, Portugal, June 28, 2006.
  M. Gamboni: Deciding deterministic responsiveness and closeness in pi-calculus.
• Algebra, Meaning and Computation - A Festschrift Symposium in Honor of Joseph Goguen, San Diego CA, USA, June 27-29, 2006.
  C. Caleiro: Quantum institutions.
• Encontro Nacional de Matemática'06 da Sociedade Portuguesa de Matemática, Instituto Superior de Engenharia de Lisboa, June 20-23, 2006.
  C. Caleiro: Lógica temporal distribuída para análise de protocolos de segurança.
  D. S. Graça: Algumas limitações fundamentais na resolução numérica de equações diferenciais ordinárias.
  P. Adão: Lógicas de indistinguibilidade para verificação de protocolos criptográficos.
  
• 25th Weak Arithmetics Days, Clermont-Ferrand, France, June 19-21, 2006.
  K. Ojakian: Bounded arithmetic with bounded finite types.
• 18th Workshop on Algebraic Development Techniques (WADT'06), La Roche, Belgium, June 1-3, 2006.
  J. Ramos: Probabilistic and quantum institutions revisited.
  R. Gonçalves: On the algebraization of many-sorted logics.
• 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS'06), Genova, Italy, May 23-27, 2006.
  P. Mateus [invited talk]: Reasoning about imperative quantum programs.
• ASL 2006 Annual Meeting, Université du Québec à Montréal, Canada, May 17-21, 2006.
  C. Hermida: On modalities induced by categorical relations.
• Theory and Applications of Models of Computation (TAMC06), Beijing, China, May 15-20, 2006.
  D. S. Graça: The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation.
• Simpósio de Matemática - Centenário do nascimento de Kurt Gödel, Universidade de Coimbra, Portugal, April 28, 2006.
  A. Sernadas: Lógica de demonstrabilidade.
• 14th European Symposium on Artificial Neural Networks, Bruges, Belgium, April 26-28, 2006.
  C. Lourenço: Dynamical reservoir properties as network effects.
• XIV Encontro Brasileiro de Lógica, Itatiaia, RJ, Brazil, April 24-28, 2006.
  W. A. Carnielli: Boole's algebraic logic in polynomial form.
  M. E. Coniglio: Polynomial formulations of non-deterministic semantics for logics of formal inconsistency.
  J. Marcos: Beyond truth-functionality.
• Seminário de Lógica e Computação, Departamento de Matemática, Universidade de Coimbra, Portugal, April 6, 2006.
  K. Ojakian: Bounded arithmetic with bounded finite types.
• Seminário do Núcleo de Estudantes de Engenharia Informática, IST, Lisboa, Portugal, March 20, 2006.
  P. Mateus: Computação quântica.
• Seminários de Pesquisa, CID, Universidade de Brasília, Brazil, March 15, 2006.
  W. A. Carnielli: O maior feito filosófico do século XX - a incompletude do conhecimento e da informação.
• Séminaire du Laboratoire Spécification et Vérification, École Normale Supérieure de Cachan, Paris, France, March 7, 2006.
  P. Adão: Soundness of formal encryption - the case of key-cycles.
• 2º Encontro Nacional de Estudantes de Informática, Universidade de Évora, Portugal, March 3-5, 2006.
  P. Mateus: Computação e informação quânticas.
• Workshop on Computable Analysis, U. Cincinnati, USA, February 4, 2006.
  M. Campagnolo: Polynomial differential equations and real computable functions.
  D. S. Graça: The ordinary differential equation defined by a computable function whose maximal interval of existance is non-computable.
• A Investigação na Universidade Técnica de Lisboa, IST, February 2-3, 2006.
  A. Sernadas: Computação e informação quânticas.
• Days in Logic (DiL'06), Coimbra, Portugal, January 19-21, 2006.
  D. S. Graça: On the evolution of systems defined by computable initial value problems.
  J. Rasga: Some complexity results on cut elimination in first order based logics.

• Association for Symbolic Logic 2005-2006 Winter Meeting, New York, USA, December 27-29, 2005.
  J. Marcos: Generalizing truth-functionality.
  (talk given by Arnon Avron due to the absence of J. Marcos)
• Workshop on Classical and Quantum Information Security, California Institute of Technology, Pasadena, USA, December 15-18, 2005.
  P. Mateus: A process algebra for reasoning about quantum security.
• Security Lunch Seminar, Stanford University, USA, December 14, 2005.
  P. Mateus: Towards a logic for reasoning about quantum systems.
• Quantum Reading Group, University of Berkeley, USA, December 9, 2005.
  P. Mateus: Quantum adversaries for zero-knowledge proof systems.
• Seminário do Departamento de Matemática, Universidade de Aveiro, Portugal, November 24, 2005.
  R. Gonçalves: Sobre a algebrização da semântica das valorações.
• Microsoft Research Seminar, Cambridge, UK, November 23, 2005.
  P. Adão: Cryptographically sound implementations for communicating processes.
• Category Theory and Logic Seminar, McGill University, Montreal, Canada, November 1, 2005.
  C. Hermida: Descent on 2-fibrations and strong 2-regularity.
• Security Group Meeting, University of Cambridge, UK, October 28, 2005.
  P. Adão: How concrete is the Dolev-Yao model?
• Seminário de Lógica Matemática, IST/FCUL, Lisboa, Portugal, October 25 and November 8, 2005.
  A. Sernadas: Complete axiomatization of EQPL (Exogenous Quantum Propositional Logic).
• Category Theory Octoberfest '05, University of Ottawa, Canada, October 22-23, 2005.
  C. Hermida: Descent on 2-fibrations and strongly 2-regular 2-categories.
• Brouwer Seminar, Nijmegen, Netherlands, October 5, 2005.
  L. Cruz-Filipe: The essence of proofs in sequent calculi.
• VerSePro Kick-off Meeting, Oberdof, Switzerland, October 4-5, 2005.
  P. Mateus: Probabilistic logics for security analysis.
• Encontro dos Algebristas Portugueses 2005, Braga, Portugal, September 22-24, 2005.
  R. Gonçalves: On the algebraization of valuation semantics.
• 10th European Symposium on Research in Computer Security (ESORICS 2005), Milan, Italy, September 12-14, 2005.
  P. Adão: Soundness of formal encryption in the presence of key-cycles.
• Workshop on Categorical Methods in Algebra, Geometry and Physics, Canberra, Australia, July 17-21, 2005.
  C. Hermida: 2-descent and strongly 2-regularity.
• CALCULEMUS Workshop 2005 (Affiliated Workshop of FM'05), Newcastle-upon-Tyne, UK, July 18-19, 2005.
  L. Cruz-Filipe: Executing extracted programs.
• Structures and Deduction - The Quest for the Essence of Proofs (Affiliated Workshop of ICALP 2005), Lisbon, Portugal, July 16-17, 2005.
  J. Rasga: Cut elimination in propositional based logics.
• 4th International Workshop on Proof Theory, Computation, Complexity (Affiliated Workshop of ICALP 2005), Lisbon, Portugal, July 16-17, 2005.
  J. Rasga: Complexity analysis of cut elimination in first order based logics.
• 2nd Workshop on Automated Reasoning for Security Protocol Analysis (Affiliated Workshop of ICALP 2005), Lisbon, Portugal, July 16, 2005.
  C. Caleiro: Deconstructing Alice and Bob.
• 3rd International Workshop on Quantum Programming Languages (QPL 2005), Chicago, IL, USA, June 30-July 1, 2005.
  P. Adão: A Process algebra for reasoning about quantum security.
• International Workshop on Computations on the Continuum, Lisbon, Portugal, June 27-28, 2005.
  D. S. Graça: Computability in the general purpose analog computer.
  C. Lourenço: Natural computing with continuous-time chaotic neural nets.
• LICS 2005 Short Presentations, Chicago, USA, June 26-29, 2005.
  P. Mateus: Complete exogenous quantum propositional logic.
• 18th IEEE Computer Security Foundations Workshop (CSFW 2005), Aix-en-Provence, France, June 20-22, 2005.
  P. Adão: Computational and information-theoretic soundness and completeness of formal encryption.
• Natural Processes and Models of Computation, Bologna, Italy, June 16-18, 2005.
  D. S. Graça: Discrete-time and continuous-time analog computation.
• Meeting on Algebraic and Topological Methods in Non-Classical Logics II, Barcelona, Spain, June 15-18, 2005.
  R. Gonçalves: On the algebraization of valuation semantics.
• CiE 2005 New Computational Paradigms, Amsterdam, Netherlands, June 8-12, 2005.
  D. S. Graça: Robust simulations of Turing machines with analytic maps and flows.
• Complexité, Modèles Finis et Bases de Données & Journées d'Arithmétique Faible (JAF 24), Fontainebleau, France, May 26-28, 2005.
  D. S. Graça: Computing with continuous-time analog circuits.
• Seminario Dipartimento di Informatica, Università di Pisa, Italy, May 18, 2005.
  C. Hermida: A categorical outlook on simulation and relational modalities.
• 81st Peripatetic Seminar on Sheaves and Logic, Coimbra, Portugal, April 9-10, 2005.
  C. Hermida: Descent on 2-fibrations and strongly 2-regular 2-categories.
  P. Mateus: Minimization of quantum automata.
• 1st World Congress on Universal Logic, Montreux, Switzerland, March 31 - April 3, 2005.
  C. Caleiro: Equipollent logical systems.
  R. Gonçalves: On the algebraization of valuation semantics.
• 1st World School on Universal Logic, Montreux, Switzerland, March 26-30, 2005.
  C. Caleiro: Combining logics.
• Seminário de Álgebra, CMUC, Coimbra, Portugal, March 15, 2005.
  A. Sernadas: Proof of the weak completeness of EQPL.
• Séminaire Groupe de Travail MC2, École Normale Supérieure de Lyon, France, March 2, 2005.
  D. S. Graça: Robust simulations of Turing machines with analytic maps and flows.
• Seminário de Ciência da Computação, IME, Universidade de São Paulo, Brazil, February 18, 2005.
  C. Caleiro: Metareasoning about security protocols using distributed temporal logic.
  J. Rasga: The complexity of cut elimination in a modal sequent calculus labelled with truth values.
• Colloquia Logicae, CLE, Universidade Estadual de Campinas, Brazil, February 17, 2005.
  C. Caleiro: Dyadic semantics for many-valued logics.
  J. Rasga: The complexity of cut elimination in a modal sequent calculus labelled with truth values.
• Second Theory of Cryptography Conference (Rump Session) (TCC 2005), MIT, Cambridge, MA, USA, February 10-12, 2005.
  P. Adão: Soundness of formal encryption in the presence of key cycles.
• Séminaire PROTHEO, LORIA/INRIA, Nancy, France, February 10, 2005.
  D. S. Graça: A digression over the General Purpose Analog Computer.
• Séminaire Informatique Fondamentale, LORIA/INRIA, Nancy, France, February 3, 2005.
  M. Campagnolo: Real recursive functions and their hierarchies: structural and computational complexity.
• Protocol eXchange Seminar, Naval Postgraduate School, Monterey, CA, USA, February 1-2, 2005.
  P. Adão: Key cycles and formal encryption.

• Graduate Student Pizza Seminar, Department of Mathematics, University of Pennsylvania, Philadelphia, USA, December 3, 2004.
  P. Adão: A brief introduction to quantum computation.
• Seminário de Álgebra, CMUC, Coimbra, Portugal, November 12, 2004.
  C. Hermida: Paracategories and saturated partial algebras.
• XI ANPOF Meeting, Salvador, Brazil, October 18-22, 2004. 
  J. Marcos: Enunciados essenciais e verdades acidentais - um estudo em metafísica formal.
• 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), Lisbon, September 27-30, 2004.
  P. Mateus: Reasoning about quantum systems.
• Logic, Ontology, Aesthetics: The Golden Age of Polish Philosophy, Montreal, Canada, September 23-26, 2004. 
  J. Marcos: Thou shalt not trivialise!
• Theorem Proving in Higher Order Logics - 17th International Conference (TPHOLs 2004), Park City, Utah, USA, September 14-17, 2004.
  L. Cruz-Filipe: Hierarchical reflection.
• Workshop on Combination of Logics - Theory and Applications (CombLog'04), Lisbon, July 28-30, 2004.
  C. Caleiro: Cryptofibring.
  J. Marcos: Possible-translations semantics.
  A. Sernadas: Exogeneous quantum logic.
  C. Sernadas: Preservation of interpolation by fibring.
• Workshop on Foundations of Computer Security (Satellite event of ICALP04), Turku, Finland, July 12-13, 2004.
  A. Ravara: Typing migration control in Lsdpi.
• Dutch Proof Tools Day, Nijmegen, Netherlands, July 9, 2004.
  L. Cruz-Filipe: C-CoRN - the Constructive Coq Repository at Nijmegen.
• Workshop on Automated Reasoning for Security Protocol Analysis at IJCAR'04, Cork, Ireland, July 4, 2004.
  C. Caleiro: Metareasoning about security protocols using distributed temporal logic.
• International Workshop on Negation in Constructive Logic, Dresden, Germany, July 1-4, 2004. 
  J. Marcos: A constructive negation in a non-constructive logic.
• Logica 2004 Symposium, Hejnice, Czech Republic, June 22-25, 2004. 
  J. Marcos: Every normal modal logic is paranormal.
• Portuguese Category Seminar 04, Coimbra, June 18 and 22, 2004.
  P. Mateus: Exogeneous quantum logic.
  J. Rasga: Cut elimination in a general modal calculus.
• Global Computing: MYTHS-MIKADO-DART Joint Workshop, Venice, Italy, June 14-16, 2004.
  A. Ravara: Spatial types for processes.
• Seminaire de l'Institut de Logique, Université de Neuchâtel, Switzerland, June 7, 2004.
  C. Caleiro: Combining classical and intuitionistic logics.
• 2004 European Computing and Philosophy Conference, Pavia, Italy, June 3-5, 2004. 
  J. Marcos: Defining and using deductive systems with Isabelle.
• Seminário de IAD, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Portugal, May 26, 2004.
  M. Campagnolo: A simulação computacional de processos contínuos - Algumas limitações fundamentais.
• Information Security Seminar, Department of Computer Science, ETH, Zurich, Switzerland, May 24, 2004.
  C. Caleiro: Metalevel analysis of security protocols.
• Encontro Nacional de Matemática'04 da Sociedade Portuguesa de Matemática, Instituto Superior de Engenharia do Porto, May 5-8, 2004.
  C. Caleiro: Combinação de lógicas - o problema do colapso.
  L. Cruz-Filipe: Representação de provas em teoria de tipos.
• Seminário de Álgebra, CMUC, Coimbra, Portugal, May 5, 2004.
  D. Kruml: Flat precovers in varieties.
• Seminário de Álgebra, CAUL, Lisboa, Portugal, April 30, 2004.
  L. Cruz-Filipe: A new look at the Fundamental Theorem of Algebra.
• Meeting of the Appsem II Project, Tallinn, Estonia, April 15, 2004.
  A. Ravara: Spatial types for processes.
• Mathematics, Systems and Robotics Seminar, CAMGSD/ISR, IST, Lisboa, Portugal, April 2, 2004.
  P. Mateus: An overview of quantum computation.
• 17th WADT, Barcelona, Spain, March 27-29, 2004.
  C. Caleiro: Cryptomorphisms at work.
• Encontros de Quarta Feira, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Portugal, March 17, 2004.
  A. Ravara: Tipificação do cálculo com sincronização poliádica.
• ZIC- Colloquium, University of Eindhoven, Netherlands, March 16, 2004.
  L. Cruz-Filipe: Formalizing Constructive Real Analysis in Type Theory.
• Seminários do Grupo de Lógica Teórica e Aplicada (GTAL), CLE/Unicamp, Campinas, Brazil, March 10, 2004. 
  J. Marcos: Paranormal modal logics.
• Seminário de Álgebra, CMUC, Coimbra, Portugal, February 17, 2004.
  A. Sernadas: Combining logic systems - Why, how, what for?
• BRICS Seminar, Department of Computer Science, Aalborg University, Denmark, February 13, 2004.
  A. Ravara: Session types for inter-process communication.
• Days in Logic, Braga, Portugal, January 22-24, 2004.
  L. Cruz-Filipe: C-CoRN - the Constructive Coq Repository at Nijmegen.
• Seminário de Álgebra, CMUC, Coimbra, Portugal, January 20, 2004.
  L. Cruz-Filipe: A new look at the Fundamental Theorem of Algebra.
• XII Latin-American Symposium on Mathematical Logic, San José, Costa Rica, January 12-16, 2004.
  J. Marcos: Modal logics talking about consistency.

• Seminário de Análise, Geometria e Sistemas Dinâmicos, CAMGSD, Lisboa, Portugal, November 11, 2003.
  A. Sernadas: Combining logic systems - Why, how, what for?
• Seminário de Álgebra, CAUL, Lisboa, Portugal, October 31, 2003.
  P. Resende: Uma introdução à teoria dos quantales.
• Dagstuhl Seminar 03411 - Language-Based Security, Schloss Dagstuhl, Germany, October 5-10, 2003.
  P. Mateus: Composition of cryptographic protocols in a probabilistic polynomial-time process calculus.
• European Category Theory Meeting, Haute-Bodeux, Belgium, September 7-13, 2003.
  P. Resende: A quantale that classifies Penrose tilings.
• Theorem Proving in Higher Order Logics - 16th International Conference (TPHOLs 2003), Rome, Italy, September 8-12, 2003.
  L. Cruz-Filipe: Program extraction from large proof developments.
• International Conference on Computability and Complexity in Analysis, Cincinnati, USA, August 28-30, 2003.
  D. S. Graça: Computability via analog circuits.
• V Encontro Brasileiro Internacional de Ciência Cognitiva - Vida, Robôs e Emergência, São Vicente, Brazil, August 20-24, 2003.
  C. Lourenço: Caos no seu cérebro.
• Seminário do Laboratório de Automação e Controlo, Escola Politécnica da Universidade de São Paulo, Brazil, August 14, 2003.
  C. Lourenço: Redes neuronais - caos, atenção, computação.
• XXI World Congress on Philosophy, Istanbul, Turkey, August 10-17, 2003.
  J. Marcos: The millionaire contribution of all mistakes.
• XII International Congress of Logic, Methodology and Philosophy of Science, Oviedo, Spain, August 7-13, 2003.
  J. Marcos: On the simple pleasures of logic - The humbug of many logical values.
• III World Congress on Paraconsistency, IRIT, Toulouse, France, July 28-31, 2003.
  C. Caleiro: Suszko's thesis and dyadic semantics.
  J. Marcos: Paraconsistency is not enough.
• Workshop on Sheaves and Topoi in Theoretical Physics, Imperial College, UK, July 17-18, 2003.
  P. Resende: Quantales = 1/2-quantization?
• Workshop on Foundations of Global Computing (Satellite Event of ICALP 2003), Eindhoven, The Netherlands, June 28-29, 2003.
  A. Ravara: Lexically scoped distribution - What you see is what you get.
• Seminário de Álgebra, Centro de Matemática da Universidade de Coimbra, Portugal, June 17, 2003.
  C. Caleiro: Cryptofibring.
• Fields Institute Summer School - Student Presentations, Ottawa, Canada, June 11, 2003.
  L. Cruz-Filipe: Formalizing Mathematics in Coq - Applications.
• Dagstuhl Seminar 03241 - Inconsistency Tolerance, Schloss Dagstuhl, Germany, June 9-13, 2003.
  J. Marcos: Mechanizing deduction for Tarskian logics (even when contradictions draw near).
• Mikado/Myths Joint Meeting, School of Cognitive and Computing Sciences, University of Sussex, UK, June 5-6, 2003.
  A. Ravara: Lexically scoped distribution - What you see is what you get.
• IFIP WG 1.3 Meeting, Menorca, Spain, June 1-4, 2003.
  C. Caleiro: Cryptofibring - Avoiding collapses when combining logics.
• Lattices, Universal Algebra and Applications, CAUL, Lisboa, May 28-30, 2003.
  P. Resende: A survey of quantale theory.
• Portuguese Category Seminar 03, Coimbra, May 23, 2003.
  C. Sernadas: A new algebraic semantics for modal sequent calculi.
  A. Sernadas: Exogeneous probabilistic logic.
  P. Mateus: Internal paracategories.
  J. Ramos: Combining logics versus Grothendieck institutions.
• AMS 2003 Spring Western Section Meeting, S. Francisco, USA, May 4, 2003.
  M. Campagnolo: On the complexity of real recursive functions.
• TYPES 2003 Meeting, Torino, Italy, April 30, 2003.
  L. Cruz-Filipe: C-CoRN: The Constructive Coq Repository at Nijmegen.
• Penn Security Seminar, University of Pennsylvania, Philadelphia, USA, April 29, 2003.
  P. Mateus: Composition of cryptographic protocols in a probabilistic polynomial-time process calculus.
• MathInCoq Meeting, Orsay, France, April 24, 2003.
  L. Cruz-Filipe: What do we want from a presentation tool?
• Seminaire de l'Institut de Logique et le Centre de Recherches Sémiologiques, Université de Neuchâtel, Switzerland, April 2, 2003.
  J. Marcos: How many logical values are there?
• BRICS Seminar, Department of Computer Science, Aalborg University, Denmark, March 6, 2003.
  A. Ravara: Controlling migration in distributed pi-calculus.
• Ny-Meetings, BRICS, Department of Computer Science, Aalborg University, Denmark, March 4, 2003.
  A. Ravara: Session types for inter-process communication.

• Dia Aberto do CMUP, Centro de Matemática da Universidade do Porto, November 15-16, 2002.
  P. Resende: Quantales em geometria não comutativa.
• 3rd International Conference on Unconventional Models of Computation (UMC 2002), Kobe, Japan, October 15-19, 2002.
  M. Campagnolo [invited talk]: The complexity of real recursive functions.
• Workshop on Categorical Structures for Descent and Galois Theory, Hopf Algebras and Semiabelian Categories, Fields Institute, Toronto, Canada, September 23-28, 2002.
  P. Resende: From algebras to quantales and back.
• 16th WADT, Frauenchiemsee, Germany, September 24-27, 2002.
  C. Caleiro: Completeness results for fibred parchments - Beyond the propositional base.
• FOCLASA 2002 (Satellite Event of CONCUR 2002), Brno, Czech Republic, August 24, 2002.
  A. Ravara: Typing the behaviour of objects and components using session types.
• Workshop in THPOLs 2002, Hamton, VA, USA, August 19, 2002.
  L. Cruz-Filipe: Formalizing Real Calculus in Coq.
• Meeting on the Theory and Applications of Quantales, IST, Lisboa, July 16-18, 2002.
  P. Resende: Sub-lattice 2-forms and quantales.
  P. Resende: Quantales that classify Penrose tilings.
• Workshop on Sheaves and Topoi in Physics, Imperial College, UK, July 11-12, 2002.
  P. Resende: Quantales, C*-algebras, and Penrose tilings.
• International Conference on Quantum Structures, TU Vienna, Austria, July 1-7, 2002.
  P. Resende: How quantum are quantales?
• Software Engineering Seminar, Institut für Informatik, University of Freiburg, Germany, July 15, 2002.
  J. Rasga: Labelled first order based logic systems.
• Ciclo de Seminários do Departamento de Engenharia Informática, IST, Lisboa, April 30, 2002.
  C. Caleiro: Analysing authentication protocols - a distributed temporal logic based approach.
• TYPES 2002 Workshop, Berg en Dal, The Netherlands, April 24-28, 2002.
  L. Cruz-Filipe: The fundamental theorem of calculus in Coq.
• Profundis General Meeting, INRIA, Sophia Antipolis, France, April 25-27, 2002.
  A. Ravara: Behavioural types for mobile calculi with labels.
• Eigth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France, April 22-25, 2002.
  P. Mateus: Observations and the probabilistic situation calculus.
• Seminário de Lógica Matemática, IST/FCUL, Lisboa, Portugal, April 2, 16 & 23, 2002.
  A. Sernadas: Topos-theoretic semantics of fibring.
• BRICS Seminar, Department of Computer Science, Aalborg University, Denmark, March 26, 2002.
  A. Ravara: A lexically scoped distributed pi-calculus.
• Ciclo de Seminários do Departamento de Engenharia Informática, IST, Lisboa, March 26, 2002.
  P. Mateus: Secure computation in a probabilistic polynomial-time process calculus.
• Mikado General Meeting, INRIA, Sophia Antipolis, France, February 19-20, 2002.
  A. Ravara: A lexically scoped distributed pi-calculus.
• Algebra Seminar, School of Mathematical Sciences, University of Sussex, February 15, 2002.
  P. Resende: Quantales, C*-algebras, and Penrose tilings.
• Reunião Mikado-Profundis, IST, Lisboa, February 14, 2002.
  C. Caleiro: Lógica para especificação e verificação de protocolos de segurança.
  P. Mateus: Álgebra de processos probabilísticos para computação segura.
• Encontro Nacional de Matemática'02 da Sociedade Portuguesa de Matemática, Universidade de Coimbra, February 5-8, 2002.
  P. Resende [plenary session]: Quantales.
  P. Mateus: Protocolos de computação segura.
  M. Campagnolo: Funções reais recursivas.

• Logic and Computation Seminar, University of Pennsylvania, Philadelphia, USA, October 15, 2001.
  P. Mateus: An algebraic approach to combining stochastic systems.
• Seminário do Departamento de Ciência de Computadores, Faculdade de Ciências da Universidade do Porto Portugal, September 21, 2001.
  A. Ravara: Typing non-uniform concurrent objects.
• International Conference on Artificial Intelligence (IC-AI'2001), Las Vegas NV, USA, June 25-28, 2001.
  C. Caleiro: Non-truth-functional fibred semantics.
• Software Engineering Seminar, Institut für Informatik, University of Freiburg, Germany, May 22, 2001.
  C. Caleiro: Distributed temporal logic.
• Seminário de Lógica Matemática, Complexo II da UL, Lisboa, Portugal, May 10, 2001.
  M. Campagnolo: Elementos para uma teoria de circuitos analógicos e respectiva complexidade computacional.
• Topological Quantum Field Theory Club Meeting, IST, Lisboa, April 26, 2001.
  P. Resende: Quantales and C*-algebras.
• IV Iberoamerican Conference on Topology and its Applications, Coimbra,
  Portugal, April 18-21, 2001.
  P. Resende: On quantales and spectra of C*-algebras.
• 15th WADT (Satellite Event of ETAPS'01), Genova, Italy, April 1-3, 2001.
  C. Caleiro: Combining logics - Parchments revisited.
• Seminário de Lógica Matemática, Complexo II da UL, Lisboa, Portugal, March 29, 2001.
  M. Campagnolo: Computational complexity of real recursive functions - from linear space to elementary space.
• Seminário de Reticulados, Álgebra Universal e Lógica Algébrica, Centro de Álgebra da Universidade de Lisboa, Portugal, March 29, 2001.
  P. Resende: Quantales, álgebras-C* e computação.
• Encontros de Quarta Feira, Faculdade de Ciências da Universidade de Lisboa, Portugal, March 28, 2001.
  A. Ravara: Cálculo pi distribuido.
• Computer Science Seminar,  School of Cognitive and Computing Sciences, University of Sussex, UK, March 2, 2001.
  A. Ravara: Distributed pi-calculus revisited.
• Algebraic Seminar, Department of Algebra and Geometry, Masaryk University, Brno, Czech Republic, February 22, 2001.
  P. Resende: Tropological points of quantales.
• Seminário de Reticulados, Álgebra Universal e Lógica Algébrica, Centro de Álgebra da Universidade de Lisboa, Portugal, February 15, 2001.
  C. Sernadas: Fibrilação modulada e o problema do colapso.
• Computer Science Seminar, INP, Toulouse, France, February 12, 2001.
  A. Ravara: Process mobility without migration primitives.
• MARVEL Project Meeting, INRIA, Sophia Antipolis, France, February 5, 2001.
  A. Ravara: Process mobility without migration primitives.
• Encontros de Quarta Feira, Faculdade de Ciências da Universidade de Lisboa, Portugal, January 25, 2001.
  C. Caleiro: Lógica temporal distribuída.

• Second International Conference on Unconventional Models of Computation, Solvay Institute, Brussels, December 13-16, 2000.
  M. Campagnolo: Upper and lower bounds on continuous-time computation.
• Encontros de Quarta Feira, Faculdade de Ciências da Universidade de Lisboa, Portugal, December 14, 2000.
  P. Resende: Independência, causalidade e estruturas concorrentes em quantales.
• Dynamics and Computation Seminar, Santa Fe Institute, USA, December 7, 2000.
  M. Campagnolo: Upper and lower bounds on continuous-time computation.
• Encontro LOGCOMP, Lisboa, Portugal, September 29, 2000.
  J. Ramos: Agentes no Cálculo de Estados e Situações.
  C. Caleiro: Sincronização versus Fibrilação.
  A. Ravara: What is TyCO, after all?
  P. Mateus: Composicionalidade de Espaços de Probabilidades.
  J. Rasga: Fibrilação de Sistemas Dedutivos Etiquetados.
• Software Engineering Seminar, Institut für Informatik, University of Freiburg, Germany, September 4, 2000.
  F. M. Dionísio: Institutional defaults.
• International Conference on Concurrency Theory (CONCUR 2000), State College, USA, August 22-25, 2000.
  A. Ravara: Typing non-uniform concurrent objects.
• Pi-Meetings, INRIA, Sophia-Antipolis, France, June 20, 2000.
  A. Ravara: What is TyCO, after all?
• Dagstuhl Seminar on Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization, Dagstuhl, Germany, June 4-9, 2000.
  P. Resende: Noncommutative topology in computer science.
• Seminário de Lógica Matemática, IST/FCUL, Lisboa, Portugal, May 4, 11 & 18, 2000.
  A. Sernadas: Fibring - Completeness preservation.
• 4th Conference on Real Numbers and Computers, Schloss Dagstuhl, Germany, April 17-19, 2000.
  M. Campagnolo: An analog characterization of the subrecursive functions.
• Workshop on Current Research on Operational Quantum Logic III, Free University of Brussels, Belgium, April 10-14, 2000.
  P. Resende: Quantales and localic dynamical systems.
• 72nd Peripatetic Seminar on Sheaves and Logic, Brussels, Belgium, April 8-9, 2000.
  P. Resende: Quantales as spaces of dynamical systems.
• Segundo Debate sobre a Investigação Matemática em Portugal, Coimbra, Portugal, April 1-2, 2000.
  C. Sernadas: Unidades de investigação e departamentos universitários.
• ASPIRE Workshop, Berlin, Germany, March 23-25, 2000.
  J. Ramos: Specification and verification of agent communities in the SSC.
  C. Caleiro: Decidability and trace-consistency of DTL.
• Software Engineering Seminar, Institut für Informatik, University of Freiburg, Germany, March 13-17, 2000.
  F. M. Dionísio: Crash Course on Category Theory.
• Seminário de Álgebra, Centro de Matemática da Universidade de Coimbra, Portugal, March 15, 2000.
  P. Resende: Quantales, noncommutative topology and observable properties of systems.
• Seminário de Matemática, ISA, Portugal, February 25, 2000.
  M. Campagnolo: Funções recursivas sobre os reais - computação e equações diferenciais.
• Theory Seminar, Department of Computing, Imperial College, London, UK, February 23, 2000.
  P. Resende: Quantales, noncommutative topology and computer science.
• Seminar on Logical and Algebraic Methods behind Systems, Department of Pure Mathematics, Open University, Milton Keynes, UK, February 16, 2000.
  P. Resende: Quantales, noncommutative topology and computer science.

• Algebraic Seminar, Department of Algebra and Geometry, Masaryk University, Brno, Czech Republic, December 9, 1999.
  P. Resende: Sup-lattice-ordered algebras.
• Encontro LOGCOMP, Lisboa, Portugal, December 6, 1999.
  A. Ravara: Typing non-uniform concurrent objects.
  C. Caleiro: Pushouts vs co-Cartesian liftings.
  P. Mateus: Universal realization of probabilistic automata.
  H. Lourenço: Model checking within the institution of hybrid systems.
  J. Rasga: Fibring of labelled deductive systems.
• Encontros de Quarta Feira, Faculdade de Ciências da Universidade de Lisboa, Portugal, November 19, 1999.
  M. Campagnolo: Analog computation of subrecursive functions.
• Santa Fe Institute Seminar, Santa Fe Institute, USA, November 11, 1999.
  M. Campagnolo: Analog computation of subrecursive functions.
• Algebraic Seminar, Department of Algebra and Geometry, Masaryk University, Brno, Czech Republic, October 21, 1999.
  P. Resende: Quantales, concurrent observations and event structures.
• OOSDS'99 (Satellite Event of ICFP'99), Paris, France, September 26, 1999.
  A. Ravara: Programming and implementation issues in non-unifom TyCO.
• ASPIRE Meeting, Linz, Austria, September 24-25, 1999.
  A. Ravara: Typing non-unifom concurrent objects.
  J. Rasga: Model theoretic fibring of logics with terms and binding operators.
• 14th WADT, Château de Bonas, France, September 15-18, 1999.
  P. Mateus: Combining probabilistic automata: categorical approach.
  H. Lourenço: An institution of hybrid systems.
• CTCS'99, Edinburgh, UK, September 10-12, 1999.
  P. Mateus: Precategories for combining probabilistic automata.
• Category Theory 99, Coimbra, Portugal, July 19-24, 1999.
  P. Mateus: Precategories and applications to probabilistic automata.
• Pi-Meetings, INRIA, Sophia-Antipolis, France, June 2, 1999.
  A. Ravara: Typing non-uniform concurrent objects - II.
• IRIT Seminar, Toulouse, France, May 27, 1999.
  A. Ravara: Typing non-uniform concurrent objects.
• FLAIRS'99, Orlando, USA, May 3-5, 1999.
  P. Mateus: Non-determinism and uncertainty in the situation calculus.
• Joint ASPIRE / FIREworks Meeting, Evry, France, April 8-10, 1999.
  F. M. Dionísio: Structuring defaults for features.
  P. Mateus: Precategories.
  H. Lourenço: Logic of hybrid systems: Institution.
• Pi-Meetings, INRIA, Sophia-Antipolis, France, April 7, 1999.
  A. Ravara: Typing non-uniform concurrent objects - I.
• Encontros de Quarta Feira, Faculdade de Ciências da Universidade de Lisboa, Portugal, March 3, 1999.
  A. Ravara: What is TyCO after all?
• BRICS Seminar, Aarhus University, Denmark, February 18, 1999.
  A. Ravara: Typing non-uniform concurrent objects.
• Ny-Meetings, BRICS, Aalborg University, Denmark, February 5, 1999.
  A. Ravara: Typing non-uniform concurrent objects - II.
• Ny-Meetings, BRICS, Aalborg University, Denmark, January 15, 1999.
  A. Ravara: Typing non-uniform concurrent objects - I.
• Encontro ACL-LOGCOMP, Coimbra, Portugal, February 10-11, 1999.
  A. Sernadas: Fibring - Completeness preservation?
  C. Sernadas: Fibring of algebraic semantics?
  P. Resende: Quantales of concurrent observations.
  C. Caleiro: Trios.
  P. Mateus: Adjunctions in precategories.
  H. Lourenço: Institution of hybrid systems.

• Encontros de Quarta Feira, Faculdade de Ciências da Universidade de Lisboa, Portugal, December 2, 1998.
  A. Ravara: Communication errors in the pi-calculus are undecidable.
• AiML 98 (Advances in Modal Logic 98), Uppsala, Sweden, October 16-18, 1998.
  P. Gouveia: Abductive reasoning over temporal specifications of objects.
• FROCOS 98 (Frontiers of Combining Systems 98), Amsterdam, Netherlands, October 2-4, 1998.
  C. Sernadas: Categorial fibring of logics with terms and binding operators.
• ASPIRE Meeting, Namur, Belgium, September 18-19, 1998.
  P. Resende: Quantales and observational logic in concurrency and specification (tutorial).
  P. Gouveia: Abductive reasoning over temporal specifications of objects.
  A. S. Guerra: Defaults in specifications - Distance functions between temporal models.
• 68th Peripatetic Seminar on Sheaves and Logic, Brno, Czech Repulic, August 29-30, 1998.
  P. Resende: Quantale modules and observational logic.
• Third ESSLLI Student Session, Saarbrucken, Germany, August 17-28, 1998.
  A. S. Guerra: Defaults in specifications - Distance functions between temporal models.
• Workshop on the Semantics of Objects as Processes (Satellite Event of ICALP'98), Aalborg, Denmark, July 18, 1998.
  A. Ravara: Towards an algebra of object types.
• Lógica 98, Évora, Portugal, July 13-18, 1998.
  C. Sernadas: Fibring of logics.
  J. Carmo: Modal logics of action: brief overview.
  J. Carmo: Completeness of a conditional obligation operator.
• Segundo Encontro ACL, Figueira da Foz, Portugal, June 22-23, 1998.
  C. Sernadas: Fibring of logics with terms and binding operators: semantics.
  P. Resende: (In)completeness in observational logic.
  C. Caleiro: Parameterization of logics.
  A. Ravara: An algebra of dynamic object types.
  M. J. Coutinho: Logic systems - (co)limits and (co)cartesian liftings.
  P. Mateus: Combining probabilistic automata.
  H. Lourenço: Aggregation and interconnection of hybrid automata.
• FIREworks Meeting, Magdeburg, Germany, May 15-16, 1998.
  P. Mateus: Combining probabilistic automata.
  A. S. Guerra: Feature addition as composition of hierarchic default specifications.
  H. Lourenço: Aggregation and interconnection of hybrid automata - categorial characterization.
• MFPS-14 (14th International Workshop on the Mathematical Foundations of Programming Semantics), Queen Mary and Westfield College, London, UK, May 10-13, 1998.
  P. Resende: On observing independence and causality.
• Encontros de Quarta Feira, Faculdade de Ciências da Universidade de Lisboa, Portugal, April 29, 1998.
  A. Ravara: An object calculus with implicit communication.
• 13th WADT (Satellite Event of ETAPS'98), Fundação Calouste Gulbenkian, Lisboa, Portugal, April 2-4, 1998.
  C. Sernadas: Fibring of logics with terms and binding operators.
  P. Resende: Observational logic.
  J. Ramos: The situation and state calculus versus temporal logic.
  C. Caleiro: Parameterisation of logics.
  P. Mateus: Aggregation and interconnection of probabilistic automata.
• ETAPS'98 Tutorials (Satellite Event of ETAPS'98), Faculdade de Ciências de Lisboa, Portugal, March 29, 1998.
  C. Sernadas: Categorial techniques for combining logics.
• Encontros de Quarta Feira, Faculdade de Ciências da Universidade de Lisboa, Portugal, March 25, 1998.
  A. Ravara: A type algebra for concurrent objects.
• Encontros de Quarta Feira, Faculdade de Ciências da Universidade de Lisboa, Portugal, February 18, 1998.
  F. M. Dionísio: Composition of hierarchic default specifications.
• Dagstuhl Seminar 9807, Schloss Dagstuhl, Wadern, Germany, February 16-20, 1998.
  P. Resende: Observational logic for the specification of concurrent systems.
  C. Caleiro: Combining logics for distribution.
  A. Ravara: A type algebra for concurrent objects.
• Encontro Nacional de Matemática 98, Braga, Portugal, February 9-12, 1998.
  C. Sernadas: Impacto da Álgebra na Computação.
• Encontro ESCOLA-ACL, Universidade de Coimbra, Portugal, January 26-27, 1998.
  C. Sernadas: Fibrilação de lógicas com termos.
  P. Resende: Lógica observacional e sistemas tropológicos.
  P. Gouveia: Raciocínio abdutivo sobre especificações temporais de objectos.
  J. Ramos: Lógica temporal ramificada versus cálculo de situações.
  C. Caleiro: Adjunções entre sistemas lógicos.
  A. Ravara: Álgebra de tipos para um cálculo de objectos concorrentes.
  M. J. Coutinho: Morfismos entre sistemas lógicos.
  P. Mateus: Agregação e interconexão de autómatos probabilísticos.
  H. Lourenço: Verificação de propriedades em sistemas híbridos lineares.

• 9th European Summer School in Logic, Language and Information, Aix-en-Provence, France, August 11-22, 1997.
  A. Sernadas and C. Sernadas: Course on categorical techniques in combining logics (7h30m).
• FIREworks Meeting, U Namur, Belgium, May 23-24, 1997.
  A. Sernadas: Synchronization with mixed rules - completeness preservation.

• OOP'96, Lisboa, Portugal, October 1-3, 1996.
  A. Sernadas: Feature-oriented specifications.

• 3rd IS-CORE Workshop, Hannover, Germany, September 27-28, 1993.
  A. Sernadas: Denotational semantics of object specification within an arbitrary temporal logic institution
• 5th European Summer School in Logic, Language and Information, Lisboa, Portugal, August 16-27, 1993.
  A. Sernadas: Course on object-oriented programming - a logical approach (7h30m).

• FAC3 Workshop 92, Braga, Portugal, September 7-8, 1992.
  A. Sernadas: An institution of object behaviour.
• Dagstuhl Seminar 9212, Schloss Dagstuhl, Wadern, Germany, March 16-19, 1992.
  A. Sernadas: Object template institution.
• Database Group Seminar, U Braunschweig, Germany, January 9, 1992.
  A. Sernadas: Object specification with pictures.

• Comemorações do 50º Aniversário da Sociedade Portuguesa de Matemática, Lisboa, Portugal, December 12-14, 1990.
  A. Sernadas: O cálculo-lambda.
• DIGITAL Portuguesa, Lisboa, Portugal, September 17-21, 1990.
  A. Sernadas: OBLOG - an informal introduction (30h course).

• Free University of Amsterdam, The Netherlands, December 19, 1989.
  A. Sernadas: The OBLOG approach to object-oriented systems development (3h course).
• First IS-CORE Workshop, Imperial College, London, UK, September 28-29, 1989.
  A. Sernadas: Object concept.
• IFIP WG 8.1 Meeting, Sesimbra, Portugal, June 5-8, 1989.
  A. Sernadas: Object-oriented conceptual modelling.
• Seminário Hugo Ribeiro, IST, Lisboa, Portugal, April 27-29, 1989.
  A. Sernadas: Modular construction of theories.
• IV Encontro Nacional da Sociedade Portuguesa de Matemática, Porto, Portugal, April 3-5, 1989.
  A. Sernadas [invited talk]: O matemático na indústria.
  A. Sernadas: Tipos de objectos abstractos.

Compilation for previous years under construction: