Bonjour,
comme vous avez peut-être entendu parler, l'équipe AA va se rencontrer pour
ses journées d'équipe les jeudi et vendredi prochains. La réunion en soi
est réservée aux permanents, mais la partie exposés est ouverte pour tout le
monde dans l'équipe, donc aussi vous. C'est dans KB404, et voici le plan
prélminiaire d'exposés :
Jeudi 27/10
* 15:30 Philipp: On Mealy machines, SAT and SMT encodings
* 16:00 Étienne: Go2Pins: A Framework for the LTL Verification of Go Programs
* 16:30 Didier: Lisp, Jazz, Aikido
* 17:00 Uli: Invitation to higher-dimensional automata theory
* 17:30 Nicolas: Toward a user interface description language based on
bigraphs
* 18:00 Hugo: Some notes on distances
Vendredi 28/10
* 9:00 Jim: TB∀
* 9:30 Quentin: Bounded Domain Property for FOLTL and applications
* 10:00 Adrien: A brief overview of the active and passive learning
litterature
On va se donner la liberté d'accélérer, donc c'est vraiment prélminiaire...
Voilà, vous êtes le bienvenue.
Bonne journée,
Uli
