:: Home
:: Preliminary schedule
:: Participants
:: Accomodation
:: FOLLIA main site
|
I contributi consistono in una conferenza di al più 30 minuti. Il programma prevede 10 minuti per la discussione
che non sono utilizzabili per la presentazione...
Mercoledì 11 ottobre
Sala Ulisse dell'Accademia delle Scienze
Via Zamboni 31
|
13:30
|
Simona Ronchi: Un primo bilancio del progetto
|
|
14:00
|
Patrick Baillot: Verification
of Ptime reducibility for system F terms via Dual Light Affine Logic
|
|
14:40
|
Nino Salibra: Recursively Enumerable Lambda Theories
|
|
15:20
|
Ugo Dal Lago: A quantum lambda-calculus
|
|
16:00
|
Coffee-break
|
|
16:30
|
Fabio Alessi: The slant filter model
|
|
17:10
|
Luca Roversi: Weak Affine Light Typing for a poly-time fragment of System F
|
|
17:50
|
Conclusione
|
Giovedì 12 ottobre
Sala Ulisse dell'Accademia delle Scienze
Via Zamboni 31
|
09:00
|
Alessio Guglielmi (invitata): Deep inference
|
|
11:00
|
Coffee-break
|
|
11:30
|
Stefano Guerrini: Commutative Locative Quantifiers for MLL
|
|
12:10
|
Luca Fossati: Handshake Games
|
|
12:50
|
Pranzo
|
|
15:00
|
Mauro Piccolo (con Claudia Faggian): Event Structures and Strategies: between Concurrency and Game Semantics
|
|
15:40
|
Marco Pedicini: TBA
|
|
16:20
|
Coffee-break
|
|
16:50
|
Marco Gaboardi: (F)PTIME completeness proof for the soft type assignment system
|
|
17:30
|
|
|
18:10
|
Conclusione
|
20:30 Cena sociale
Venerdì 13 ottobre
Sala Lauree
Dipartimento di Biologia Evoluzionistica Sperimentale
via Selmi, 3
|
09:00
|
Yves Lafont (invitata): Algebraic Theory of Boolean
Circuits
|
|
11:00
|
Coffee-break
|
|
11:30
|
Michele Abrusci: TBA
|
|
12:10
|
Michele Pagani: Acyclicity and coherence in multiplicative exponential linear logic
|
|
12:50
|
Pranzo
|
|
15:00
|
Lorenzo Tortora de Falco: Linear Logic and the strong normalization property
|
|
15:40
|
Business meeting
|
|
17:00
|
Conclusione
|
|