::
Home
:: Kickoff Schedule
:: Kickoff Participants
:: Kickoff Accommodation
:: Final meeting
|
The kickoff meeting of CONCERTO had been held in Bologna, from
February 16 to February 18, 2009.
Aula Carducci, Palazzo Poggi (Monday)
Via Zamboni 33. Click HERE for a map (new
window).
and
Aula P, Complesso aule Belmeloro (Tue, Wed)
Via Belmeloro 14. Click HERE for a map (new
window).
On the first day, the meeting will be held in Aula Carducci,
one of the
historical
lecture halls of Alma Mater Studiorum. This is where the
Nobel laureate Giosuè Carducci
used to give his lectures. It is located at the ground floor of the
main university central building, Palazzo Poggi.
The meeting will start on Monday, February 16th, at 13:00.
We assume participants have already had their lunch.
On Tuesday and Wednesday the meeting will take place in Aula P, Aule
Belmeloro - Via Belmeloro 14 (ground floor, second compound).
Monday, February 16th: Aula Carducci, Palazzo Poggi
|
13:00
|
Simona Ronchi, Simone Martini: Opening
and welcome
|
|
13:05
|
Hans-Wolfgang Loidl, Munich
(invited talk): A Multi-layered Logics Approach to Proof-Carrying-Code
|
|
14:05
|
Damiano Mazza, Michele Pagani,
Christine Tasson, Lorenzo Tortora de Falco, Paolo Tranquilli
Tutorial: The differential extensions of lambda-calculus and linear
logic
|
|
15:30
|
Coffee-break
|
|
16:00
|
Stefano Guerrini: Boxes and jumps I:
representing lambda-calculus boxes by jumps
|
|
16:30
|
Beniamino Accattoli: Boxes and jumps
II: jumps and explicit substitutions
|
|
17:00
|
Pietro Cenciarelli: A Configuration
Theory of Transactions
|
|
17:30
|
Marco Pedicini: Shift registers:
factors and logical complexity
|
|
18:00
|
End
|
Tuesday, February 17th: Aula P, Complesso aule Belmeloro
|
09:00
|
Gianluigi Zavattaro, Bologna (invited
talk): On the computational strength of calculi for (bio)chemistry
|
|
10:00
|
Marco Gaboardi, Luca Roversi, Luca
Vercelli: ICC @ UNITO
|
|
11:10
|
Coffee-break
|
|
11:30
|
Luca Paolini, Mauro Piccolo: Semantics
@ UNITO
|
|
12:40
|
Alexis Saurin: Proof Search by
Cut-Elimination: Towards Ludics Programming
|
|
13:00
|
Lunch @ Le stanze, via borgo di san
pietro, 1
|
|
15:00
|
Roberto Maieli: MALL Proof-Nets:
weights vs abstraction and efficiency
|
|
15:30
|
Paolo Di Giamberardino: Proof nets
without boxes in polarized linear
logic
|
|
16:00
|
Damiano Mazza: Linear Logic by Levels:
syntax and denotational
semantics
|
|
16:30
|
Coffee break
|
|
17:00
|
Daniel De Carvalho: Measuring
execution time in lambda-calculus and
Linear Logic
|
|
17:40
|
V. Michele Abrusci: Interdisciplinary
emerging trends in logic
|
|
18:10
|
End
|
20:30 Social dinner @ Trebbi, via Solferino 40
Wednesday, February 18th: Aula P, Complesso aule Belmeloro
|
09:00
|
Margherita Zorzi
Tutorial: Lambda Calculi and Logics for Quantum Computing
|
|
10:00
|
Giulio Manzonetto: From lambda
calculus to universal algebra... and back!
|
|
10:30
|
Alberto Carraro: Lambda Theories and
Filter Models
|
|
11:00
|
Coffee break
|
|
11:30
|
Ugo Dal Lago: Bounded Linear Logic,
Revisited
|
|
12:00
|
Lunch @ Le stanze, via borgo di san
pietro, 1
|
|
14:00
|
Business meeting
|
|
16:00
|
End of meeting
|
|