Les prochains séminaires du LIPN

Geometry of Interaction for ZX-Diagrams

Mar 4

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

Mar 5

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

Mar 5

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

Mar 11

Axel Parmentier

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

A snapshot of quantum algorithms for optimization

Mar 17

Giacomo Nannicini

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

Titre bientôt disponible

Mar 18

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

Mar 18

Rim Saddem

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

Modeling and formal verification of a communicating autonomous vehicle system

Mar 19

Johan Arcile

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

Titre bientôt disponible

Apr 1

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

Apr 15

Giulio Guerrieri

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