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

Since September 2020: On leave at Singapore Management University, Centre for Computational Law.

Teaching

(admin L2) (admin L3) (Moodle)

• Licence 1 (S1): Outils Maths Discrètes
• Licence 1 (S2): Maths Discrètes
• Licence 1 (S2): Logique 1
• Licence 1 (S2): Sciences et Humanités: Informatique 1
• Licence 2 (S3): Logique 2
• Licence 2 (S4): Sciences et Humanités: Informatique 2
• Licence 3 (S5): Algorithmes (Albi)

General information / diverse:

• Utilisation de Latex

See here.