Sixième Conférence sur la Gestion des Connaissances Mathématiques
La sixième Conférence sur la Gestion des Connaissances Mathématiques - MKM 2007- se tiendra au RISC (Research Institute for Symbolic Computation) à Linz, en Autriche, du
27 au 30 juin 2007. Un atelier associé intitulé Mathematical User Interfaces - MathUI07- organisé par Paul Libbrecht, sera organisé parallèlement pour l’occasion.
La Gestion des Connaissances Mathématiques est un nouveau domaine à l’intersection entre les disciplines mathématiques et les disciplines informatiques. Son développement est poussé par les nouvelles possibilités technologiques offertes par Internet, les TIC et les systèmes de connaissances intelligents et par le besoin pour les nouvelles techniques de s’adapter aux connaissances de plus en plus nombreuses dans le domaine des mathématiques.
A propos de la conférence
La conférence se penchera sur des centres d’intérêt importants tels que les répertoires de mathématiques formalisées, la recherche en mathématiques et la remise en état, les systèmes de déduction, les bibliothèques numériques et les systèmes algébriques informatisés. La conférence figurera parmi l’ensemble des conférences d’été du RISC. Un formulaire d’inscription commun pour assister à l’ensemble des conférences sera élaboré.
A propos de l’atelier
L’atelier MathUI07 (Mathematical User Interfaces) vise à rassembler les chercheurs oeuvrant à la gestion des connaissances mathématiques du point de vue des mathématiques telles qu’elles sont manipulées par les utilisateurs finaux. Il proposera à ceux-ci des interfaces et des systèmes logiciels qui leur permettront d’enrichir leur expérience pratique dans le domaine des mathématiques. Des thèmes comprenant la communication humaine de contenus mathématiques, la présentation et les manipulations de connaissances mathématiques, les flux de travail induits par les représentations de connaissances mathématiques et les mathématiques interactives seront à l’ordre du jour. A la fin de l’atelier, une démonstration de logiciels sera organisée, suivie par un forum sous forme d’exposition.
Les propositions et les démonstrations d’interfaces utilisateurs consacrées aux mathématiques sont les bienvenues. Vous pouvez choisir de remettre : - une proposition papier email avant le 10 mai 2007 - ou un extrait le 1er mai ainsi qu’une présentation papier le 15 mai 2007.
|