Teaching in 2015-2016

ASR2 -- L3 (First term)

Cours assurés par Michael Rao. TD encadrés avec Radu Carpa et Violaine Villebonnet le mercredi à 8h.

Le sujet du Projet 2 à rendre pour le 20 mai à minuit.

Proofs and programs -- M1 (Second term)

Lectures given by Philippe Audebaud. Sessions organized on Tuesdays from 15:45 to 17:45.

Compilation and program analysis -- M1 (First term)

Lectures given by Christophe Alias and Daniel Hirschkoff.

Lab sessions co-organized with Laure Gonnord on Tuesdays from 8:00 to 10:00 in room E001.

Exercise sheets: