Sapienza LoC3 Seminar is organized in collaboration by :
Nicola Galesi - (DIAG) Dept. of Computer Science, Control and Management Engineering.
Lorenzo Carlucci Dept. of Mathematics
Massimo Lauria - Dept. of Statistics
Paul Wollan - Dept. of Computer Science
It's a talk series running on average once a month to lecture on recent works fitting organizers' research interests in topics related to Theory of Computing and Mathematical Logic. Specifically in Graph Theory, Computability, Complexity Theory, Proof Complexity, Parameterized Algorithms, SAT-solving, Combinatorics.
Format - The seminar is at least 45 minutes and at most 1 hour and half.
Where - The seminar is run in a hybrid mode. Usually local participants will meet in Aula 34 at 4th floor in the Dept. of Statistics in the central Campus (but see info about the specific seminar for room's changes). Everyone else is invited to join the the virtual meeting at the link below.
When - For the Fall 22-23 the seminar is held usually on Mon at 11:00
Virtual - https://uniroma1.zoom.us/j/92580492386?pwd=UzRKR012NER6Yi9PTHhrOUNTNUYydz09
Next Seminar
Monday May 8, 2023 at 11:00 - Alberto Marcone (University of Udine)
Title: 3 is much larger than 2 in reverse mathematics
Room: Sala Del Consiglio (first floor): Dipartimento di Matematica (Città Univeristaria)
Time: 11:00
_______________________________2022______________________________________
Monday Dec 5 22 at 11:00 -Toni Huynh (Sapienza University)
Title: Strengthening Convex Relaxations of 0/1-Sets Using Boolean Formulas