turkmath.org

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.

Schedule:

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

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

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

Sadık Değer: sadik.deger@boun.edu.tr