Conference in honour of
Amílcar Sernadas

Instituto Superior Técnico,
Lisbon, Portugal.
April 23, 2016.

Programme

09:00
Opening session
10:45
Coffee break
12:15 José Espírito Santo, CMUM
Curry-Howard for sequent calculus at last
12:45
Lunch
15:00 Luca Viganò, KCL
Security is beautiful
16:00
coffee break
16:30 Daniel Graça, UAlg
Computability of the Lorenz attractor
19:30
Social dinner (El Corte Inglês, 7th floor)
Sat, 23 Apr 2016