info-fst.dep.univ-lorraine.fr
Journées portes ouvertes | Département Informatique de la Faculté des sciences et technologies de Nancy
http://info-fst.dep.univ-lorraine.fr/2014/02/03/journees-portes-ouvertes
Journée Portes Ouvertes à la FST le 27 février 2016. Les journées portes ouvertes auront lieu samedi 15 février 2014 à l’ UFR MIM. À Metz et le samedi 22 février 2014 à la Faculté des Sciences et Technologies. À Nancy. La licence informatique de Nancy et de Metz sera présente aux deux rendez-vous. De tous les établissement de l’Université de Lorraine. L’UFR Mathématiques, Informatique, Mécanique et Automatique, sur l’île du Saulcy, ouvre ses portes le samedi 15 février 2014. Février 3, 2014.
sites.google.com
Sorin Stratulat's Home Page
https://sites.google.com/site/sorinica
In Computer Science at UFR MIM. Member of Calcul, graphes et logique. Research team at LITA. LITA, Université de Lorraine - site de Metz. 57045 METZ Cedex 1. 33) 03 87 31 53 29. 33) 03 87 31 53 09. Http:/ lita.univ-lorraine.fr/ stratula. Main Interest: theorem proving using induction techniques. Descente Infinie' Induction-based Reasoning. Equality Reasoning, Rewriting. Cooperation and Integration of Reasoning Systems, Decision Procedures. Applications: specification and test of critical software.