+++ /dev/null
-<?xml version="1.0"?>
-
-<!DOCTYPE site SYSTEM "site.dtd">
-
-<site>
- <name>University of Bologna (Italy), Department of Computer Science</name>
- <country>Italy</country>
- <url>http://www.cs.unibo.it</url>
- <address>Via di mura Anteo Zamboni VII, 40127, Bologna, ITALY</address>
- <responsible file="bologna/asperti"/>
- <description>
- <p>The Department of Computer Science of Bologna is the
- only educational institution in Italy to be affiliated
- to the World Wide Web Consortium (and one of the few
- members of this category in Europe). This affiliation
- testifies the interest, both technical and didactic,
- traditionally devoted by our Department to Web technologies,
- Internet and, more generally, distributed computing.
- This is joined to a solid expertise in programming
- languages, algorithms, theory and formal methods,
- that provides a very stimulating and dialectical environment
- for research.
- The Department is in charge of an undergraduate
- Program in Computer Science, with more than three hundreds new
- students a year, and a graduate Ph.D. Program, currently
- comprising sixteen students.</p>
- </description>
- <project>
- <name>Hypertextual Library of Mathematics</name>
- <acronym>HELM</acronym>
- <url>http://www.cs.unibo.it/helm</url>
- <member file="bologna/asperti"/>
- <member file="bologna/padovani"/>
- <member file="bologna/schena"/>
- <member file="bologna/guidi"/>
- <member file="bologna/sacerdoti"/>
- <description>
- <p>The <em>Hypertextual Electronic Library of Mathematics</em> Project
- is active in Bologna since 1999. Its aim is the development of a suitable
- technology for the creation and maintenance of a virtual, distributed,
- hypertextual library of formal mathematical knowledge. As a subsidiary
- goal, HELM is meant to integrate the current tools for the automation of
- formal reasoning and the mechanisation of mathematics (proof assistants
- and logical frameworks) with the most recent technologies for the
- development of Web applications and electronic publishing, taking
- advantage of the potentiality offered by XML Technologies.
- The Project is developed in tight cooperation with the W3C
- MathML Working Group, which we are a member of.</p>
- </description>
- </project>
-</site>