2000 seminars
–
Amphitheatre of Interdisciplinary Complex at the University of Lisbon
Interconnecting probabilistic systems with multiple random sources
–
Amphitheatre of Interdisciplinary Complex at the University of Lisbon
Computação em redes idiotípicas
–
Amphitheatre of Interdisciplinary Complex at the University of Lisbon
Ana Teresa Martins, Universidade Federal do Ceará
Semantics for paraconsistent default logic
–
Amphitheatre of Interdisciplinary Complex at the University of Lisbon
Marcelo Coniglio, Universidade Estadual de Campinas
Splicing and splitting logics: a categorial approach
–
Amphitheatre of Interdisciplinary Complex at the University of Lisbon
Francisco Coelho, Universidade de Évora
Autómatos quânticos
–
Amphitheatre of Interdisciplinary Complex at the University of Lisbon
Análise estocástica do transporte de energia
–
Room P3.10, Mathematics Building
Advanced Course on Fibred Category Theory
Five sessions, February 07-11.
–
Room P3.10, Mathematics Building
Fibring labelled deductive systems
–
Room P3.10, Mathematics Building
Javier Pinto, U Católica de Chile
Specifying active rules for database maintenance
–
Room P3.10, Mathematics Building
(In)completeness of the Situation Calculus
–
Room P3.10, Mathematics Building
Fibring (para)consistent logics
–
Room P3.10, Mathematics Building
Belief logics for security
–
Room P3.10, Mathematics Building
Reasoning about randomly timed automata
–
Room P3.10, Mathematics Building
Hugo Lourenço, Instituto Superior Técnico
Canonical institution of behaviour
–
Room P3.10, Mathematics Building
Reinhard German, TU Berlin, Germany
Iterative analysis of Markov regenerative models
–
Room P3.10, Mathematics Building
Francisco Coelho, U Évora
Gramáticas quânticas
–
Room P3.10, Mathematics Building
Christoph Lindemann, U Dortmund, Germany
Numerical analysis of generalized semi Markov processes
–
Room P3.10, Mathematics Building
Mobility management in next generation wireless systems
–
Room P3.10, Mathematics Building
Bob Coecke, Free University Brussels
Operational quantum logic: History and recent developments
–
Room P3.10, Mathematics Building
Jackson and Whittle networks
–
Room P3.10, Mathematics Building
Multiclass and reversible networks
–
Room P3.10, Mathematics Building
Travel times and network flows
–
Room P3.10, Mathematics Building
Networks with string transition
–
Room P3.10, Mathematics Building
A teoria dos corpos reais fechados é interpretável na teoria de Robinson Q
–
Room P3.10, Mathematics Building
A "consciousness" based architecture for autonomous software agents
–
Room P3.10, Mathematics Building
David Kruml, Masaryk University, Brno
Points of quantales
–
Room P3.10, Mathematics Building
Monads on composition graphs
–
Room P3.10, Mathematics Building
Multimodalidades
–
Room P3.10, Mathematics Building
Marcelo Coniglio, Universidade Estadual de Campinas
Um enfoque modelo-teórico das traduções entre lógicas
–
Room P3.10, Mathematics Building
A compositional approach for the analysis of stochastic automata networks
–
Room P3.10, Mathematics Building
Eduardo Pereira, Universidade do Minho
Teoria estocástica do transporte radiativo — Desvios ao problema clássico e Levy flights
–
Room P3.10, Mathematics Building
Fibring non verum functional logics: Completeness preservation
–
Room P3.10, Mathematics Building
Paracategories
–
Room P3.10, Mathematics Building
Modulated fibring and the collapsing problem
–
Room P3.10, Mathematics Building
Fibred semantics of modal first-order based logics