Semináře

• Hora Informaticae
  30.1.2023 (úterý), 14:00, ÚI AV ČR, Pod Vodárenskou věží 2, místnost 318 and online via Zoom
  Martin Berger (Montanarius Ltd, University of Sussex): GPU-acceleration of program synthesis
  
• Combinatorial group
  2.2.2023 (pátek), 10:00, ICS AS CR, Pod Vodárenskou věží 2, room 318 and online via Zoom
  Martin Balko (Charles University): The Erdős--Szekeres Theorem for Split Polygons