The Group (formerly as CLC) maintains an intensive guest program, including the following visitors (talks as indicated):

2014

• Vasco T. Vasconcelos, FC - U Lisboa, Lecture: Type-based verification of message-passing parallel programs, 21.11.14.
• Regivan Santiago, UFRN, Brazil, Lecture: Interval mathematics: Its applications in fuzzy logic and its limitations, 25.07.14.
• Benjamin Bedregal, UFRN, Brazil, Lecture: About fuzzy and interval-valued fuzzy negation, 25.07.14.
• Edward Hausler, PUV, Brazil, Lecture: The subformula principle and computational complexity of propositional logics, 18.07.14.
• Luís Cruz-Filipe, University of Southern Denmark, Denmark, Lecture: Minimal-size sorting networks for 9 and 10 inputs, 11.07.14.
• Sanderson Molick, UFRN, Brazil, Lecture: Bivalence and many-valuedness: a glimpse on Suszko's thesis and its developments, 04.07.14.
• Luca Viganò, King's College London, UK, Lecture: Defining privacy is supposed to be easy, 20.06.14.
• Jean-Yves Béziau, UFRJ, Brazil, Lecture: Truth-functional bivalent logic, 07.03.14.

2013

• Paulo de Sousa Mendes, U Lisboa, Lecture: Um modelo semântico de representação da causação e a necessidade de critérios lógico-jurídicos na atribuição da causalidade em direito penal, 20.12.13.
• Amaury Pouly, École Polytechnique, France, Lecture: Computational Complexity of the GPAC, 29.11.13.
• João Marcos, UFRN, Brazil, Lecture: Negative modalities, consistency and determindness, 12.07.13.
• Carolina Blaisio, Unicamp, Brazil, Lecture: Do not be afraid of the unknown, 05.07.13.
• Jeroen van de Graaf, UFMG, Brazil, Lecture: Fast key distribution with security from quantum-optical noise, 05.07.13.

2012

• Jean-Yves Béziau, UFRJ, Brazil, Lecture: Cut-elimination, truth-functionality, compositionality and analyticity, 14.09.12.
• Fernando Ribeiro Correia, Escola Naval, Lecture: Simple ant routing algorithm (SARA): a routing protocol for mobile ad hoc networks, 27.07.12.
• Maria João Gouveia, U. Lisboa, Lecture: Dualidades naturais em 50 minutos, 18.05.12.
• Hanamantagouda Sankappanavar, State University of New York, USA, Lecture: Boole's algebra of logic: A modern version and a modern adaption of the original version, 30.03.12.

2011

• Luca Viganò, U Verona, Italy, Lecture: A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes, 21-26.11.11.
• Joao Marcos, UFRN, Brazil, Lecture: Taking collective agency for serious, 21-26.11.11.
• Marcos Curty, U Vigo, Spain, Lecture: Taming detector side channels in quantum cryptography, 23-25.11.11.
• Alexandra Olaya-Castro, University College London, UK, Lecture: Using quantum information tools to quantify electronic coherence in light-harvesting systems, 10-11.11.11.
• Dirk Hofmann, U Aveiro, Lecture: On co-algebraic dualities for modal logics, 4.11.11.
• Tamas Kiss, Hungarian Academy of Sciences, Hungary, Lecture: Recurrence in quantum walks, 3-4.11.11.
• Armando Nolasco Pinto, U Aveiro, Lecture: Communications with Single and Entangled Photon Pairs, 20.10.11.
• João Nuno Prata, U Lusófona, Lecture: Noncommutative Quantum Mechanics, 7.10.11.
• João Nuno Prata, U Lusófona, Lecture: Weyl-Wigner formulation of quantum mechanics, 23.9.11.
• Luca Viganò, U Verona, Italy, Lecture: Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis, 8-17.7.11.
• Tomas Kopf, U Opave, Czech Republic, Lecture: Generative model inversion and information geometry, 3.6.11.
• Jean-Yves Béziau, UFRJ, Brazil, Combining Negation, 5-6.5.11.
• José Santos, INRIA, Sophia-Antipolis, France, Lecture: On Extracting Security Policies From Program Invariants - A static analysis for dynamic decision making, 7.4.11.
• José Espírito Santo, U Minho, Lecture: Parigot's lambda-mu-calculus revisited, 18.2.11.
• Ricardo Gonçalves UNL, Lecture: Parametrized logic programming, 11.2.11.
• Mariana Barros, UFMG, Brazil, Lecture: Optical demonstration of the Deutsch-Jozsa algorithm with a single qubit, 11.1.11.

2010

• Uwe Nestmann, TU Berlin, Germany, Lecture: Breaking Symmetries, 17.12.10.
• Tamara Rezk, INRIA, Sophia-Antipolis, France, Lecture: Security in Hop web Applications, 23-24.11.10.
• Orfeu Bertolami, U Porto, Lecture: Noncommutative quantum mechanics, quantum cosmology and black holes, 19.11.10.
• Jean-Yves Béziau, UFRJ, Brazil, Lecture: Logic of Pure Negation, 5.11.10.
• Markus Tiersch, U Innsbruck, Austria, Lecture: Benchmarks and statistics of entanglement dynamics, 1-3.11.10.
• Gergely Banna, 27.10-2.11.10.
• Luca Viganò, U Verona, Italy, Lecture: Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC, 10-18.10.10.
• Alexandre Costa-Leite, Brasilia U, Brazil, Lecture: Interactive laws and combined concepts, 8.10.10.
• José Cláudio do Nascimento, U Fortaleza, Brazil, Lecture: Statistical model for a quantum noiseless subsystem, 30.7.10. 
• João Marcos, UFRN, Brazil, Lecture: The value of the two values, 19-23.7.10.
• Jan Bouda, Masaryk University, Brno, Czech Republic, Lecture: Randomness Extractors, 14-21.7.10.
• Anderson de Araújo, UNICAMP, Brazil, Lecture: A structural approach to Turing machines, 7.7.10.
• Gergei Bana, ENS-Cachan, France, Lecture: Secrecy-Oriented, Computationally Sound First-Order LogicalAnalysis of Cryptographic Protocols, 24-26.6.10.
• Mohammad Torabi Dashti, ETH, Switzerland, Lecture: Formal Specification and Verification of Security Services, 15-17.6.10.
• Ralf Kuesters, U Trier, Germany, Lecture: Central Security Requirements of E-Voting Systems: Verifiability, Accountability, and Coercion-Resistance, 8.6.10.
• Juliana Bueno-Soler, UFABC, Brazil, Lecture: Modal systems with soft negations: from completeness to incompleteness, 30.4.10.
• Walter Carnielli, UNICAMP, Brazil, Lecture: Rationality, consistency and societies, 26.4.10.
• Vicent Martin, 22.4.10.
• Andreas Poppe, 21-22.4.10.
• Mark Ryan, U Birmingham, UK, Lecture: Election Verifiability in Trustworthy Voting Systems, 29-30.4.10.
• Tomoyuki Morimae, U Lille, France, Lecture: Macroscopic superposition in quantum information processing, 3-6.3.10.
• Juha Kontine, U Helsinki, Finland, Lecture: Regular representations of uniform TC 0 , 2-4.3.10.
• Frank Pfenning, CMU, USA, Lecture: Reasoning about the Consequences of Authorization PoliciesinaLinear Epistemic Logic, 25.2.10.
• Casimir Cremers, ETH, Switzerland, Lecture: Modeling and Analyzing Security in the Presence of Compromising Adversaries, 24-27.2.10.
• David Basin, 13-15.2.19.10.
• Jean-Yves Béziau, U Fortaleza, Brazil, Lecture: Pure alethic modal logics, 10-13.2.10.
• Luca Viganò, U Verona, Italy, Lecture: A History of Until, 10/2/10.07-16.2.10.
• Francisco Marcos de Assis UFCG, Brazil, Lecture: Zero-Error Capacity of a Quantum Channel, 1-15.2.10.
• Wafik Lotfallah, 28-29.1.10.
• Mário Jorge Edmundo, U Aberta, Lecture: O-minimal sheaves, cohomology and applications, 15.1.10.

