Martin Strecker

Univ. Paul Sabatier Irit, Equipe ACADIE 118 route de Narbonne F-31062 Toulouse Cedex 9 (+33) 5 61 55 6448 (+33) 5 61 55 6448 martin.strecker@irit.fr Irit, 470

Research

Publications

Projects

• Verisync

Teaching

2011-2012 (admin L) (admin M1) (admin M2) (Wiki) (Moodle)

Licence

• Licence 1 (S1): Informatique
• Licence 1 (S1): Math-Info
• Licence 1 (S2): PCP option Informatique
• Licence 2 (S3): Logique
• Licence 3 (S5): Algorithmes (Albi)

Master

• Master 1 (S7): Traduction des Langages
• Master 2 (S9): Principes et Fondements de la Méta-modélisation

Material of previous semesters

General information:

• Utilisation de Latex