Other activities

This page is now maintained by CLC (Center for Logic and Computation) where updated information from February 14, 2001 onwards can be found.

Talks

given recently by current members of LCG (Logic and Computation Group) in conferences, meetings and elsewhere:

• Encontros de Quarta Feira, Faculdade de Ciências da Universidade de Lisboa, Portugal, January 25, 2001.
  C. Caleiro: Lógica temporal distribuída.

• Encontros de Quarta Feira, Faculdade de Ciências da Universidade de Lisboa, Portugal, December 14, 2000.
  P. Resende: Independência, causalidade e estruturas concorrentes em quantales.

• Encontro LOGCOMP, Lisboa, Portugal, September 29, 2000.
  J. Ramos: Agentes no Cálculo de Estados e Situações.
  C. Caleiro: Sincronização versus Fibrilação.
  A. Ravara: What is TyCO, after all?
  P. Mateus: Composicionalidade de Espaços de Probabilidades.
  J. Rasga: Fibrilação de Sistemas Dedutivos Etiquetados.

• Software Engineering Seminar, Institut für Informatik, University of Freiburg, Germany, September 4, 2000.
  F. M. Dionísio: Institutional defaults.

• International Conference on Concurrency Theory (CONCUR 2000), State College, USA, August 22-25, 2000.
  A. Ravara: Typing non-uniform concurrent objects.

• Pi-Meetings, INRIA, Sophia-Antipolis, France, June 20, 2000.
  A. Ravara: What is TyCO, after all?

• Dagstuhl Seminar on Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization, Dagstuhl, Germany, June 4-9, 2000.
  P. Resende: Noncommutative topology in computer science.

• Seminário de Lógica Matemática, IST/FCUL, Lisboa, Portugal, May 4, 11 & 18, 2000.
  A. Sernadas: Fibring - Completeness preservation.

• Workshop on Current Research on Operational Quantum Logic III, Free University of Brussels, Belgium, April 10-14, 2000.
  P. Resende: Quantales and localic dynamical systems.

• 72nd Peripatetic Seminar on Sheaves and Logic, Brussels, Belgium, April 8-9, 2000.
  P. Resende: Quantales as spaces of dynamical systems.

• Segundo Debate sobre a Investigação Matemática em Portugal, Coimbra, Portugal, April 1-2, 2000.
  C. Sernadas: Unidades de investigação e departamentos universitários.

• ASPIRE Workshop, Berlin, Germany, March 23-25, 2000.
  J. Ramos: Specification and verification of agent communities in the SSC.
  C. Caleiro: Decidability and trace-consistency of DTL.

• Software Engineering Seminar, Institut für Informatik, University of Freiburg, Germany, March 13-17, 2000.
  F. M. Dionísio: Crash Course on Category Theory.

• Seminário de Álgebra, Centro de Matemática da Universidade de Coimbra, Portugal, March 15, 2000.
  P. Resende: Quantales, noncommutative topology and observable properties of systems.

• Theory Seminar, Department of Computing, Imperial College, London, UK, February 23, 2000.
  P. Resende: Quantales, noncommutative topology and computer science.

• Seminar on Logical and Algebraic Methods behind Systems, Department of Pure Mathematics, Open University, Milton Keynes, UK, February 16, 2000.
  P. Resende: Quantales, noncommutative topology and computer science.

• Algebraic Seminar, Department of Algebra and Geometry, Masaryk University, Brno, Czech Republic, December 9, 1999.
  P. Resende: Sup-lattice-ordered algebras.

• Encontro LOGCOMP, Lisboa, Portugal, December 6, 1999.
  A. Ravara: Typing non-uniform concurrent objects.
  C. Caleiro: Pushouts vs co-Cartesian liftings.
  P. Mateus: Universal realization of probabilistic automata.
  H. Lourenço: Model checking within the institution of hybrid systems.
  J. Rasga: Fibring of labelled deductive systems.

