Dylan Marinho (Veridis) will defend his thesis, entitled "Theoretical and algorithmic contributions to the analysis of safety and security properties in timed systems under uncertainty", on Tuesday, October 3 at 10am in room A008. Abstract: Real-time systems can be used in a wide range of applications, such as transport, telecommunications and industry. However, accidents can happen, and it is necessary to have confidence in these systems in order to avoid them. It is therefore necessary to formally prove that their…
Voir les détails »
Pas nouvelle mais désormais omniprésente dans notre quotidien, l’intelligence artificielle fascine autant qu’elle suscite la méfiance… Mais à quoi renvoie cette curieuse appellation ? Loin d’être dotées d’une conscience propre, ces machines tâchent de reproduire des logiques de raisonnement pour résoudre des problèmes… et semblent par ricochet en soulever de nombreux autres, à l’échelle de la société entière. Interrogeons la notion-même d’intelligence et revenons aux fondamentaux de cette discipline et de ces systèmes, pour mieux comprendre les enjeux multiples qui…
Voir les détails »À l’occasion de la Fête de la Science 2023, les chercheurs du Loria participeront dans diverses animations, démonstrations et moments d’échange avec le grand public autour de leurs sujets d’expertise ! À noter sur vos agendas : 6 octobre : Projection-Débat "Des machines intelligentes aux machines pensantes", dans le cadre de la Fête de la Science, à la MJC de Laneuveville-devant-Nancy. Site de la MJC de Laneuveville 10 octobre : Conférence-débat “Intelligence artificielle : ça vous parle ?”, dans le cadre de…
Voir les détails »
Sous la forme d’ateliers, découvrez le travail des doctorant·es de l’Université de Lorraine. Manipulation, observation, jeux… servent à engager le dialogue. 🔗 Voir l'événement sur Factuel 🔗 Voir le programme en pdf Programme Acceptez-vous les cookies ? Florian Marchal, doctorant en informatique Localisation, âge, centres d’intérêts… les données utilisateurs sont utilisées par les applications pour nous rendre service. Mais à quel prix ? Laboratoire Lorrain de Recherche en Informatique et ses Applications – LORIA (Université de Lorraine, CNRS, Inria) Le…
Voir les détails »Djamel Eddine Amir (Mocqua) will defend his thesis, entitled "Computability of Topological Spaces", on Friday, October 6 at 2pm in room C005. Abstract: The main objective of this thesis is to examine the concept of "computable type" and enhance our overall understanding of this notion, as well as provide techniques for verifying or disproving this property. A compact metrizable space is said to have computable type if any semicomputable homeomorphic copy of that space is actually computable. This study builds upon the…
Voir les détails »
