Seminário de Teoria da Computação

Organizado pelo LCG (Logic and Computation Group),

com o apoio da FCT, dos projectos PRAXIS/P/MAT/10002/1998 ProbLog, PCEX/P/MAT/46/96 ACL e 2/2.1/TIT/1658/95 LogComp, bem como dos ESPRIT IV Working Groups 22704 ASPIRE e 23531 FIREworks.

1999-00 

IST, Edifício PG, Sala 3.10, 16h30

• 03Set99 - Alberto Zanardo (U Padova, Italy)
  Individual concepts and substances in first-order temporal logic

• 17Set99 - Joseph Goguen (U California at S. Diego, USA)
  Recent results in hidden algebra

• 24Set99 - Amílcar Sernadas
  Probabilistic Situation Calculus: randomly reactive automata semantics and reasoning with Mathematica

• 27Set-01Out99 - Luca Viganò (U Freiburg, Germany)
  Advanced Course on
  Labelled non-classical logics and their encoding in Isabelle:
  I - Introduction to non-classical logics
  II - Labelled deduction for (propositional and quantified) modal logics
  III - Labelled deduction for non-classical logics (focussing on relevance logics)
  IV - Substructural and complexity analysis of labelled non-classical logics
  V - A brief introduction to security logics

• 15Out99 - Cristina Sernadas
  Fibring: Preservation results

• 29Out99 - António Pacheco
  Processos pontuais

• 12Nov99 - Razvan Diaconescu (Simion Stoilow Institute, Romania) & Petros Stefaneas (N T U Athens, Greece)
  Grothendieck institutions

• 17Nov99 - Manuel Campagnolo (ISA, Portugal / Santa Fe Institute, USA)
  Analog computation of subrecursive functions

• 19Nov99 - Cristopher Moore (Santa Fe Institute, USA)
  Quantum computation and quantum circuits

• 26Nov99 - António Ravara
  What is TyCO after all?

• 03Dez99 - João Neto (FCUL / U S. Paulo, Brasil)
  Computação simbólica com redes neuronais modulares

• 10Dez99 - Amílcar Sernadas
  Interconnecting randomly timed automata: a categorial approach

• 07Jan00 - Paulo Mateus
  Interconnecting probabilistic systems with multiple random sources

• 14Jan00 - Francisco Martins (U Açores)
  Computação em redes idiotípicas

• 19Jan00 - Ana Teresa Martins (FU Ceará, Brasil)
  Semantics for paraconsistent default logic

• 21Jan00 - Marcelo Coniglio (SU Campinas, Brasil)
  Splicing and splitting logics: a categorial approach

• 28Jan00 - Francisco Coelho (U Évora)
  Autómatos quânticos

• 04Fev00 - Gaspar Martinho (CQFM, IST)
  Análise estocástica do transporte de energia

• 07-11Feb00 - Claudio Hermida
  Advanced Course on
  Fibred Category Theory

• 25Fev00 - João Rasga
  Fibring labelled deductive systems

• 03Mar00 - Javier Pinto (U Católica de Chile)
  Specifying active rules for database maintenance

• 17Mar00 - Jaime Ramos
  (In)completeness of the Situation Calculus

• 31Mar00 - Cristina Sernadas
  Fibring (para)consistent logics

• 07Abr00 - Luca Viganò (U Freiburg, Germany)
  Belief logics for security

• 14Abr00 - Paulo Mateus
  Reasoning about randomly timed automata

• 05Mai00 - Hugo Lourenço
  Canonical institution of behaviour

• 12Mai00 - Reinhard German (TU Berlin, Germany)
  Iterative analysis of Markov regenerative models

• 19Mai00 - Francisco Coelho (U Évora)
  Gramáticas quânticas

• 26Mai00 - Christoph Lindemann (U Dortmund, Germany)
  Numerical analysis of generalized semi Markov processes

• 09Jun00 - Ian F. Akyildiz (Georgia Tech, USA)
  Mobility management in next generation wireless systems

• 16Jun00 - Bob Coecke (Free U Brussels, Belgium)
  Operational quantum logic: History and recent developments

• 26-29Jun00 - Richard Serfozo (Georgia Tech, USA)
  Advanced Course on
  Stochastic networks - Equilibrium behavior and travel times:
  I - Jackson and Whittle networks
  II - Multiclass and reversible networks
  III - Travel times and network flows
  IV - Networks with string transitions

• 30Jun00 - Fernando Ferreira (CMAF - U Lisboa)
  A teoria dos corpos reais fechados é interpretável na teoria de Robinson Q

• 05Jul00 - Stan Franklin (U Memphis, USA)
  A "consciousness" based architecture for autonomous software agents

• 07Jul00 - David Kruml (Masaryk U, Brno, Czech Republic)
  Points of quantales

• 12Jul00 - Lutz Schroeder (U Bremen, Germany)
  Monads on composition graphs

• 13Jul00 - Joseph Goguen (U California at S. Diego, USA)
  The role of algebra in computer science
  Colóquio do Departamento de Matemática do IST
  Anfiteatro PA1, 17h00

• 14Jul00 - Walter Carnielli (SU Campinas, Brazil)
  Multimodalidades

• 21Jul00 - Marcelo Coniglio (SU Campinas, Brazil)
  Um enfoque modelo-teórico das traduções entre lógicas

Seminário 98/99
Seminário 97/98
Seminário 96/97
Seminário 95/96 

Última actualização: 28 de Julho de 2000.
Informações: acs@math.ist.utl.pt.