Invited Speakers
Swarat Chaudhuri – University of Texas & Google DeepMind, Austin, USA
Title: Evolution, Abstraction, and Discovery with Large Language Models
Mohamed El Amine Seddik – Technology Innovation Institute, AD, UAE
Title: Training of Modern Large Language Models
Sanjit Seshia – University of California, Berkeley, USA
Title: Towards Verified AI-Based Autonomy
Marc Shapiro – Sorbonne Université, Paris, France
Title: Modelling and Verifying a Database Backend
Praneeth Vepakomma – MBZUAI, Abu Dhabi, UAE & MIT, Cambridge, USA
Title: Harnessing collaborative intelligence in the Post-LLM world
Dates
March 15th, 2025
Abstract submission deadline
March 15th, 2025
Paper submission deadline
April 16th, 2025
Accept/Reject notification
May 21-23 ,2025
Netys Conference
Proceedings
Revised selected papers will be published as a post-proceedings in Springer's LNCS Lecture Notes in Computer Science
Partners & Sponsors