2009

• Michal Walicki, U Bergen, Norway, Lecture: Sequence Logic - a Flexible Tool for Analysisof(Epistemic)Protocols, 6.11.09.
• Ran Canetti, Tel Aviv U, Israel, Lecture: How to Assert and Use Composable Security, 2-10.10.09.
• Sebastià Xambó, TU Catalonia, Spain, Lecture: A mathematical view of quantum computation, 6-9.10.09.
• Leonor Cruzeiro, U Algarve, Lecture: Quantum Vibrational Excited States and Protein Function, 25.9.09.
• Marcelo Coniglio UniCamp, Brazil, Lecture: On the logic of conjunction and disjunction,  21-30.9.09.
• Michal Walicki, U Bergen, Norway, Lecture: Propositional Consistency and Kernels of Digraphs, 18.9.09.
• Mikilaj Bojanczyk, 7-9.9.09.
• Juan Garcia Escartin, U Valladolid, Spain, Lecture: Quantum Computer Networks, 23-24.7.09.
• Luca Viganò, U Verona, Italy, Lecture: Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures, 17-25.7.09.
• Rajagopal Nagarajan, Warwick U, UK, Lecture: Modelling and Analysis of Quantum Protocols, 17.7.09.
• David Basin, ETH, Switzerland, 16-18.7.09.
• Virgil D. Gligor, CMU, USA, Lecture: Brief Encounters on a Random Key Graph, 8.7.09.
• Louis H. Kauffman, U Illinois at Chicago, USA, Lecture: Topological Quantum Information, 3.7.9. 
• Yusuke Kawamoto, U Tokyo, Japan, Lecture: Computational Soundness of Observational Equivalence without Requiring Computable Parsing, 17-30.6.09.
• Keiko Nakata, Institute of Cybernetics, Estonia, Lecture: A Hoare-logic for potentially non-terminating programs, 15.6.09.
• Jean-Yves Béziau, U Fortaleza, Brazil, Lecture: Four-valued modal logic, 11-12.6.09.
• Vittorio Giovannetti, Scuola Normale Superiore, Pisa, Italy, Lecture: Capacities of Lossy Bosonic Memory Channels, 22-24.4.09.
• Viorica Sofronie-Stokkermans, Max-Planck-Institut, Germany, Lecture: Hierarchical and modular reasoning in complex theories, 22-24.3.09.
• Daniel Reitzner, Slovak Academy of Sciences, Slovenia, Lecture: Scattering-Quantum-Walk searches, 25-28.3.09.
• Alessandro Berarducci, Universitá de Pisa, Italy, Lecture: Definable groups in o-minimal structures I, 12.3.09.
• José Cláudio do Nascimento, U Fortaleza, Brazil, Lecture: Quantum identification system over a private quantum channel, 23-27.2.09.
• João Marcos, UFRN, Brazil, 23.2-01.3.09. Lecture: Towards fully automated axiom extraction for finite-valued logics, 27.2.09.
• Manuel Bernardo Barbosa, U Minho, Lecture: Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps, 20.2.09.
• Mahmoud Abdel-Aty Sohag U, Egypt and Bahrain U, Bahrain, Lecture: Entanglement Sudden Birth and Entanglement Sudden Death, 13.02.09. 
• Marco Volpe, U Verona, Italy, 21.1-13.3.09. Lecture: A labeled natural deduction system for a fragment of CTL*, 6.2.09.
• Luca Viganò, U Verona, Italy, 17-25.1.09. Lecture: Secure pseudonymous channels, 23.1.09.

2008

