Session Horaire Equipe Année Etudiant Encadrant Sujet ❶ 09:00 ↦ 09:25 AA ING 1 edgar.delaporte Amazigh Amrane Implementing Pomset Automat ❶ 09:30 ↦ 09:55 AA ING 1 theo.gardet Jim Newton Random finite automata generation in SCALA ❶ 10:00 ↦ 10:25 AA ING 1 juliette.jacquot Daniel Stan Apprentissage actif avec un oracle incertain ❶ 10:30 ↦ 10:55 AA ING 1 stanislas.martin Hugo Bazille Graphes fractals ❶ 11:00 ↦ 11:25 AA ING 1 eliott.kern S. Baarir, T. Lejemble, Q. Peyras GPU algorithm for SAT Solving ❶ 11:30 ↦ 11:55 AA ING 1 thomas.xu Adrien Pommellet Implémentation d'un modèle de machines de Mealy et de l'algorithme L# ❶ 12:00 ↦ 12:25 AA ING 2 rostan.tabet Philipp Schlehubert Synthèse réactive sur un sous-ensemble de LTL nommé GR(1) et motion planning ❶ 12:30 ↦ 12:55 AA ING 2 simon.scatton Adrien Pommellet SAT-based Learning of CTL Formulas @Perms: Pour confirmer votre présence à cette session, acceptez simplement cette invitation. E. ________________________________________________________________________________ Réunion Microsoft Teams Participez à partir de votre ordinateur, de votre application mobile ou de l’appareil de la salle Cliquez ici pour rejoindre la réunion<https://teams.microsoft.com/l/meetup-join/19%3ameeting_MzQzMTZjN… ID de la réunion : 364 070 337 241 Code secret : nVZbWG Télécharger Teams<https://www.microsoft.com/en-us/microsoft-teams/download-app> | Rejoindre sur le web<https://www.microsoft.com/microsoft-teams/join-a-meeting> Pour en savoir plus<https://aka.ms/JoinTeamsMeeting> | Options de réunion<https://teams.microsoft.com/meetingOptions/?organizerId=fd8e8b13… ________________________________________________________________________________