Sechste Konferenz über mathematisches Wissensmanagement
Die 6. Internationale Konferenz über mathematisches Wissensmanagement – MKM 2007 – findet vom 27.- 30. Juni 2007 am RISC (Research Institute for Symbolic Computation - Institut für Symbolisches Rechnen) in Linz, Österreich, statt. Ein weiterer, von Paul Libbrecht organisierter Workshop, Mathematical User Interfaces (Mathematische Benutzerschnittstellen) – MathUI07 – findet anlässlich der gleichen Veranstaltung statt.
Das mathematische Wissensmanagement ist ein innovatives Fachgebiet zwischen der Mathematik und der Informatik. Seine Entwicklung wird einerseits von den neuen technologischen Möglichkeiten von Internet, IKT und intelligenter Wissensverarbeitung und andererseits durch die Notwendigkeit der neuen Techniken, die schnell steigende Menge mathematischen Wissens zu bewältigen, vorangetrieben.
Über die Konferenz
Die Konferenz beschäftigt sich mit den wichtigen Interessenbereichen, wie z.B. mit den Quellen formalisierter Mathematik, der mathematischen Suche und Abfrage, den Deduktionssystemen, den digitalen Bibliotheken und Computeralgebrasystemen. Die Konferenz wird Teil der Sommerkonferenzreihe des RISC sein. Ein gemeinsames Anmeldeformular für die Konferenzen dieser Reihe wird erstellt.
- Weitere Information über MKM 2007 finden Sie hier.
Über den Workshop
Der Workshop über Mathematische Benutzerschnittstellen soll ForscherInnen zusammenführen, die sich mit mathematischem Wissensmanagement aus der Sicht der vom Endbenutzer verarbeiteten Mathematik befassen. Den BenutzerInnen werden so Schnittstellen und Softwaresysteme zur Verfügung gestellt, die ihre mathematische Arbeitserfahrung verbessern werden. Die behandelten Themen sind unter anderem menschliche Kommunikation mathematischer Inhalte, Vorstellung und Verarbeitung mathematischen Wissens, anhand von mathematischen Wissenspräsentationen erzeugte Arbeitsabläufe sowie interaktive Mathematik. Nach Beendigung des Workshops wird eine Softwaredemonstration organisiert, gefolgt von einem ausstellungsähnlichen Forum.
Beiträge und Demonstrationen von Benutzerschnittstellen für Mathematik sind willkommen. Sie können entweder: - bis zum 10. Mai 2007 per E-Mail einen Beitrag einreichen - oder bis zum 1. Mai eine Kurzfassung und bis zum 15. Mai 2007 eine Beitragsvorstellung abgeben.
|