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>