• Shi-Jian Gu, Chinese University of Hong-Kong, HK, 1-8.11.08. Lecture: Fidelity susceptibility and quantum phase transitions, 7.11.08.
• Gustavo Petri, INRIA, Sophia-Antipolis, France, 24-29.10.08. Lecture: Relaxed memory models - an operational approach, 28.10.08.
• Tamara Rezk, INRIA, Sophia-Antipolis, France, 24-29.10.08. Lecture: A provably secure cryptographic compiler, 24.10.08.
• Christel Baier, TU Dresden, German, 8-11.10.08. Lecture: Probabilistic Buechi automata, 10.10.08.
• Wafik Lotfallah, German University in Cairo, Egypt, 27.9-4.10.08. Lecture: Almost everywhere quantifier elimination for fragments of logics with probability quantifiers: discovering the interplay between two probability notions, 3.10.08.
• Marcelo Coniglio, State University of Campinas, Brazil, 21-27.9.08. Lecture: Metafibring and reconstruction of logics from its fragments, 26.9.08.
• Jean-Yves Béziau, Swiss National Science Foundation, Switzerland, 8-13.9.08. Lecture: Universal logic - a new perspective for logical research, 12.9.08.
• Konrad Banaszek, U Nicolaus Copernicus, Torun, Poland, 26-30.7.08. Lecture: Quantum communication in the presence of noise - part 2, 28.7.08.
• Konrad Banaszek, U Nicolaus Copernicus, Torun, Poland, 26-30.7.08. Lecture: Quantum communication in the presence of noise - part 1, 28.7.08.
• Massimo Palma, U Palermo Italy, 22-27.7.08. Lecture: Entanglement and ergodicity in randomly colliding qubits, 25.7.08.
• David Basin, ETH, Switzerland, 18-22.7.08.
• Vladimír Bu�ek, Slovak Academy of Sciences, Slovakia, 12-16.7.08. Lecture: Toward quantum-ensured privacy and voting, 15.7.08.
• Luca Viganò, U Verona, Italy, 11-25.7.08. Lecture: Formal analysis of a SAML web browser single sign-on protocol, 18.7.08.
• Alexandre P. Francisco, INESC-ID, IST - TU Lisbon, 27.6.08. Lecture: Identification of transcription factor binding sites in promoter regions by modularity analysis of the motif co-occurrence graph.
• Gergei Bana, Tulane University, USA, 15-30.6.08. Lecture: Computational soundness of formal indistinguishability and static equivalence, 27.6.08.
• Romeo de Coss, Unidad Mérida del Centro de Investigación y de Estudios Avanzados, Mexico, 15-29.6.08. Lecture: Graphene: the new frontier of the carbon based materials, 27.6.08.
• Matthias Baaz, Vienna University of Technology, Austria, 20-27.6.08. Lecture: Towards a proof theory of analogical reasoning, 24.6.08.
• Marcelo Coniglio, U Campinas, Brazil,10-21.6.08. Lecture: Logics of deontic inconsistency, 20.6.08.
• Paolo Zanardi, U Southern California, USA, 18-23.6.08. Lecture: Critical fidelities: the (quantum) information geometrical approach to phase transitions, 19.6.08.
• Guillermo Cordourier, Unidad Mérida del Centro de Investigación y de Estudios Avanzados, Mexico, 15-29.6.08. Lecture: Entanglement of magnetic impurities via electron scattering, 18.6.08.
• Gérard Boudol, INRIA, Sophia-Antipolis Méditérranée, France, 27-31.5.08. Lecture: Secure information flow as a safety property, 30.5.08.
• Jean-Yves Béziau, Swiss National Science Foundation, Switzerland, 19-25.5.08. Lecture: The world of possible logics, 23.5.08.
• Geraldo A. Barbosa, Center for Photonic Communication and Computing, Northwestern University, USA, 30.4-10.5.08. Lecture: Platform for telecommunications secured by physical noise, 9.5.08.
• Aires Ferreira, U Porto, 8-30.4.08. Lecture: Towards optomechanical entanglement between a movable mirror and light, 24.4.08.
• Francisco Marcos de Assis, U Federal de Campina Grande, Brazil, 13-27.4.08. Lecture: Security analysis of a quantum-classical authentication protocol, 18.4.08.
• Ricardo Chaves, INESC-ID, 11.4.08. Lecture: Secure computing on reconfigurable systems.
• Gergei Bana, Tulane University,USA, 15-19.3.08. Lecture: Computational soundness of first-order-logic-based symbolic analysis of cryptographic protocols, 18.3.08.
• Wagner Sanz, UF Goiás, Brazil, 22.2.08. Lecture: Preserving falsity.
• Dick de Jongh, University of Amsterdam, Netherlands, 15.1-2.2.08.
• Rui Joaquim, ISEL, 11.1.08. Lecture: Electronic voting.

2007

• Simon Gay, U Glasgow, UK, 1.9-22.12.07. Lecture: Quantum security via process calculus, 21.12.07.
• Luca Viganò, U Verona, Italy, 13-21.12.07. Lecture: A qualitative modal representation of quantum register transformations, 14.12.07.
• Marcos Pérez Suárez, 13.12.07. Lecture: On quantum state conditioning and a stochastic representation of quantum operations.
• Rémy Mosseri, U Pierre et Marie Curie, France, 6-8.12.07. Lecture: Geometry of few qubits entangled states, Bloch spheres and Hopf fibrations, 7.12.07.
• Pascal Degiovanni, ENS Lyon, France, 4.12.07. Lecture: Quantum detection of electronic flying qubits.
• Jan Bouda, U Masaryk, Czech Republic, 29.11-4.12.07. Lecture: Private quantum channels, random unitary channels and tamper resistance, 30.11.07.
• Aires Ferreira, U Porto, 22-23.11.07. Lecture: Long distance entanglement mediated by spin chains, 23.11.07.
• Francisco Marcos de Assis, U Federal de Campina Grande, Brazil, 9-22.11.07. Lecture: Zero-error capacity of quantum channels, 16.11.07.
• Alex Usvyatsov, CMAF, Portugal and UCLA, USA, 19.10.07. Lecture: Continuous model theory.
• Carla Ferreira, INESC-ID, IST, 12/10/07. Lecture: cCSP: A process algebra for compensating transactions.
• Francesco Ciccarello, U Palermo, Italy, 17-29.9.07. Lecture: Entanglement of two spins via repeated injection of flying qubits, 28.9.07.
• Michelangelo Zarcone, Università di Palermo, Italy, 24-30.9.07.
• Adán Cabello, U Seville, Spain, 24-27.9.07. Lecture: Nonlocality for graph states, 26.9.07.
• Markus Weber, Ludwig-Maximilians Universität München, Germany, 18-22.9.07. Lecture: Long-distance atom-photon entanglement and remote preparation of an atomic Quantum Memory, 21.9.07.
• Jean-Yves Béziau, SNSF, U Neuchâtel, Switzerland, 14.9.07. Lecture: The world of possible logics and universal Kripke structures.
• Olivier Bournez, Ecole Polytechnique, Palaiseau, France, 4-6.9.07.
• Manas Patra, University of New South Wales, Australia, 10-26.7.07.
• Rohit Chadha, University of Illinois, USA, 9-14.9.07.
• Ivan Lanese, Università di Bologna, Italy, 7-14.7.07.
• Eric Hehner, U Toronto, Canada, 10-13.7.07. Lecture: Probabilistic predicative programming, 11.7.07.
• Sergei Babyonyshev, Siberian Federal University, Russia, 29.6.07. Lecture: Syntactical derivation of the protoalgebraicity condition.
• Marcelo Coniglio, IFCH, UniCamp, Brazil, 17-29.6.07. Lecture: Decomposing logics by possible-translations coverings, 22.6.07.
• Claudio Hermida, Queen's University, Canada, 11-16.6.07. Lecture: Monoidal indeterminates and categories of possible worlds, 15.6.07.
• António Lázaro, Universidade do Minho, Portugal, 21.5.07. Lecture: Dos primórdios da criptografia em Portugal.
• Anthony Chefles, Hewlett-Packard Laboratories, Bristol, UK, 13-21.5.07. Lecture: Unambiguous discrimination among oracle operators, 18.5.07.
• Andreas Winter, U Bristol, UK, 4-8.5.07. Lecture: The mother of all protocols: Restructuring quantum information's family tree, 7.5.07.
• Michael Wolf, Max-Planck-Institut für Quantenoptik, Garching, Germany, 25-27.4.07. Lecture: Entanglement based tools for quantum-many-body physics, 27.4.07.
• João Sobrinho, Instituto de Telecomunicações, IST, 20.4.07. Lecture: Routing through abstract algebra.
• Maarten Van den Nest, U Innsbruck, Austria, 10-13.4.07. Lecture: Measurement-based quantum computation and undecidable logic, 13.4.07.
• Tamara Rezk, INRIA Microsoft Research Joint Centre, 3.4.07. Lecture: Cryptographically secure implementations of non-interferent programs.
• João Barros, FCUP, Portugal, 30.3.07. Lecture: Information-theoretic security in wireless networks: from theory to practice.
• Jan Bouda, U Masaryk, Czech Republic, 22-27.3.07. Lecture: Private quantum channel: generality of the definition, 23.3.07.
• Luca Viganò, U Verona, Italy, 15-25.3.07. Lecture: Formalizing and analyzing sender (and receiver) invariance, 16.3.07.
• Vladimir Man’ko, Lebedev Physical Institute, Russia, 9.3.07. Lecture: A probabilistic operator symbol framework for quantum information.
• Valerio Scarani, U Geneva, Switzerland, 28.2-2.3.07. Lecture: Device-independent security proofs for quantum cryptography, 2.3.07.
• Nobuko Yoshida, Imperial College, UK, 22.2-1-3.07. Lecture: Security analysis and controls for mobile code via types, 23.2.07.
• Luís Caires, Universidade Nova de Lisboa, Portugal, 2.2.07. Lecture: Space-time types for concurrency control.
• Marcelo Coniglio, UniCamp, Brazil, 16-25.1.07. Lecture: I 1 and P 1 are (and are not) algebraizable with the same quasi-variety, 19.1.07.
• João Pedro Sousa, George Mason U, USA, 3.1.07. Lecture: Activity-oriented computing.

