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