• Algebraic Seminar, Department of Algebra and Geometry, Masaryk University, Brno, Czech Republic, October 21, 1999.
  P. Resende: Quantales, concurrent observations and event structures.

• OOSDS'99 (Satellite Event of ICFP'99), Paris, France, September 26, 1999.
  A. Ravara: Programming and implementation issues in non-unifom TyCO.

• ASPIRE Meeting, Linz, Austria, September 24-25, 1999.
  A. Ravara: Typing non-unifom concurrent objects.
  J. Rasga: Model theoretic fibring of logics with terms and binding operators.

• 14th WADT, Château de Bonas, France, September 15-18, 1999.
  P. Mateus: Combining probabilistic automata: categorical approach.
  H. Lourenço: An institution of hybrid systems.

• CTCS'99, Edinburgh, UK, September 10-12, 1999.
  P. Mateus: Precategories for combining probabilistic automata.

• Category Theory 99, Coimbra, Portugal, July 19-24, 1999.
  P. Mateus: Precategories and applications to probabilistic automata.

• Pi-Meetings, INRIA, Sophia-Antipolis, France, June 2, 1999.
  A. Ravara: Typing non-uniform concurrent objects - II.

• IRIT Seminar, Toulouse, France, May 27, 1999.
  A. Ravara: Typing non-uniform concurrent objects.

• FLAIRS'99, Orlando, USA, May 3-5, 1999.
  P. Mateus: Non-determinism and uncertainty in the situation calculus.

• Joint ASPIRE / FIREworks Meeting, Evry, France, April 8-10, 1999.
  F. M. Dionísio: Structuring defaults for features.
  P. Mateus: Precategories.
  H. Lourenço: Logic of hybrid systems: Institution.

• Pi-Meetings, INRIA, Sophia-Antipolis, France, April 7, 1999.
  A. Ravara: Typing non-uniform concurrent objects - I.

• Encontros de Quarta Feira, Faculdade de Ciências da Universidade de Lisboa, Portugal, March 3, 1999.
  A. Ravara: What is TyCO after all?

• BRICS Seminar, Aarhus University, Denmark, February 18, 1999.
  A. Ravara: Typing non-uniform concurrent objects.

• Ny-Meetings, BRICS, Aalborg University, Denmark, February 5, 1999.
  A. Ravara: Typing non-uniform concurrent objects - II.

• Ny-Meetings, BRICS, Aalborg University, Denmark, January 15, 1999.
  A. Ravara: Typing non-uniform concurrent objects - I.

• Encontro ACL-LOGCOMP, Coimbra, Portugal, February 10-11, 1999.
  A. Sernadas: Fibring - Completeness preservation?
  C. Sernadas: Fibring of algebraic semantics?
  P. Resende: Quantales of concurrent observations.
  C. Caleiro: Trios.
  P. Mateus: Adjunctions in precategories.
  H. Lourenço: Institution of hybrid systems.

• Encontros de Quarta Feira, Faculdade de Ciências da Universidade de Lisboa, Portugal, December 2, 1998.
  A. Ravara: Communication errors in the pi-calculus are undecidable.

• AiML 98 (Advances in Modal Logic 98), Uppsala, Sweden, October 16-18, 1998.
  P. Gouveia: Abductive reasoning over temporal specifications of objects.

• FROCOS 98 (Frontiers of Combining Systems 98), Amsterdam, Netherlands, October 2-4, 1998.
  C. Sernadas: Categorial fibring of logics with terms and binding operators.

• ASPIRE Meeting, Namur, Belgium, September 18-19, 1998.
  P. Resende: Quantales and observational logic in concurrency and specification (tutorial).
  P. Gouveia: Abductive reasoning over temporal specifications of objects.
  A. S. Guerra: Defaults in specifications - Distance functions between temporal models.

• 68th Peripatetic Seminar on Sheaves and Logic, Brno, Czech Repulic, August 29-30, 1998.
  P. Resende: Quantale modules and observational logic.

• Third ESSLLI Student Session, Saarbrucken, Germany, August 17-28, 1998.
  A. S. Guerra: Defaults in specifications - Distance functions between temporal models.