2006

• Marcelo Terra Cunha, U Federal de Minas Gerais / U Leeds, Brazil / UK, 14-20.12.06. Lecture: Entanglement: estimation, extraction, and transfer — part 2, 15.12.06.
• Nick Papanikolaou, U Warwick, UK, 12-18.11.06. Lecture: Towards a model-checker for quantum stabilizer protocols, 17.11.06.
• Paulo Nogueira, CFIF-IST, 10.11.06. Lecture: Some combinatorics from quantum field theory.
• Marcelo Terra Cunha, U Federal de Minas Gerais, Brasil / U Leeds, UK, 21-28.10.06. Lecture: Entanglement: estimation, extraction, and transfer, 27.10.06.
• Michael Ben-Or, Hebrew University, Israel, 5-12.9.06. Lecture: Secure multiparty quantum computation with (only) a strict honest majority, 8.9.06.
• Marcelo Coniglio, IFCH, UniCamp, Brazil, 8-25.7.06. Lecture: Fibring in the Leibniz hierarchy, 21.7.06
• Jerry den Hartog, U Twente, Netherlands, 17-22.7.06. Lecture: A probabilistic Hoare-style logic for game-based cryptographic proofs, 20.7.06.
• Luca Viganò, ETH, Switzerland, 16-23.7.06.
• Peter Selinger, Dalhousie University, 14.7.06. Lecture: Idempotents in dagger categories.
• Pedro Castelo Ferreira, CENTRA - IST, 14.7.06. Lecture: Topological quantum computation (conclusion).
• Josep Batle Vallespir, U Balearic Islands, 5-12.7.06. Lecture: Entanglement, speed of quantum evolution and entropic inequalities, 11.7.06.
• Ojas Parekh, Emory U, USA, 6-10.7.06. Lecture: Compacting cuts: a new linear formulation for minimum cut, 7.7.06.
• Pedro Castelo Ferreira, CENTRA - IST, 7.7.06. Lecture: Topological quantum computation.
• Mário Figueiredo, IT, Instituto Superior Técnico, 30.6.06. Lecture: Network inference from co-occurences.
• Francisco Marcos de Assis, U Federal de Campina Grande, Brasil, 18.6-1.7.06. Lecture: Quantum zero-error capacity, 29.6.06.
• Ana Matos, U Nijmegen, Netherlands, 20.6.06. Lecture: Typing secure information flow: declassification and mobility.
• Jean-Yves Béziau,SNSF, U Neuchâtel, Switzerland, 16.6.06. Lecture: Absolute maximality.
• Carlos Russo, Institut für Experimentalphysik, U Innsbruck, Germany, 2.6.06. Lecture: Quantum information processing with trapped ions.
• Luís Antunes, LIACC, U Porto, Portugal, 26.5.06. Lecture: Worst-case running times for average-case algorithms.
• Ignacio Cirac, Max-Planck-Institut für Quantenoptik, Germany, 16.5.06. Lecture: Quantum simulations in many-body systems.
• Alexandre Costa-Leite, U Neuchâtel, Switzerland, 26.4-17.6.06. Lecture: The Church-Fitch paradox and combining logics, 12.5.06.
• Jorge Orestes Cerdeira, Instituto Superior de Agronomia, Portugal, 5.5.06. Lecture: Connectivity in the design of protected area networks.
• Daniel Gottesman, Perimeter Institute, Canada, 2-7.5.06. Lecture: The threshold for fault-tolerance, 5.5.06.
• Armando Perez, U Valencia, Espanha, 27-28.4.06. Lecture: Non-linear quantum walks, 27.4.06.
• Diamantino Caseiro, INESC, Portugal, 21.4.06. Lecture: Spoken language processing using weighted finite-state transducers.
• Simone Severini, U York, UK, 6-9..4.06. Lecture: Unitarity as a finer sieve in distinguishing combinatorial objects, 7.4.06.
• Mingsheng Ying, Tsinghua University, China, 20.3.06-5.6.06. Lecture: Quantum entanglement transformation, 7.4.06.
• Christopher Fuchs, Bell Laboratories, USA, 28.3-2.4.06. Lecture: Maximally sensitive quantum states and a measure of quantumness, 31.3.06.
• Luca Viganò, ETH, Switzerland, 15-24.3.06. Lecture: Symbolic and cryptographic analysis of the secure WS-ReliableMessaging scenario, 17.3.06.
• Olivier Bournez, LORIA, France, 10.3.06. Lecture: Syntactic characterizations of some complexity classes in the Blum/Shub/Smale model.
• Diana Santos, SINTEF, Norway, 24.2.06. Lecture: HAREM: the first evaluation contest for named entity recognition in Portuguese.
• Marcelo Coniglio, CLE, UniCamp, Brazil, 5.2-2.3.06. Lecture: Plain fibring of matrix semantics, 24.2.06.
• Ashwin Nayak, U Waterloo & Perimeter Institute, Canada, 4-8.2.06. Lecture: Approximate encryption of quantum states, 7.2.06.
• Rahul Jain, U Berkeley, USA, 21.1-3.2.06. Lecture: Resource requirements of private quantum channels, 27.1.06.
• Virgil D. Gligor, U Maryland, USA, 10-15.1.06. Lecture: Emergent properties in ad-hoc networks: a security perspective, 13.1.06.
• Scott Aaronson, U Waterloo, Canada, 10-14.1.06. Lecture: Quantum versus classical proofs and advice, 13.1.06.

