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éunionhttps://teams.microsoft.com/l/meetup-join/19%3ameeting_MzQzMTZjNTItODlkNS00ZDYwLWFjOGYtNWEyNTRhYmE3NmVi%40thread.v2/0?context=%7b%22Tid%22%3a%223534b3d7-316c-4bc9-9ede-605c860f49d2%22%2c%22Oid%22%3a%22fd8e8b13-c2ce-4caf-ae9d-d7982e7b1888%22%7d ID de la réunion : 364 070 337 241 Code secret : nVZbWG Télécharger Teamshttps://www.microsoft.com/en-us/microsoft-teams/download-app | Rejoindre sur le webhttps://www.microsoft.com/microsoft-teams/join-a-meeting Pour en savoir plushttps://aka.ms/JoinTeamsMeeting | Options de réunionhttps://teams.microsoft.com/meetingOptions/?organizerId=fd8e8b13-c2ce-4caf-ae9d-d7982e7b1888&tenantId=3534b3d7-316c-4bc9-9ede-605c860f49d2&threadId=19_meeting_MzQzMTZjNTItODlkNS00ZDYwLWFjOGYtNWEyNTRhYmE3NmVi@thread.v2&messageId=0&language=fr-FR ________________________________________________________________________________