Home | People | Software | Jobs | MaGiX@LiX | TeXmacs workshop | MaGiX@ISSAC | Services
MaGiX seminar
Welcome | Events

A special seminar on TeXmacs and Isabelle/Scala/jEdit will take place on Wednesday, March 30, 2011 at the conference room of LIX Laboratory of Ecole Polytechnique.

Abstracts

This webpage is part of the MaGiX project. Verbatim copying and distribution of it is permitted in any medium, provided this notice is preserved. For more information or questions, please contact Joris van der Hoeven.