2005

• Sougato Bose, University College London, UK, 12-17.12.05. Lecture: Quantum communication through spin chains and related systems, 13.12.05.
• Luís Russo, INESC, Portugal, 9.12.05. Lecture: Improved indexing of text using the Ziv-Lempel trie.
• Anton Zeilinger, U Vienna, Austria, 2.12.05. Lecture: From Einstein to Quantum Information.
• Jonathan Borwein, Dalhouisi University, Canada, 22-29.11.05. Lecture: What is high performance mathematics, 28.11.05.
• Markus Arndt, U Vienna, Austria, 16-20.11.05. Lecture: Experimental exploration of the quantum/classical transition, 18.11.05.
• Sara Madeira, INESC and U Beira Interior, Portugal, 11.11.05. Lecture: CCC-biclustering: a linear time biclustering algorithm for time-series gene expression data.
• Walter Carnielli, CLE, UniCamp, Brazil, 2-7.10.05. Lecture: Infinite voting, fuzziness and modulated quantifiers, 4.10.05.
• Dan Ghica, U Birmingham, UK, 16-22.9.05. Lecture: Data-abstraction refinement: a game semantic approach, 20.9.05.
• Kokichi Futatsugi, JAIST, Japan, 13.9.05. Lecture: Formal methods with CafeOBJ.
• Francesco Ciccarello, U Palermo, Italy, 11-16.9.05. Lecture: Hot electron noise in n-type GaAs in crossed electric and magnetic fields, 13.9.05.
• Luca Viganò, ETH, Switzerland, 28.8-12.9.05. Lecture: The AVISPA Tool for the automated validation of internet security protocols and applications, 9.9.05.
• Alessandra di Pierro, U Pisa, Italy, 29.8-5.9.05. Lecture: Time-based interference and probabilistic padding, 2.9.05.
• Elham Kashefi, IQC, U Waterloo, Canada, 1-5.9.05. Lecture: Measurement calculus, 2.9.05.
• Lutz Schröder, U Bremen, Germany, 25-30.7.05. Lecture: Expressivity of coalgebraic modal logic, 29.7.05
• José Carlos Cifuentes, UF Paraná, Brasil, 22.7.05. Lecture: Lógica fuzzy e consistência polivalente.
• David Basin, ETH, Switzerland, 11-17.7.05. Lecture: Model driven security, 14.7.05.
• Umesh Vazirani, U California, Berkeley, USA, 12-16.7.05. Lecture: Quantum algorithms: The non-abelian hidden subgroup problem, 14.7.05.
• Kai Eckert, U Hannover, Germany, 2-7.7.05. Lecture: Quantum information with neutral atoms trapped in optical potentials, 5.7.05.
• Jean-Yves Béziau, SNSF, U Neuchâtel, Switzerland, 1.7.05. Lecture: Combining conjunction with disjunction.
• Gilles Brassard, U Montréal, Canada, 28.6-1.7.05. Lecture: The spooky power of quantum entanglement, 1.7.05.
• Dick de Jongh, ILLC, U Amsterdam, Netherlands,  13-19.6.05. Lecture: The logic of the Rieger-Nishimura ladder, 17.6.05.
• Simon Gay, U Glasgow, UK, 7.6.05. Lecture: Probabilistic model-checking of quantum protocols.
• Claude Crépeau, McGill University, Canada, 26-29.5.05. Lecture: Quantum zero-knowledge: state of the art, 27.5.05.
• João Sobrinho, Instituto de Telecomunicações, Portugal, 6.5.05. Lecture: O m(in)istério da educação: ou o problema da colocação dos docentes 2004/2005.
• Andris Ambainis, U Waterloo, Canada, 20-28.4.05. Lecture: Adiabatic theorem and adiabatic quantum algorithms, 22.4.05.
• Caslav Brukner, U Vienna, Austria, 16-20.4.05. Lecture: How to compute a function without knowing its input? Using quantum entanglement!, 19.4.05.
• Ana Paula Tomás, LIACC, U Porto, Portugal, 15.4.05. Lecture: Casamentos estáveis e colocação de professores em Portugal.
• João Marcos, Instituto Superior Técnico, Portugal, 3-10.4.05. Lecture: Paraconsistency, many-valuedness, modality, 8.4.05.
• Jirí Adámek, TU Braunschweig, Germany, 30-31.3.05. Lecture: A logic of coequations, 31.3.05. 
• Jörg Flum, U Freiburg, Germany, 18.3.05. Lecture: Parameterized complexity.
• Beatrix Hiesmayr, U Vienna, Austria, 17-20.2.05. Lecture: Thermodynamical versus optical complementarity, 18.2.05.
• Karina Roggia, UF Rio Grande do Sul, Brazil, 9-13.2.05. Lecture: Category of partial graphs with total homomorphims: Theory and applications, 11.2.05.
• Lov Grover, Bell Labs, USA, 2-6.2.05. Lecture: Quantum algorithms, 4.2.05.
• Ana Bela Cruzeiro, Instituto Superior Técnico e GFM, Portugal, 14.1.05. Lecture: On the equations of motion in quantum mechanics.

2004

