]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/sites/bologna.xml
New: two methods have been added to kill UWOBO and to start a new session
[helm.git] / helm / mowgli / home / xml / sites / bologna.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE site SYSTEM "site.dtd">
4
5 <site>
6  <name>University of Bologna (Italy), Department of Computer Science</name>
7  <country>Italy</country>
8  <url>http://www.cs.unibo.it</url>
9  <address>Via di mura Anteo Zamboni VII, 40127, Bologna, ITALY</address>
10  <responsible file="bologna/asperti"/>
11  <description>
12   <p>The Department of Computer Science of Bologna is the
13      only educational institution in Italy to be affiliated
14      to the World Wide Web Consortium (and one of the few
15      members of this category in Europe). This affiliation
16      testifies the interest, both technical and didactic,
17      traditionally devoted by our Department to Web technologies,
18      Internet and, more generally, distributed computing.
19      This is joined to a solid expertise in programming
20      languages, algorithms, theory and formal methods,
21      that provides a very stimulating and dialectical environment
22      for research.
23      The Department is in charge of an undergraduate
24      Program in Computer Science, with more than three hundreds new
25      students a year, and a graduate Ph.D. Program, currently
26      comprising sixteen students.</p>
27  </description>
28  <project>
29   <name>Hypertextual Library of Mathematics</name>
30   <acronym>HELM</acronym>
31   <url>http://www.cs.unibo.it/helm</url>
32   <member file="bologna/asperti"/>
33   <member file="bologna/padovani"/>
34   <member file="bologna/schena"/>
35   <member file="bologna/guidi"/>
36   <member file="bologna/sacerdoti"/>
37   <description>
38    <p>The <em>Hypertextual Electronic Library of Mathematics</em> Project
39     is active in Bologna since 1999. Its aim is the development of a suitable
40     technology for the creation and maintenance of a virtual, distributed,
41     hypertextual library of formal mathematical knowledge. As a subsidiary
42     goal, HELM is meant to integrate the current tools for the automation of
43     formal reasoning and the mechanisation of mathematics (proof assistants
44     and logical frameworks) with the most recent technologies for the
45     development of Web applications and electronic publishing, taking
46     advantage of the potentiality offered by XML Technologies.
47     The Project is developed in tight cooperation with the W3C
48     MathML Working Group, which we are a member of.</p>
49   </description>
50  </project>
51 </site>