Évènements
Rechercher un événement
17
Nov
Colloque MoMaS 2014 (Modélisation Mathématique et Simulations numériques liées à la gestion des déchets nucléaires)
Conference (CIRM, Luminy, Marseille)
Colloque dans le cadre du GDR MoMaS (prolongé par le GDR MaNu) - Sujets : - Calcul scientifique, - Mise au point de nouveaux schémas [...]
19
Nov
Journée du GDT Théorie effective des invariants (TEDI4)
(...)
Journée du Groupe de Travail sur la théorie des invariants (4ème édition) - Ce groupe de travail est issu de la rencontre inopinée de deux [...]
20
Nov
Les quotients d'Hironaka dans la résolution d'Hirzebruch-Jung
(...)
TBA[http://65.54.113.26/Author/53475684/francoise-michel]
20
Nov
Un formalisme pour réduire la taille des preuves
(...)
La deep inference est un formalisme des preuves généralisant le calcul des séquents. Il permet d'exprimer plus de logiques d'une façon plus compacte. Je passerai [...]
