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]