Groupe de travail Pôle Automates, structures et vérification Équipe thématique Automates et applications Gestion des séances Logique, automates, algèbre et jeux Jour, heure et lieu Le Mercredi à 14h, salle 4033 Le calendrier des séances (format iCal). Pour ajouter le calendrier des séances à votre agenda favori, souscrire au calendrier en indiquant ce lien. Contact(s) Thomas Colcombet Sylvain Schmitz Sam van Gool Sujet Ce groupe de travail propose des exposés de deux heures au tableau sur des sujets classique ou plus récents traitant de logique, d'automates, de méthodes algébriques et de jeux. Organisation Le groupe de travail se déroule environ toutes les deux semaines, en général les mercredi à 14h en salle 4033, bâtiment Sophie Germain.