Satellite workshops
-
A satellite MaGiX workshop on language and graphical interface design for computer algebra systems will be organized after the conference, on July 26-27.
More informations available at http://magix.lix.polytechnique.fr/magix/magixaissac/magixaissac.en.html.
Please register (before 15 June) if you want to participate :
http://www.lix.polytechnique.fr/~lecerf/magixaissac-registration.php.
-
A second satellite workshop on Categorical Computer Science and Proof Assistants (CaCoS) will also take place after the conference, on July 26.
More informations available at http://www-ljk.imag.fr/membres/Dominique.Duval/CACOS12/cacos12.html.