IST Logo Small

Last MoWGLI Meeting

The meeting was held on Wednesday, 14 December 2004, at the École Polytechnique in Palaiseau, France. See the dedicated meeting page.


  • Eduardo Gimenez, Applying MoWGLI's prototype to the Security Certification of IT products, [.ppt]
  • Freek Wiedijk, STTwU in Coq, [.dvi (TYPES conference presentation)]
  • Serge Autexier, Overview of the Status of the Distribution Tool, [.pdf]
  • Claudio Sacerdoti Coen, On the logical structure of OMDoc, [.pdf]

This page is hosted by the Department of Computer Science, University of Bologna.
Last updated Fri Feb 2 17:12:19 CET 2007.
IST Logo Small