Réservation de salles - Toutes les réservations
Juin 2018

lundi mardi mercredi jeudi vendredi samedi dimanche
01
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
<==========>
salle 005/bureau 3
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
<==========>
salle 005/bureau 4
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
08:00 à 13:00
Salle 007
Soutenance Thèse Chaka Kone - Leat/I3S
08:00 à 19:15
salle IHM
projet Polytech
14:00 à 15:00
Salle 001
Exposé du Prof Tarcisio MACIEL (UFC)
14:00 à 17:00
Salle 007
Présentation thèse M. Dimopoulou - MediaCoding
15:00 à 17:00
Salle 001
Exposé de Pablo Henrique, Maria De Fátima
02
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
<==========>
salle 005/bureau 3
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
<==========>
salle 005/bureau 4
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
08:00 à 19:15
salle IHM
projet Polytech
03
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
<==========>
salle 005/bureau 3
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
<==========>
salle 005/bureau 4
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
08:00 à 19:15
salle IHM
projet Polytech
04
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
<==========>
salle 005/bureau 3
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
<==========>
salle 005/bureau 4
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
08:00 à 19:15
salle IHM
projet Polytech
08:30 à 10:30
Salle du conseil
Comité suivi de thèse de JAGH
Comité suivi de thèse de John ANDERSON HENAO
09:00 à 11:00
Salle 001
REUNION SERVICE ADMINISTRATIF
12:00 à 17:00
Salle 001
Réunion SigNet
13:00 à 16:00
Salle 007
Répétition oraux stagiaires
13:30 à 14:30
Salle du conseil
these Katy
05
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
<==========>
salle 005/bureau 3
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
<==========>
salle 005/bureau 4
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
08:00 à 19:15
salle IHM
projet Polytech
10:00 à 11:00
Salle du conseil
Pre-Présentation CAiSE
06
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
<==========>
salle 005/bureau 3
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
<==========>
salle 005/bureau 4
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
08:00 à 19:15
salle IHM
projet Polytech
09:15 à 11:15
Salle 001
BF: chronopharmacologie formelle
10:45 à 12:30
Salle 007
Visio Allibert
12:30 à 17:30
Salle 007
Visio - DAUVIGNAC (LEAT)
14:00 à 16:00
Salle du conseil
Réunion IADB
15:00 à 16:00
Salle 001
Répétition oraux stagiaires
07
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
<==========>
salle 005/bureau 3
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
<==========>
salle 005/bureau 4
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
08:00 à 19:15
Salle 007
Auditions EDSTIC
Allocations UCA
08:00 à 19:15
salle IHM
projet Polytech
14:00 à 18:00
Salle 308
Meeting PrEstoCloud CNRS / Nutanix / ActiveEon
14:45 à 16:45
Salle 001
Comité de suivi de thèsé
15:00 à 17:00
Salle du conseil
Réunion
08
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
<==========>
salle 005/bureau 3
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
<==========>
salle 005/bureau 4
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
08:00 à 19:15
salle IHM
projet Polytech
08:30 à 11:30
Salle 007
Allocations UCA ED-STIC
10:00 à 10:30
Salle du conseil
Conf Call ONERA
13:00 à 18:00
Salle 007
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.
14:00 à 16:00
Salle 001
Comité thèse Amina Ghrissi (V. Zarzoso, J. Montagnat)
16:00 à 18:00
Salle 001
Reunion projet étudiants
09
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
<==========>
salle 005/bureau 3
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
<==========>
salle 005/bureau 4
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
08:00 à 19:15
salle IHM
projet Polytech
10
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
<==========>
salle 005/bureau 3
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
<==========>
salle 005/bureau 4
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
08:00 à 19:15
salle IHM
projet Polytech
11
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
< à 08:00
salle 005/bureau 3
Elissa ANAK JUSTIN (stagiaire DUT V. Zarzoso)
< à 08:00
salle 005/bureau 4
Badr-eddine JAOUAHER (stagiaire DUT V. Zarzoso)
08:00 à 19:15
salle IHM
projet Polytech
12
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
08:00 à 19:15
salle IHM
projet Polytech
13
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
08:00 à 19:15
salle IHM
projet Polytech
10:00 à 18:00
Salle du conseil
HDR Defense
14
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
08:00 à 19:15
salle IHM
projet Polytech
10:00 à 12:00
Salle 007
Séminaire R. Sassi
14:00 à 15:30
Salle 007
Séminaire I3S - ML/AI
14:00 à 16:00
Salle du conseil
Séminaire Wimmics - Juin
16:30 à 18:30
Salle du conseil
Repetition HDR
15
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
08:00 à 19:15
salle IHM
projet Polytech
10:00 à 11:00
Salle 001
réunion edstic
13:30 à 16:30
Salle 007
Seminaire SIS
15:00 à 18:00
Salle du conseil
Repetition HDR
15:30 à 18:30
Salle 001
reunion bioinfo
16
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
08:00 à 19:15
salle IHM
projet Polytech
17
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
08:00 à 19:15
salle IHM
projet Polytech
18
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
08:00 à 19:15
salle 005/bureau 2
STAGIAIRE Youness EL IDRISSI
08:00 à 19:15
salle 005/bureau 3
Shengwei Chen (stagiaire EPU R. Cabral)
08:00 à 19:15
salle 005/bureau 4
STAGIAIRE Arno Gobbin​
08:00 à 19:15
salle IHM
projet Polytech
09:30 à 11:00
Salle du conseil
réunion comm-web
objetif : site web
10:03 à 18:03
Salle 001
Test pour TER
Enrico Formenti
13:00 à 17:00
Salle du conseil
réunion thèse Leandro Correa
15:00 à 17:00
Salle 007
Réunion projet
19
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
08:00 à 18:00
Salle 007
HDR Defense
08:00 à 19:15
salle 005/bureau 2
STAGIAIRE Youness EL IDRISSI
08:00 à 19:15
salle 005/bureau 3
Shengwei Chen (stagiaire EPU R. Cabral)
08:00 à 19:15
salle 005/bureau 4
STAGIAIRE Arno Gobbin​
08:00 à 19:15
salle IHM
projet Polytech
09:00 à 10:30
Salle 308
Réunion Nigéria
12:00 à 13:00
Salle 001
jury HDR Célia Pereira
14:00 à 15:30
Salle du conseil
Réunion M4S (seb)
20
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
08:00 à 19:15
salle 005/bureau 2
STAGIAIRE Youness EL IDRISSI
08:00 à 19:15
salle 005/bureau 3
Shengwei Chen (stagiaire EPU R. Cabral)
08:00 à 19:15
salle 005/bureau 4
STAGIAIRE Arno Gobbin​
08:00 à 19:15
salle IHM
projet Polytech
10:00 à 18:00
Salle du conseil
Séminaire Wamberto Vasconlelos
10:30 à 11:15
Salle 007
Oral blanc Master 2 BIM
13:00 à 15:00
Salle 001
Exposé de Pablo Henrique, Maria De Fátima
15:00 à 16:30
Salle 001
Jury passage 1-->2 Sarkar (Urvoy-Keller)
15:00 à 17:00
Salle 308
Comité de passage 1->2 A. Pagliari
21
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
08:00 à 19:15
salle 005/bureau 2
STAGIAIRE Youness EL IDRISSI
08:00 à 19:15
salle 005/bureau 3
Shengwei Chen (stagiaire EPU R. Cabral)
08:00 à 19:15
salle 005/bureau 4
STAGIAIRE Arno Gobbin​
08:00 à 19:15
salle IHM
Enseignements IHM
09:00 à 13:00
Salle 001
Oral blanc Master 2 BIM
10:00 à 12:00
Salle 007
SEMINAIRE OSCAR
13:45 à 14:30
Salle 001
Repet soutenance
15:45 à 16:15
Salle 007
test pour oral
22
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
08:00 à 19:15
salle 005/bureau 2
STAGIAIRE Youness EL IDRISSI
08:00 à 19:15
salle 005/bureau 3
Shengwei Chen (stagiaire EPU R. Cabral)
08:00 à 19:15
salle 005/bureau 4
STAGIAIRE Arno Gobbin​
08:00 à 19:15
salle IHM
Enseignements IHM
09:45 à 11:00
Salle 308
Réunion LIX
10:00 à 12:00
Salle 001
Soutenances M1 Int
10:00 à 12:00
Salle du conseil
Repetition HDR
10:30 à 11:00
Salle 007
Oral blanc Master 2 BIM
16:00 à 17:00
Salle 001
Repet defense
23
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
08:00 à 19:15
salle 005/bureau 2
STAGIAIRE Youness EL IDRISSI
08:00 à 19:15
salle 005/bureau 3
Shengwei Chen (stagiaire EPU R. Cabral)
08:00 à 19:15
salle 005/bureau 4
STAGIAIRE Arno Gobbin​
24
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
08:00 à 19:15
salle 005/bureau 2
STAGIAIRE Youness EL IDRISSI
08:00 à 19:15
salle 005/bureau 3
Shengwei Chen (stagiaire EPU R. Cabral)
08:00 à 19:15
salle 005/bureau 4
STAGIAIRE Arno Gobbin​
25
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
08:00 à 19:15
Salle 001
FADEX2018
08:00 à 19:15
salle 005/bureau 2
STAGIAIRE Youness EL IDRISSI
08:00 à 19:15
salle 005/bureau 3
Shengwei Chen (stagiaire EPU R. Cabral)
08:00 à 19:15
salle 005/bureau 4
STAGIAIRE Arno Gobbin​
08:00 à 19:15
Salle 007
FADEX 2018
08:00 à >
salle 005/bureau 5
Pedro Foletto Pimenta
Stagiaire M1
26
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
<==========>
salle 005/bureau 5
Pedro Foletto Pimenta
Stagiaire M1
08:00 à 12:30
Salle 007
FADEX 2018
08:00 à 19:15
Salle 001
FADEX2018
08:00 à 19:15
salle 005/bureau 2
STAGIAIRE Youness EL IDRISSI
08:00 à 19:15
salle 005/bureau 3
Shengwei Chen (stagiaire EPU R. Cabral)
08:00 à 19:15
salle 005/bureau 4
STAGIAIRE Arno Gobbin​
10:00 à 12:00
Salle du conseil
Réunion du CPRH 27
27
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
<==========>
salle 005/bureau 5
Pedro Foletto Pimenta
Stagiaire M1
08:00 à 19:15
salle 005/bureau 2
STAGIAIRE Youness EL IDRISSI
08:00 à 19:15
salle 005/bureau 3
Shengwei Chen (stagiaire EPU R. Cabral)
08:00 à 19:15
salle 005/bureau 4
STAGIAIRE Arno Gobbin​
09:00 à 12:00
Salle 001
Réunion C-DIR
Réunion Comité de direction
09:00 à 12:00
Salle du conseil
réunion Thèse Leandro
13:30 à 17:30
Salle 001
COMISSION ATER
14:00 à 16:30
Salle 007
Classement DCCE-EDSTIC
28
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
<==========>
salle 005/bureau 5
Pedro Foletto Pimenta
Stagiaire M1
08:00 à 19:15
salle 005/bureau 2
STAGIAIRE Youness EL IDRISSI
08:00 à 19:15
salle 005/bureau 3
Shengwei Chen (stagiaire EPU R. Cabral)
08:00 à 19:15
salle 005/bureau 4
STAGIAIRE Arno Gobbin​
11:00 à 13:00
Salle du conseil
Repetition HDR
15:00 à 18:00
Salle 001
Salla Reunion Stage
29
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
<==========>
salle 005/bureau 5
Pedro Foletto Pimenta
Stagiaire M1
08:00 à 19:15
Salle 001
Reunion morpheme IPMC
08:00 à 19:15
salle 005/bureau 2
STAGIAIRE Youness EL IDRISSI
08:00 à 19:15
salle 005/bureau 3
Shengwei Chen (stagiaire EPU R. Cabral)
08:00 à 19:15
salle 005/bureau 4
STAGIAIRE Arno Gobbin​
14:00 à 16:00
Salle 007
SEMINAIRE D. COUDERT
30
<==========>
salle 005/bureau 1
JACKSON SHIELDS
JACKSON SHIELDS
<==========>
salle 005/bureau 5
Pedro Foletto Pimenta
Stagiaire M1
08:00 à 19:15
salle 005/bureau 2
STAGIAIRE Youness EL IDRISSI
08:00 à 19:15
salle 005/bureau 3
Shengwei Chen (stagiaire EPU R. Cabral)
08:00 à 19:15
salle 005/bureau 4
STAGIAIRE Arno Gobbin​
^ Haut de la page