• Workshop on the Semantics of Objects as Processes (Satellite Event of ICALP'98), Aalborg, Denmark, July 18, 1998.
  A. Ravara: Towards an algebra of object types.

• Lógica 98, Évora, Portugal, July 13-18, 1998.
  C. Sernadas: Fibring of logics.
  J. Carmo: Modal logics of action: brief overview.
  J. Carmo: Completeness of a conditional obligation operator.

• Segundo Encontro ACL, Figueira da Foz, Portugal, June 22-23, 1998.
  C. Sernadas: Fibring of logics with terms and binding operators: semantics.
  P. Resende: (In)completeness in observational logic.
  C. Caleiro: Parameterization of logics.
  A. Ravara: An algebra of dynamic object types.
  M. J. Coutinho: Logic systems - (co)limits and (co)cartesian liftings.
  P. Mateus: Combining probabilistic automata.
  H. Lourenço: Aggregation and interconnection of hybrid automata.

• FIREworks Meeting, Magdeburg, Germany, May 15-16, 1998.
  P. Mateus: Combining probabilistic automata.
  A. S. Guerra: Feature addition as composition of hierarchic default specifications.
  H. Lourenço: Aggregation and interconnection of hybrid automata - categorial characterization.

• MFPS-14 (14th International Workshop on the Mathematical Foundations of Programming Semantics), Queen Mary and Westfield College, London, UK, May 10-13, 1998.
  P. Resende: On observing independence and causality.

• Encontros de Quarta Feira, Faculdade de Ciências da Universidade de Lisboa, Portugal, April 29, 1998.
  A. Ravara: An object calculus with implicit communication.

• 13th WADT (Satellite Event of ETAPS'98), Fundação Calouste Gulbenkian, Lisboa, Portugal, April 2-4, 1998.
  C. Sernadas: Fibring of logics with terms and binding operators.
  P. Resende: Observational logic.
  J. Ramos: The situation and state calculus versus temporal logic.
  C. Caleiro: Parameterisation of logics.
  P. Mateus: Aggregation and interconnection of probabilistic automata.

• ETAPS'98 Tutorials (Satellite Event of ETAPS'98), Faculdade de Ciências de Lisboa, Portugal, March 29, 1998.
  C. Sernadas: Categorial techniques for combining logics.

• Encontros de Quarta Feira, Faculdade de Ciências da Universidade de Lisboa, Portugal, March 25, 1998.
  A. Ravara: A type algebra for concurrent objects.

• Encontros de Quarta Feira, Faculdade de Ciências da Universidade de Lisboa, Portugal, February 18, 1998.
  F. M. Dionísio: Composition of hierarchic default specifications.

• Dagstuhl Seminar 9807, Schloss Dagstuhl, Wadern, Germany, February 16-20, 1998.
  P. Resende: Observational logic for the specification of concurrent systems.
  C. Caleiro: Combining logics for distribution.
  A. Ravara: A type algebra for concurrent objects.

• Encontro Nacional de Matemática 98, Braga, Portugal, February 9-12, 1998.
  C. Sernadas: Impacto da Álgebra na Computação.

• Encontro ESCOLA-ACL, Universidade de Coimbra, Portugal, January 26-27, 1998.
  C. Sernadas: Fibrilação de lógicas com termos.
  P. Resende: Lógica observacional e sistemas tropológicos.
  P. Gouveia: Raciocínio abdutivo sobre especificações temporais de objectos.
  J. Ramos: Lógica temporal ramificada versus cálculo de situações.
  C. Caleiro: Adjunções entre sistemas lógicos.
  A. Ravara: Álgebra de tipos para um cálculo de objectos concorrentes.
  M. J. Coutinho: Morfismos entre sistemas lógicos.
  P. Mateus: Agregação e interconexão de autómatos probabilísticos.
  H. Lourenço: Verificação de propriedades em sistemas híbridos lineares.

Last update: February 6, 2001.