EN FR DE
 
Accueil Qui sommes-nous ? Participez Espace presse
Bibliothèque
Megalab
Méthodes
Cours en ligne
Nouvelles
Evénements


Membre 

Ma communauté
Forum
En pratique
Outils

Lettre d’information

Numéros précédents




  Home > Evénements > Evénements spéciaux > Sixième Conférence sur la Gestion des Connaissances Mathématiques  

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.

Droits d'auteur - Clause de non-responsabilité - Contacts - Plan du site