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, 472

Research

Publications

Projects

• Climt

Doctoral Students

• Nadezhda Baklanova (2011-2014)
• Ievgen Ivanov (2010-2014)
• Selma Djeddai (2009-2013)
• Mathieu Giorgino (2008-2013)

Teaching

(admin L) (admin M1) (Moodle) (Double Licence Math-Info)

• Licence 1 (S1): Informatique
• Licence 1 (S1): Math-Info 1
• Licence 1 (S2): Théorie de l'information
• Licence 1 (S2): PCP option Informatique
• Licence 2 (S3): Logique
• Licence 3 (S5): Langages et Automates
• Licence 3 (S5): Algorithmes (Albi)
• Master 2 (S9): Graphes

Summer schools:

• Recherche MIDI du Labex CIMI

General information / diverse:

• Utilisation de Latex
• Material of previous semesters

Organization

Local workshops:

• Trimestre thématique CIPPMI du Labex CIMI
• Cycle de séminaires de l'IRIT 2013: "Transformations de graphe"

International conferences:

• ICGT 2016

Historical

Past Projects

• Verisync
• AjitProp