Chargement Évènements

« All Évènements

  • Cet événement est passé

Séminaire Méthodes Formelles

janvier 12 @ 14:00 - 15:00

Le prochain séminaire Méthode Formelles aura lieu le jeudi 12 janvier à 14 heures en salle B011.

Sophie Tourret (NII Tokyo) fera une présentation intitulée “Towards SAT Solving in Batches.”

Share on FacebookShare on Google+Tweet about this on TwitterShare on LinkedIn

Détails

Date :
janvier 12
Heure :
14:00 - 15:00
Catégorie d’Évènement:

Lieu

B011

En ce moment

Colloquium Loria 2017
Présentations et vidéos

Logo du CNRS
Logo Inria
Logo Université de Lorraine