| Thursday, 22nd January |
| |
|
| 17h50 |
The Constructive Coq Repository at Nijmegen |
| |
Luís Cruz-Filipe, Computer Science, Univ. of Nijmegen, Netherlands |
| |
|
| 18h15 |
Some Practical Considerations about the Use of the
Curry-Howard Isomorphism |
| |
on a Industrial Size Case |
| |
Simão Melo de Sousa, Dep. de Informática, Univ. da Beira
Interior |
| |
|
| 18h40 |
Modal Logic as a Specification Tool: a Case Study
Using Deontic and Action Logics |
| |
Olga Pacheco, Dep. de Informática, Univ. do Minho |
| |
|
| |
|
| |
|
| Friday, 23rd January |
| |
|
| 17h20 |
A Class of Riemannian Integrable Countinuous Functions
in Weak Analysis |
| |
Ana Nunes, Dep. de Matemática, Univ. do Algarve |
| |
|
| 17h45 |
Weak Theories of Arithmetic and the Counting Hierarchy |
| |
Gilda Ferreira, CMAF, Univ. de Lisboa |
| |
|
| 18h10 |
Perfect Secrecy Based on Kolmogorov Complexity |
| |
Luis Antunes*, Sophie Laplante , Liliana Salvador* |
| |
* Dep. de Ciência de Computadores, Univ. do Porto & LIACC |
| |
Lab. de Recherche en Informatique, Univ.
Paris-Sud, France |
| |
|
| |
|
| |
|
| Saturday, 24th January |
| |
|
| 11h20 |
Weak Linearization of the Lambda-Calculus |
| |
Sandra Alves, Mário Florido, Dep. de Ciência de Computadores,
Univ. do Porto |
| |
|
| 11h45 |
Normalization by Evaluation for
 |
| |
Tarmo Uustalu*, Thorsten Altenkirch |
| |
* Inst. of Cybernetics, Estonia |
| |
Univ. of Nottingham, U.K. |
| |
|
| |
|
| 12h10 |
Extensible Overloaded Definitions |
| |
Maria João Frade, Dep. de Informática, Univ. do Minho |
| |
|
| 12h35 |
Applicative Theories |
| |
Reinhard Kahle, Dep. de Matemática, Univ. de Coimbra |
| |
|