MPI-INF and MPI-MiS joint workshop on Theoretical Computer Science and Algebraic Geometry

MPI-INF and MPI-MiS joint workshop on Theoretical Computer Science and Algebraic Geometry

This workshop brings together experts from theoretical computer science and algebraic geometry to discuss the relations between the fields from different perspectives. The goal is to lay the foundations for new interdisciplinary collaborations.

Dates: January 14 - 18, 2019

Location:
Main lecture hall in the MPI-SWS building
Campus E1 5
66123 Saarbrücken
Germany

A very close bus stop is "Universität Busterminal". There is a direct bus from/to the main train station "Saarbrücken Hauptbahnhof (HBF)". The bus times can be found at saarfahrplan.de. All bus stops can be found by zooming into the interactive map.

Plenary Speakers

Monday: Kurt Mehlhorn: Some Reflections on the Interplay of Theory and Practice
Tuesday: Frank-Olaf Schreyer: Syzygies - usage, structure and their computation
Wednesday: Joël Ouaknine: Program Invariants
Thursday: Markus Bläser: Testing membership in a variety, minimum circuit size problems, and algebraic natural proofs
Friday: Bernd Sturmfels: Learning Algebraic Varieties from Samples

Program and Video Recordings

The schedule with the video recordings of the talks is online.

Registered Participants

Sarwan Ali, Raza Ali, Susumu Ariki, Pritam Bhattacharya, Markus Bläser, Tobias Boege, Janko Boehm, Turku Ozlum Celik, Suryajith Chillara, Jinhee Chun, Wolfram Decker, Kunal Dutta, Christian Eder, Christian Engels, Nick Fischer, Fulvio Gesmundo, Purnata Ghosal, Arijit Ghosh, Zeyu Guo, Lennart Haas, Marton Hablicsek, Christian Ikenmeyer, Violeta Ivanova-Rohling, Gorav Jindal, Nidhi Kaihnsa, Hanieh Keneshlou, Khazhgali Kozhasov, Philipp Licht, Engel Lefaucheux, Vladimir Lysikov, Alaa Eddine Mahi, Kurt Mehlhorn, Magdaleen Marais, Mateusz Michałek, Teodora Nasz, Kyo Nishiyama, Joël Ouaknine, Yue Ren, Nitin Saurabh, Tim Seynnaeve, Frank-Olaf Schreyer, Henning Seidler, Pritam Siddarth, Bernd Sturmfels, Happy Bibi Taku, Sugura Tamaki, Jun Tarui, Takeshi Tokuyama, Daniel Vaz, Marieke van der Wegen, Charilaos Zisopoulos

Organized by Christian Ikenmeyer (MPI-INF) and Mateusz Michałek (MPI-MiS).