The generated HTML files are not integrated with the rest of the site, yet.
--- /dev/null
+TEMPLATESROOT = ../templates
+XMLROOT = ../xml
+XSLROOT = ../xsl
+DOCUMENTS = home.html index.html menu.html \
+ consortium.html \
+ project.html \
+ sites/aei.html \
+ sites/bologna.html \
+ sites/dfki.html \
+ sites/inria.html \
+ sites/nijmegen.html \
+ sites/trusted-logic.html \
+ people/aei/kelley.html \
+ people/aei/schutz.html \
+ people/aei/velden.html \
+ people/aei/wegner.html \
+ people/bologna/asperti.html \
+ people/bologna/guidi.html \
+ people/bologna/padovani.html \
+ people/bologna/sacerdoti.html \
+ people/bologna/schena.html \
+ people/dfki/kohlhase.html \
+ people/dfki/melis.html \
+ people/dfki/siekmann.html \
+ people/inria/amerkad.html \
+ people/inria/bertot.html \
+ people/inria/chicli.html \
+ people/inria/delahaye.html \
+ people/inria/herbelin.html \
+ people/inria/naciri.html \
+ people/inria/pottier.html \
+ people/inria/rideau.html \
+ people/inria/thery.html \
+ people/nijmegen/barendregt.html \
+ people/nijmegen/barreiro.html \
+ people/nijmegen/cohen.html \
+ people/nijmegen/cruz-filipe.html \
+ people/nijmegen/geuvers.html \
+ people/nijmegen/niqui.html \
+ people/nijmegen/stein.html \
+ people/nijmegen/synek.html \
+ people/nijmegen/wiedijk.html \
+ people/trusted-logic/bolignano.html \
+ publications/others/category_al.html \
+ publications/others/crimea2001_apss.html \
+ publications/others/cup_s.html \
+ publications/others/cup_s2.html \
+ publications/others/extreme2001_apss.html \
+ publications/others/har_bg.html \
+ publications/others/jep_ws.html \
+ publications/others/jep_wwsw.html \
+ publications/others/jlp2001_scg.html \
+ publications/others/mathml2000_apss.html \
+ publications/others/mscs_gb.html \
+ publications/others/tcs2001_og.html \
+ publications/others/tphols2000_gwz.html \
+ publications/others/tphols2001_apss.html \
+ work-packages/distribution.html \
+ work-packages/information-dissemination-and-exploitation.html \
+ work-packages/interfaces.html \
+ work-packages/metadata.html \
+ work-packages/project-management.html \
+ work-packages/requirement-analysis.html \
+ work-packages/testing-and-validation.html \
+ work-packages/transformation.html
+
+all: $(DOCUMENTS)
+
+home.html: $(TEMPLATESROOT)/home.html
+ cp $(TEMPLATESROOT)/home.html .
+
+index.html: $(TEMPLATESROOT)/index.html
+ cp $(TEMPLATESROOT)/index.html .
+
+menu.html: $(TEMPLATESROOT)/menu.html
+ cp $(TEMPLATESROOT)/menu.html .
+
+consortium.html: $(XMLROOT)/consortium.xml \
+ $(XSLROOT)/consortium.xsl
+ xsltproc -o $@ $(XSLROOT)/consortium.xsl $(XMLROOT)/consortium.xml
+
+project.html: $(XMLROOT)/project.xml \
+ $(XSLROOT)/project.xsl
+ xsltproc -o $@ $(XSLROOT)/project.xsl $(XMLROOT)/project.xml
+
+sites/%.html: $(XMLROOT)/$(@:%.html=%.xml) \
+ $(XSLROOT)/site.xsl
+ xsltproc -o $@ $(XSLROOT)/site.xsl $(XMLROOT)/$(@:%.html=%.xml)
+
+people/%.html: $(XMLROOT)/$(@:%.html=%.xml) \
+ $(XSLROOT)/person.xsl
+ xsltproc -o $@ $(XSLROOT)/person.xsl $(XMLROOT)/$(@:%.html=%.xml)
+
+publications/%.html: $(XMLROOT)/$(@:%.html=%.xml) \
+ $(XSLROOT)/publication.xsl
+ xsltproc -o $@ $(XSLROOT)/publication.xsl $(XMLROOT)/$(@:%.html=%.xml)
+
+work-packages/%.html: $(XMLROOT)/$(@:%.html=%.xml) \
+ $(XSLROOT)/work-package.xsl
+ xsltproc -o $@ $(XSLROOT)/work-package.xsl $(XMLROOT)/$(@:%.html=%.xml)
+
+clean:
+ rm -f $(DOCUMENTS)
+.PHONY: clean
<head>
<title>MoWGLI Home Page</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
- <link rel="stylesheet" href="mowgli.css" type="text/css"/>
+ <link rel="stylesheet" href="../style/mowgli.css" type="text/css"/>
</head>
<body class="content">
<div class="center">
<br />
- <img src="mowgli_combo.gif"/>
+ <img src="../images/mowgli_combo.gif"/>
</div>
<blockquote>
<head>
<title>MoWGLI Menu</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
- <link rel="stylesheet" href="mowgli.css" type="text/css"/>
+ <link rel="stylesheet" href="../style/mowgli.css" type="text/css"/>
</head>
<body>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE consortium [
+ <!ELEMENT consortium (site+,description)>
+ <!ELEMENT site EMPTY>
+ <!ATTLIST site
+ file CDATA #REQUIRED>
+ <!ELEMENT description (p|dl|ul)+>
+
+ <!-- A subset of XHTML -->
+ <!ELEMENT p (#PCDATA|I|a)*>
+ <!ELEMENT I (#PCDATA)>
+ <!ELEMENT a (#PCDATA)>
+ <!ATTLIST a
+ href CDATA #REQUIRED>
+ <!ELEMENT dl (dt|dd)+>
+ <!ELEMENT dt (#PCDATA)>
+ <!ELEMENT dd (#PCDATA)>
+ <!ELEMENT ul (li)+>
+ <!ELEMENT li (#PCDATA)>
+]>
+
+<consortium>
+ <site file="bologna"/>
+ <site file="inria"/>
+ <site file="dfki"/>
+ <site file="nijmegen"/>
+ <site file="aei"/>
+ <site file="trusted-logic"/>
+ <description>
+ <p>The Consortium has been built with the aim to join some essential
+ knowhow in different areas of I.T. related to the creation and
+ maintenance of a digital library of structured mathematical knowledge.</p>
+
+ <p>MOWGLI is meant to develop the technological infrastructure required to
+ integrate existing Markup languages and standards such as
+ <a href="http://www.w3.org/Math/">MathML</a>,
+ <a href="http://www.openmath.org">OpenMath</a> or
+ <a href="http://www.mathweb.org/omdoc/">OMDoc</a>,
+ covering different aspects of mathematical
+ intelligence, into a single application.
+ Expertise on these languages and the related technologies is
+ respectively provided by the following partners:</p>
+ <dl>
+ <dt>MathML</dt>
+ <dd>Department of Computer Science, University of Bologna,
+ member of the World Wide Web Consortium and of the W3C Working Group
+ on MathML; Lemme-Project at INRIA Sophia-Antipolis.</dd>
+
+ <dt>OpenMath</dt>
+ <dd>University of Eindhoven (sub-site of Nijmegen):
+ Professor Arjeh Cohen is one of the leaders of the
+ OpenMath initiative, and MOWGLI is expected to take the maximum profit
+ from the successful OpenMath Esprit project, no.24969.</dd>
+
+ <dt>OMDoc</dt>
+ <dd>DFKI. Dr.Michael Kohlhase is the main
+ auhtor of OMDoc; DFKI has a long research tradition in the management of
+ mathematical knowledge bases, metadata, searching and retrieval
+ issues.</dd>
+ </dl>
+
+ <p>More generally, the Department of Computer Science in Bologna has a
+ long experience in XML-related technology, and in particular in their
+ application to the particular domain of mathematical developments,
+ as testified by the
+ <a href="http://www.cs.unibo.it/helm">``Hypertextual Electronic Library
+ of Mathematics'' (HELM) Project</a>. A main
+ component of HELM is the
+ <a href="http://www.cs.unibo.it/helm/mml-widget/index.html">GtkMathView
+ widget</a>, a C++ rendering engine for MathML that will be distributed as
+ an official package of the next Debian release of Linux.</p>
+
+ <p>Similarly, the Lemme Project in Sophia-Antipolis has a large experience of
+ edition of mathematical objects. It develops the graphical environment
+ Pcoq, dedicated to the development of mathematical proofs, using the
+ Coq proof assistant. Among many features, Pcoq has a sophisticated two
+ dimensional formula and natural language proof edition component,
+ allowing intuitive and powerful interactions. Built on the Figue
+ environment, Pcoq can be made compatible with MathML. The Pcoq interface
+ is intensively used by teams whose research activity concerns
+ the certification of mathematical algorithms.</p>
+
+ <p>DFKI will contribute requirements and metadata from the
+ viewpoint of educational applications including search
+ functionalities. It will actively work on presentational transformations,
+ the generation of proofs in natural language as well as on knowledge bases
+ for mathematical knowledge DFKI intends to exploit the results of the
+ MOWGLI project in pilot applications in current and planned research and
+ in projects for the prototypical implementation of intelligent
+ environments for learning of mathematics. In particular, the knowledge
+ representation for mathematics on the Web is important for such Web-based
+ systems. Knowledge bases that provide a common repository and ontology for
+ mathematical knowledge are indispensible in systems that integrate various
+ systems working on mathematical knowledge. DFKI also has a fierce interest
+ in pushing and leveraging the quality of standardisation efforts within
+ the worldwide initiative of the Semantic Web education systems and
+ electronic publishing.</p>
+
+ <p>In order to immediately dispose of a large repository of structured
+ mathematical information, the consortium comprises the developers of
+ one of the most successful proof assistant tools currently
+ available: the <a href="http://pauillac.inria.fr/coq/">Coq</a> proof
+ engine of INRIA-Rocquencourt.
+ The Coq standard library includes more than thousand lemmas and theorems
+ and the whole number of statements proved by users is evaluated to
+ hundred thousands, covering arithmetics, algebra, analysis and
+ computer science. We expect to integrate the current different ways of
+ browsing, searching and rendering Coq mathematical developments into a
+ coherent and Web-oriented architecture open to the Coq user community
+ and beyond.</p>
+
+ <p>An alternative route for the creation of content-based mathematical
+ information from standard digital repositories by means of a suitable
+ LaTeX-based authoring system will be explored by the Albert
+ Einstein Institute (AEI) in Golm (Germany). AEI publishes a solely
+ electronic review journal, <I>Living Reviews in Relativity</I> on
+ the Web, which provides refereed, regularly updated review
+ articles on all areas of gravitational physics. Since its
+ release in January 1998 the journal has become a primary
+ entry point for students, lecturers and researchers alike
+ for up-to-date information on the current status of research
+ in gravitational physics. Moving this unique repository and
+ communication forum of current physical and mathematical
+ knowledge in relativity to content mark-up, making it
+ available for semantic search, and for re-use and evaluation
+ e.g. in math algebra systems motivates the involvement
+ in the MOWGLI project. The journal will develop a
+ LaTeX based authoring tool interfacing with MOWGLI, and
+ serve as a showcase to demonstrate how content-mark-up in
+ mathematics improves the usability and information depth
+ of electronic science journals.</p>
+
+ <p>The AEI will be supported by the newly founded Center for Information
+ Management (CIM) of the Max Planck Society. The CIM has been set up
+ by the Society to support researchers and research processes in the area
+ of information management. The objectives of the project include
+ coordination of existing activities within the Society and
+ implementation of a strategy to develop electronic research archives.
+ The current Managing Editor of the AEI's electronic journal Living
+ Reviews in Relativity has been appointed executive director of the CIM
+ (starting from 1 Sep 2001) and will be in charge of the project management
+ for Tasks 4.4 and 6.3 of the proposal. The CIM will be in an
+ excellent position to promote dissemination and use of the project results
+ within the Max Planck Society. It will further give technical support to
+ the Dissemination Manager in providing the MOWGLI website.</p>
+
+ <p>Professor Wegner, Scientific Coordinator of EMIS (European
+ Mathematical Information Service), will also provide a main liaison with
+ previous and successful European Projects on digital libraries and
+ metadata, such as <a href="http://www.emis.de/projects/EULER">EULER</a>
+ and the TRIAL Solution project (\verb+http://www.trial-solution.de+).
+ In particular, all the achievements of these Projects
+ will be integrated inside MOWGLI, as far as the respective teams
+ will agree to this.
+ Moreover, in his quality of Scientific Coordinator of EMIS, member
+ of the advisory board for MATHDI, and Chairman of the Electronic
+ Publishing Committee of European
+ Mathematical Society, Professor Wegner is an excellent candidate
+ to organise the information
+ dissemination and exploitation activities for the project.</p>
+
+ <p>In particular, the Department of Computer Science of the University of
+ Nijmegen will apply MOWGLI's technologies to the development of
+ an ``electronic book'', covering a typical undergraduate course
+ in Algebra or Analysis. The Department of Computer Science in Nijmegen
+ has a lot of experience in formal mathematics and theorem proving.
+ Notably, the group has done large theory developments in the theorem
+ prover Coq. (The <a href="http://www.cs.kun.nl/gi/projects/fta/">FTA
+ project</a>: Eindhoven University of Technology, a sub-site of Nijmegen,
+ has expertise in OpenMath and in using WWW technology for educational
+ purposes. This has resulted -- among other things -- in
+ <a href="http://www.win.tue.nl/~ida/">IDA</a>, the
+ interactive course notes in algebra where a combination of HTML
+ and applets is used to present the mathematics. Jointly, Nijmegen and
+ Eindhoven have experience in combining theorem provers and computer
+ algebra packages, notably Coq and GAP.</p>
+
+ <p>Trusted Logic (France), which is specialized in secure and
+ validated solutions for open systems, aims to present the
+ formalization and the demonstration of some security
+ properties related to the code embedded into a smart card. The presentation
+ must be in a format understandable by the company in charge of the
+ evaluation of the code and in accordance with the Common Criteria
+ standard.</p>
+ <p>A third pilot application is the semantic markup of the Journal
+ <I>Living Reviews in Relativity</I> published by AEI-Golm,
+ already mentioned above.</p>
+ </description>
+</consortium>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Ian</name>
+ <surname>Kelley</surname>
+ <position>Programmer</position>
+ <e-mail>???</e-mail>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Bernard F.</name>
+ <surname>Schutz</surname>
+ <qualification>Prof.</qualification>
+ <position>Institute Director</position>
+ <position>Editor-in-Chief</position>
+ <e-mail>schutz@aei-potsdam.mpg.de</e-mail>
+ <url>http://www.aei-potsdam.mpg.de/cgi-bin/interface/people.cgi?key=schutz</url>
+ <curriculum>
+ <p>Prof. Bernard Schutz (born in 1946 in the USA) is director of the Max
+ Planck Institute for Gravitational Physics (Albert Einstein Institute),
+ heading the Astrophysical Relativity Division of the Institute, and
+ Professor at Cardiff University. In acknowledgement of pioneering
+ scientific work in gravitational physics he has been elected Fellow of
+ the American Physical Society. He invented the ``Living Reviews'' concept
+ in 1996 and acts as the journal's Editor-in-chief. Bernard Schutz has
+ served on the Editorial Board of Classical and Quantum Gravity between
+ 1988 and 1990, and since 1998 is member of the Editorial Board of the
+ monograph series Studies In High Energy Physics, Cosmology and Gravitation
+ (Institute of Physics Publishing, Bristol, UK).</p>
+ </curriculum>
+ <selected-publication file="others/cup_s"/>
+ <selected-publication file="others/cup_s2"/>
+ <selected-publication file="others/jep_ws"/>
+ <selected-publication file="others/jep_wwsw"/>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Theresa</name>
+ <surname>Velden</surname>
+ <position>Executive Director, CIM</position>
+ <e-mail>velden@aei-potsdam.mpg.de</e-mail>
+ <url>http://www.aei-potsdam.mpg.de/office/velden.html</url>
+ <curriculum>
+ <p>Theresa Velden (born in 1970 in Germany) graduated in Physics
+ from Bielefeld University in 1997 after having completed a diploma
+ thesis on Mathematical Relativity at the Max Planck Institute
+ for Gravitational Physics. Since 1998 she has been leading the
+ editorial team of <I>Living Reviews in Relativity</I> as Managing
+ Editor, organizing the editorial process and supervising the
+ development of software for electronic publishing and journal
+ management.</p>
+ </curriculum>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Bernd</name>
+ <surname>Wegner</surname>
+ <qualification>Prof.</qualification>
+ <position>Full Professor of Mathematics</position>
+ <position>Editor-in-chief of Zentralblatt MATH, the most comprehensive
+ literature information service in mathematics, with Web access under
+ EMIS</position>
+ <position>Member of the advisory board for MATHDI, an information data base on
+ education in mathematics</position>
+ <position>Scientific Coordinator of EMIS, the European Mathematical
+ Information Service, providing a mathematics portal with an electronic
+ library as the main conten</position>
+ <position>Leader of the TU-group for the EULER-project, which has developed a
+ prototype for an integrated access to Web-based mathematical documents,
+ funded by Telematics for Libraries, and supported by a small TAKEUP-project
+ for the transition to a regular Web service</position>
+ <position>Scientific Director of the LIMES-project (Large Infrastructures in
+ Mathematics - Enhanced Services) which is designed to transform Zentralblatt
+ MATH into European cooperation with Web-based input structures, funded by the
+ Fifth Framework Programme</position>
+ <position>Director of the ERAM-project (Electronic Research Archive in
+ Mathematics),funded by Deutsche Forschungsgemeinschaft and designed to build
+ up a digital archive of classical mathematics, capturing the Jahrbuch ueber
+ die Fortschritte in database as a pre-Zentalblatt access facility to the
+ archive</position>
+ <position>Chairman of the Electronic Publishing Committee of EMS (European
+ Mathematical Society)</position>
+ <position>member of the Database Committee of the EMS</position>
+ <position>associated with project Euclid (Cornell University, Ithaka, U.S.A.),
+ establishing a non-profit (electronic) publication facility for
+ mathematics</position>
+ <position>member of the board of IWI (Institute for Scientific Information in
+ Osnabrueck)</position>
+ <e-mail>???</e-mail>
+ <url>???</url>
+ <curriculum>
+ <p>He has participated with one or more talks at about 20 events on electronic
+ information and communication in 2000, including continental congresses in
+ Lisbon, Barcelona, Rio de Janeiro, Havanna, Moscow, and Manila. He has been
+ elected as member of the scientific committee for several conferences on
+ the subject in 2001: (Crimea, Athens, Coimbra, Linz, Guatemala City) and
+ received invitations for plenary lectures at additional conferences.</p>
+ <p>These activities give an excellent background to organise the information
+ dissemination and exploitation activities for the project.</p>
+ </curriculum>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Andrea</name>
+ <surname>Asperti</surname>
+ <qualification>Prof.</qualification>
+ <position>Full Professor of Formal Languages and Compilers</position>
+ <position>Member of the Advisory Committee of the World Wide Web</position>
+ <position>Former Director of the Undergraduate Program in Computer Science
+ of the University of Bologna</position>
+ <position>Responsible of the Bologna site for the European TMR Project
+ LINEAR</position>
+ <position>Former Responsible of the Bologna site for the WG-21836
+ CONFER-II</position>
+ <position>Main Responsible for the Nation Research Project Linear Logic and
+ beyond</position>
+ <e-mail>asperti@cs.unibo.it</e-mail>
+ <url>http://www.cs.unibo.it/~asperti</url>
+ <address>Dipartimento di Scienze dell'Informazione, Via di Mura Anteo Zamboni 7, Bologna, Italy</address>
+ <telephone>+39 51 35 45 05</telephone>
+ <curriculum>
+ <p>Andrea Asperti was born in Italy, in 1961. He was awarded a Ph.D in
+ Computer Science by the University of Pisa in 1989. In the same year
+ he obtained a post-doc position at INRIA-Rocquencourt, where he was
+ employed as a researcher in 1991. In 1992 he obtained the chair
+ of Formal Languages and Compilers at the Department of
+ Computer Science of the University of Bologna, becoming
+ Full Professor in year 2000.
+ He is currently teaching courses on Programming Languages,
+ Theoretical Computer Science and Human-Computer Interaction.</p>
+ </curriculum>
+ <research-interests>
+ <p>The research interests of Andrea Asperti are focused on forms,
+ formats and methods of knowledge representation and elaboration.
+ This covers Markup Languages, Information Processing,
+ Programming Languages, Interpreters and
+ Compilers, Type Systems, Higher-order Logics, Linear Logic, Category
+ Theory. He is author of over 40 international publications on formal
+ aspects of the theory of Computing, and several books.</p>
+ <p>He has been member of the Programme Committees of several
+ International Conferences, comprising CONCUR'98, RTA'99,
+ LICS'99, PPDP'00, CSL'01, MKM'01 (First International Workshop
+ on Mathematical Knowledge Management).</p>
+ <p>His recent scientific activity has been mostly focused on the
+ HELM Project, aimed to build the technological infrastructure
+ for an Hypertextual Electronic Library of Mathematics.</p>
+ </research-interests>
+ <selected-publication file="others/extreme2001_apss"/>
+ <selected-publication file="others/tphols2001_apss"/>
+ <selected-publication file="others/crimea2001_apss"/>
+ <selected-publication file="others/mathml2000_apss"/>
+ <selected-publication file="others/category_al"/>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Ferruccio</name>
+ <surname>Guidi</surname>
+ <position>Ph.D. Student</position>
+ <e-mail>fguidi@cs.unibo.it</e-mail>
+ <url>http://www.cs.unibo.it/~fguidi</url>
+ <address>Dipartimento di Scienze dell'Informazione, Via di Mura Anteo Zamboni 7, Bologna, Italy</address>
+ <telephone>+39 51 20 94 871</telephone>
+ <selected-publication file="others/extreme2001_apss"/>
+ <selected-publication file="others/tphols2001_apss"/>
+ <selected-publication file="others/crimea2001_apss"/>
+ <selected-publication file="others/mathml2000_apss"/>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Luca</name>
+ <surname>Padovani</surname>
+ <position>Ph.D. Student</position>
+ <position>Member of MathML-WG</position>
+ <e-mail>lpadovan@cs.unibo.it</e-mail>
+ <url>http://www.cs.unibo.it/~lpadovan</url>
+ <address>Dipartimento di Scienze dell'Informazione, Via di Mura Anteo Zamboni 7, Bologna, Italy</address>
+ <telephone>+39 51 20 94 871</telephone>
+ <selected-publication file="others/extreme2001_apss"/>
+ <selected-publication file="others/tphols2001_apss"/>
+ <selected-publication file="others/crimea2001_apss"/>
+ <selected-publication file="others/mathml2000_apss"/>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Claudio</name>
+ <surname>Sacerdoti Coen</surname>
+ <position>Ph.D. Student</position>
+ <e-mail>sacerdot@cs.unibo.it</e-mail>
+ <url>http://www.cs.unibo.it/~sacerdot</url>
+ <address>Dipartimento di Scienze dell'Informazione, Via di Mura Anteo Zamboni 7, Bologna, Italy</address>
+ <telephone>+39 51 20 94 871</telephone>
+ <selected-publication file="others/extreme2001_apss"/>
+ <selected-publication file="others/tphols2001_apss"/>
+ <selected-publication file="others/crimea2001_apss"/>
+ <selected-publication file="others/mathml2000_apss"/>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Irene</name>
+ <surname>Schena</surname>
+ <position>Ph.D. Student</position>
+ <position>Member of MathML-WG</position>
+ <e-mail>schena@cs.unibo.it</e-mail>
+ <url>http://www.cs.unibo.it/~schena</url>
+ <address>Dipartimento di Scienze dell'Informazione, Via di Mura Anteo Zamboni 7, Bologna, Italy</address>
+ <telephone>+39 51 20 94 871</telephone>
+ <selected-publication file="others/extreme2001_apss"/>
+ <selected-publication file="others/tphols2001_apss"/>
+ <selected-publication file="others/crimea2001_apss"/>
+ <selected-publication file="others/mathml2000_apss"/>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Michael</name>
+ <surname>Kohlhase</surname>
+ <qualification>Dr.</qualification>
+ <e-mail>kohlhase@cs.cmu.edu</e-mail>
+ <url>http://www.ags.uni-sb.de/~kohlhase/</url>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Erica</name>
+ <surname>Melis</surname>
+ <qualification>PD. Dr.</qualification>
+ <position>Senior Researcher at the German Research Center for Artificial
+ Intelligence (DFKI GmbH)</position>
+ <e-mail>melis@dfki.de</e-mail>
+ <url>http://www.ags.uni-sb.de/~melis</url>
+ <curriculum>
+ <p>Erica Melis is a Senior Researcher at the German
+ Research Center for Artificial Intelligence (DFKI GmbH). She was a
+ research scientist at the School of Computer Science of Carnegie Mellon
+ University and at the Department of AI at the University of Edinburgh.
+ Later she has been an Assistant Professor at the University of Saarland
+ and is member of a Sonderforschungsbereich in Saarbruecken. She served on
+ numerous programme committees. Erica Melis is the editor of proceedings
+ and the co/author of numerous scientific papers in journals, conferences,
+ and collections in areas such as deduction, planning, case-based
+ reasoning, intelligent tutor systems.</p>
+ <p>Currently, her research interests focus proof planning and on the
+ application of Artificial Intelligence technology in intelligent learning
+ environments.</p>
+ <p>She is a member of AAAI and GI.</p>
+ </curriculum>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Joerg</name>
+ <surname>Siekmann</surname>
+ <qualification>Prof.</qualification>
+ <position>Professor of Computer Science</position>
+ <position>Director of the Deduction and Multiagent Systems research
+ department at the DFKI</position>
+ <e-mail>Joerg.Siekmann@dfki.de</e-mail>
+ <url>http://www.dfki.de/~siekmann</url>
+ <curriculum>
+ <p>Prof. Dr. Joerg Siekmann is Professor of Computer
+ Science and Director of the Deduction and Multiagent Systems research
+ department at the DFKI. He studied at the University of Goettingen
+ (Mathematics and Physics, 1972) and the University of Essex (M.Sc. in
+ Computer Science, 1973, and Ph.D. in Computer Science, 1976). From 1976
+ to 1983 he was a research assistant at the University of Karlsruhe.
+ From 1983 to 1991 he was Professor of Computer Science at the University
+ of Kaiserslautern and since 1991 he has a joint position as professor for
+ Computer Science at the Universitaet des Saarlandes and as one of the
+ directors at the DFKI. He has published widely in AI, Automated Reasoning
+ and Unification Theory and served on many programme committees and was
+ programme chairman of various conferences (such as CADE, KI etc.). He is
+ editor of several logic and AI oriented scientific journals (such
+ as Journal of Automated Reasoning, Journal of Artificial Intelligence,
+ Journal of Logic and Computation etc). His biography is included
+ in most international Whos Who, as one of the founders of AI in
+ Germany.</p>
+ </curriculum>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Hugo</name>
+ <surname>Herbelin</surname>
+ <qualification>Prof.</qualification>
+ <e-mail>Hugo.Herbelin@inria.fr</e-mail>
+ <url>http://pauillac.inria.fr/~herbelin</url>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Yves</name>
+ <surname>Bertot</surname>
+ <position>Researcher</position>
+ <e-mail>Yves.Bertot@sophia.inria.fr</e-mail>
+ <url>http://www-sop.inria.fr/lemme/Yves.Bertot</url>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Laurent</name>
+ <surname>Chicli</surname>
+ <position>Ph.D. Student</position>
+ <e-mail>Laurent.Chicli@sophia.inria.fr</e-mail>
+ <url>http://www-sop.inria.fr/lemme/Laurent.Chicli</url>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>David</name>
+ <surname>Delahaye</surname>
+ <position>Ph.D. Student</position>
+ <e-mail>David.Delahaye@inria.fr</e-mail>
+ <url>http://pauillac.inria.fr/~delahaye</url>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Hugo</name>
+ <surname>Herbelin</surname>
+ <qualification>Prof.</qualification>
+ <position>Associate Professor at University Paris 10</position>
+ <position>Seconded at INRIA</position>
+ <e-mail>Hugo.Herbelin@inria.fr</e-mail>
+ <url>http://pauillac.inria.fr/~herbelin</url>
+ <address>Domaine de Voluceau, 78153 Rocquencourt Cedex, France</address>
+ <telephone>+33 (0) 1 39 63 53 77</telephone>
+ <curriculum>
+ <p>Born June 9, 1967.</p>
+ </curriculum>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Hanane</name>
+ <surname>Naciri</surname>
+ <position>Ph.D. Student</position>
+ <e-mail>Hanane.Naciri@sophia.inria.fr</e-mail>
+ <url>http://www-sop.inria.fr/lemme/Hanane.Naciri</url>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Loic</name>
+ <surname>Pottier</surname>
+ <position>Researcher</position>
+ <e-mail>Loic.Pottier@sophia.inria.fr</e-mail>
+ <url>http://www-sop.inria.fr/lemme/Loic.Pottier</url>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Laurence</name>
+ <surname>Rideau</surname>
+ <position>Researcher</position>
+ <e-mail>Laurece.Rideau@sophia.inria.fr</e-mail>
+ <url>http://www-sop.inria.fr/lemme/Laurece.Rideau</url>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Laurent</name>
+ <surname>Thery</surname>
+ <position>Researcher</position>
+ <e-mail>Laurent.Thery@sophia.inria.fr</e-mail>
+ <url>http://www-sop.inria.fr/lemme/Laurente.Thery</url>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Henk</name>
+ <surname>Barendregt</surname>
+ <qualification>Prof.</qualification>
+ <position>Full Professor, Nijmegen</position>
+ <e-mail>???</e-mail>
+ <url>???</url>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Ernesto Reinaldo</name>
+ <surname>Barreiro</surname>
+ <position>Ph.D. Student, Eindhoven</position>
+ <e-mail>???</e-mail>
+ <url>???</url>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Arjeh</name>
+ <surname>Cohen</surname>
+ <qualification>Prof.</qualification>
+ <position>Full Professor, Eindhoven</position>
+ <e-mail>???</e-mail>
+ <url>???</url>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Luiz</name>
+ <surname>Crus-Filipe</surname>
+ <position>Ph.D. Student, Nijmegen</position>
+ <e-mail>???</e-mail>
+ <url>???</url>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Herman</name>
+ <surname>Geuvers</surname>
+ <qualification>Prof.</qualification>
+ <position>Associate Professor in Foundations of Mathematics and Computer
+ Science</position>
+ <position>Responsible for the Nijmegen-Utrecht site of the EC Thematic
+ Network ``TYPES'' (Computer Assisted Reasoning Based on Type Theory),
+ IST-1999-29001</position>
+ <position>President of the education committee of the Sub-faculty of
+ Computer Science at the University of Nijmegen</position>
+ <position>Former member of the Management Board of the Dutch
+ research school IPA (Institute for Programming Research and
+ Algorithmics)</position>
+ <e-mail>herman@cs.kun.nl</e-mail>
+ <url>http://www.cs.kun.nl/~herman</url>
+ <address>Faculteit NWI, KUN, Toernooiveld 1, 6525 ED Nijmegen, NL</address>
+ <telephone>+31 243 652603</telephone>
+ <curriculum>
+ <p>Herman Geuvers studied Mathematics at the University of Nijmegen and
+ got his Ph.D. in Mathematics and Computer Science in 1993 at the same
+ University. In the same year he became assistant professor in computer
+ science at the Eindhoven University of Technology in the Formal
+ Methods group. From January 1st 2000, he is associate professor at the
+ Department of Computer Science of the University of Nijmegen in the
+ Foundations group. He is currently teaching in Formal Languages and
+ Computability and Type Theory.</p>
+ </curriculum>
+ <research-interests>
+ <p>The research interests of Herman
+ Geuvers are: Formalization of Mathematics, Interactive Theorem
+ Proving, Higher-order Logics, Communicating Formal Mathematics, Type
+ Theory and lambda-calculus. His recent scientific activities range from
+ the study of formal theories (especially typed lambda-calculi) to
+ doing large theory developments in theorem provers, notably the
+ formalization of the fundamental theorem of algebra in Coq.</p>
+ </research-interests>
+ <selected-publication file="others/mscs_gb"/>
+ <selected-publication file="others/tphols2000_gwz"/>
+ <selected-publication file="others/tcs2001_og"/>
+ <selected-publication file="others/har_bg"/>
+ <selected-publication file="others/jlp2001_scg"/>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Milan</name>
+ <surname>Niqui</surname>
+ <position>Ph.D. student, Nijmegen</position>
+ <e-mail>???</e-mail>
+ <url>???</url>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Jasper</name>
+ <surname>Stein</surname>
+ <position>Ph.D. Student, Nijmegen</position>
+ <e-mail>???</e-mail>
+ <url>???</url>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Dan</name>
+ <surname>Synek</surname>
+ <position>Programmer, Nijmegen</position>
+ <e-mail>???</e-mail>
+ <url>???</url>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Freek</name>
+ <surname>Widijk</surname>
+ <qualification>Dr.</qualification>
+ <position>Post Doc Researcher, Nijmegen</position>
+ <e-mail>???</e-mail>
+ <url>???</url>
+</person>
--- /dev/null
+<?xml version="1.0" encoding="iso-8859-1"?>
+
+<!ELEMENT person (name,surname,qualification?,position*,e-mail,url?,address?,telephone?,curriculum?,research-interests?,selected-publication*)>
+<!ELEMENT name (#PCDATA)>
+<!ELEMENT surname (#PCDATA)>
+<!ELEMENT qualification (#PCDATA)>
+<!ELEMENT position (#PCDATA)>
+<!ELEMENT e-mail (#PCDATA)>
+<!ELEMENT url (#PCDATA)>
+<!ELEMENT address (#PCDATA)>
+<!ELEMENT telephone (#PCDATA)>
+<!ELEMENT curriculum (p|dl|ul)+>
+<!ELEMENT research-interests (p|dl|ul)+>
+<!ELEMENT selected-publication EMPTY>
+<!ATTLIST selected-publication
+ file CDATA #REQUIRED>
+
+<!-- A subset of XHTML -->
+<!ELEMENT p (#PCDATA|I|a)*>
+<!ELEMENT I (#PCDATA)>
+<!ELEMENT a (#PCDATA)>
+<!ATTLIST a
+ href CDATA #REQUIRED>
+<!ELEMENT dl (dt|dd)+>
+<!ELEMENT dt (#PCDATA)>
+<!ELEMENT dd (#PCDATA)>
+<!ELEMENT ul (li)+>
+<!ELEMENT li (#PCDATA)>
--- /dev/null
+<?xml version="1.0" encoding="iso-8859-1"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Dominique</name>
+ <surname>Bolignano</surname>
+ <position>Chairman and Chief Executive Officer of Trusted Logic</position>
+ <position>Part-time Full Professor at the Université Paris-Dauphine</position>
+ <e-mail>Dominique.Bolignano@trusted-logic.fr</e-mail>
+ <curriculum>
+ <p>Dominique Bolignano is Chairman and Chief Executive Officer of
+ Trusted Logic. He also teaches security and languages as a part-time
+ full professor (Professeur Associé) at the Université Paris-Dauphine.
+ From 1996 to 1999, Dominique Bolignano worked with Dyade, a joint
+ venture between Bull and INRIA (French National Research Institute
+ in Computer Science and Control), as Director, Responsible for
+ technology transfer in security, electronic commerce, and smart cards,
+ and Project Director in the following areas : formal verification of
+ electronic commerce protocols (and more generally cryptographic protocols),
+ evaluation or design of security architectures (mainly for secure
+ embedded systems, such as smart cards, payment terminals, GSM phones,
+ etc.), development of highly secure Java Virtual Machines (Bull Odyssey
+ JavaCard, payment terminals), formal methods for ITSEC and Common
+ Criteria security evaluations (participation to various security
+ evaluations including some on smart cards operating systems).
+ Before that, Dominique Bolignano was the head of a research group
+ in the Corporate Research Centre of Bull and he has acquired, from
+ 1982 to 1996, a deep experience in industry software development and
+ formal verification systems (distributed systems, security protocols).
+ Dominique Bolignano takes part in the Java Card Forum. He also is a
+ Member of the newly created IFIP Working group on Foundations of Security
+ Analysis and Design. He has been an invited speaker at MFPS'98, CAV'99,
+ CARI'98, CIRM'98, JFMM'98, RTCS'96, Cartier'96, FemSys'97, and to many
+ security or formal methods symposia and presented invited tutorials at
+ Forte'98, Cartier'96, Forte'93. Dominique Bolignano also acted as a PhD
+ advisor, as a reviewer and evaluator for European Community programs.
+ He is a reviewer in several journals (Journal of Theoretical
+ Computer Science (TCS), TSI, ...) and has been a reviewer and/or
+ a member of the Program Committee in international
+ conferences (SESS'93, FME'96,VDM 91 et FORTE 92, SaS'94, ...)</p>
+ </curriculum>
+</person>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE project [
+ <!ELEMENT project (full_title,acronym,type,type_acronym,proposal_contract_no,operative_commencement_of_contract)>
+ <!ELEMENT full_title (#PCDATA)>
+ <!ELEMENT acronym (#PCDATA)>
+ <!ELEMENT type (#PCDATA)>
+ <!ELEMENT type_acronym (#PCDATA)>
+ <!ELEMENT proposal_contract_no (#PCDATA)>
+ <!ELEMENT operative_commencement_of_contract (#PCDATA)>
+]>
+
+<project>
+ <full_title>Mathematics On the Web: Get it by Logic and Interfaces</full_title>
+ <acronym>MOWGLI</acronym>
+ <type>Information Society Technologies Programme</type>
+ <type_acronym>IST</type_acronym>
+ <proposal_contract_no>IST-2001-33562 MOWGLI</proposal_contract_no>
+ <operative_commencement_of_contract>???</operative_commencement_of_contract>
+</project>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Categories, Types and Structures. An introduction to Category
+ Theory for the Working Computer Scientist.</title>
+ <author file="bologna/asperti"/>
+ <author>
+ <name>Giuseppe</name>
+ <surname>Longo</surname>
+ </author>
+ <where>Foundation of Computing Series, Massachusetts Institute of Technology
+ Press, ISBN 0 262 01125-5, 1991</where>
+</publication>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Formal Mathematics on the Web</title>
+ <author file="bologna/asperti"/>
+ <author file="bologna/padovani"/>
+ <author file="bologna/sacerdoti"/>
+ <author file="bologna/schena"/>
+ <where>Proceedings of the Eighth International Conference on
+ "Libraries and Associations in the Transient World:
+ New Technologies and New Forms of Cooperation", June 9-17, 2001,
+ Sudak, Autonomous Republic of Crimea, Ukraine</where>
+</publication>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>A First Course in General Relativity</title>
+ <author file="aei/schutz"/>
+ <where>Cambridge University Press, Cambridge (1985)</where>
+</publication>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Geometrical methods of mathematical physics</title>
+ <author file="aei/schutz"/>
+ <where>Cambridge University Press, Cambridge, (1980)</where>
+</publication>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>XML, Stylesheets and the re-mathematization of Formal Content</title>
+ <author file="bologna/asperti"/>
+ <author file="bologna/padovani"/>
+ <author file="bologna/sacerdoti"/>
+ <author file="bologna/schena"/>
+ <where>Proceedings of ``Extreme Markup Languages 2001 Conference'',
+ August 12-17, 2001, Montr'eal, Canada.</where>
+</publication>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Proof Assistants using Dependent Type Systems</title>
+ <author file="nijmegen/barendregt"/>
+ <author file="nijmegen/geuvers"/>
+ <where>to appear as a chapter of the Handbook of Automated Reasoning, eds.
+ A. Robinson and A. Voronkov, Elsevier 2001</where>
+</publication>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Making an Electronic Journal Live</title>
+ <author>
+ <name>J.</name>
+ <surname>Wheary</surname>
+ </author>
+ <author file="aei/schutz"/>
+ <where>Journal of Electronic Publishing, vol.3, is. 1, September (1997). (http://www.press.umich.edu/jep/03-01/LR.html)</where>
+</publication>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Thinking and Developing Electronically</title>
+ <author>
+ <name>J.</name>
+ <surname>Wheary</surname>
+ </author>
+ <author>
+ <name>L.</name>
+ <surname>Wild</surname>
+ </author>
+ <author file="aei/schutz"/>
+ <author>
+ <name>C.</name>
+ <surname>Weyher</surname>
+ </author>
+ <where>Journal of Electronic Publishing, vol.4, is. 2, December (1998).
+ (http://www.press.umich.edu/jep/04-02/wheary2.html)</where>
+</publication>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>The logic and mathematics of occasion sentences</title>
+ <author>
+ <name>P.A.M.</name>
+ <surname>Seuren</surname>
+ </author>
+ <author>
+ <name>Venanzio</name>
+ <surname>Capretta</surname>
+ </author>
+ <author file="nijmegen/geuvers"/>
+ <where>The logic and mathematics of occasion sentences, to appear in the
+ Journal of Linguistics and Philosophy, 2001</where>
+</publication>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Formal Mathematics in MathML</title>
+ <author file="bologna/asperti"/>
+ <author file="bologna/padovani"/>
+ <author file="bologna/sacerdoti"/>
+ <author file="bologna/schena"/>
+ <where>First MathML International Conference, October 20-21, 2000,
+ Urbana-Champaign, IL, USA.</where>
+</publication>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Some logical and syntactical observations concerning the first
+ order dependent type system lambda P</title>
+ <author file="nijmegen/geuvers"/>
+ <author>
+ <name>E.</name>
+ <surname>Barendsen</surname>
+ </author>
+ <where>Mathematical Structures in Computer Science, vol. 9-4, 1999,
+ pp. 335 -- 360</where>
+</publication>
--- /dev/null
+<?xml version="1.0" encoding="iso-8859-1"?>
+
+<!ELEMENT publication (title,author+,where)>
+<!ELEMENT title (#PCDATA)>
+
+<!-- name,surname must be provided iff the "file" attribute is not provided -->
+<!ELEMENT author (name,surname)?>
+<!ATTLIST author
+ file CDATA #IMPLIED>
+
+<!ELEMENT where (#PCDATA)>
+<!ELEMENT name (#PCDATA)>
+<!ELEMENT surname (#PCDATA)>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Proof by Computation in the Coq system</title>
+ <author>
+ <name>M.</name>
+ <surname>Oostdijk</surname>
+ </author>
+ <author file="nijmegen/geuvers"/>
+ <where>To appear in Theoretical Computer Science, 2001</where>
+</publication>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Equational Reasoning via Partial Reflection</title>
+ <author file="nijmegen/geuvers"/>
+ <author file="nijmegen/wiedijk"/>
+ <author>
+ <name>J.</name>
+ <surname>Zwanenburg</surname>
+ </author>
+ <where>Theorem Proving for Higher Order Logics, TPHOL 2000, Portland OR, USA,
+ eds. M. Aagaard and J. Harrison, LNCS 1869, pp. 162 -- 178</where>
+</publication>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>HELM and the semantic Math-Web</title>
+ <author file="bologna/asperti"/>
+ <author file="bologna/padovani"/>
+ <author file="bologna/sacerdoti"/>
+ <author file="bologna/schena"/>
+ <where>Proceedings of the 14th International Conference on Theorem
+ Proving in Higher Order Logics (TPHOLS 2001), 3-6 September 2001,
+ Edinburgh, Scotland</where>
+</publication>
--- /dev/null
+<?xml version="1.0" encoding="iso-8859-1"?>
+
+<!DOCTYPE site SYSTEM "site.dtd">
+
+<site>
+ <subsite>
+ <name>Max Planck Institute for Gravitational Physics (Albert Einstein
+ Institute)</name>
+ <country>Germany</country>
+ <url>http://www.aei.mpg.de</url>
+ <address>Am Muhlenberg 1, 14476 Golm, Germany</address>
+ <responsible file="aei/schutz"/>
+ <description>
+ <p>Since 1998 the Max Planck Institute for Gravitational Physics, which is
+ devoted to basic research in relativity, publishes one of the most
+ innovative electronic science journals, {\em Living Reviews in
+ Relativity} (http://www.livingreviews.org). Its mission is to build the
+ journal into a primary reference point in the field, exploiting new and
+ cutting edge Web technologies to maximise use, transparency, and depth
+ of the information provided. The Institute has a number of staff who
+ are exceptionally skilled in computing, and many of them contributed to
+ the development of software that has made the journal's Web site one of
+ the most advanced in the world of electronic publishing. Further
+ background information on the journal can be found at
+ http://www.livingreviews.org/Project/index.html. Fast and effective
+ international dissemination of the Web journal is provided by the
+ European Mathematical Society's Information Service, which maintains a
+ network of more than 30 mirror servers worldwide</p>
+ <p>The Institute has close connections to the newly founded Center for
+ Information Management of the Max Planck Society that will act as a
+ central service to the more than 80 Max Planck Institutes, to improve
+ their ability to access and to publish information on the Internet. It
+ is further cooperating with the leading European publisher of original
+ research in gravitational physics, the Institute of Physics Publishing
+ (Bristol, UK) with its journal {\em Classical and Quantum Relativity}.</p>
+ <p>The Max Planck Institute for Gravitational Physics will join forces
+ with Professor Bernd Wegner at the Technical University in Berlin.
+ Both parties are currently cooperating in the dissemination and
+ mirroring of electronic journals like
+ {\em Living Reviews in Relativity}.</p>
+ </description>
+ <member file="aei/schutz"/>
+ <member file="aei/kelley"/>
+ </subsite>
+ <subsite>
+ <name>Center for Information Management in the Max Planck Society</name>
+ <country>Germany</country>
+ <url>http://www.zim.mpg.de</url>
+ <address>c/o Max Planck Society, Hofgartenstrasse 8, PF 10 10 62,
+ D-80084 Munich, Germany</address>
+ <responsible file="aei/velden"/>
+ <description>
+ <p>The mission of the new Center for Information Management of the Max
+ Planck Society is to allow the Society with its more than 80
+ specialized research Institutes to keep pace with and eventually play
+ a leadership role in Europe in the management of scientific information.
+ It will be staffed with 6 employees and start operating in September
+ 2001. The project will be advised by a commission of MPG Institute
+ directors and Rick Luce, the Director of the Los Alamos National
+ Laboratory's "Library Without Walls".</p>
+ </description>
+ </subsite>
+ <subsite>
+ <name>TU Berlin</name>
+ <country>Germany</country>
+ <url>http://www.emis.de</url>
+ <address>Fachbereich Mathematik, Technische Universität Berlin,
+ Straße des 17. Juni 135, D - 10623 Berlin</address>
+ <responsible file="aei/wegner"/>
+ <description>
+ <p>???</p>
+ </description>
+ </subsite>
+</site>
--- /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 <I>Hypertextual Electronic Library of Mathematics</I> 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>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE site SYSTEM "site.dtd">
+
+<site>
+ <name>German Research Center for Artificial Intelligence, GmbH, DFKI</name>
+ <country>Germany</country>
+ <url>http://www.dfki.uni-sb.de</url>
+ <address>???</address>
+ <responsible file="dfki/kohlhase"/>
+ <description>
+ <p>The German Research Center for Artificial Intelligence
+ GmbH, DFKI was founded in 1988. Today, DFKI is one of the largest
+ non-profit contract research institutes in the field of innovative
+ software technology based on Artificial Intelligence (AI) methods. DFKI
+ is focusing on the complete cycle of innovation - from world-class basic
+ research and technology development through leading-edge demonstrators
+ and prototypes to product functions and commercialization. Based in
+ Kaiserslautern and Saarbr{\"u}cken, the German Research Center for
+ Artificial Intelligence ranks among the important ``Centers of
+ Excellence'' worldwide. The key directors of DFKI are Prof. Dr. Wolfgang
+ Wahlster (CEO) and Dr. Walter G. Olthoff (CFO).DFKI's mission is
+ technology transfer, that is to move innovations in AI as quickly as
+ possible from the lab into the marketplace by maintaining research
+ projects at the forefront of science. Expertise and experience of the
+ company DFKI has strong expertise in each of the following domains:</p>
+ <ul>
+ <li>Information Management and Document Analysis (Director: Prof. Dr.
+ Andreas Dengel)</li>
+ <li>Intelligent Visualization and Simulation Systems
+ (Director: Prof. Dr. Hans Hagen)</li>
+ <li>Deduction and Multiagent Systems (Director: Prof.
+ Dr. Jorg Siekmann)</li>
+ <li>Language Technology (Director: Prof. Dr. Hans Uszkoreit)</li>
+ <li>Intelligent User Interfaces (Director: Prof. Dr.
+ Wolfgang Wahlster)</li>
+ </ul>
+ <p>DFKI is involved in numerous industrial, academian
+ projects including projects in the current EC IST programme dealing with
+ research and development in the broad areas of intelligent interface
+ agents, and multiagent systems for applications in supply-chain
+ management, virtual enterprises, e-commerce and advanced information
+ systems. The partners of the DFKI are leading large-scale
+ concerns such as DaimlerChrysler, SAP, and Alcatel, plus the two
+ universities of Kaiserlautern and Saarbrucken. In the range of
+ medium-sized firms INSIDERS, IDS Scheer, Tecmath and KIBG are to be added.
+ Finally, the two most important large-scale research centers on
+ international level, i.e. the Fraunhofer Society and GMD, round off the
+ circle of partners. DFKI is part of several European Networks of
+ Excellence such as AgentLink and CompuLog.</p>
+ <p>Recently, an Education Technology Group of DFKI, headed
+ by Prof. J.H. Siekmann, has been established. It has carried out basic
+ research and applications in several fields of AI, including presentation
+ planning (for education material), user modeling, proof planning,
+ knowledge representation (for educational and mathematical Web-documents)
+ and integration of (mathematical services). Its main prototypical product
+ so far has been the Web-based, user-adaptive, generative learning
+ environment ActiveMath that integrates several external services.
+ Members of the group are actively involved in the international academic
+ life by organizing or contributing to conferences and workshops.</p>
+ </description>
+</site>
--- /dev/null
+<?xml version="1.0" encoding="iso-8859-1"?>
+
+<!DOCTYPE site SYSTEM "site.dtd">
+
+<site>
+ <name>Institut National de Recherche en Informatique et Automatique (INRIA)
+ Rocquencourt</name>
+ <country>France</country>
+ <url>http://www.inria.fr</url>
+ <address>Domaine de Voluceau, 78153 Rocquencourt Cedex, France</address>
+ <responsible file="inria/herbelin"/>
+ <description>
+ <p>INRIA (National Institute for Research in Computer Science and
+ Control) is a French public-sector scientific and technological
+ institute operating under the dual authority of the Ministry of
+ Research and the Ministry of Industry. INRIA's missions are ``to
+ undertake basic and applied research, to design experimental systems,
+ to ensure technology and knowledge transfer, to organise international
+ scientific exchanges, to carry out scientific assessments, and to
+ contribute to standardisation''.</p>
+ <p>The research carried out at INRIA brings together experts from the
+ fields of computer science and applied mathematics covering the
+ following areas: Networks and Systems; Software Engineering and
+ Symbolic Computing; Man-Machine Interaction; Image Processing, Data
+ Management, Knowledge Systems; Simulation and Optimisation of Complex
+ Systems.</p>
+ <p>INRIA gathers in its premises around 2 100 persons including 1 600
+ scientists , many of which belong to partner organisations (CNRS,
+ industrial labs, universities) and are assigned to work in common
+ ``projects''. On INRIA's budget, around 500 full-time equivalent R&D
+ positions can be accounted for.</p>
+ <p>A large number of INRIA senior researchers are involved in teaching
+ and their PhD students (about 550) prepare their thesis within the
+ different INRIA research projects (currently 74).</p>
+ <p>Its budget is roughly 90 MEuro, 20% of which comes from research and
+ development contracts, royalties and sales. Industrial relations are
+ strategic for INRIA:</p>
+ <dl>
+ <dt>Industrial contracts and European Projects.</dt>
+ <dd>Numerous industrial partners contract with the Institute for
+ collaborative research. They are French or foreign
+ companies, of all sizes. 400 such contracts are presently
+ active. Roughly 40% of these contracts are European funded
+ ones. Since 1984, 250 European Framework-Programme (FP)
+ projects have been executed.</dd>
+
+ <dt>Technology companies.</dt>
+ <dd>As the ultimate step in technology transfer, researchers are party to
+ the setting up of companies in order to implement their
+ technology on the market. Thirty seven spin-off companies
+ have been created since 1984. In 1999, INRIA has launched
+ two subsidiaries to promote high-tech start-up companies:
+ INRIA-TRANSFERT deals with early accompaniment of the
+ future companies, whereas I-SOURCE GESTION provides for
+ ``seed-money''.</dd>
+ </dl>
+ <p>INRIA is a member of ERCIM EEIG, European Research Consortium for
+ Computer Science and Mathematics. Outside Europe, INRIA also has a
+ significant activity: it has created joint research laboratories
+ (Russia and China), signed cooperation agreements (NSF, India, Brazil,
+ etc.) and promotes intensive scientific exchanges.</p>
+ </description>
+ <project>
+ <name>Lemme</name>
+ <url>???</url>
+ <member file="inria/rideau"/>
+ <member file="inria/naciri"/>
+ <member file="inria/pottier"/>
+ <member file="inria/bertot"/>
+ <member file="inria/amerkad"/>
+ <member file="inria/thery"/>
+ <member file="inria/chicli"/>
+ <description>
+ <p>The purpose of the Lemme project is to introduce and develop formal
+ methods for use in writing scientific computing software. In scientific
+ computing, algorithms and mathematics are at the forefront. We are thus
+ developing tools and methods to help producing correct programs starting
+ from the usual mathematical descriptions of data, algorithms, properties
+ and proofs, structured into four research themes:</p>
+ <ul>
+ <li>Proof environments (development of the Pcoq system in Java and its
+ compatibility with XML/MathML).</li>
+ <li>Formalisation of mathematical theories (algebraic geometry, elementary
+ algebra and analysis).</li>
+ <li>Certified implementation of scientific computing algorithms (computer
+ algebra, arithmetics, logic).</li>
+ <li>Proofs on semantics of programming languages (Javacard).</li>
+ </ul>
+ <p>The project belongs to the European working group Types, and to the
+ French action AOC (Arithm\'etique des Ordinateurs Certifiée). It keeps
+ up industrial collaborations with Dassault-Aviation (program proof
+ environments), Alcatel Space Industry (certified numerical code), and
+ GemPlus (Javacard certification), and also collaborates with teachers at
+ university on the use of formal proofs and Web-based environments in
+ mathematics courses.</p>
+ </description>
+ </project>
+ <project>
+ <name>LogiCal</name>
+ <url>http://www.logical.inria.fr</url>
+ <member file="inria/herbelin"/>
+ <member file="inria/delahaye"/>
+ <description>
+ <p>The LogiCal team of INRIA is working on theoretical and practical
+ aspects of mathematical proofs. It develops the Coq proof assistant,
+ an implementation of an expressive formalism called Calculus of
+ Inductive Constructions. Coq is used both for development of formal
+ mathematics and for certification of programs, especially protocols
+ and critical systems.</p>
+ <p>The LogiCal project is a joint project with University Paris 11. It
+ is involved in the European TYPES working group and in several French
+ actions. Especially, it is involved in the S-Java action aiming at
+ certifying safety properties for JavaCard programs, in a project
+ aiming at certifying algorithms used in computer algebra
+ systems. LogiCal collaborates also on proof automation with France
+ Telecom.</p>
+ </description>
+ </project>
+</site>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE site SYSTEM "site.dtd">
+
+<site>
+ <name>Katholieke Universiteit Nijmegen</name>
+ <country>The Netherlands</country>
+ <url>http://www.cs.kun.nl</url>
+ <address>Subfaculteit Informatica,
+ Faculteit Natuurwetenschappen, Wiskunde en Informatica,
+ Katholieke Universiteit Nijmegen,
+ Toernooiveld 1, 6525 ED Nijmegen, The Netherlands</address>
+ <responsible file="nijmegen/geuvers"/>
+ <description>
+ <p>The Sub-faculty of Computer Science at the University of Nijmegen hosts
+ a broad experience in logic, formal methods and theorem proving. The
+ Faculty of Mathematics and Computer Science of Eindhoven University of
+ Technology is strong in computer algebra, theorem proving and applying
+ Web technology to mathematics. Nijmegen and Eindhoven have a long
+ history in cooperation on topics related to this FET proposal, notably
+ type theory, theorem proving and combining various computer
+ mathematics applications, especially using OpenMath. This cooperation
+ was mainly taking place between the research groups of Geuvers and
+ Barendregt in Nijmegen and the research group of Cohen in Eindhoven.</p>
+ <p>The research group of Geuvers and Barendregt is part of the EC
+ sponsored Thematic Network ``TYPES'' (IST-1999-29001) and of its
+ ancestor, the EC Working Group ``Types for Proofs and Programs'',
+ which testifies there interest in theorem proving, especially using
+ type theory based theorem provers. The FTA project (Fundamental
+ Theorem of Algebra), started in 1999 and to be finished in 2001, has
+ as its main goal to formalize (in Coq) a large body of undergraduate
+ mathematics (algebra and analysis), culminating in a proof of the
+ fundamental theorem of algebra. The formalization of the mathematics
+ is now finished and the next step is to make the formalization
+ accessible and usable by others, preferably through the World Wide
+ Web.</p>
+ <p>The research group in Nijmegen and the research group of Cohen in
+ Eindhoven are both part of the EC Working Group Calculemus, which aims
+ at bridging the gap between different mathematical computer
+ applications, like computer algebra systems and theorem provers. One
+ of the vehicles for doing so is the definition of OpenMath as an
+ intermediate language for the exchange of mathematical objects among
+ computer applications.
+ The research group of Cohen is part of the
+ IST Thematic Network ``OpenMath'' (IST-2000-28719) and its ancestor,
+ the OpenMath Esprit project ({\tt http://www.openmath.org/}).</p>
+ </description>
+ <member file="nijmegen/geuvers"/>
+ <member file="nijmegen/cohen"/>
+ <member file="nijmegen/barendregt"/>
+ <member file="nijmegen/niqui"/>
+ <member file="nijmegen/stein"/>
+ <member file="nijmegen/cruz-filipe"/>
+ <member file="nijmegen/wiedijk"/>
+ <member file="nijmegen/synek"/>
+ <member file="nijmegen/barreiro"/>
+</site>
--- /dev/null
+<?xml version="1.0" encoding="iso-8859-1"?>
+
+<!ENTITY % in_site "(name,country,url,address,responsible,description,member*,project*)">
+
+<!ELEMENT site (%in_site;|subsite+)>
+<!ELEMENT subsite %in_site;>
+<!ELEMENT name (#PCDATA)>
+<!ELEMENT country (#PCDATA)>
+<!ELEMENT url (#PCDATA)>
+<!ELEMENT address (#PCDATA)>
+<!ELEMENT responsible EMPTY>
+<!ATTLIST responsible
+ file CDATA #REQUIRED>
+<!ELEMENT description (p|dl|ul)+>
+<!ELEMENT project (name,acronym?,url,member+,description)>
+<!ELEMENT acronym (#PCDATA)>
+<!ELEMENT member EMPTY>
+<!ATTLIST member
+ file CDATA #REQUIRED>
+
+<!-- A subset of XHTML -->
+<!ELEMENT p (#PCDATA|I|a)*>
+<!ELEMENT I (#PCDATA)>
+<!ELEMENT a (#PCDATA)>
+<!ATTLIST a
+ href CDATA #REQUIRED>
+<!ELEMENT dl (dt|dd)+>
+<!ELEMENT dt (#PCDATA)>
+<!ELEMENT dd (#PCDATA)>
+<!ELEMENT ul (li)+>
+<!ELEMENT li (#PCDATA)>
--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE site SYSTEM "site.dtd">
+
+<site>
+ <name>Trusted Logic</name>
+ <country>France</country>
+ <url>http://www.trusted-logic.fr</url>
+ <address>???</address>
+ <responsible file="trusted-logic/bolignano"/>
+ <description>
+ <p>Created in January 1999, TRUSTED LOGIC S.A. is a french start-up company,
+ which presents a unique combination of expertise in embedded
+ software challenges and in formal methods analysis.
+ TRUSTED LOGIC offers a wide range of efficient and secure solutions for
+ smart cards and terminals in the following areas : open systems for smart
+ cards (Java Card,Windows SmartCards, Multos), open systems for terminals
+ (mobile phones, PDA, bank terminals, etc), e-commerce, remote secured
+ access to intranets, and secured networks infrastructures (home or car
+ control).</p>
+ <p>The development methodology, inside Trusted Logic S.A., includes a
+ permanent concern of quality and security aspects (formal specification
+ and proofs) that provides a software which is efficient, reliable and
+ ready to face high level Common Criteria evaluations when needed</p>
+ <p>The main actors in the smart card and in the embedded software industry
+ are among its customers : Sun Microsystems Inc., Bull, Gemplus, Oberthur,
+ Schlumberger, ST Microelectronics, VISA International, Carte Bleue, GIE
+ Cartes Bancaires, ActivCard, Proton World International, etc.</p>
+ </description>
+</site>
--- /dev/null
+<?xml version="1.0"?>
+
+<work-package number="5">
+ <name>Distribution</name>
+ <begin>Month 18</begin>
+ <end>Month 30</end>
+ <person-month participant="bologna" number="6"/>
+ <person-month participant="inria" number="5"/>
+ <person-month participant="dfki" number="8"/>
+ <person-month participant="nijmegen" number="3"/>
+ <person-month participant="aei" number="5"/>
+ <person-month participant="trusted-logic" number="0"/>
+ <objectives>
+ <p>Overall architectural design of the distribution model,
+ its implementation and integration with the consultation
+ engine.</p>
+ </objectives>
+ <description>
+ <p>The work is articulated in three, conceptually sequential
+ tasks:</p>
+ <dl>
+ <dt>T5.1</dt>
+ <dd>Architectural Design of the Distribution Model. The big
+ issue it to find the right compromise between two opposite
+ requirements: <I>distribution</I> (in the sense of the
+ Web: few rules, no central authority) and <I>coherence</I>
+ (coherence between different copies of a same document
+ and global management of the library as a single rational
+ development). Other architectural problems to be solved
+ are the management of Uniform Resource Identifiers, their
+ mapping to Uniform Resource Locators, and the integration
+ of databases in the distribution model. The final aim is
+ to have a <I>phisically</I> distributed library with a
+ single <I>logical</I> view.</dd>
+
+ <dt>T5.2</dt>
+ <dd>Prototype implementation. First prototyping implementation
+ of the distribution layer.</dd>
+
+ <dt>T5.3</dt>
+ <dd>Integration with the Consultation Engine. First
+ implementation of the library as a distributed repository.
+ Distribution should be completely transparent to users of
+ the Consultation Engine.</dd>
+ </dl>
+ </description>
+ <deliverable file="D5.a"/>
+ <deliverable file="D5.b"/>
+ <milestone>
+ <p>The main milestone is the release of the advanced MOWGLI
+ prototype, for the fourth meeting of the project, at month
+ 24. The advanced prototype will integrate the previous one
+ with the new distribution facilities offered by the
+ distribution layer.</p>
+ </milestone>
+</work-package>
--- /dev/null
+<?xml version="1.0"?>
+
+<work-package number="7">
+ <name>Information Dissemination and Exploitation</name>
+ <begin>Month 3</begin>
+ <end>Month 30</end>
+ <person-month participant="bologna" number="1"/>
+ <person-month participant="inria" number="0"/>
+ <person-month participant="dfki" number="0"/>
+ <person-month participant="nijmegen" number="1"/>
+ <person-month participant="aei" number="6"/>
+ <person-month participant="trusted-logic" number="0"/>
+ <objectives>
+ <p>The work package aims to:</p>
+ <ul>
+ <li>involve the largest community of professionals in the
+ modelling phase.</li>
+ <li>promote dissemination of project results in the relevant
+ international forums.</li>
+ <li>promote the use of the service, both for educational and
+ professional purposes. This phase will start after the
+ release of the first prototype, at month 18.</li>
+ </ul>
+ </objectives>
+ <description>
+ <p>The dissemination of results is in charge of the Project
+ Dissemination & Exploitation Committee, which is
+ responsible to prepare, during the first six months, a
+ detailed dissemination work-plan (D2), and to follow its
+ execution during the Project.</p>
+ <p>Information dissemination will take place via
+ professional journal articles, presentations at conferences,
+ international news groups, specific interest groups and so
+ on. Relevant reports of the projects will be made publicly
+ available on the World Wide Web. For advanced
+ releases, we also plan to prepare an ``information pack'',
+ including a folder and CDROM with demos.</p>
+ </description>
+ <deliverable file="D7.a"/>
+ <deliverable file="D7.b"/>
+ <deliverable>Scientific Publications on professional journals
+ and conference proceedings.</deliverable>
+ <milestone>
+ <p>Criteria for evaluating MOWGLI's dissemination and its
+ technological impact will be detailed in the Dissemination
+ and use Plan. The Project Dissemination & Exploitation
+ Committee will be in charge to monitor the state of
+ advancement of the Project according to these criteria.</p>
+ </milestone>
+</work-package>
--- /dev/null
+<?xml version="1.0"?>
+
+<work-package number="4">
+ <name>Interfaces</name>
+ <begin>Month 3</begin>
+ <end>Month 24</end>
+ <person-month participant="bologna" number="16"/>
+ <person-month participant="inria" number="16"/>
+ <person-month participant="dfki" number="5"/>
+ <person-month participant="nijmegen" number="4"/>
+ <person-month participant="aei" number="14"/>
+ <person-month participant="trusted-logic" number="0"/>
+ <objectives>
+ <p>This Work-Package is devoted to the design and the
+ implementation of the interfaces to the library, covering
+ rendering, browsing, searching and retrieving
+ functionalities. Some additional functionalities for
+ authoring purposes (such as computer assisted annotation of
+ proofs) will be also taken into account.</p>
+ <p>Our privileged rendering language will be MathML, which is
+ likely to be rapidly adopted as the main language for
+ representing mathematical notation on the Web.</p>
+ </objectives>
+ <description>
+ <p>The work is organised in the following tasks:</p>
+ <dl>
+ <dt>T4.1</dt>
+ <dd>MathML rendering/browsing engines. Our privileged
+ rendering language will be MathML. In order to be able to
+ test the presentational stylesheets,(Task 2.5) we need a
+ MathML compliant browser, that will be developed as a
+ part of the project (starting from a previous
+ prototype).</dd>
+
+ <dt>T4.2</dt>
+ <dd>Consultation Engine (archiving, searching and retrieving).
+ The task is devoted to the architectural design and
+ implementation of the main functionalities for the
+ consultation and the management of the library.</dd>
+
+ <dt>T4.3</dt>
+ <dd>Assisted Annotation. This cover an additional
+ functionality of the interface, aimed to support the user
+ in the process of annotating a proof in natural
+ language.</dd>
+
+ <dt>T4.4</dt>
+ <dd>LaTeX-based authoring tool. A tool supporting automatic
+ generation of Content-MathML from a suitably
+ (macro-)enriched version of LaTeX.</dd>
+ </dl>
+ </description>
+ <deliverable file="D4.a"/>
+ <deliverable file="D4.b"/>
+ <deliverable file="D4.c"/>
+ <deliverable file="D4.d"/>
+ <deliverable file="D4.e"/>
+ <milestone>
+ <p>The main milestone is the release of the first MOWGLI
+ prototype, at month 18.</p>
+ </milestone>
+</work-package>
--- /dev/null
+<?xml version="1.0"?>
+
+<work-package number="3">
+ <name>Metadata</name>
+ <begin>Month 6</begin>
+ <end>Month 21</end>
+ <person-month participant="bologna" number="3"/>
+ <person-month participant="inria" number="3"/>
+ <person-month participant="dfki" number="8"/>
+ <person-month participant="nijmegen" number="3"/>
+ <person-month participant="aei" number="3"/>
+ <person-month participant="trusted-logic" number="0"/>
+ <objectives>
+ <ul>
+ <li>Delineation of the basic intelligence to be considered
+ for encapsulation in metadata, in order to meet the needs
+ delineated during Requirement Analysis (WP1).</li>
+ <li>Definition and Development of a specific Markup Model
+ in RDF.</li>
+ </ul>
+ </objectives>
+ <description>
+ <p>The precise definition of metadata and their actual
+ Markup Model are essential aspects for implementing the
+ main functionalities of the library, and especially for
+ archiving, searching and retrieving issues. The work will
+ be articulated in two main, almost sequential, tasks:</p>
+ <dl>
+ <dt>T3.1</dt>
+ <dd>Use, meaning and classification. This task, based on the
+ previous documents D1 and D2, is aimed to provide a
+ precise definition and classification of all metadata
+ required for an effective and efficient management of the
+ library.</dd>
+
+ <dt>T3.2</dt>
+ <dd>Modelling. This is devoted to the definition of a precise
+ markup model. To this aim, we plan to use the Resource
+ Description Framework of W3C.</dd>
+ </dl>
+ </description>
+ <deliverable file="D3.a"/>
+ <deliverable file="D3.b"/>
+ <milestone>
+ <p>The definition of the Metadata model is amain milestone,
+ since the architectural design and implementation of the
+ consultation engine (Task 4.2) will be essentially based on
+ it. Similarly, it is required for Task 2.4 (automatic
+ extraction of metadata).</p>
+ </milestone>
+</work-package>
--- /dev/null
+<?xml version="1.0"?>
+
+<work-package number="0">
+ <name>Project Management</name>
+ <begin>Month 0</begin>
+ <end>Month 30</end>
+ <person-month participant="bologna" number="8"/>
+ <person-month participant="inria" number="0"/>
+ <person-month participant="dfki" number="0"/>
+ <person-month participant="nijmegen" number="0"/>
+ <person-month participant="aei" number="0"/>
+ <person-month participant="trusted-logic" number="0"/>
+ <objectives>
+ <ul>
+ <li>General project management and coordination.</li>
+ <li>Knowledge and skills transfer between consortium
+ members.</li>
+ <li>Relation to the European Commission.</li>
+ </ul>
+ </objectives>
+ <description>
+ <p>The Project management will be assured by the following
+ relevant roles: a) Project Manager, b) Exploitation manager,
+ c) Work-package Leaders d)Technical Contributors, and by
+ the following Project Bodies: a)Project Coordination
+ Committee (PCC), b) Project Exploitation Board (PEB) and e)
+ Work-package Teams.</p>
+ <p>The {\bf Project Manager} chairs the PCC. The
+ mandate of the PCC is to represent the Project, report to
+ the Commission, monitor overall performance of the project,
+ ensure accomplishment of the technical objectives, promote
+ project visibility, promote dissemination of project results
+ in the relevant international forums, promote acceptance of
+ project results, administer project resources and monitor
+ project spending. The {\bf Exploitation Manager} will be
+ responsible for coordinating dissemination and exploitation
+ activities undertaken by the Project Exploitation Board
+ (PEB) in close cooperation with the Project Coordination
+ Committee (PCC).</p>
+ <p>Information flow within the Project will be ensured by
+ exchange of internal technical papers, notification of
+ relevant new publications technologies or standards, and
+ reports from external meetings. All technical documentation
+ generated by the project will be exchangeable in electronic
+ format, according to a set of guidelines to be agreed at
+ project start-up. The project Manager will enforce
+ adherence to these guidelines. Only strictly formal
+ correspondence will be exchanged by ordinary mail and
+ telefax. Urgent correspondence over e-email will be sent
+ with a request for explicit acknowledgement.</p>
+ <p>The Coordinating Partner will be responsible to prepare
+ and maintain a Web page of the project and a CVS repository
+ (also available via Web).</p>
+ </description>
+ <deliverable>Cost Statements and Project Reports (month 12, 20,
+ 30).</deliverable>
+ <deliverable file="D0.a"/>
+ <deliverable file="D0.b"/>
+ <deliverable file="D0.c"/>
+ <deliverable file="D0.d"/>
+ <milestone>
+ <p>Main milestones are the periodic meetings, at month 6, 12,
+ 20, 24, 30.</p>
+ </milestone>
+</work-package>
--- /dev/null
+<?xml version="1.0"?>
+
+<work-package number="1">
+ <name>Requirement Analysis</name>
+ <begin>Month 0</begin>
+ <end>Month 6</end>
+ <person-month participant="bologna" number="3"/>
+ <person-month participant="inria" number="4"/>
+ <person-month participant="dfki" number="3"/>
+ <person-month participant="nijmegen" number="6"/>
+ <person-month participant="aei" number="3"/>
+ <person-month participant="trusted-logic" number="1"/>
+ <objectives>
+ <ul>
+ <li>Definition of the application scenarios.</li>
+ <li>Precise articulation of all the functionalities required
+ by the system, and all possible expected interactions
+ with documents.</li>
+ <li>Overall requirements of the distribution model of the
+ library.</li>
+ </ul>
+ </objectives>
+ <description>
+ <p>The work plan is naturally organised in subtasks according
+ to the different basic kind of interactions and manipulation
+ to be considered, namely:</p>
+ <dl>
+ <dt>T1.1</dt>
+ <dd>Mathematics and the Web. State of the art, standards and
+ tools.</dd>
+
+ <dt>T1.2</dt>
+ <dd>Structured and Formal Mathematics. Delineation and
+ layering of Semantic Components. Requirements for
+ the interaction with tools for the automation of formal
+ reasoning.</dd>
+
+ <dt>T1.3</dt>
+ <dd>Metadata. Classification and data mining for content-based
+ mathematical documents, and key architectural guidelines
+ for the metadata model.</dd>
+
+ <dt>T1.4</dt>
+ <dd>Searching and Retrieving. State of the art, use cases and
+ application scenarios.</dd>
+
+ <dt>T1.5</dt>
+ <dd>Distribution. Distributed document repositories and
+ peer-to-peer interoperability.</dd>
+
+ <dt>T1.6</dt>
+ <dd>Document Authoring. State of the art, use cases and
+ application scenarios.</dd>
+ </dl>
+ <p>Part of the activity, covering Tasks T1.1-2-6 should be
+ concluded within the first three months, with the
+ preliminary report D1.a. The main aim of this phase is
+ to rapidly reach a good level of inter-operability among the
+ different sites, by implementing a suitable politic of
+ knowledge and skills transfer between the members of the
+ consortium (short visits and/or small thematic workshops,
+ according to the case).</p>
+ <p>However, some delicate issues, such as Metadata, Searching
+ and Retrieving and Distribution (Task T1.3-4-5) will
+ eventually require a deeper analysis (deliverables D1.b and
+ D1.c).</p>
+ <p>WP1 will be eventually closed during the first meeting of
+ the Project (month six), when all the reports will be
+ discussed and approved.</p>
+ </description>
+ <deliverable file="D1.a"/>
+ <deliverable file="D1.b"/>
+ <deliverable file="D1.c"/>
+ <milestone>
+ <p>The preliminary report D1.a is not a realmilestone:
+ it should be considered as a first internal draft summarising
+ the main functionalities required by the system and the basic
+ intelligence to add to documents, as markup and/or metadata,
+ to meet these requirements. All these issues will be
+ eventually detailed in D1.b and D1.c, which are real
+ Milestones, since the rest of the work will be largely
+ driven by them.</p>
+ </milestone>
+</work-package>
--- /dev/null
+<?xml version="1.0"?>
+
+<work-package number="6">
+ <name>Testing and Validation</name>
+ <begin>Month 12</begin>
+ <end>Month 30</end>
+ <person-month participant="bologna" number="5"/>
+ <person-month participant="inria" number="6"/>
+ <person-month participant="dfki" number="3"/>
+ <person-month participant="nijmegen" number="17"/>
+ <person-month participant="aei" number="14"/>
+ <person-month participant="trusted-logic" number="9"/>
+ <objectives>
+ <p>The WP intends to measure the system suitability and
+ scalability and the satisfaction level of users with the
+ service.</p>
+ </objectives>
+ <description>
+ <p>Large scale testing and validation will start after the
+ release of the first MOWGLI prototype, at month 18. We
+ shall consider three main validation tests:</p>
+ <dl>
+ <dt>T6.1</dt>
+ <dd>Education. Full development of a fragment of the library
+ covering a typical undergraduate course in algebra of
+ analysis.</dd>
+
+ <dt>T6.2</dt>
+ <dd>Certified code. The aim is to be able to present the
+ formalization and the demonstration of some security
+ properties related to the code embedded into a smart card.
+ The presentation must be in a format understandable by
+ the company in charge of the evaluation of the code and
+ in accordance with the Common Criteria standard.</dd>
+
+ <dt>T6.3</dt>
+ <dd>Electronic Publishing. The aim is to test the LaTeX-based
+ authoring tool and to demonstrate how an electronic
+ physics journal benefits from the exploitation of
+ content markup in journal articles.</dd>
+ </dl>
+ </description>
+ <deliverable file="D6.a"/>
+ <deliverable file="D6.b"/>
+ <deliverable file="D6.c"/>
+ <deliverable file="D6.d"/>
+ <milestone>
+ <p>We expect a lot of feed-back during this phase, that will
+ be taken into account for the definition of the advanced and
+ final versions of the MOWGLI prototype.</p>
+ </milestone>
+</work-package>
--- /dev/null
+<?xml version="1.0"?>
+
+<work-package number="2">
+ <name>Transformation</name>
+ <begin>Month 0</begin>
+ <end>Month 21</end>
+ <person-month participant="bologna" number="13"/>
+ <person-month participant="inria" number="4"/>
+ <person-month participant="dfki" number="3"/>
+ <person-month participant="nijmegen" number="11"/>
+ <person-month participant="aei" number="3"/>
+ <person-month participant="trusted-logic" number="0"/>
+ <objectives>
+ <p>This work package is devoted to the complex issue of
+ transforming a low level, content description of mathematics
+ (understandable by automatic applications for the
+ mechanization of mathematics) into a human-readable
+ presentational format. It covers both statements and proofs.
+ The transformation will be decomposed in a sequence of
+ intermediate steps, for modularity reasons. All
+ transformations will be implemented by means of
+ XSLT-stylesheets. Stylesheets will be simple, modular, and
+ easily composable. All the transformation process should be
+ independent from any specific application.</p>
+ </objectives>
+ <description>
+ <p>The work package is articulated in the following tasks:</p>
+ <dl>
+ <dt>T2.1</dt>
+ <dd>XML exportation. The task is devoted to the translation
+ of the standard library of the COQ Proof assistant into a
+ suitable XML dialect, and to the definition of a low-level
+ DTD for the terms of the Calculus of Inductive
+ Construction (the logical system used by COQ).</dd>
+
+ <dt>T2.2</dt>
+ <dd>Stylesheets to intermediate representation.
+ Implementation of a bunch of stylesheets transforming the
+ low-level logical description of COQ-expressions into a
+ ``standard'' intermediate, content-level representation
+ such as MathML content.</dd>
+
+ <dt>T2.3</dt>
+ <dd>Proof transformation. Similar to the previous task, but
+ for proofs. The delicate point, here, is the fact that no
+ ``standard'' intermediate representation currently exists,
+ and thus it has to be defined.</dd>
+
+ <dt>T2.4</dt>
+ <dd>Automatic extraction of metadata. Relevant metadata such
+ as list of identifiers in critical positions inside
+ statements can be automatically extracted from the fully
+ structured representation of mathematical objects. This
+ information can then be exploited for searching and
+ retrieving. The precise list of metadata will be defined
+ in Work Package 3.</dd>
+
+ <dt>T2.5</dt>
+ <dd>Presentational Stylesheets. Implementation of a bunch of
+ stylesheets transforming the intermediate content
+ representation into a suitable rendering format (MathML
+ presentation, HTML, etc.)</dd>
+
+ <dt>T2.6</dt>
+ <dd>Automatic Proof Generation in Natural Language. Similar
+ to the previous task but for proofs. In this case, a fully
+ automated approach is unlikely to produce really
+ satisfactory results, and the process should be possibly
+ integrated with some mechanism for interactive annotation
+ (see Task 4.3).</dd>
+ </dl>
+ </description>
+ <deliverable file="D2.a"/>
+ <deliverable file="D2.b"/>
+ <deliverable file="D2.c"/>
+ <deliverable file="D2.d"/>
+ <deliverable file="D2.e"/>
+ <deliverable file="D2.f"/>
+ <deliverable file="D2.g"/>
+ <milestone>
+ <p>The exportation module D2.a. is our first
+ milestone: without a large amount of available documents it
+ would be impossible to test the transformations. Similarly,
+ without a precise definition of the intermediate language,
+ and a large sample of documents in this format (D2c-d) we
+ cannot start to seriously address the presentational issue.
+ Note that the intermediate language is the real core of the
+ whole project.</p>
+ <p>The development of presentational stylesheets also depends
+ in an essential way on the development of rendering/browsing
+ engines for the chosen presentational language (in
+ particular, for MathML).</p>
+ <p>For the end of month 18, we expect to have a first working
+ prototype of the whole application.</p>
+ </milestone>
+</work-package>
--- /dev/null
+<?xml version="1.0"?>
+
+<xsl:stylesheet version="1.0"
+ xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+
+<xsl:output method="html"/>
+
+<xsl:template match="/">
+ <html>
+ <head>
+ <title>Consortium</title>
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+ <link rel="stylesheet" href="../style/mowgli.css" type="text/css"/>
+ </head>
+ <body>
+ <xsl:apply-templates/>
+ </body>
+ </html>
+</xsl:template>
+
+<xsl:template match="consortium">
+ <h1>The Consortium</h1>
+ <p>
+ <xsl:text>The Consortium is made of </xsl:text>
+ <xsl:value-of select="count(site)"/>
+ <xsl:text> sites:</xsl:text>
+ </p>
+ <ul>
+ <xsl:for-each select="site">
+ <li>
+ <a href="sites/{@file}.html">
+ <xsl:value-of select="@file"/>
+ </a>
+ </li>
+ </xsl:for-each>
+ </ul>
+ <xsl:copy-of select="description/*"/>
+</xsl:template>
+
+</xsl:stylesheet>
--- /dev/null
+<?xml version="1.0"?>
+
+<xsl:stylesheet version="1.0"
+ xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+
+<xsl:output method="html"/>
+
+<xsl:template match="/">
+ <html>
+ <head>
+ <title>
+ <xsl:call-template name="qualified-name">
+ <xsl:with-param name="qualification"
+ select="person/qualification"/>
+ <xsl:with-param name="name"
+ select="person/name"/>
+ <xsl:with-param name="surname"
+ select="person/surname"/>
+ </xsl:call-template>
+ </title>
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+ <link rel="stylesheet" href="../../../style/mowgli.css" type="text/css"/>
+ </head>
+ <body>
+ <xsl:apply-templates/>
+ </body>
+ </html>
+</xsl:template>
+
+<xsl:template name="qualified-name">
+ <xsl:param name="qualification" select="/.."/>
+ <xsl:param name="name"/>
+ <xsl:param name="surname"/>
+ <xsl:if test="qualification">
+ <xsl:value-of select="$qualification"/>
+ <xsl:text> </xsl:text>
+ </xsl:if>
+ <xsl:value-of select="$name"/>
+ <xsl:text> </xsl:text>
+ <xsl:value-of select="$surname"/>
+</xsl:template>
+
+<xsl:template match="person">
+ <h1>
+ <xsl:call-template name="qualified-name">
+ <xsl:with-param name="qualification"
+ select="qualification"/>
+ <xsl:with-param name="name"
+ select="name"/>
+ <xsl:with-param name="surname"
+ select="surname"/>
+ </xsl:call-template>
+ </h1>
+ <xsl:choose>
+ <xsl:when test="count(position) > 1">
+ <ul>
+ <xsl:for-each select="position">
+ <li><xsl:value-of select="."/></li>
+ </xsl:for-each>
+ </ul>
+ </xsl:when>
+ <xsl:when test="count(position) = 1">
+ <p><xsl:value-of select="position"/></p>
+ </xsl:when>
+ </xsl:choose>
+ <p>
+ <xsl:text>e-mail: </xsl:text>
+ <a href="mailto:{e-mail}">
+ <xsl:value-of select="e-mail"/>
+ </a>
+ </p>
+ <xsl:if test="url">
+ <p>
+ <xsl:text>Home Page: </xsl:text>
+ <a href="{url}">
+ <xsl:value-of select="url"/>
+ </a>
+ </p>
+ </xsl:if>
+ <xsl:if test="address">
+ <p>
+ <xsl:text>Address: </xsl:text>
+ <xsl:value-of select="address"/>
+ </p>
+ </xsl:if>
+ <xsl:if test="telephone">
+ <p>
+ <xsl:text>Telephone number: </xsl:text>
+ <xsl:value-of select="telephone"/>
+ </p>
+ </xsl:if>
+ <xsl:if test="curriculum">
+ <h2>Short Curriculum Vitae:</h2>
+ <xsl:copy-of select="curriculum/*"/>
+ </xsl:if>
+ <xsl:if test="research-interests">
+ <h2>Research Interests:</h2>
+ <xsl:copy-of select="research-interests/*"/>
+ </xsl:if>
+ <xsl:if test="selected-publication">
+ <h2>Selected Publications:</h2>
+ <ul>
+ <xsl:for-each select="selected-publication">
+ <li>
+ <a href="../../publications/{@file}.html">
+ <xsl:value-of select="@file"/>
+ </a>
+ </li>
+ </xsl:for-each>
+ </ul>
+ </xsl:if>
+</xsl:template>
+
+</xsl:stylesheet>
--- /dev/null
+<?xml version="1.0"?>
+
+<xsl:stylesheet version="1.0"
+ xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+
+<xsl:output method="html"/>
+
+<xsl:template match="/">
+ <html>
+ <head>
+ <title>The Project</title>
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+ <link rel="stylesheet" href="../style/mowgli.css" type="text/css"/>
+ </head>
+ <body>
+ <xsl:apply-templates/>
+ </body>
+ </html>
+</xsl:template>
+
+<xsl:template match="project">
+ <h1>
+ <xsl:value-of select="full_title"/>
+ <xsl:text> (</xsl:text>
+ <xsl:value-of select="acronym"/>
+ <xsl:text>)</xsl:text>
+ </h1>
+ <p>
+ <xsl:text>Project type: </xsl:text>
+ <xsl:value-of select="type"/>
+ <xsl:text> (</xsl:text>
+ <xsl:value-of select="type_acronym"/>
+ <xsl:text>)</xsl:text>
+ </p>
+ <p>
+ <xsl:text>Proposal Contract Number: </xsl:text>
+ <xsl:value-of select="proposal_contract_no"/>
+ </p>
+ <p>
+ <xsl:text>Operative Commencement Date: </xsl:text>
+ <xsl:value-of select="operative_commencement_of_contract"/>
+ </p>
+</xsl:template>
+
+</xsl:stylesheet>
--- /dev/null
+<?xml version="1.0"?>
+
+<xsl:stylesheet version="1.0"
+ xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+
+<xsl:output method="html"/>
+
+<xsl:template match="/">
+ <html>
+ <head>
+ <title><xsl:value-of select="publication/title"/></title>
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+ <link rel="stylesheet" href="../../../style/mowgli.css" type="text/css"/>
+ </head>
+ <body>
+ <xsl:apply-templates/>
+ </body>
+ </html>
+</xsl:template>
+
+<xsl:template match="publication">
+ <h1><xsl:value-of select="title"/></h1>
+ <h2>
+ <xsl:for-each select="author">
+ <xsl:choose>
+ <xsl:when test="@file">
+ <a href="../../people/{@file}.html">
+ <xsl:value-of select="@file"/>
+ </a>
+ </xsl:when>
+ <xsl:otherwise>
+ <xsl:value-of select="surname"/>
+ <xsl:text>, </xsl:text>
+ <xsl:value-of select="name"/>
+ </xsl:otherwise>
+ </xsl:choose>
+ <xsl:if test="position() != last()">
+ <xsl:text> ; </xsl:text>
+ </xsl:if>
+ </xsl:for-each>
+ </h2>
+ <p><xsl:value-of select="where"/></p>
+</xsl:template>
+
+</xsl:stylesheet>
--- /dev/null
+<?xml version="1.0"?>
+<xsl:stylesheet version="1.0"
+ xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+
+<xsl:output method="html"/>
+
+<xsl:template match="/">
+ <html>
+ <head>
+ <title><xsl:value-of select="site/name"/></title>
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+ <link rel="stylesheet" href="../../style/mowgli.css" type="text/css"/>
+ </head>
+ <body>
+ <xsl:apply-templates/>
+ </body>
+ </html>
+</xsl:template>
+
+<xsl:template match="site|subsite">
+ <xsl:choose>
+ <xsl:when test="subsite">
+ <p>This is an aggregate site, whose members are:</p>
+ <ul>
+ <xsl:for-each select="subsite">
+ <li>
+ <a href="#{generate-id()}">
+ <xsl:value-of select="name"/>
+ </a>
+ </li>
+ </xsl:for-each>
+ </ul>
+ <xsl:for-each select="subsite">
+ <hr />
+ <a name="{generate-id()}"/>
+ <xsl:apply-templates select="."/>
+ </xsl:for-each>
+ </xsl:when>
+ <xsl:otherwise>
+ <h1><xsl:value-of select="name"/></h1>
+ <h2><xsl:value-of select="country"/></h2>
+ <p><xsl:value-of select="address"/></p>
+ <p><a href="{url}">Visit the institution home page.</a></p>
+ <p>
+ <xsl:text>Site responsible: </xsl:text>
+ <a href="../people/{responsible/@file}.html">
+ <xsl:value-of select="responsible/@file"/>
+ </a>
+ <xsl:text>.</xsl:text>
+ </p>
+ <xsl:copy-of select="description/*"/>
+ <xsl:if test="project">
+ <h1>Projects developed by this site related to MOWGLI:</h1>
+ </xsl:if>
+ <xsl:apply-templates select="project"/>
+ </xsl:otherwise>
+ </xsl:choose>
+</xsl:template>
+
+<xsl:template match="project">
+ <h2>
+ <xsl:value-of select="name"/>
+ <xsl:if test="acronym">
+ <xsl:text> (</xsl:text>
+ <xsl:value-of select="acronym"/>
+ <xsl:text>)</xsl:text>
+ </xsl:if>
+ </h2>
+ <p><a href="{url}">Visit the project home page.</a></p>
+ <p>Members of the project also involved in MOWGLI:</p>
+ <ul>
+ <xsl:for-each select="member">
+ <li>
+ <a href="../people/{@file}.html">
+ <xsl:value-of select="@file"/>
+ </a>
+ </li>
+ </xsl:for-each>
+ </ul>
+ <xsl:copy-of select="description/*"/>
+</xsl:template>
+
+</xsl:stylesheet>
--- /dev/null
+<?xml version="1.0"?>
+
+<xsl:stylesheet version="1.0"
+ xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+
+<xsl:output method="html"/>
+
+<xsl:template match="/">
+ <html>
+ <head>
+ <title>
+ <xsl:text>Work Package </xsl:text>
+ <xsl:value-of select="work-package/@number"/>
+ <xsl:text>: </xsl:text>
+ <xsl:value-of select="work-package/name"/>
+ </title>
+ <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+ <link rel="stylesheet" href="../../style/mowgli.css" type="text/css"/>
+ </head>
+ <body>
+ <xsl:apply-templates/>
+ </body>
+ </html>
+</xsl:template>
+
+<xsl:template match="work-package">
+ <h1>
+ <xsl:text>Work Package </xsl:text>
+ <xsl:value-of select="number"/>
+ <xsl:text>: </xsl:text>
+ <xsl:value-of select="name"/>
+ </h1>
+ <h2>Begin: <xsl:value-of select="begin"/></h2>
+ <h2>End: <xsl:value-of select="end"/></h2>
+ <table>
+ <tr>
+ <xsl:for-each select="person-month">
+ <td><xsl:value-of select="@participant"/></td>
+ </xsl:for-each>
+ </tr>
+ <tr>
+ <xsl:for-each select="person-month">
+ <td><xsl:value-of select="@number"/></td>
+ </xsl:for-each>
+ </tr>
+ </table>
+ <h2>Objectives:</h2>
+ <xsl:copy-of select="objectives/*"/>
+ <h2>Description:</h2>
+ <xsl:copy-of select="description/*"/>
+ <h2>Deliverables:</h2>
+ <ul>
+ <xsl:for-each select="deliverable">
+ <li>
+ <xsl:choose>
+ <xsl:when test="@file">
+ <a href="../deliverables/{@file}.html">
+ <xsl:value-of select="@file"/>
+ </a>
+ </xsl:when>
+ <xsl:otherwise>
+ <xsl:value-of select="."/>
+ </xsl:otherwise>
+ </xsl:choose>
+ </li>
+ </xsl:for-each>
+ </ul>
+ <h2>Milestones and Expected Results:</h2>
+ <xsl:copy-of select="milestone/*"/>
+</xsl:template>
+
+</xsl:stylesheet>
projects / helm.git / commitdiff