Max-Planck-Institut für Gravitationsphysik (Albert-Einstein-Institut),
Am Mühlenberg 1,
D-14476 Golm,
Germany
| Participant |
Affiliation |
|
Schedule |
| Romeo Anghelache |
Albert Einstein Institute |
| On Hermes |
Describing the architecture of Hermes, as a
free software conversion tool from the TeX world to the XML world,
along with the general conventions used in the conversion process,
the way it actually works, its limits and its robustness.
The structure of the resulting document and its possible impact on digital archiving is also being discussed,
to help clarify why this (kind of) tool is useful at publishing structured
documents containing mathematics, and at (self)archiving them.
|
|
26 Oct., 10:30-12:00 |
| Open discussion about semantic conversion tools |
26 Oct., 14:00-15:20 |
| Paul Libbrecht |
DFKI, Universität des Saarlandes |
|
26 Oct., 15:30-16:10 |
| Heinz Kröger |
Zentralblatt MATH |
| XML news from ZentralBlatt |
|
|
26 Oct., 16:20-17:00 |
| Sebastian Pokutta |
Universität Duisburg-Essen |
| TexDocC project and long term preservation |
I'm going to talk about the core of the TeXDocC project, the TeXDocC Documentserver.
The main focus will be on the technical implementation of this server as a two component system with a service and an interface part. Actually, the full document server is build up of some kind of XML communication, so that it is possible to integrate the TeXDocC document service in a very simple way into a given library infrastructure.
An online demonstration of the current status (i.e. full core functionalities and simple XML Web interface) will be included. |
|
27 Oct., 10:00-11:00 |
| Thomas Fischer |
Universitätsbibliothek Göttingen |
| TexDocC project and long term preservation |
|
|
27 Oct., 10:00-11:00 |
| Michael Kohlhase |
International University Bremen |
| Semantic Markup for TeX/LaTeX |
|
We present a collection of TEX macro packages that allow to markup TEX/LATEX documents semantically without leaving the document format, essentially turning TEX/LATEX into a document format for mathematical knowledge management (MKM).
We analyze the current practice of semi-semantic markup in LATEX documents and supply a definition mechanism for semantic macros and a non-standard scoping construct for them, which is oriented at the semantic dependency relation rather than the document structure.
We evaluate the STEX macro collection on a large case study: the course materials of a a two-semester course in Computer Science was annotated semantically and converted to the OMDoc MKM format Bruce Miller’s LaTeXML system. |
|
27 Oct., 11:10-12:00 |
| Antal Iványi |
Eötvös Loránd University |
|
27 Oct., 14:00-14:30 |
| Thomas Severiens |
Institute for Science Networking |
Longterm content preservation in Physics
- Requirements on a Mark-Up Language |
|
|
27 Oct., 14:40-15:10 |
| Christina Weyher |
Albert Einstein Institute |
|
27 Oct., 15:20-16:00 |
| Viktor Belényesi |
Eötvös Loránd University |
|
| Christian Tønsberg |
Center of Knowledge Technology, DTU |
|
| Wolfram Sperber |
Zuse Institute, Berlin |
|
| Uwe Pöhle |
Zuse Institute, Berlin |
|
| Matthias Belz |
Springer Heidelberg |
|
| Michael Derr |
Zentralblatt MATH |
|
| Silke Göbel |
Zentralblatt MATH |
|
| Reiner Welk |
Zentralblatt MATH |
|
| Michael Jost |
Zentralblatt MATH |
|
| Bert Kuhfahl |
Zentralblatt MATH |
|