Salle 001
(23 personnes max.)
|
09:00 à 11:00
REUNION SERVICE ADMINISTRATIF
|
12:00 à 17:00
Réunion SigNet
|
|
|
09:15 à 11:15
BF: chronopharmacologie formelle
|
15:00 à 16:00
Répétition oraux stagiaires
|
|
14:45 à 16:45
Comité de suivi de thèsé
|
|
14:00 à 16:00
Comité thèse Amina Ghrissi (V. Zarzoso, J. Montagnat)
|
16:00 à 18:00
Reunion projet étudiants
|
|
|
|
Salle 007
(70 personnes max.)
|
13:00 à 16:00
Répétition oraux stagiaires
|
|
|
10:45 à 12:30
Visio Allibert
|
12:30 à 17:30
Visio - DAUVIGNAC (LEAT)
|
|
08:00 à 19:15
Auditions EDSTIC
Allocations UCA
|
|
08:30 à 11:30
Allocations UCA ED-STIC
|
13:00 à 18:00
Présentation Valentin Montmirail
Titre : RECAR: Recursive Explore and Check Abstraction Refinement
Résumé : L'approche Counter-Example Guided Abstraction Refinement (CEGAR) a été un grand succès dans la vérification de modèle. Depuis lors, elle a été appliquée à de nombreux problèmes différents. Il s'avère qu'il s'agit d'une approche pratique très efficace pour résoudre le problème QBF qui est PSPACE-complet. Dans ce talk, je vous présenterai une nouvelle approche semblable à CEGAR pour aborder des problèmes PSPACE, approche que nous appelons RECAR (Recursive Explore and Check Abstraction Refinement). Je parlerai ensuite d'une instantiation du framework RECAR pour résoudre le problème de satisfiabilité en logique modale K (problème canonique PSPACE-complet). Nous avons implémentés les deux approches CEGAR et RECAR pour déterminer la cohérence d’une formule en logique modale K au sein du solveur MoSaiC. Nous avons comparé expérimentalement ces approches face aux solveurs de l'état de l’art. L'approche RECAR surpasse l'approche CEGAR sur ces problèmes et se compare favorablement aux solveurs de l'état de l'art sur les benchmarks considérés.
|
|
|
|
Salle du conseil
(40 personnes max.)
|
08:30 à 10:30
Comité suivi de thèse de JAGH
Comité suivi de thèse de John ANDERSON HENAO
|
|
10:00 à 11:00
Pre-Présentation CAiSE
|
|
14:00 à 16:00
Réunion IADB
|
|
|
10:00 à 10:30
Conf Call ONERA
|
|
|
|
salle IHM
(16 personnes max.)
|
08:00 à 19:15
projet Polytech
|
|
08:00 à 19:15
projet Polytech
|
|
08:00 à 19:15
projet Polytech
|
|
08:00 à 19:15
projet Polytech
|
|
08:00 à 19:15
projet Polytech
|
|
08:00 à 19:15
projet Polytech
|
|
08:00 à 19:15
projet Polytech
|
|
Templiers 1 - Salle 446
(6 personnes max.)
|
|
|
|
|
|
|
|
Visio Conférence Templier
|
|
|
|
|
|
|
|
Ubiquarium des Templiers
|
|
|
|
|
|
|
|
Salle 308
(10 personnes max.)
Réservations à venir
|
|
|
|
14:00 à 18:00
Meeting PrEstoCloud CNRS / Nutanix / ActiveEon
|
|
|
|
|
salle 005/bureau 1
(1 personne max.)
|
<==============>
JACKSON SHIELDS
JACKSON SHIELDS
|
|
<==============>
JACKSON SHIELDS
JACKSON SHIELDS
|
|
<==============>
JACKSON SHIELDS
JACKSON SHIELDS
|
|
<==============>
JACKSON SHIELDS
JACKSON SHIELDS
|
|
<==============>
JACKSON SHIELDS
JACKSON SHIELDS
|
|
<==============>
JACKSON SHIELDS
JACKSON SHIELDS
|
|
<==============>
JACKSON SHIELDS
JACKSON SHIELDS
|
|
salle 005/bureau 2
(1 personne max.)
|
|
|
|
|
|
|
|
salle 005/bureau 3
(1 personne max.)
|
<==============>
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
|
|
<==============>
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
|
|
<==============>
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
|
|
<==============>
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
|
|
<==============>
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
|
|
<==============>
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
|
|
<==============>
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
|
|
salle 005/bureau 4
(1 personne max.)
|
<==============>
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
|
|
<==============>
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
|
|
<==============>
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
|
|
<==============>
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
|
|
<==============>
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
|
|
<==============>
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
|
|
<==============>
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
|
|
salle 005/bureau 5
(1 personne max.)
|
|
|
|
|
|
|
|
