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