PEOPLE = \
people/aei/kelley.html \
+ people/aei/pollney.html \
people/aei/schutz.html \
people/aei/velden.html \
people/aei/wegner.html \
+ people/aei/weyher.html \
people/bologna/asperti.html \
people/bologna/guidi.html \
people/bologna/padovani.html \
mkdir -p $(DESTDIR)/misc/proposal
cp ../htaccess $(DESTDIR)/misc/proposal/.htaccess
cp ../misc/proposal/*.* $(DESTDIR)/misc/proposal
+ cp -R ../misc/kick-off $(DESTDIR)/misc
+ cp ../htaccess $(DESTDIR)/misc/kick-off/.htaccess
if [ $(FRAMES) = yes ] ; \
then \
sed s/menu\\.html/$(HTMLDESTDIRSUFFIX)\\/menu\\.html/ <index.html | \
kelley.html
+pollney.html
schutz.html
velden.html
wegner.html
+weyher.html
<ul>
<li><a href="#ml">Mailing Lists</a></li>
<li><a href="#proposal">The Proposal</a></li>
- <li><a href="#minutes">Minutes of the Meetings</a></li>
+ <li><a href="#minutes">Reports of the Meetings</a></li>
</ul>
<hr/>
<hr />
- <h2><a name="minutes">Minutes of the Meetings</a></h2>
+ <h2><a name="minutes">Reports of the Meetings</a></h2>
- <p>Minutes are available for the following meetings:</p>
+ <p>Reports are available for the following meetings:</p>
<ul>
<li><a href="kick-off.html">The MOWGLI Kick-Off</a></li>
</ul>
<?xml version="1.0"?>
<!DOCTYPE minutes [
- <!ELEMENT minutes (about,participant*,entry*)>
+ <!ELEMENT minutes (about,participant*,presentation*,entry*)>
<!ELEMENT about (#PCDATA)>
<!ATTLIST entry
author CDATA #IMPLIED>
+ <!ELEMENT presentation (#PCDATA|ul)*>
+ <!ATTLIST presentation
+ media (blackboard|slides) #REQUIRED
+ slides CDATA #IMPLIED
+ site CDATA #REQUIRED
+ author CDATA #REQUIRED>
+
<!ELEMENT participant (#PCDATA)>
<!ATTLIST participant
- file CDATA #IMPLIED>
+ site CDATA #REQUIRED
+ file CDATA #REQUIRED>
+
+ <!ELEMENT ul (li*)>
+
+ <!ELEMENT li (#PCDATA|ul)*>
]>
<minutes>
<about>the Kick-Off</about>
- <participant file="bologna/asperti"/>
- <participant file="bologna/sacerdoti"/>
- <participant file="inria/herbelin"/>
- <participant file="inria/rideau"/>
- <participant file="inria/pottier"/>
- <participant file="inria/werner"/>
- <participant file="nijmegen/geuvers"/>
- <participant file="nijmegen/wiedijk"/>
- <participant file="dfki/moschner"/>
- <participant file="trusted-logic/gimenez"/>
- <participant file="aei/schutz"/>
- <participant file="aei/wegner"/>
- <participant file="aei/velden"/>
- <participant file="aei/kelley"/>
+ <participant site="bologna" file="asperti"/>
+ <participant site="bologna" file="sacerdoti"/>
+ <participant site="inria" file="herbelin"/>
+ <participant site="inria" file="rideau"/>
+ <participant site="inria" file="pottier"/>
+ <participant site="inria" file="werner"/>
+ <participant site="nijmegen" file="geuvers"/>
+ <participant site="nijmegen" file="wiedijk"/>
+ <participant site="dfki" file="moschner"/>
+ <participant site="trusted-logic" file="gimenez"/>
+ <participant site="aei" file="schutz"/>
+ <participant site="aei" file="wegner"/>
+ <participant site="aei" file="velden"/>
+ <participant site="aei" file="kelley"/>
+ <participant site="aei" file="weyher"/>
+ <participant site="aei" file="pollney"/>
+ <presentation site="bologna" author="asperti" media="blackboard">
+ A comparison of the aims and approaches of HELM and OpenMath.
+ </presentation>
+ <presentation site="inria" author="pottier"
+ media="slides" slides="kick-off/lemme2.ppt">
+ Presentation of the work of Sophia-Antipolis: Project Lemme;
+ PCoq (an interface to the Coq system based on Aioli [for tree management],
+ PPML [a sort of stylesheet language] and Figue [rendering engine]).
+ </presentation>
+ <presentation site="inria" author="herbelin" media="slides">
+ Presentation of the work of Rocquencourt: Coq (proof assistant) and its
+ problems:
+ <ul>
+ <li>Classification of theories:
+ <ul>
+ <li>Actually based only on the affiliation of the author.</li>
+ <li>We should have classifications based on subject, theme, author, etc.</li>
+ </ul>
+ </li>
+ <li>Retrieving:
+ <ul>
+ <li>By pattern. Problem: the patterns (n < m+1) and (n <= m) are
+ differents but denote the same thing.</li>
+ <li>By isomorphisms. Problem: we can capture just a few of them.</li>
+ </ul>
+ </li>
+ <li>Proof Rendering in Natural Language: still too many detailed.
+ Views at different levels of detail can probably help.
+ </li>
+ <li>Modularity</li>
+ </ul>
+ </presentation>
+ <presentation site="nijmegen" author="geuvers" media="slides">
+ Presentation of the work of Nijmegen; why Nijmegen is interested in MOWGLI;
+ planned contributions to MOWGLI.
+ </presentation>
+ <presentation site="aei" author="wegner" media="blackboard">
+ Presentation of the projects in which he is envolved or that he is
+ coordinating; interest in metadata; problems related to having papers
+ in electronic form. His main contribution will be providing links to
+ mathematicians.
+ </presentation>
+ <presentation site="aei" author="schutz" media="slides">
+ Presentation of the work done at the Max Planck Institute for Gravitational
+ Physics; presentation of Living Reviews in Relativity and expectations
+ from MOWGLI (i.e. searching, rendering, interoperability). He points out
+ how Living Reviews in Relativity already provide a notion of versioning;
+ how hyperlinks are managed (often opening pop-ups). He finally presents
+ some data that show that on-line browsing of papers really happens.
+ </presentation>
+ <presentation site="trusted-logic" author="gimenez" media="blackboard">
+ Presentation of the work done at Trusted Logic. Brief introduction to
+ the Common Criteria Software: lot of documentation must be produced for
+ third (and fourth!) parties evaluation; formal evaluation is one goal
+ (not yet reached). The main problems Trusted Logic meets are:
+ <ul>
+ <li>Presentation</li>
+ <li>Managing thousands of definitions/theorems and links between them</li>
+ <li>Evaluators needs: hiding/displaying information; different views on the
+ same proofs/definitions; metadata; backpointers (which lemmas are
+ used in a theorem)</li>
+ <li>Interoperability with other software tools</li>
+ <li>Proofs mantainance</li>
+ </ul>
+ A final remark is that Trusted Logic is just interested in provability
+ (and proof-scripts) and not in proofs (i.e. lambda-terms or natural
+ language description of them).
+ </presentation>
+ <presentation site="dfki" author="moschner" media="slides">
+ Presentation of the work done at DFKI. Contributions to MOWGLI: OMDoc
+ (to encode mathematical documents) and/or MBase (to distribute mathematical
+ documents) and metadata.
+ </presentation>
<entry author="aei/wegner">
Whenever someone is going to make a talk, he must report this to him.
</entry>
--- /dev/null
+<?xml version="1.0" encoding="iso-8859-1"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Dennis</name>
+ <surname>Pollney</surname>
+ <qualification>Dr.</qualification>
+ <e-mail>pollney@aei-potsdam.mpg.de</e-mail>
+ <url>http://www.aei.mpg.de/cgi-bin/interface/people.cgi?key=pollney</url>
+ <address>
+ Max-Planck-Institut für Gravitationsphysik,
+ Albert-Einstein-Institut,
+ Am Mühlenberg 1,
+ 14476 Golm
+ </address>
+ <telephone>+49 (331) 567-7367</telephone>
+ <fax>+49 (331) 567-7298</fax>
+</person>
--- /dev/null
+<?xml version="1.0" encoding="iso-8859-1"?>
+
+<!DOCTYPE person SYSTEM "../person.dtd">
+
+<person>
+ <name>Christina</name>
+ <surname>Weyher</surname>
+ <e-mail>weyher@aei-potsdam.mpg.de</e-mail>
+ <url>http://www.aei.mpg.de/cgi-bin/interface/people.cgi?key=weyher</url>
+ <address>
+ Max-Planck-Institut für Gravitationsphysik,
+ Albert-Einstein-Institut,
+ Am Mühlenberg 1,
+ 14476 Golm
+ </address>
+ <telephone>+49 (331) 567-7441</telephone>
+ <fax>+49 (331) 567-7449</fax>
+</person>
<from site="aei">
<person file="schutz"/>
<person file="wegner"/>
+ <person file="pollney"/>
<person file="kelley"/>
<person file="velden"/>
+ <person file="weyher"/>
</from>
<from site="trusted-logic">
<person file="bolignano"/>
--- /dev/null
+<?xml version="1.0"?>
+
+<xsl:stylesheet version="1.0"
+ xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+
+<xsl:import href="common.xsl"/>
+
+<xsl:output method="xml"/>
+
+<xsl:template match="/">
+ <html>
+ <head>
+ <title>Project Management</title>
+ </head>
+ <body>
+ <xsl:apply-templates/>
+ </body>
+ </html>
+</xsl:template>
+
+<xsl:template match="management">
+ <xsl:copy-of select="head-links/*"/>
+ <xsl:copy-of select="introduction/*"/>
+ <dl>
+ <xsl:apply-templates select="main"/>
+ </dl>
+ <xsl:copy-of select="other-infos/*"/>
+ <xsl:copy-of select="tail-links/*"/>
+</xsl:template>
+
+<xsl:template match="project-manager">
+ <dt>
+ <span style="font-weight: bold">Project Manager: </span>
+ <a href="../people/{@site}/{@file}.html">
+ <xsl:call-template name="person-name">
+ <xsl:with-param name="file" select="concat(@site,'/',@file)"/>
+ </xsl:call-template>
+ </a>
+ </dt>
+ <dd>
+ <xsl:value-of select="mandate"/>
+ </dd>
+</xsl:template>
+
+<xsl:template match="exploitation-manager">
+ <dt>
+ <span style="font-weight: bold">Exploitation Manager: </span>
+ <a href="../people/{@site}/{@file}.html">
+ <xsl:call-template name="person-name">
+ <xsl:with-param name="file" select="concat(@site,'/',@file)"/>
+ </xsl:call-template>
+ </a>
+ </dt>
+ <dd>
+ <xsl:value-of select="mandate"/>
+ </dd>
+</xsl:template>
+
+<xsl:template match="work-package-leaders">
+ <dt>
+ <span style="font-weight: bold">Work-Package Leaders</span>
+ </dt>
+ <dd>
+ <table>
+ <tr>
+ <xsl:for-each select="document('../xml/work-packages/index.xml')/work-packages/work-package">
+ <td>
+ <a href="../work-packages/{@file}.html">
+ <xsl:value-of select="document(concat('../xml/work-packages/',@file,'.xml'))/*/name"/>
+ </a>
+ </td>
+ </xsl:for-each>
+ </tr>
+ <tr>
+ <xsl:for-each select="document('../xml/work-packages/index.xml')/work-packages/work-package">
+ <td>
+ <xsl:variable name="leader" select="document(concat('../xml/work-packages/',@file,'.xml'))/*/leader/@file"/>
+ <a href="../people/{$leader}.html">
+ <xsl:call-template name="person-name">
+ <xsl:with-param name="file" select="$leader"/>
+ </xsl:call-template>
+ </a>
+ </td>
+ </xsl:for-each>
+ </tr>
+ </table>
+ <xsl:value-of select="mandate"/>
+ </dd>
+</xsl:template>
+
+<xsl:template match="technical-contributors">
+ <dt>
+ <span style="font-weight: bold">Technical Contributors</span>
+ </dt>
+ <dd>
+ <xsl:value-of select="mandate"/>
+ </dd>
+</xsl:template>
+
+<xsl:template match="project-coordination-committee">
+ <dt>
+ <span style="font-weight: bold">Project Coordination Committee</span>
+ </dt>
+ <dd>
+ <p>
+ <xsl:text>Chaired by </xsl:text>
+ <xsl:variable name="filename" select="concat(chair/@site,'/',chair/@file)"/>
+ <a href="../people/{$filename}.html">
+ <xsl:call-template name="person-name">
+ <xsl:with-param name="file" select="$filename"/>
+ </xsl:call-template>
+ </a>
+ </p>
+ <p>
+ <xsl:text>Members:</xsl:text>
+ <span style="margin-left: 1cm">
+ <table>
+ <tr>
+ <xsl:for-each select="member">
+ <td style="text-align: center"><xsl:value-of select="@site"/></td>
+ </xsl:for-each>
+ </tr>
+ <tr>
+ <xsl:for-each select="member">
+ <td style="text-align: center">
+ <xsl:variable name="filename" select="concat(@site,'/',@file)"/>
+ <a href="../people/{$filename}.html">
+ <xsl:call-template name="person-name">
+ <xsl:with-param name="file" select="$filename"/>
+ </xsl:call-template>
+ </a>
+ </td>
+ </xsl:for-each>
+ </tr>
+ </table>
+ </span>
+ </p>
+ <xsl:value-of select="mandate"/>
+ </dd>
+</xsl:template>
+
+<xsl:template match="project-exploitation-board">
+ <dt>
+ <span style="font-weight: bold">Project Exploitation Board</span>
+ </dt>
+ <dd>
+ <p>
+ <xsl:text>Chaired by </xsl:text>
+ <xsl:variable name="filename" select="concat(chair/@site,'/',chair/@file)"/>
+ <a href="../people/{$filename}.html">
+ <xsl:call-template name="person-name">
+ <xsl:with-param name="file" select="$filename"/>
+ </xsl:call-template>
+ </a>
+ </p>
+ <p>
+ <xsl:text>Members:</xsl:text>
+ <span style="margin-left: 1cm">
+ <table>
+ <tr>
+ <xsl:for-each select="member">
+ <td style="text-align: center"><xsl:value-of select="@site"/></td>
+ </xsl:for-each>
+ </tr>
+ <tr>
+ <xsl:for-each select="member">
+ <td style="text-align: center">
+ <a href="../people/{$filename}.html">
+ <xsl:call-template name="person-name">
+ <xsl:with-param name="file" select="concat(@site,'/',@file)"/>
+ </xsl:call-template>
+ </a>
+ </td>
+ </xsl:for-each>
+ </tr>
+ </table>
+ </span>
+ </p>
+ <xsl:value-of select="mandate"/>
+ </dd>
+</xsl:template>
+
+<xsl:template match="work-package-teams">
+ <dt>
+ <span style="font-weight: bold">Work-Package Teams</span>
+ </dt>
+ <dd>
+ <xsl:value-of select="mandate"/>
+ </dd>
+</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:import href="common.xsl"/>
+
+<xsl:output method="xml"/>
+
+<xsl:template match="/">
+ <html>
+ <head>
+ <title>
+ <xsl:text>Summary of </xsl:text>
+ <xsl:value-of select="minutes/about"/>
+ </title>
+ </head>
+ <body>
+ <h1>Summary of <xsl:value-of select="minutes/about"/></h1>
+ <h2>Participants:</h2>
+ <ul>
+ <xsl:apply-templates select="minutes/participant">
+ <xsl:sort select="document(concat('../xml/people/',@site,'/',@file,'.xml'))/*/surname"/>
+ </xsl:apply-templates>
+ </ul>
+ <h2>Presentations:</h2>
+ <dl>
+ <xsl:apply-templates select="minutes/presentation"/>
+ </dl>
+ <h2>Minutes:</h2>
+ <p>
+ <span style="font-weight: bold">Note:</span>
+ The following entries reports only the important observations raised during
+ the meeting and the decisions taken.
+ </p>
+ <ul>
+ <xsl:apply-templates select="minutes/entry"/>
+ </ul>
+ </body>
+ </html>
+</xsl:template>
+
+<xsl:template match="entry">
+ <li>
+ <xsl:if test="@author">
+ <xsl:text>[</xsl:text>
+ <a href="../people/{@author}.html">
+ <xsl:call-template name="person-name">
+ <xsl:with-param name="file" select="@author"/>
+ </xsl:call-template>
+ </a>
+ <xsl:text>]</xsl:text>
+ </xsl:if>
+ <xsl:apply-templates/>
+ </li>
+</xsl:template>
+
+<xsl:template match="participant">
+ <li>
+ <a href="../people/{@site}/{@file}.html">
+ <xsl:call-template name="person-name">
+ <xsl:with-param name="file" select="concat(@site,'/',@file)"/>
+ </xsl:call-template>
+ </a>
+ <xsl:text>  (</xsl:text>
+ <xsl:value-of select="@site"/>
+ <xsl:text>)</xsl:text>
+ </li>
+</xsl:template>
+
+<xsl:template match="presentation">
+ <dt>
+ <a href="../people/{@site}/{@author}.html">
+ <xsl:call-template name="person-name">
+ <xsl:with-param name="file" select="concat(@site,'/',@author)"/>
+ </xsl:call-template>
+ </a>
+ <xsl:text> (</xsl:text>
+ <xsl:value-of select="@site"/>
+ <xsl:text>):</xsl:text>
+ <xsl:if test="@media = 'slides'">
+ <xsl:choose>
+ <xsl:when test="@slides">
+ <xsl:text>[</xsl:text>
+ <a href="../../misc/{@slides}">
+ <xsl:text>Get the slides</xsl:text>
+ </a>
+ <xsl:text>]</xsl:text>
+ </xsl:when>
+ <xsl:otherwise>
+ <xsl:text> [slides unavailable]</xsl:text>
+ </xsl:otherwise>
+ </xsl:choose>
+ </xsl:if>
+ </dt>
+ <dd>
+ <xsl:copy-of select="*|text()"/>
+ </dd>
+</xsl:template>
+
+</xsl:stylesheet>
projects / helm.git / commitdiff