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