Graphs, Groups, and Automata
We invite you to a day of talks around the concept of computation in Mathematics and Theoretical Computer Science. Join us on Thursday, May 16, Boğaziçi University, Kandilli Campus.
10:00-11:00 Pavol Hell (Simon Fraser University, School of Computing Science), One Graph-Theorist's Perspective on the Quest for Dichotomy, a Personal Account
11:00-11:30 Break
11:30-12:15 Tınaz Ekim (Boğaziçi University, Department of Industrial Engineering), Computing Defective Ramsey Numbers
11:30-12:15 Tınaz Ekim (Boğaziçi University, Department of Industrial Engineering), Computing Defective Ramsey Numbers
12:15-13:30 Lunch
13:30-14:15 Cem Say (Boğaziçi University, Department of Computer Engineering), Finite Automata as Verifiers of Proofs
14:15-15:00 Olcay Coşkun (Boğaziçi University, Department of Mathematics), Endo-trivial Modules via Gluing Obstructions
13:30-14:15 Cem Say (Boğaziçi University, Department of Computer Engineering), Finite Automata as Verifiers of Proofs
14:15-15:00 Olcay Coşkun (Boğaziçi University, Department of Mathematics), Endo-trivial Modules via Gluing Obstructions
15:00-15:30 Break
15:30-16:15 Arzu Boysal (Boğaziçi University, Department of Mathematics), Simple Lie Algebras-Combinational Data
16:15-17:00 Flavio d'Alessandro (University of Rome, La Sapienza, Department of Mathematics), Integer Points in Rational Polyhedra
Organizers: Flavio d'Alessandro, Sadık Değer, Tınaz Ekim, Cem Say
Date: May 16, Thursday 2024
Location: Boğaziçi University, Kandilli Campus
