Convegno Italiano di Logica Computazionale

cilc'16, 20-22 giugno 2016

Program

Venue:  Sala Rodolfi, U6  Building (4th floor), Università degli Studi di Milano-Bicocca, Piazza dell’Ateneo Nuovo 1,  directions (Google Maps).

Monday, 20 June 2016
Tuesday, 21 June 2016
Wednesday, 22 June 2016

Monday, 20 June 2016

14-14:30  Opening and GULP Dissertation Talk

Chair: Agostino Dovier

14:30-15:30 Session 1

Chair: Mauro Ferrari

15:30-16  Coffee break

16-17  Session 2

Chair: Francesca Alessandra Lisi

17:30 – 18:30   GULP Meeting (consiglio direttivo)

Tuesday, 21 June 2016

9-9:30  Special Session – Opening

9:30-10:20  Special Session – Invited talks

Chair:  Ugo Moscato

10:30-11  Coffee break

11 -12:30  Special Session  – Invited talks

Chair:  Alberto Momigliano

12:30-14   Lunch (buffet)

14-15:20   Session 3

Chair: Michael Mendler

15:20-16   Coffee break

16-17:20   Session 4

Chair: Laura Giordano

17:30 – 18:30   GULP Meeting (assemblea soci GULP)

20:30  Social dinner

Wednesday, 22 June 2016

9-9:50 Invited Talk

Chair: Mario Ornaghi

9:50-10:30   Session 5

Chair: Loris Bozzato

10:30-11   Coffee break

11-12:40   Session 6 and Closing

Chair: Gianluca Pozzato

 

Annunci