–
Room P3.10, Mathematics Building
Jaime Ramos, Instituto Superior Técnico
Logic and Computation Seminar
2000 seminars
–
–
Room P3.10, Mathematics Building
Pedro Resende, Instituto Superior Técnico
–
Room P3.10, Mathematics Building
Alexander Rabinovich, Tel Aviv University
–
Room P3.10, Mathematics Building
João Marcos, Universidade Estadual de Campinas
–
Room P3.10, Mathematics Building
Paulo Mateus, Instituto Superior Técnico
–
Room P3.10, Mathematics Building
Narciso Garcia, Instituto Superior Técnico
–
Room P3.10, Mathematics Building
Bernd Wegner, TU Berlin
New developments in electronic communication and information in Mathematics
–
Room P3.10, Mathematics Building
João Rasga, Instituto Superior Técnico
–
Room P3.10, Mathematics Building
Marta Kwiatkowska, University of Birmingham
–
Room P3.10, Mathematics Building
Christo Cassandras, Boston University
–
Room P3.10, Mathematics Building
Luca Viganò, Universität Freiburg
–
Room P3.10, Mathematics Building
Umesh Vazirani, University of California, Berkeley
–
Room P3.10, Mathematics Building
Davide Sangiorgi, INRIA, Sophia Antipolis
–
Room P3.10, Mathematics Building
Manuel Campagnolo, Instituto Superior de Agronomia
Complexity of computational analog classes: From linear space to elementary space
–
Room P3.10, Mathematics Building
Sergey Semenov, Institute of Physics and Technology, Moscow
–
Room P3.10, Mathematics Building
Amílcar Sernadas, Instituto Superior Técnico
–
Room P3.10, Mathematics Building
John L. Bell, University of Western Ontario, London
Distributive lattices, Boolean algebras, and Zorn's lemma in a constructive setting
–
Room P3.10, Mathematics Building
Luís Cruz-Filipe, Instituto Superior Técnico
–
Room P3.10, Mathematics Building
Dieter Spreen, U Siegen
–
Room P3.10, Mathematics Building
Paulo Mateus, Instituto Superior Técnico
–
Room P3.10, Mathematics Building
Carlos Caleiro, Instituto Superior Técnico
–
Room P3.10, Mathematics Building
João Neto, Universidade de S. Paulo
Computação simbólica e subsimbólica com redes neuronais recorrentes
–
Room P3.10, Mathematics Building
Marcelo Coniglio, Universidade Estadual de Campinas
Representation of $C^\ast$-algebras by symmetric sheaves over quantales
–
Room P3.10, Mathematics Building
Cristina Sernadas, Instituto Superior Técnico
–
Room P3.10, Mathematics Building
Luca Viganò, Universität Freiburg
–
Room P3.10, Mathematics Building
Krzysztof Worytkiewicz, École Polytechnique Fédérale de Lausanne
–
Room P3.10, Mathematics Building
Claudio Hermida, Instituto Superior Técnico
–
Room P3.10, Mathematics Building
Jaime Ramos, Instituto Superior Técnico
–
Room P3.10, Mathematics Building
Marcelo Coniglio, Universidade Estadual de Campinas
–
Room P3.10, Mathematics Building
Marcelo Coniglio, SU Campinas, Brasil
–
Room P3.10, Mathematics Building
Paulo Mateus, Instituto Superior Técnico
Probabilistic polynomial calculus for secure computation analysis
–
Room P3.10, Mathematics Building
Paula Gouveia, Instituto Superior Técnico
–
Room P3.10, Mathematics Building
Cristina Sernadas, Instituto Superior Técnico