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.

Salle 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.