Last MoWGLI Meeting

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

TALKS

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:28 CET 2007.