• Vítor Rocha Vieira, Instituto Superior Técnico, Portugal, 10.12.04. Lecture: Quantum stochastic processes.
• Adán Cabello, University of Seville, Espanha, 3-9.12.04. Lecture: How much larger than classical correlations are quantum correlations?, 3.12.04.
• Luca Viganò, ETH, Switzerland, 1-9.12.04. Lecture: A formalization of off-line guessing for security protocol analysis, 3.12.04.
• Alessandra di Pierro, U Pisa, Italy, 1-9.12.04. Lecture: Quantitative program analysis of security properties, 2.12.04.
• Antonio Acín, Institute of Photonic Sciences, Espanha, 24-28.11.04. Lecture: Secret-key agreement and bound information, 25.11.04.
• José Ignacio Latorre, University of Barcelona, Espanha, 18-21.11.04. Lecture: Entanglement along quantum computation, 19.11.04.
• Sonja Smets, Free University of Brussels, Belgium, 10-17.11.04. Lecture: On quantum propositional dynamic logics, 12.11.04.
• Yasser Omar, Instituto Superior Técnico, Portugal, 5.11.04. Lecture: Introduction to quantum cryptography.
• Ulle Endriss, Imperial College London, UK, 1.10.04. Lecture: An extended temporal logic based on ordered trees.
• Carla Ferreira, Instituto Superior Técnico, Portugal, 24.9.04. Lecture: A process compensation language.
• Pedro Ribeiro, École Polytechnique, France, 10.9.04. Lecture: Quantum walks with two quantum coins.
• Luca Viganò, ETH, Switzerland, 28.8.04-9.9.04. Lecture: Handling algebraic equations in the symbolic analysis of security protocols, 3.9.04.
• Simon Gay, University of Glasgow, UK, 20-24.7.04. Lecture: Communicating quantum processes, 23.7.04.
• Luís Moniz Pereira, CENTRIA, Universidade Nova de Lisboa, Portugal, 16.7.04. Lecture: Revised stable models – a new semantics for logic programs.
• Cristopher Moore, University of New Mexico, USA, 2.7.04. Lecture: A challenge for quantum computing: the non-Abelian hidden subgroup problem. 
• João P. Marques-Silva, INESC, Portugal, 25.6.04. Lecture:Model checking using Boolean satisfiability.
• Yasser Omar, Instituto Superior Técnico, Portugal, 18.6.04. Lecture: Quantum walks with two particles.
• Vítor Rocha Vieira, Instituto Superior Técnico, Portugal, 4.6.04. Lecture: Várias formulações da mecânica quântica (conclusão).
• Luís Fernando Monteiro, FCT, Universidade Nova de Lisboa, Portugal, 28.5.04. Lecture: Models for spatial logic based on transition systems with spatialstructure.
• Vítor Rocha Vieira, Instituto Superior Técnico, Portugal, 28.5.04. Lecture: Várias formulações da mecânica quântica.
• João Pimentel Nunes, Instituto Superior Técnico, Portugal, 21.5.04. Lecture: Bell, Bohr,... strings? (conclusion).
• Jean-Yves Marion, LORIA, France. Portugal, 20.5.04. Lecture: Extracting feasible programs.
• João Pimentel Nunes, Instituto Superior Técnico, Portugal, 7.5.04. Lecture: Bell, Bohr,... strings?.
• Paulo Veríssimo, Faculdade de Ciências da Universidade de Lisboa, Portugal, 7.5.04. Lecture: Science, technology, humans, and other stories.
• Gabriel Pires, Instituto Superior Técnico, Portugal, 23.4.04. Lecture: Quantum theory from five axioms.
• Juliana Bueno, CLE, Unicamp, Brazil, 1.2.04-31.7.04. Lecture: Algebraizing logics via possible-translations semantics, 16.4.04.
• Arnon Avron, Tel-Aviv U, Israel, 29.03.04-4.4.04. Lecture: Non-deterministic multiple-valued structures, 2.4.04.
• Pedro Lima, Instituto de Sistemas e Robótica, Portugal, 26.3.04. Lecture: Models of robotic tasks based on discrete event and hybrid systems.
• Olivier Bournez, LORIA, France, 16-22.3.04. Lecture: On the computational power of some continuous time models of computation, 19.3.04.
• Alberto Zanardo, University of Padova, Italy, 8-14.3.04. Lecture: Relative closeness relations among histories, 12.3.04.
• Maxime Crochemore, Institut Gaspard-Monge, U Marne-la-Vallée, France, 27.2.04. Lecture: Sublinear alignment.
• K. Ojakian, Carnegie Mellon University, USA, 12-18.2.04. Lecture: Probabilistic methods and Ramsey theory in Bounded Arithmetic, 13.2.04.
• W. Carnielli, CLE, Universidade de Campinas, Brazil, 1.2.04-31.7.04. Lecture: Minimalist modalities, 20.2.04.

2003

• V. Vasconcelos, Faculdade de Ciências da Universidade de Lisboa, Portugal, 19.12.03. Lecture: Contract-Guided System Development.
• J. M. Valença, Universidade do Minho, Portugal, 28.11.03. Lecture: Direitos e tecnologia da informação: Tecnologia na sociedade de informação hostil.
• J. Mycka, University M. Curie-Sklodowska, Poland, 21.11.03. Lecture: Real recursive functions and their hierarchy.
• J. Orestes Cerdeira, Instituto Superior de Agronomia, Portugal, 14.11.03. Lecture: 2-colour partitions of acyclic tournaments.
• J. E. Santo, Universidade do Minho, Portugal, 7.11.03. Lecture: A lambda-calculus for sequent calculus.
• A. Carvalho, Instituto de Engenharia e Sistemas e Computadores, Portugal, 31.10.03. Lecture: A parallel algorithm for the extraction of structured motifs.
• M. Martins, Universidade de Aveiro, Portugal, 3.10.03. Lecture: Abstract algebraic logic approach to behavioral reasoning.
• D. Pigozzi, Iowa State University, USA, 25-26.9.03. Lecture: Large amalgamation and interpolation in abstract algebraic logic, 26.9.03.
• A. Oliveira, Instituto Superior Técnico, Portugal, 19.9.03. Lecture: Inference of regular languages using state merging algorithms with search.
• L. Viganò, ETH, Switzerland, 30.8.03-13.9.03. Lecture: A new reduction technique for constraint-based analysis of security protocols, 5.9.03.
• L. Viganò, ETH, Switzerland, 26-29.7.03.
• J. Mycka, University M. Curie-Sklodowska, Poland, 6.6.03. Lecture: Real Recursive Functions in Descriptive Set Theory.
• M. Gabbay, University of Cambridge, UK, 30.5.03. Lecture: Fraenkel-Mostowski for syntax.
• W. Blok, University of Illinois at Chicago, USA, 25-26.5.03. Lecture: The Beth property in Algebraic Logic, 26.5.03.
• J. Marcos, IFCH, Universidade de Campinas, Brazil, 16.5.03. Lecture: On what negation is not.
• M. Mackaay, Universidade do Algarve, Portugal, 14-15.5.03. Lecture: Representações categóricas, 14.5.03.
• F. Borceaux, Université Catholique de Louvain, Belgium, 30.4.03. Lecture: Operações de Mal'cev e álgebra homológica não comutativa.
• V. Brattka, Fern Universitat Hagen, Germany, 2-6.4.03. Lecture: From Hilbert's 13th problem towards a characterization of the computational power of feedforward neural networks, 4.4.03.
• L. Schröder, University of Bremen, Germany, 17-23.2.03. Lecture: Henkin models of the partial lambda-calculus, 21.2.03.
• Hélia Guerra, Universidade dos Açores, Portugal, 14.2.03. Lecture: A trinity for finite processes with global liveness requirements.
• R. Brown, University of Wales, UK, 24-25.1.03. Lecture: What we have tried to do in the popularisation of mathematics – Colloquium of the Department of Mathematics, 24.1.03.
• T. Porter, University of Wales, UK, 24-25.1.03.
• H.-D. Ehrich, Technical University of Braunschweig, Germany, 7-12.1.03. Lecture: Checking object system designs. 10.1.03.

