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, 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
Lorenzo Carlucci (MAT-Sapienza)
Reverse mathematics and computable analysis of combinatorial principles.
Giuseppe De Giacomo (DIAG-Sapienza & CS-Oxford)
Temporal synthesis in Linear Temporal Logic for finite and infinite traces
PROGRAM
9:00 - 9:40 Maurizio Lenzerini - Logic in Databases
9:45 - 10:15 Massimo Lauria - SAT-Solvers
10:20 - 10: 50 Giuseppe De Giacomo - Temporal synthesis in Linear Temporal Logic for finite and infinite traces
10:55 - 11:10 Break
11:15 - 11:45 Nicola Galesi - The complexity of logical proofs and the P vs NP problem
11:50 -12:20 Lorenzo Carlucci - Reverse mathematics and computable analysis of combinatorial principles
Page updated
Report abuse