Jean-François Cardoso, directeur de recherche CNRS à l’Institut d’Astrophysique de Paris est l’invité du prochain colloquium du Loria. Rendez-vous le jeudi 4 octobre à 13h30 dans l’amphithéâtre pour son exposé […]
Le prochain brunch de l'Université de Lorraine aura lieu le vendredi 5 octobre de 11h30 à 14h à la Maison Mosaïque de Saint-Dié-des Vosges, avec pour thème "GPS, géolocalisation et […]
Pascal Fontaine (Mosel-Veridis) will defend his habilitation on Monday, October 8th at 3PM in room C005. His presentation is entitled "Satisfiability Modulo Theories". Abstract: Satisfiability Modulo Theories (SMT) is an […]
Next SSL seminar will take place on Thursday, October 11th at 1.30 pm in the amphitheater. Bryan Ford (EPFL) will give a presentation entitled "Coins, Clubs, and Crowds: Scaling and Decentralization in Next-Generation […]
Next Formal Methods Seminar will take place on Tuesday, October 16th at 10 in room A008. Sergueï Lenglet (Loria, UL) will give a presentation entitled "HOpi in Coq : Locally […]
