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 ORCID 0000-0001-9953-9871

Research

Publications

Doctoral Students

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

Teaching

(admin L2) (admin L3) (admin M1) (Moodle) (Double Licence Math-Info)

• Licence 1 (S1): Informatique
• Licence 1 (S1): Outils Maths Discrètes
• Licence 1 (S2): Théorie de l'information
• Licence 1 (S2): Maths Discrètes
• Licence 1 (S2): Logique 1
• Licence 2 (S3): Logique 2
• Licence 3 (S5): Algorithmes (Albi)

Summer schools:

• Recherche MIDI du Labex CIMI

General information / diverse:

• Utilisation de Latex
• Material of previous semesters

Organization

Local workshops:

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

International conferences:

• ICGT 2016
• ICTERI 2017
• TAP 2017

Historical

Past Projects

• Verisync
• AjitProp
• Climt