INSAIT Series on Trends in AI & Computing
Registration
There are no current talks to register for at the moment.
Speakers
Schedule
Date & Time | Hall | Talk Title | Speaker |
---|---|---|---|
2023 / Feb 16, Thurs 6:00 PM – 7:15 PM | Hall 65 | Neurosymbolic programming – an emerging subarea of AI Slides here, Video | Prof. Swarat Chaudhuri University of Texas, Austin, USA |
2023 / Feb 27, Mon 6:00 PM – 7:15 PM | Hall 65 | Generative AI for Code and Beyond Slides here, Video | Prof. Eran Yahav Technion, Israel CTO, Tabnine |
2023 / March 10, Fri 6:00 PM – 7:15 PM | Hall 65 | Robbing the Bank with Automated Reasoning Slides here, EMV materials here, Video | Prof. David Basin ETH Zurich, Switzerland Anapaya, co-founder |
2023 / April 3, Mon 6:00 PM – 7:15 PM | Hall 65 | AI will program itself: synthesis, learning and beyond Slides here, Video | Prof. Armando Solar-Lezama MIT, USA Associate Director of MIT CSAIL |
2023 / April 27, Thurs 6:00 PM – 7:15 PM | Hall 65 | Effects and resources: New frontiers for safe and expressive programming languages Slides here, Video | Prof. Martin Odersky EPFL, Switzerland |
2023 / May 11, Thurs 6:00 PM – 7:15 PM | Hall 65 | Programming the Machines of Tomorrow Today Slides here, Video | Prof. Alex Aiken Stanford University, USA |
2023 / May 22, Mon 6:00 PM – 7:15 PM | Hall 65 | Geometric Deep Learning Slides Part 1, Part 2, Video | Prof. Michael Bronstein Oxford, UK DeepMind Professor of AI Former Head Graph ML, Twitter / ML Lead |
2023 / Oct 20, Fri 6:00 PM – 7:15 PM | Hall 65 | Logic, Law, and Cryptography | Prof. Ruzica Piskac Yale University |
2023 / Oct 30, Mon 6:00 PM – 7:15 PM | Hall 65 | NLP for more realistic fact-checking Video | Prof. Iryna Gurevych TU Darmstadt, Germany |
2024 / May 31, Fri 6:00 PM – 7:15 PM | Hall 272 | Self-Adjusting Data Structures Video | Prof. Robert Tarjan Princeton University, USA |
2024 / Sept 12, Thurs 6:00 PM – 7:15 PM | Hall 65 | Lessons from Texas, COVID-19 and the 737 Max: Efficiency vs Resilience Video | Prof. Moshe Y. Vardi Rice University, USA |
2024 / Oct 11, Fri 6:30PM – 7:30 PM | Hall 65 | AI Safety and Robustness: Recent Advances and Future Directions Video | Prof. Zico Kolter Carnegie-Mellon University, USA |
2025 / Mar 27, Thurs 6:00 PM – 7:30 PM | Hall 65 | Cryptography in the Wild Video | Prof. Kenneth Paterson ETH Zurich, Switzerland |
2025 / Mar 31, Mon 6:00 PM – 7:30 PM | Hall 65 | The Insecurity of Machine Learning | Prof. Adi Shamir Weizmann Institute of Science, Israel |
Location
Address: bul. “Tsar Osvoboditel” 15, 1504 Sofia Center, Sofia

Contact
For questions about the INSAIT tech series, please get in touch at [email protected]