2002

• V. Vasconcelos, Faculdade de Ciências da Universidade de Lisboa, Portugal, 20.12.02. Lecture: Session types for inter-process communication.
• M. Finger, University of São Paulo, Brazil, 9-14.12.02. Lecture: Approximate reasoning, 13.12.02.
• C. Areces, University of Amsterdam, Netherlands, 2-10.11.02. Lecture: A gentle introduction to hybrid logics, 8.11.02.
• F. Van Oystaeyen, University of Antwerp, Belgium, 28.10-3.11.02. Lectures: Mathematical methods of technology - Colloquium of the Department of Mathematics, 30.10.02. Noncommutative topology and geometry, 31.10.02.
• A. Carbone, Institut des Hautes Études Scientifiques, Bures-sur-Yvette, France, 19-26.10.02. Lecture: Computations in groups and formal proofs, 25.10.02.
• H. Guerra, Universidade dos Açores, Portugal, 18.10.02. Lecture: Operational semantics of guarded quiescent processes.
• L. Viganò, University of Freiburg, Germany, 1-14.09.02. Lecture: An on-the-fly model-checker for security protocol analysis, 13.9.02.
• W. Carnielli, Universidade de Campinas, Brazil, 21.7-3.8.02. Lecture: Tableau methods for non-standard logics: making sense of proof reasoning, 26.7.02.
• M. Coniglio, Universidade de Campinas, Brazil, 14.7-3.8.02. Lecture: Combining valuations with society semantics, 19.7.02.
• A. Scedrov, University of Pennsylvania, USA, 14-21.7.02. Lecture: Logical foundations of security protocol analysis, 18.7.02.
• L. Cruz-Filipe, University of Nijmegen, Netherlands, 12.7.02. Lecture: Towards the automation of proofs in real analysis.
• A. Martins, Dep. Física, Instituto Superior Técnico, Lisboa, Portugal, 7.6.02. Lecture: Quantum teleportation - a new channel for telecomunication.
• C. Lourenço, Faculdade de Ciências da Universidade de Lisboa, Portugal, 17.5.02. Lecture: Computação dinâmica em redes neuronais caóticas.
• A. Zanardo, University of Padova, Italy, 5-12.5.02. Lecture: Topological aspects of branching-time semantics, 10.5.02.
• V. Vasconcelos, Faculdade de Ciências da Universidade de Lisboa, Portugal, 8.3.02. Lecture: Secure information flow as typed process behaviour.
• M. Campagnolo, Instituto Superior de Agronomia, Lisboa, Portugal, 1.2.02. Lecture: Analyticity and iteration.
• L. Caires, Universidade Nova de Lisboa, Portugal, 25.1.02. Lecture: Lógica espacial para cálculos de processos: semântica e teoria da prova.
• J. Marcos, RU Ghent, Belgium, 13-20.1.02. Lecture: Internalizing consistency, 18.1.02.
• L. Cruz-Filipe, University of Nijmegen, Netherlands, 4.1.02. Lecture: Formalizing Mathematics in Coq.

2001

• J. Picado, Universidade de Coimbra, Portugal. 6.12.01.
• P. Vitany, CWI, University of Amsterdam, Netherlands, 30.9.01-6.10.01. Lecture: The quantum computing challenge – Colloquium of the Department of Mathematics, 2.10.01.
• K. Worytkiewicz, EPFL Lausanne, Switzerland. Lecture: Simulations of imperative programs, 14.9.01.
• L. Viganò, University of Freiburg, Germany, 1.9.01-9.9.01. Lecture: Formal security architectures, 7.9.01.
• D. Spreen, University of Siegen, Germany, 20.7.01-23.7.01. Lecture: Safe weak minimization revisited, 22.7.01.
• J. Neto, Faculdade de Ciências da Universidade de Lisboa, Portugal, 13.7.01. Lecture: Computação simbólica e subsimbólica com redes neuronais recorrentes.
• G. Bordalo, Centro de Álgebra da Universidade de Lisboa, Portugal, 4.7.01. Lecture: Sistemas de fecho e completações estritas.
• J. Pinto, Bell Labs, USA, 16.6.01-30.6.01.
• C. Mulvey, University of Sussex, UK, 31.5.01-18.6.01.
• D. Kruml, University Masaryk, Brno, Czech Republic, 29.5.01-6.6.01.
• L. Polák, University Masaryk, Brno, Czech Republic, 29.5.01-2.6.01. Lecture: Syntactic Semiring of a Language, 30.5.01.
• J. Bell, University Western Ontario, Canada, 24.5.01-1.6.01. Lectures: Distributive lattices, Boolean algebras, and Zorn's lemma in a constructive setting, 25.5.01. The rehabilitation of infinitesimals in Mathematics and Physics – Colloquium of the Department of Mathematics, 29.5.01.
• G. Janelidze, Universidade de Aveiro, Portugal, 23.5.01. Lecture: Categorical Galois theory.
• S. Semenov, Institute of Physics and Technology, Moscow, Russia. Lecture: Mixing of spike patterns in discretized neuronal channel, 4.5.01.
• M. Campagnolo, Instituto Superior de Agronomia, Universidade Técnica de Lisboa, Portugal, 27.4.01. Lecture: Complexity of computational analog classes: From linear space to elementary space.
• J. Rosicky, University Masaryk, Brno, Czech Republic, 21.4.01-22.4.01.
• D. Sangiorgi, INRIA, Sophia Antipolis, France, 20.4.01. Lecture: Extensionality and intensionality of the ambient logic.
• M. Bunge, McGill University, Montreal, Canada, 9.4.01. Lecture: Aspects of the symmetric monad.
• U. Vazirani, University of California at Berkeley, USA, 9.4.01. Lecture: Fourier transforms, quantum algorithms and complexity.
• C. Cassandras, Boston University, USA, 4.4.01-6.4.01. Lecture: Concurrent estimation/simulation methods for performance analysis and optimization of discrete event systems, 6.4.01.
• L. Viganò, University of Freiburg, Germany, 31.3.01-8.4.01. Lecture: Towards an awareness-based semantics for security protocols, 6.4.01.
• M. Kwiatkowska, University of Birmingham, UK, 28.3.01-31.3.01. Lecture: Model checking of probabilistic timed automata, 30.3.01.
• B. Wegner, Technical University of Berlin, Germany, 15.3.01-18.3.01. Lecture: New developments in electronic communication and information in Mathematics, 16.3.01.
• C. Mulvey, University of Sussex, UK, 4.2.01-12.2.01. Lectures: Quantales, C*-algebras, and computation – Colloquium of the Department of Mathematics, 8.2.01. Quantal spaces, 7.2.01.
• A. Rabinovich, Tel Aviv University, Israel, 1.2.01. Lecture: From finite automata toward hybrid systems.
• J. Marcos, Universidade de Campinas, Brazil, 31.1.01-7.2.01. Lecture: On inconsistency and undefinedness, 2.2.01.
• J. Adamek, Technical University of Braunschweig, Germany, 8.1.01-12.1.01. Lecture: Initial algebras, final coalgebras and specification of systems – Colloquium of the Department of Mathematics, 11.1.01.

