Embedded Files
Overwiew
The half-day workshop is organized as part of the World Logic Day, a global day established by UNESCO to supporting the development of Logic through teaching and research, as well as to public dissemination of the discipline (see here for more info and the list of workshops held around the world).
The workshop will be held in presence on January 14 from 8:45 to 12:00 in AULA MAGNA at first floor of DIAG (Dipartimento di Ingegneria Informatica, Automatica e Gestionale "A. Ruberti" - Sapienza University) in Via Ariosto 25, 00185 Rome Italy (how to reach us).
Our workshop will cover aspects of Logic relevant to Computer Science, Artificial Intelligence, Data Bases, Theoretical Computer Science as well as aspects of pure Mathematical Logic. Speakers include: Maurizio Lenzerini, Lorenzo Carlucci, Marco Console, Giuseppe De Giacomo, Nicola Galesi, Massimo Lauria.
The admittance to the workshop is free and registration is not mandatory. But if you aim to partecipate, you might fulfil the module below with your name for the sake of organization purposes.
Organization: Nicola Galesi (galesi@diag.uniroma1.it)
Speakers
Workshop timetable (preliminary)
9:00 - 9:40 Maurizio Lenzerini (DIAG - Sapienza)
9:45 - 10:15 Lorenzo Carlucci (MAT - Sapienza)
10:20 - 10: 50 Giuseppe De Giacomo (DIAG - Sapienza and CS - Oxford)
10:55 - 11:10 Break
11:15 - 11:45 Nicola Galesi (DIAG - Sapienza)
11:50 - 11:20 Marco Console (DIAG - Sapienza)
11:25 -11:55 Massimo Lauria (DSS - Sapienza)
Page updated
Report abuse