Séminaire vérification de Toulouse
Programme
Cette page rassemble les différents évènements toulousains publics ayant
trait au thème spécification et vérification formelle. Elle rassemble
principalement les séminaires réguliers des laboratoires ONERA-DTIM, IRIT et
LAAS ainsi que les séminaires des chantiers RTRA STAE TORRENTS et IFSE, ou
encore les rendez-vous annuels comme les journées FAC.
Le lieu varie suivant les présentations. Attention, pour l'Onera, l'accès aux ressortissants hors-CEE est soumis à autorisation préalable.
Le lieu varie suivant les présentations. Attention, pour l'Onera, l'accès aux ressortissants hors-CEE est soumis à autorisation préalable.
[IFSE]
Prochain rendez-vous : le 02 octobre 2018 à 9h30
Target oriented relational model finding - par Alcino Cunha dans la Salle des thèses de l'IRIT-UPSSalle du boulon de l'Onera
La salle du boulon se trouve à l'entrée de l'Onera, directement dans le bâtiment du poste de garde.- Le centre se trouve au sud de Toulouse, dans le complexe scientifique de Rangueil, sortie 20 de la rocade.
- 2, avenue Édouard Belin, 31000 Toulouse.
- Plan d'accès.
- Accès par le métro B station "Faculté de Pharmacie" puis Bus (68, 108 et 51), arrêt "CREPS".
Salle Bardeen du LAAS
- Le centre se trouve au sud de Toulouse, dans le complexe scientifique de Rangueil, sortie 20 de la rocade.
- 7, avenue du Colonel Roche, Toulouse
- Accès au LAAS
- Accès par le métro B station "Faculté de Pharmacie" puis Bus (68, 108 et 51), arrêt "LAAS".
- Cette salle est située au RDC du bâtiment neuf "Jean Lagasse" que l'on trouve en allant au fond du fond du LAAS.
Salle des thèses de l'IRIT-UPS
- Accès à l'IRIT: http://www.irit.fr/documentation/plan_irit/planirit.html.
- La salle des thèses se trouve au rez-de-chaussée de l'IRIT et est directement accessible à partir du hall d'accueil.
- Accès par le Métro ligne B Station Université Paul Sabatier.
Salles de réunions de l'IRIT-N7
- Accès à l'ENSEEIHT: http://www.enseeiht.fr/fr/access.html.
- La salle des thèses (C002) de l'ENSEEIHT se situe dans le batiment C, au rez de chaussée, elle donne dans le hall principal du batiment, entrée sous l'escalier.
- Accès par le Métro ligne B Station François Verdier.