Projecto ACL
Algebraic Combination of Logics
Dia 22 |
|
| 11.00 - 11.50 | Varieties with self |
| Jirí Rosický (University of Brno) | |
| 12.00 - 12.30 | Fibring of logics with terms and binding operators: semantics |
| Cristina Sernadas (IST) | |
| (joint work with A. Sernadas, C. Caleiro and T. Mossakowski) | |
| 12.40 - 13.10 | (In)completeness in observational logic |
| Pedro Resende (IST) | |
| 14.30 - 15.00 | Parameterization of logics |
| Carlos Caleiro (IST) | |
| (joint work with A. Sernadas and C. Sernadas) | |
| 15.10 - 15.40 | Logic systems: (co)limits and (co)cartesian liftings |
| Maria João Coutinho (IST) | |
| (joint work with C. Sernadas) | |
| 15.50 - 16.20 | Stone generalized dualities |
| Dirk Hofmann (University of Bremen, FCTUC) | |
| 17.00 | Reunião do projecto |
Dia 23 |
|
| 09.00 - 09.30 | On closure operators |
| Maria Manuel Clementino (FCTUC) | |
| 09.40 - 10.10 | Coregular closure operators |
| Gonçalo Gutierres (FCTUC) | |
| 10.20 - 10.50 | An algebra of dynamic object types |
| António Ravara (IST) | |
| (joint work with P. Resende and V. Vasconcelos) | |
| 11.00 - 11.30 | Coffee break |
| 11.30 - 12.00 | Combining probabilistic automata |
| Paulo Mateus (IST) | |
| (joint work with A. Sernadas and C. Sernadas) | |
| 12.10 - 12.40 | Aggregation and interconnection of hybrid automata |
| Hugo Lourenço (IST) | |
| (joint work with A. Sernadas and C. Sernadas) | |
| 14.30 - 15.00 | Readiness and fairness in the specification of open reactive systems |
| Antónia Lopes (FCUL) | |
| 15.10 - 16.00 | Algebraic semantics of coordination |
| José Luiz Fiadeiro (FCUL) |
| Local: | Hotel Mercure, Figueira da Foz |
| Apoios: | Projecto Praxis PCEX/P/MAT/46/96 |
| Centro de Matemática da Universidade de Coimbra / FCT | |
| Departamento de Matemática da Universidade de Coimbra |