INSAIT Series on Trends in AI & Computing

The INSAIT Series on Trends in AI & Computing brings to Sofia some of the world’s leading scientists and technology leaders.

Register here

Registration

Speakers

Prof. Zico Kolter Carnegie Mellon University, USA

Prof. Moshe Y. Vardi Rice University, USA

Prof. Robert Tarjan Princeton University, USA
Turing Award

Prof. Iryna Gurevych TU Darmstadt, Germany
Winner of an ERC Advanced Grant
ELLIS Fellow
President of ACL

Prof. Ruzica Piskac Yale University, USA
Patrick Denantes Prize for PhD thesis, Microsoft Research Award (SEIF)
Programming Languages & Software Verification

Prof. Martin Odersky EPFL, Switzerland
Inventor of the Scala Programming Language
ACM Fellow

Prof. Michael Bronstein Oxford, UK
DeepMind Professor of AI
Former Head Graph ML, Twitter / ML Lead
IEEE fellow
Inventor of Geometric Deep Learning

Prof. Alex Aiken Stanford University, USA
ACM Fellow
ACM SIGPLAN Programming Languages Achievement Award

Prof. Swarat Chaudhuri University of Texas, Austin, USA
ACM SIGPLAN Doctoral Dissertation Award

Prof. Armando Solar-Lezama MIT, USA
Associate Director of MIT CSAIL
Inventor of Program sketching

Prof. Eran Yahav Technion, Israel
CTO, Tabnine
ACM Robin Milner Young Researcher Award Winner
ERC Consolidator Grant Winner

Prof. David Basin ETH Zurich, Switzerland
Anapaya, co-founder
Founding Director of Zurich Information Security Center
ACM Fellow

Schedule

Date & Time	Hall	Talk Title	Speaker
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
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
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
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
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
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
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
Oct 20, Fri 6:00 PM – 7:15 PM	Hall 65	Logic, Law, and Cryptography	Prof. Ruzica Piskac Yale University
Oct 30, Mon 6:00 PM – 7:15 PM	Hall 65	NLP for more realistic fact-checking Video	Prof. Iryna Gurevych TU Darmstadt, Germany
May 31, Fri 6:00 PM – 7:15 PM	Hall 272	Self-Adjusting Data Structures Video	Prof. Robert Tarjan Princeton University, USA
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
Oct 11, Fri 6:30PM – 7:30 PM	Hall 65	AI Safety and Robustness: Recent Advances and Future Directions	Prof. Zico Kolter Carnegie-Mellon University, USA

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]