Accueil

Prospective pour l'évaluation de 2019

• Concepts et outils pour la modélisation et vérification de systèmes complexes (réécriture de graphes, raisonnement automatisé etc.)

• Formalisation de preuve en mathématiques appliquées et en informatique théorique (e.g., développement de corpus certifiés de définitions, théorèmes et algorithmes pour les mathématiques financières, la logique etc.)

• Informatique quantique

Démarrer avec MediaWiki

• Guide de l’utilisateur pour plus d’informations sur l’utilisation de ce logiciel.
• Liste des paramètres de configuration
• FAQ sur MediaWiki
• Liste de discussion sur les distributions de MediaWiki