Séminaires de l'équipe M2F
LaBRI, Bordeaux
Le séminaire M2F a lieu en salle 178 un mardi sur deux à 14H.
Pour proposer un séminaire, le calendrier ci-dessous vous aidera à choisir une date disponible.
Pour s'abonner ou se désabonner de la liste de diffusion.
Pour s'inscrire au calendrier de l'équipe M2F.
Prochains exposés
Tous les exposés sont retransmis en ligne.
Calendrier de l'équipe
Archives des années précédentes
- Méthodes Formelles 2016 2017-2024 .
- Graphes et Logique 2010-2015.
- Modélisation et Vérification 2010-2015.
- MVTsi 2009-2010, 2008-2009, 2007-2008, 2006-2007, 2005-2006, 2004-2005, 2003-2004, 2002-2003, 2001-2002, 2000-2001, 1999-2000, 1998-1999, 1997-1998, 1996-1997, 1995-1996.
- Sémantique du parallélisme 1994-1995, 1993-1994, 1992-1993.
Responsables
Igor Walukiewicz, Corto Mascle