Project

Related

Contact

Project Leader:

Prof. Andrea Asperti

Webmaster:

mowgli-webmaster@cs.unibo.it

MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces

People

By Site

University of Bologna (Italy), Department of Computer Science

Prof. Andrea Asperti
Ferruccio Guidi
Luca Padovani
Claudio Sacerdoti Coen
Irene Schena
Stefano Zacchiroli

Institut National de Recherche en Informatique et Automatique (INRIA) Rocquencourt

Ahmed Amerkad
Yves Bertot
Laurent Chicli
David Delahaye
Prof. Hugo Herbelin
Hanane Naciri
Loic Pottier
Laurence Rideau
Laurent Thery
Dr. Benjamin Werner

German Research Center for Artificial Intelligence, GmbH, DFKI

George Goguadze
Dr. Michael Kohlhase
Paul Libbrecht
PD. Dr. Erica Melis
Dr. Markus Moschner
Prof. Joerg Siekmann

Katholieke Universiteit Nijmegen

Prof. Henk Barendregt
Ernesto Reinaldo Barreiro
Prof. Arjeh Cohen
Luís Cruz-Filipe
Prof. Herman Geuvers
Iris Loeb
Lionel Elie Mamane
Milad Niqui
Jasper Stein
Dan Synek
Dr. Freek Wiedijk

Max Planck Institute for Gravitational Physics (Albert Einstein Institute)

Dr. Romeo Anghelache
Ian Kelley
Dr. Dennis Pollney
Prof. Bernard F. Schutz
Theresa Velden
Prof. Bernd Wegner
Christina Weyher

Trusted Logic

Dominique Bolignano
Dr. Eduardo Gimenez

Alphabetical

Amerkad, Ahmed
Anghelache, Romeo
Asperti, Andrea
Barendregt, Henk
Barreiro, Ernesto Reinaldo
Bertot, Yves
Bolignano, Dominique
Chicli, Laurent
Cohen, Arjeh
Cruz-Filipe, Luís
Delahaye, David
Geuvers, Herman
Gimenez, Eduardo
Goguadze, George
Guidi, Ferruccio
Herbelin, Hugo
Kelley, Ian
Kohlhase, Michael
Libbrecht, Paul
Loeb, Iris
Mamane, Lionel Elie
Melis, Erica
Moschner, Markus
Naciri, Hanane
Niqui, Milad
Padovani, Luca
Pollney, Dennis
Pottier, Loic
Rideau, Laurence
Sacerdoti Coen, Claudio
Schena, Irene
Schutz, Bernard F.
Siekmann, Joerg
Stein, Jasper
Synek, Dan
Thery, Laurent
Velden, Theresa
Wegner, Bernd
Werner, Benjamin
Weyher, Christina
Wiedijk, Freek
Zacchiroli, Stefano

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