Sapienza LoC3 Seminar
Logic, Complexity, Combinatorics and Computability
Sapienza LoC3 Seminar is organized in collaboration by :
Nicola Galesi - (DIAG) Dept. of Computer, Control and Management Engineering.
Lorenzo Carlucci Dept . of Mathematics
Massimo Lauria - Dept. of Statistics
Paul Wollan - Dept. of Computer Science
Is an interdepartmental series of seminars organized by Nicola Galesi in collaboration with L. Carlucci, M. Lauria and P. Wollan. It runs - 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 - It can take place in different depts (see Next meeting)
Time - It can vary (see Next Meeting)
Virtual - https://uniroma1.zoom.us/j/81319489321?pwd=rGXgQPoNu204d84GCbs6JdHQQOfpmF.1
Next Seminar
Thursday July 17, 2025 - Giovanni Varricchione (Utrecht University)
Title: Logic, Automata and Reinforcement Learning
Room: Aula Magna
Place: Dept of Computer Science (Viale Regina Elena, 295)
Time: 11:00
_______________________________________________________________________________
Tuesday July 1, 2025 - Stefan Grosser (McGill University)
Title: Constructive Criticisms of Complexity: Unifying Proofs and Algorithms
Room: B203
Place: Dept of C omputer, Control and Managament Engineeering "A. Ruberti" (Via Ariosto 25)
Time: 11:00
_______________________________________________________________________________
Thursday June 12, 2025 - Gabriele Buriola (Università di Verona)
Title: Ordinal analysis of Well-Ordering Principles and Well Quasi-Orders Closure Properties
Room: Room C - Dept of Mathematics "G. Castelnuovo" (Piazzale Aldo Moro)
Time: 10:00
_______________________________________________________________________________
Thursday March 27, 2025 at 13:00 - Jacobo Toràn (University of Ulm)
Title: The Complexity of Graph Isomorphism Formula
Room: Room A6 - DIAG (Via Ariosto 5)
Time: 13:00
________________________________2024______________________________________
Thursday November 28, 2024 at 10:00 - Mauro di Nasso (University of Pisa)
Title: Arithmetic Ramsey Theory, a nonstandard take
Room: Sala Del Consiglio (first floor): Dipartimento di Matematica (Città Univeristaria)
Time: 10:00
_______________________________2023______________________________________
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