Les prochains séminaires du LIPN

Geometry of Interaction for ZX-Diagrams

Kostia Chardonnet et Renaud Vilmart

4 March 2021 à 10h00 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 (code d’accès: 749983)

On the formal verification of safety-critical systems: challenges, approaches and perspectives

Mohammed Foughali

5 March 2021 à 12h15 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/ari-uht-t3u

Contributions to Boolean satisfiability solving and its application to the analysis of discrete systems

Souheib Baarir

5 March 2021 à 14h00 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/ari-uht-t3u

Learning to solve the single machine scheduling problem with release times and sum of completion times

Axel Parmentier

11 March 2021 à 10h30 | #séminaireAOC
Salle B107, Institut Galilée, Université Paris 13

A snapshot of quantum algorithms for optimization

Giacomo Nannicini

17 March 2021 à 15h00 | #séminaireAOC
Salle B107, Institut Galilée, Université Paris 13

Titre bientôt disponible

Boris Eng

18 March 2021 à 10h00 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 (code d’accès: 749983)

Titre bientôt disponible

Rim Saddem

18 March 2021 à 14h00 | #séminaireLoVe
Salle A303

Modeling and formal verification of a communicating autonomous vehicle system

Johan Arcile

19 March 2021 à 09h00 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/ari-uht-t3u

Titre bientôt disponible

Marie Kerjean

1 April 2021 à 10h00 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 (code d’accès: 749983)

Titre bientôt disponible

Giulio Guerrieri

15 April 2021 à 10h00 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 (code d’accès: 749983)