Guest program

of CLC (now SQIG at IT) since 1999:

2007

• 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.
• 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.
  
• 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.

Last update: October 29, 2007.