Geometry of Interaction for ZX-Diagrams Mar 4 Kostia Chardonnet et Renaud Vilmart 4 March 2021 à 10h00 | #séminaireLoVe |
On the formal verification of safety-critical systems: challenges, approaches and perspectives Mar 5 Mohammed Foughali 5 March 2021 à 12h15 | #séminaireLoVe |
Contributions to Boolean satisfiability solving and its application to the analysis of discrete systems Mar 5 Souheib Baarir 5 March 2021 à 14h00 | #séminaireLoVe |
Learning to solve the single machine scheduling problem with release times and sum of completion times Mar 11 Axel Parmentier11 March 2021 à 10h30 | #séminaireAOC |
A snapshot of quantum algorithms for optimization Mar 17 Giacomo Nannicini17 March 2021 à 15h00 | #séminaireAOC |
Titre bientôt disponible Mar 18 Boris Eng18 March 2021 à 10h00 | #séminaireLoVe |
Titre bientôt disponible Mar 18 Rim Saddem18 March 2021 à 14h00 | #séminaireLoVe |
Modeling and formal verification of a communicating autonomous vehicle system Mar 19 Johan Arcile19 March 2021 à 09h00 | #séminaireLoVe |
Titre bientôt disponible Apr 1 Marie Kerjean 1 April 2021 à 10h00 | #séminaireLoVe |
Titre bientôt disponible Apr 15 Giulio Guerrieri15 April 2021 à 10h00 | #séminaireLoVe |