2000

• E. Pereira, Universidade do Minho, Portugal, 13.10.00. Lecture: Teoria estocástica do transporte radiativo - Desvios ao problema clássico e Levy flights.
• P. Buchholz, Technical University of Dresden, Germany, 18.9.00-22.9.00. Lecture: A compositional approach for the analysis of stochastic automata networks, 22.9.00.
• A. Zanardo, University of Padova, Italy, 4.9.00-20.12.00. Lecture: Fibred semantics of modal first-order based logics, 15.12.00.
• M. Coniglio, University of Campinas, Brazil, 17.7.00-21.7.00. Lecture: Um enfoque modelo-teórico das traduções entre lógicas, 21.7.00.
• J. Goguen, University of California at San Diego, USA, 10.7.00-15.7.00. Lecture: The role of algebra in computer science. Colloquium of the Mathematics Department, 13.7.00.
• W. Carnielli, University of Campinas, Brazil, 10.7.00-14.7.00. Lecture: Multimodalidades, 14.7.00.
• L. Schroeder, University of Bremen, Germany, 10.7.00-14.7.00. Lecture: Monads on composition graphs, 12.7.00.
• S. Franklin, University of Memphis, USA, 3.7.00-5.7.00. Lecture: A consciousness based architecture for autonomous software agents, 5.7.00.
• D. Kruml, Masaryk University, Czech Republic, 1.7.00-10.7.00. Lecture: Points of quantales, 7.7.00.
• F. Ferreira, Universidade de Lisboa, Portugal, 30.6.00. Lecture: A teoria dos corpos reais fechados é interpretável na teoria de Robinson Q.
• R. Serfozo, Georgia Tech., USA, 26.6.00-30.6.00. Course: Stochastic networks - Equilibrium behavior and travel times, Advanced Course, 26.6.00-29.6.00.
• B. Coecke, Free University of Brussels, Belgium, 14.6.00-24.6.00. Lecture: Operational quantum logic: History and recent developments 16.6.00.
• I. Akyildiz, Georgia Tech., USA, 5.6.00-9.6.00. Lecture: Mobility management in next generation wireless systems, 9.6.00.
• C. Lindemann, University of Dortmund, Germany, 22.5.00-26.5.00. Lecture: Numerical analysis of generalized semi Markov processes, 26.5.00.
• F. Coelho, Universidade de Évora, Portugal, 19.5.00. Lecture: Gramáticas quânticas.
• R. German, Technical University of Berlin, Germany, 8.5.00-12.5.00. Lecture: Iterative analysis of Markov regenerative models, 12.5.00.
• L. Viganò, University of Freiburg, Germany, 26.3.00-9.4.00. Lecture: Belief logics for security, 7.4.00.
• F. Coelho, Universidade de Évora, Portugal, 28.1.00. Lecture: Autómatos quânticos.
• J. Pinto, Catholic University of Chile, Chile, 21.1.00-3.3.00. Lecture: Specifying active rules for database maintenance, 3.3.00.
• M. Coniglio, University of Campinas, Brazil, 14.1.00-28.1.00. Lecture: Splicing and splitting logics: a categorial approach, 21.1.00.
• A. Martins, University of Ceará, Brazil, 17.1.00-21.1.00. Lecture: Semantics for paraconsistent default logic, 19.1.00.
• F. Martins, Universidade dos Açores, Portugal, 14.1.00. Lecture: Computação em redes idiotípicas.

1999

• J. Neto, Faculdade de Ciências da Universidade de Lisboa and University of S. Paulo, Brazil, 3.12.99. Lecture: Computação simbólica com redes neuronais modulares.
• C. Moore, Santa Fe Institute, USA, 15.11.99 - 20.11.99. Lecture: Quantum computation and quantum circuits, 19.11.99.
• M. Campagnolo, ISA, Portugal and Santa Fe Institute, USA, 15.11.99 - 20.11.99. Lecture: Analog computation of subrecursive functions, 17.11.99.
• R. Diaconescu, Simion Stoilow Institute, Romania, 8.11.99 - 12.11.99. Lecture: Grothendieck institutions, 12.11.99.
• P. Stefaneas, N T U Athens, Greece, 8.11.99 - 12.11.99.
• L. Viganò, University of Freiburg, Germany, 27.9.99 - 6.10.99. Lecture: Advanced Course on Labelled non-classical logics and their encoding in Isabelle, 27.9.99-01.10.99.
• J. Goguen, University of California at S. Diego, USA 1.9.99 - 3.9.99. Lecture: Recent results in hidden algebra, 17.9.99.
• A. Zanardo, University of Padova, Italy, 1.9.99 - 3.9.99. Lecture: Individual concepts and substances in first-order temporal logic, 3.9.99.
• J. Pinto, Catholic University of Chile, Chile, 18.7.99 - 31.7.99. Lecture: Concurrency and action interaction in the situation calculus, 30.7.99.
• L. Schroeder, University of Bremen, Germany, 12.7.99 - 16.7.99. Lecture: Equivalence functors between composition graphs , 16.7.99.
• S. Vickers, Imperial College, London, UK, 5.7.99 - 9.7.99. Lecture: Topical categories of domains, 9.7.99.
• W. Carnielli, University of Campinas, Brazil, 7.6.99 - 11.6.99. Lecture: Semântica de traduções possíveis, 11.6.99.
• A. Tarlecki, University of Warsaw, Poland, 31.5.99 - 4.6.99. Lecture: Institutional bits and pieces, 4.6.99.
• D. Basin, University of Freiburg, Germany, 24.5.99 - 28.5.99. Lecture: Deriving and applying program synthesis calculi, 28.5.99.
• F. Wolter, University of Leipzig, Germany, 3.5.99 - 7.5.99. Lecture: Fragments of modal and temporal predicate logics, 7.5.99.
• M. Zakharyaschev, University of Moscow, Russia, 3.5.99 - 7.5.99.
• I. Nunes, Faculdade de Ciências da Universidade de Lisboa, Portugal, 26.3.99. Lecture: Semântica de programas comportamentais.
• J. F. Costa, Faculdade de Ciências da Universidade de Lisboa, Portugal, 26.2.99. Lecture: Analog computers with composition, integration and differentiable operators.
• V. Vasconcelos, Faculdade de Ciências da Universidade de Lisboa, Portugal, 22.1.99. Lecture: O cálculo-lambda com passagem por valor num cenário concorrente.