Exposés longs de l'UE Séminaire 24-25
mardi 25 février salle 76 :
- 14h00 : Guilhem Ardouin $AI^2$: Safety and Robustness Certification of Neural Networks with Abstract Interpretation by Timon Gehr; Matthew Mirman; Dana Drachsler-Cohen; Petar Tsankov; Swarat Chaudhuri; Martin Vechev
- 15h00 : Sylvain Chiron ''Structuring Abstract Interpreters through
State and Value Abstractions'' by Sandrine Blazy, David Bühler, and Boris Yakobowski
- 16h00 : Amira Elouazzani Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks by Guy Katz, Clark Barrett, David Dill, Kyle Julian and Mykel Kochenderf
mercredi 26 février salle 76 :
- 9h30 : Alexandre Vialar Magic: The gathering is Turing complete by Churchill, Alex, Stella Biderman, and Austin Herrick
- 10h30 : Yoann Gourdin Predictive Monitoring with Strong Trace Prefixes by Zhendong Ang and Umang Mathur
- 11h30 : Lyn Vayssieres A general decomposition theory for the 1-2-3 Conjecture and locally irregular decompositions by Olivier Baudon, Julien Bensmail, Tom Davot, Hervé Hocquard, Jakub Przybylo, Mohammed Senhaji, Eric Sopena, Mariusz Woźniak
- 14h00 : Julien Silva Lages Memoryless determinacy of parity and mean payoff games: a simple proof by Henrik Björklund, Sven Sandberg, Sergei Vorobyov
- 15h00 : Come Perin Autoregressive Diffusion Model for Graph Generation by Lingkai Kong, Jiaming Cui, Haotian Sun, Yuchen Zhuang, B. Aditya Prakash, Chao Zhang
- 16h00 : Max Senrens--Mauny On the complexity of various parameterizations of common induced subgraph isomorphism by Faisal N. Abu-Khzam, Édouard Bonnet, Florian Sikora