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 2526, 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 2227, 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 almosteverywhere 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, 15, 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 0307, 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 1415, 2013.
A. Sernadas [invited talk]: O triunfo do formalismo.
 First openEyA Users Meeting  Didactica para el Desarrollo (DxD), Trieste, Itália, Outubro 1012, 2012.
J. Ramos: OpenEyA at Instituto Superior Técnico (IST).
 Days in Logic 2012, U Évora, Portugal, February 68, 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 913, 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 1820, 2010.
P. Mateus [colloquium]: The P versus NP problem.
 WECIQ 2010, LNCC, Petrópolis, Brazil, October 1315, 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: Minicourse 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 MultipleValued Logic (ISMVL 2010), Barcelona, Spain, May 2628, 2010.
C. Caleiro: Two many values; an algorithmic outlook on Suszko's thesis.
 UNILOG'2010, Estoril, Portugal, April 2225, 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 711, 2009.
C. Lourenço [invited talk]: Brain dynamics.
 CONCUR 2009, Bologna, Italy, September 14, 2009
A. Matos: Flowpolicy 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 2124, 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 modeltheoretic 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 continuoustime dynamical systems.
 Symposium on Logical Foundations of Computer Science, January 36, 2009, Deerfield Beach, Florida, U.S.A.
Pedro Baltazar: Temporalization of probabilistic propositional logic.
 The 4th FrancoJapanese Computer Security Workshop, Tokyo, December 56, 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: Highlevel programming for ecash.
J. Cederquist: Fairness constraints for the DolevYao attacker model.
A. Matos: Flowpolicy 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 2327, 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 36, 2008.
C. Lourenço: EEG switching  three views from dynamical systems.
 Workshop on Physics and Computation, Vienna, Austria, August 2529, 2008.
D. S. Graça: Computational bounds on polynomial differential equations.
 Fifth International Conference on Computability and Complexity in Analysis, Hagen, Germany, August 2124, 2008.
K. Ojakian: Characterizing computable analysis with differential equations.
 The Fourth World Congress of Paraconsistency, Melbourne, Australia, July 1318, 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: Highlevel programming for ecash.
 Encontro Nacional SPM  Sessão de Lógica e Computação, ISEC, Coimbra, Portugal, June 26, 2008.
J. Rasga: Discrete measure almosteverywhere 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 LatinAmerican Symposium on Mathematical Logic, Paraty, Brasil, May 1117, 2008.
R. Gonçalves: An algebraic perspective on valaution semantics.
 WS on NonClassical Logics: from Foundations to Applications, Centro di Ricerca Matematica Ennio di Giorgi, Scuola Normale Superiore, Pisa, Italy, April 2426, 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 ChurchTuring 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 servicecentred 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 1618, 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 tamperproof devices.
 Formal Analysis, Theory and Algorithms Seminar, Department of Computing Science, University of Glasgow, UK, December 18, 2007.
A. Ravara: Behavioural types for objectoriented 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).
 WorkshopEscola de Computação e Informação Quântica, Campina Grande, Brazil, October 2931, 2007.
P. Mateus [invited talk]: Logic foundations of quantum security.
 International Workshop on FirstOrder Theorem Proving (FTP 2007), Liverpool, UK, September 1213, 2007.
J. Ramos: Labeled tableaux for distributed temporal logic
 6th International Symposium on Frontiers of Combining Systems (FroCoS 2007), Liverpool, UK, September 1012, 2007.
J. Ramos: Combining classical and intuitionistic implications
 XVI International Fall Workshop on Geometry and Physics, IST, Lisboa, Portugal, September 58, 2007.
F. Moura: Type II and heterotic one loop effective actions.
 2nd World Congress on Universal Logic, Xian, China, August 2022, 2007.
R. Gonçalves: On the algebraization of global and probabilistic exogenous logics.
 Meeting on Algebraic and Topological Methods in NonClassical Logics III, Oxford, UK, August 59, 2007.
