| Partager |
|
Le Centre de recherche en informatique se consacre à l’étude des
Accéder au site du centre de recherche
Luc Perera, Pierre Jouvelot. TALA SOUND The Neurosciences and Music - VII, Jun 2020, Aarhus, Denmark
Thierry Lecomte, David Déharbe, Denis Sabatier, Etienne Prun, Patrick Péronne, Emmanuel Chailloux, Steven Varoumas, Adilla Susungi, Sylvain Conchon. Low Cost High Integrity Platform ERTS 2020 - 10th European Congress on Embedded Real Time Systems, Jan 2020, Toulouse, France
Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, Olivier Hermant. First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice Journal of Automated Reasoning, Springer Verlag, 2020, 64 (6), pp.1001-1050. ⟨10.1007/s10817-019-09533-z⟩
Frédéric Blanqui, Guillaume Genestier, Olivier Hermant. Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. ⟨10.4230/LIPIcs.FSCD.2019.9⟩
Blerina Gkotse, Pierre Jouvelot, Federico Ravotti. IEDM, an Ontology for Irradiation Experiment Data Management ESWC 2019 (European Semantic Web Conference), Jun 2019, Portoroz, Slovenia
Blerina Gkotse, Georgi Gorine, Pierre Jouvelot, Federico Ravotti, Giuseppe Pezzullo. Software Upgrades of Beam and Irradiation Test Infrastructures in AIDA-2020 Workshop ESWC, ESWC2019-EUProjectNetworking, Jun 2019, Portoroz, Slovenia
International
Meilleur article dans le domaine de l'automatique
Les travaux de Silvère Bonnabel , professeur au Centre de…
> En savoir +
Formation
Information quantique : une recherche féconde
Vers le qubit parfait Alors étudiant en thèse sous la…
> En savoir +
Formation
Le Rapport d'activité 2019 est en ligne
MINES ParisTech, établissement-composante de…
> En savoir +
Formation
Enquête 1 er emploi 2020
Toujours 100 % de réponses. L'enquête 1 er emploi du cycle Ingénieurs civils de MINES…
> En savoir +
Formation
Mon doctorat en confinement
des Initiatives pour poursuivre sa thèse pendant le confinement,…
> En savoir +
Le 6 juillet 2021 MINES ParisTech Research Day 2021
Le 25 septembre 2020 Soutenance de thèse de Blerina GKOTSE
Le 6 juillet 2021 MINES ParisTech Research Day 2021
Le 25 septembre 2020 Soutenance de thèse de Blerina GKOTSE
François IRIGOIN
Directeur du CRI
Fabien COELHO
Directeur-adjoint du CRI
> envoyer un mail Téléphone : 01 64 69 48 48
60, Boulevard Saint-Michel
75272 PARIS Cedex 06
Tél. : +33 1 40 51 90 00
Implantations
