Conférence invitée de Sophie Tourret

La troisième conférence invitée, partagée avec AFADL, était donnée par Sophie Tourret (LORIA)

Elle était intitulée "The How and Why of Higher-Order SMT for Prospective Users".

Ses transparents sont disponibles ici.