R. Gonçalves: Behavioral algebraization.
 Lisbon Quantum Computation, Information and Logic (LQCIL'07), IST, Lisboa, Portugal, July 1820, 2007.
N. Paunkovic: Fair contract signing with decoherence.
J. Rasga: Transferring proofs of zeroknowledge systems with quantum tamperproof devices.
 20th IEEE Computer Security Foundations Symposium (CSF 2007  Rump Session), Venice, Italy, July 68, 2007.
P. Adão: A calculus for highlevel 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 1823, 2007.
C. Lourenço: How can natural brains help us compute?
 Computability in Europe, Sienna, Italy, June 1823 2007.
K. Ojakian: Some new approaches to characterizing computable analysis by analog computation
 School on Attractor Mechanism, INFN, Frascati, Italy, June 1822, 2007.
F. Moura: Type II and heterotic one loop effective actions.
 4th Conference on Computability and Complexity in Analysis (CCA 2007), Siena, Italy, June 1618, 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 1216, 2007.
R. Gonçalves: Behavioral algebraization.
 26th Weak Arithmetics Days (JAF 26), Seville, Spain, June 1113, 2007.
D. S. Graça: Computability problems for differential equations.
K. Ojakian: Bounded arithmetic with bounded finite types.
 Security Seminar, INRIAMicrosoft Paris joint Research Lab, France, May 25 2007.
A. Almeida Matos: Nondisclosure 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 2527, 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 26, 2007.
P. Mateus: Transferring proofs of zeroknowledge systems with quantum correlations.
P. Mateus: Towards modelchecking quantum security protocols.
 Seminário do Departamento de Ciência de Computadores, FC/UP, Porto, Portugal, December 13, 2006.
P. Mateus: Transferring proofs of zeroknowledge 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 45, 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 discretemeasure almosteverywhere 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 69, 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 15, 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. CruzFilipe: Reasoning about probabilistic sequential programs.
 Segurança Informática nas Organizações (SINO 2006), Universidade de Aveiro, Portugal, October 1011, 2006.
P. Mateus: Análise de sistemas de prova de conhecimento nulo.
 Computer Science Logic (CSL 2006), Szeged, Hungary, September 2529, 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 2531 2006.
Y. Omar: Generation of entanglement in a quantum wire and application to singleelectron 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 2329, 2006.
F. Moura: Perturbative stability and gravitational wave scattering for stringcorrected black holes in arbitrary dimensions.
 XV Oporto Meeting on Geometry, Topology and Physics, FCUP, Porto, Portugal, July 2023, 2006.
F. Moura: Type II and heterotic one loop effective actions in four dimensions.
 IEEE World Congress on Computational Intelligence, July 1621, Vancouver, Canada.
C. Lourenço: A very small chaotic neural net.
 7th Conference on Real Numbers and Computers (RNC 7), Nancy, France, July 1012, 2006.
D. S. Graça: An ordinary differential equation defined by a computable function whose maximal interval of existence is noncomputable.
 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006), San Servolo, Venice, Italy, July 916, 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 57, 2006.
P. Adão: Towards a quantitative analysis of security protocols.
R. Chadha: Decidable quantum reasoning.
 ModelBased Reasoning in Science and Medicine (MBR'06), Guangzhou, China, July 35, 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 picalculus.
 Algebra, Meaning and Computation  A Festschrift Symposium in Honor of Joseph Goguen, San Diego CA, USA, June 2729, 2006.
C. Caleiro: Quantum institutions.
 Encontro Nacional de Matemática'06 da Sociedade Portuguesa de Matemática, Instituto Superior de Engenharia de Lisboa, June 2023, 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, ClermontFerrand, France, June 1921, 2006.
K. Ojakian: Bounded arithmetic with bounded finite types.
 18th Workshop on Algebraic Development Techniques (WADT'06), La Roche, Belgium, June 13, 2006.
J. Ramos: Probabilistic and quantum institutions revisited.
R. Gonçalves: On the algebraization of manysorted logics.
 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS'06), Genova, Italy, May 2327, 2006.
P. Mateus [invited talk]: Reasoning about imperative quantum programs.
 ASL 2006 Annual Meeting, Université du Québec à Montréal, Canada, May 1721, 2006.
C. Hermida: On modalities induced by categorical relations.
 Theory and Applications of Models of Computation (TAMC06), Beijing, China, May 1520, 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 2628, 2006.
C. Lourenço: Dynamical reservoir properties as network effects.
 XIV Encontro Brasileiro de Lógica, Itatiaia, RJ, Brazil, April 2428, 2006.
W. A. Carnielli: Boole's algebraic logic in polynomial form.
M. E. Coniglio: Polynomial formulations of nondeterministic semantics for logics of formal inconsistency.
J. Marcos: Beyond truthfunctionality.
 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 keycycles.
 2º Encontro Nacional de Estudantes de Informática, Universidade de Évora, Portugal, March 35, 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 noncomputable.
 A Investigação na Universidade Técnica de Lisboa, IST, February 23, 2006.
A. Sernadas: Computação e informação quânticas.
 Days in Logic (DiL'06), Coimbra, Portugal, January 1921, 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 20052006 Winter Meeting, New York, USA, December 2729, 2005.
J. Marcos: Generalizing truthfunctionality.
(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 1518, 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 zeroknowledge 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 2fibrations and strong 2regularity.
 Security Group Meeting, University of Cambridge, UK, October 28, 2005.
P. Adão: How concrete is the DolevYao 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 2223, 2005.
C. Hermida: Descent on 2fibrations and strongly 2regular 2categories.
 Brouwer Seminar, Nijmegen, Netherlands, October 5, 2005.
L. CruzFilipe: The essence of proofs in sequent calculi.
 VerSePro Kickoff Meeting, Oberdof, Switzerland, October 45, 2005.
P. Mateus: Probabilistic logics for security analysis.
 Encontro dos Algebristas Portugueses 2005, Braga, Portugal, September 2224, 2005.
R. Gonçalves: On the algebraization of valuation semantics.
 10th European Symposium on Research in Computer Security (ESORICS 2005), Milan, Italy, September 1214, 2005.
P. Adão: Soundness of formal encryption in the presence of keycycles.
 Workshop on Categorical Methods in Algebra, Geometry and Physics, Canberra, Australia, July 1721, 2005.
C. Hermida: 2descent and strongly 2regularity.
 CALCULEMUS Workshop 2005 (Affiliated Workshop of FM'05), NewcastleuponTyne, UK, July 1819, 2005.
L. CruzFilipe: Executing extracted programs.
 Structures and Deduction  The Quest for the Essence of Proofs (Affiliated Workshop of ICALP 2005), Lisbon, Portugal, July 1617, 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 1617, 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 30July 1, 2005.
P. Adão: A Process algebra for reasoning about quantum security.
 International Workshop on Computations on the Continuum, Lisbon, Portugal, June 2728, 2005.
D. S. Graça: Computability in the general purpose analog computer.
C. Lourenço: Natural computing with continuoustime chaotic neural nets.
 LICS 2005 Short Presentations, Chicago, USA, June 2629, 2005.
P. Mateus: Complete exogenous quantum propositional logic.
 18th IEEE Computer Security Foundations Workshop (CSFW 2005), AixenProvence, France, June 2022, 2005.
P. Adão: Computational and informationtheoretic soundness and completeness of formal encryption.
 Natural Processes and Models of Computation, Bologna, Italy, June 1618, 2005.
D. S. Graça: Discretetime and continuoustime analog computation.
 Meeting on Algebraic and Topological Methods in NonClassical Logics II, Barcelona, Spain, June 1518, 2005.
R. Gonçalves: On the algebraization of valuation semantics.
 CiE 2005 New Computational Paradigms, Amsterdam, Netherlands, June 812, 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 2628, 2005.
D. S. Graça: Computing with continuoustime 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 910, 2005.
C. Hermida: Descent on 2fibrations and strongly 2regular 2categories.
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 2630, 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 manyvalued 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 1012, 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 12, 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 1822, 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 2730, 2004.
P. Mateus: Reasoning about quantum systems.
 Logic, Ontology, Aesthetics: The Golden Age of Polish Philosophy, Montreal, Canada, September 2326, 2004.
J. Marcos: Thou shalt not trivialise!
 Theorem Proving in Higher Order Logics  17th International Conference (TPHOLs 2004), Park City, Utah, USA, September 1417, 2004.
L. CruzFilipe: Hierarchical reflection.
 Workshop on Combination of Logics  Theory and Applications (CombLog'04), Lisbon, July 2830, 2004.
C. Caleiro: Cryptofibring.
J. Marcos: Possibletranslations 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 1213, 2004.
A. Ravara: Typing migration control in Lsdpi.
 Dutch Proof Tools Day, Nijmegen, Netherlands, July 9, 2004.
L. CruzFilipe: CCoRN  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 14, 2004.
J. Marcos: A constructive negation in a nonconstructive logic.
 Logica 2004 Symposium, Hejnice, Czech Republic, June 2225, 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: MYTHSMIKADODART Joint Workshop, Venice, Italy, June 1416, 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 35, 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 58, 2004.
C. Caleiro: Combinação de lógicas  o problema do colapso.
L. CruzFilipe: 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. CruzFilipe: 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 2729, 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. CruzFilipe: 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 interprocess communication.
 Days in Logic, Braga, Portugal, January 2224, 2004.
L. CruzFilipe: CCoRN  the Constructive Coq Repository at Nijmegen.
 Seminário de Álgebra, CMUC, Coimbra, Portugal, January 20, 2004.
L. CruzFilipe: A new look at the Fundamental Theorem of Algebra.
 XII LatinAmerican Symposium on Mathematical Logic, San José, Costa Rica, January 1216, 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  LanguageBased Security, Schloss Dagstuhl, Germany, October 510, 2003.
P. Mateus: Composition of cryptographic protocols in a probabilistic polynomialtime process calculus.
 European Category Theory Meeting, HauteBodeux, Belgium, September 713, 2003.
P. Resende: A quantale that classifies Penrose tilings.
 Theorem Proving in Higher Order Logics  16th International Conference (TPHOLs 2003), Rome, Italy, September 812, 2003.
L. CruzFilipe: Program extraction from large proof developments.
 International Conference on Computability and Complexity in Analysis, Cincinnati, USA, August 2830, 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 2024, 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 1017, 2003.
J. Marcos: The millionaire contribution of all mistakes.
 XII International Congress of Logic, Methodology and Philosophy of Science, Oviedo, Spain, August 713, 2003.
J. Marcos: On the simple pleasures of logic  The humbug of many logical values.
 III World Congress on Paraconsistency, IRIT, Toulouse, France, July 2831, 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 1718, 2003.
P. Resende: Quantales = 1/2quantization?
 Workshop on Foundations of Global Computing (Satellite Event of ICALP 2003), Eindhoven, The Netherlands, June 2829, 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. CruzFilipe: Formalizing Mathematics in Coq  Applications.
 Dagstuhl Seminar 03241  Inconsistency Tolerance, Schloss Dagstuhl, Germany, June 913, 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 56, 2003.
A. Ravara: Lexically scoped distribution  What you see is what you get.
 IFIP WG 1.3 Meeting, Menorca, Spain, June 14, 2003.
C. Caleiro: Cryptofibring  Avoiding collapses when combining logics.
 Lattices, Universal Algebra and Applications, CAUL, Lisboa, May 2830, 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. CruzFilipe: CCoRN: 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 polynomialtime process calculus.
 MathInCoq Meeting, Orsay, France, April 24, 2003.
L. CruzFilipe: 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 picalculus.
 NyMeetings, BRICS, Department of Computer Science, Aalborg University, Denmark, March 4, 2003.
A. Ravara: Session types for interprocess communication.
 Dia Aberto do CMUP, Centro de Matemática da Universidade do Porto, November 1516, 2002.
P. Resende: Quantales em geometria não comutativa.
 3rd International Conference on Unconventional Models of Computation (UMC 2002), Kobe, Japan, October 1519, 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 2328, 2002.
P. Resende: From algebras to quantales and back.
 16th WADT, Frauenchiemsee, Germany, September 2427, 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. CruzFilipe: Formalizing Real Calculus in Coq.
 Meeting on the Theory and Applications of Quantales, IST, Lisboa, July 1618, 2002.
P. Resende: Sublattice 2forms and quantales.
P. Resende: Quantales that classify Penrose tilings.
 Workshop on Sheaves and Topoi in Physics, Imperial College, UK, July 1112, 2002.
P. Resende: Quantales, C*algebras, and Penrose tilings.
 International Conference on Quantum Structures, TU Vienna, Austria, July 17, 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 2428, 2002.
L. CruzFilipe: The fundamental theorem of calculus in Coq.
 Profundis General Meeting, INRIA, Sophia Antipolis, France, April 2527, 2002.
A. Ravara: Behavioural types for mobile calculi with labels.
 Eigth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), Toulouse, France, April 2225, 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: Topostheoretic semantics of fibring.
 BRICS Seminar, Department of Computer Science, Aalborg University, Denmark, March 26, 2002.
A. Ravara: A lexically scoped distributed picalculus.
 Ciclo de Seminários do Departamento de Engenharia Informática, IST, Lisboa, March 26, 2002.
P. Mateus: Secure computation in a probabilistic polynomialtime process calculus.
 Mikado General Meeting, INRIA, Sophia Antipolis, France, February 1920, 2002.
A. Ravara: A lexically scoped distributed picalculus.
 Algebra Seminar, School of Mathematical Sciences, University of Sussex, February 15, 2002.
P. Resende: Quantales, C*algebras, and Penrose tilings.
 Reunião MikadoProfundis, 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 58, 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 nonuniform concurrent objects.
 International Conference on Artificial Intelligence (ICAI'2001), Las Vegas NV, USA, June 2528, 2001.
C. Caleiro: Nontruthfunctional 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 1821, 2001.
P. Resende: On quantales and spectra of C*algebras.
 15th WADT (Satellite Event of ETAPS'01), Genova, Italy, April 13, 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, álgebrasC* 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 picalculus 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 1316, 2000.
M. Campagnolo: Upper and lower bounds on continuoustime 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 continuoustime 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 2225, 2000.
A. Ravara: Typing nonuniform concurrent objects.
 PiMeetings, INRIA, SophiaAntipolis, 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 49, 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 1719, 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 1014, 2000.
P. Resende: Quantales and localic dynamical systems.
 72nd Peripatetic Seminar on Sheaves and Logic, Brussels, Belgium, April 89, 2000.
P. Resende: Quantales as spaces of dynamical systems.
 Segundo Debate sobre a Investigação Matemática em Portugal, Coimbra, Portugal, April 12, 2000.
C. Sernadas: Unidades de investigação e departamentos universitários.
 ASPIRE Workshop, Berlin, Germany, March 2325, 2000.
J. Ramos: Specification and verification of agent communities in the SSC.
C. Caleiro: Decidability and traceconsistency of DTL.
 Software Engineering Seminar, Institut für Informatik, University of Freiburg, Germany, March 1317, 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: Suplatticeordered algebras.
 Encontro LOGCOMP, Lisboa, Portugal, December 6, 1999.
A. Ravara: Typing nonuniform concurrent objects.
C. Caleiro: Pushouts vs coCartesian 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 nonunifom TyCO.
 ASPIRE Meeting, Linz, Austria, September 2425, 1999.
A. Ravara: Typing nonunifom concurrent objects.
J. Rasga: Model theoretic fibring of logics with terms and binding operators.
 14th WADT, Château de Bonas, France, September 1518, 1999.
P. Mateus: Combining probabilistic automata: categorical approach.
H. Lourenço: An institution of hybrid systems.
 CTCS'99, Edinburgh, UK, September 1012, 1999.
P. Mateus: Precategories for combining probabilistic automata.
 Category Theory 99, Coimbra, Portugal, July 1924, 1999.
P. Mateus: Precategories and applications to probabilistic automata.
 PiMeetings, INRIA, SophiaAntipolis, France, June 2, 1999.
A. Ravara: Typing nonuniform concurrent objects  II.
 IRIT Seminar, Toulouse, France, May 27, 1999.
A. Ravara: Typing nonuniform concurrent objects.
 FLAIRS'99, Orlando, USA, May 35, 1999.
P. Mateus: Nondeterminism and uncertainty in the situation calculus.
 Joint ASPIRE / FIREworks Meeting, Evry, France, April 810, 1999.
F. M. Dionísio: Structuring defaults for features.
P. Mateus: Precategories.
H. Lourenço: Logic of hybrid systems: Institution.
 PiMeetings, INRIA, SophiaAntipolis, France, April 7, 1999.
A. Ravara: Typing nonuniform 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 nonuniform concurrent objects.
 NyMeetings, BRICS, Aalborg University, Denmark, February 5, 1999.
A. Ravara: Typing nonuniform concurrent objects  II.
 NyMeetings, BRICS, Aalborg University, Denmark, January 15, 1999.
A. Ravara: Typing nonuniform concurrent objects  I.
 Encontro ACLLOGCOMP, Coimbra, Portugal, February 1011, 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 picalculus are undecidable.
 AiML 98 (Advances in Modal Logic 98), Uppsala, Sweden, October 1618, 1998.
P. Gouveia: Abductive reasoning over temporal specifications of objects.
 FROCOS 98 (Frontiers of Combining Systems 98), Amsterdam, Netherlands, October 24, 1998.
C. Sernadas: Categorial fibring of logics with terms and binding operators.
 ASPIRE Meeting, Namur, Belgium, September 1819, 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 2930, 1998.
P. Resende: Quantale modules and observational logic.
 Third ESSLLI Student Session, Saarbrucken, Germany, August 1728, 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 1318, 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 2223, 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 1516, 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.
 MFPS14 (14th International Workshop on the Mathematical Foundations of Programming Semantics), Queen Mary and Westfield College, London, UK, May 1013, 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 24, 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 1620, 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 912, 1998.
C. Sernadas: Impacto da Álgebra na Computação.
 Encontro ESCOLAACL, Universidade de Coimbra, Portugal, January 2627, 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, AixenProvence, France, August 1122, 1997.
A. Sernadas and C. Sernadas: Course on categorical techniques in combining logics (7h30m).
 FIREworks Meeting, U Namur, Belgium, May 2324, 1997.
A. Sernadas: Synchronization with mixed rules  completeness preservation.
 OOP'96, Lisboa, Portugal, October 13, 1996.
A. Sernadas: Featureoriented specifications.
 3rd ISCORE Workshop, Hannover, Germany, September 2728, 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 1627, 1993.
A. Sernadas: Course on objectoriented programming  a logical approach (7h30m).
 FAC3 Workshop 92, Braga, Portugal, September 78, 1992.
A. Sernadas: An institution of object behaviour.
 Dagstuhl Seminar 9212, Schloss Dagstuhl, Wadern, Germany, March 1619, 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 1214, 1990.
A. Sernadas: O cálculolambda.
 DIGITAL Portuguesa, Lisboa, Portugal, September 1721, 1990.
A. Sernadas: OBLOG  an informal introduction (30h course).
 Free University of Amsterdam, The Netherlands, December 19, 1989.
A. Sernadas: The OBLOG approach to objectoriented systems development (3h course).
 First ISCORE Workshop, Imperial College, London, UK, September 2829, 1989.
A. Sernadas: Object concept.
 IFIP WG 8.1 Meeting, Sesimbra, Portugal, June 58, 1989.
A. Sernadas: Objectoriented conceptual modelling.
 Seminário Hugo Ribeiro, IST, Lisboa, Portugal, April 2729, 1989.
A. Sernadas: Modular construction of theories.
 IV Encontro Nacional da Sociedade Portuguesa de Matemática, Porto, Portugal, April 35, 1989.
A. Sernadas [invited talk]: O matemático na indústria.
A. Sernadas: Tipos de objectos abstractos.
Compilation for previous years under construction: