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 in computer science and artificial intelligence.

Register here

Registration

Entrance is free but requires registration. Please, register here.

Speakers

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, Recording	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, Recording	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, Recording	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, Recording	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, Recording	Prof. Martin Odersky EPFL, Switzerland
May 11, Thurs 6:00 PM – 7:15 PM	Hall 65	Programming the Machines of Tomorrow Today Slides here, Recording	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, Recording	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	Prof. Iryna Gurevych TU Darmstadt, Germany

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]