Conference in honour of
Amílcar Sernadas
Instituto Superior Técnico,
Lisbon, Portugal.
April 23, 2016.
Home
Speakers
Programme
Abstracts
Local information
Meeting photos
Messages
Programme
09:00
Opening session
09:45
Olga Pombo,
FC/UL
Leibnizian grounds for the idea of universal machine
10:15
José Mourão,
CAMGSD/IST
Complex time evolution in geometry and in quantum physics
10:45
Coffee break
11:15
Diogo Gomes,
KAUST
Applied logic and computer algebra in partial differential equations
11:45
Lurdes Sousa,
IPV
From Birkhoff's equational logic to Kan-injectivity logic
12:15
José Espírito Santo,
CMUM
Curry-Howard for sequent calculus at last
12:45
Lunch
14:30
José Fiadeiro,
RHUL
Actor networks: a modelling framework for cyberphysical system protocols
15:00
Luca Viganò,
KCL
Security is beautiful
15:30
Fernando Ferreira,
FC/UL
Arithmetic and geometry from the formal point of view: some notes, some lessons
16:00
coffee break
16:30
Daniel Graça,
UAlg
Computability of the Lorenz attractor
17:00
Luís Cruz-Filipe,
SDU
A Minimal Turing-Complete Choreography Calculus
19:30
Social dinner (El Corte Inglês, 7th floor)
Sat, 23 Apr 2016