Solving hard polynomial systems
Program
All talks will be held in room E1 05 (Leibniz-Saal),
Max Planck Institute for Mathematics in the Sciences (Leipzig, Inselstr. 22).
| Monday, April 03, 2023 | ||
|---|---|---|
| 09:00 - 09:30 | Arrival and Coffee | |
| 09:30 - 10:00 | Welcome | |
| 10:00 - 11:00 | Problem Presentation | |
| 11:00 - 11:30 | Coffee | |
| 11:30 - 12:30 | Giles Gardam (University of Münster) Using SAT as a tool for hard polynomial systems | |
| 12:30 - 13:30 | Lunch | |
| 13:30 - 14:30 | Elisa Gorla (Université de Neuchâtel) The complexity of solving hard polynomial systems: invariants and applications | |
| 14:30 - 16:30 | Problem Solving Session | |
| 16:30 - 17:00 | Coffee & Cake | |
| 17:00 - 18:00 | Problem Solving Session | |
| Tuesday, April 04, 2023 | ||
| 09:30 - 11:00 | Problem Solving Session | |
| 11:00 - 11:30 | Coffee | |
| 11:30 - 12:30 | Frank Sottile (Texas A&M University) Two hard polynomial systems from enumerative geometry | |
| 12:30 - 13:30 | Lunch | |
| 13:30 - 16:30 | Problem Solving Session | |
| 16:30 - 17:00 | Coffee & Cake | |
| 17:00 - 18:15 | Wrap up, Presentation of Results | |
Date and Location
April 03 - 04, 2023
Max Planck Institute for Mathematics in the Sciences
E1 05 (Leibniz-Saal)
Inselstr. 22
04103 Leipzig
Scientific Organizers
Rafael Mohr
TU Kaiserslautern/Sorbonne Université
Kemal Rose
MPI for Mathematics in the Sciences
Administrative Contact
Mirke OlschewskiMPI for Mathematics in the Sciences