Hugo Parlier, chercheur en mathématiques à l'université du Luxembourg, animera le colloquium du Loria le mardi 24 mars à 13h30 dans l'amphithéâtre. L'exposé sera en anglais. Title: "Playing puzzles on complicated surfaces" Abstract: This talk will be about a project aiming to illustrate geometry through puzzles. The puzzles are played on surfaces, and have natural configuration graphs with a geometry of their own. These graphs are not completely unlike other combinatorial graphs used in the study of moduli spaces of surfaces…
Voir les détails »La colloquium Loria a le plaisir d'accueillir Pablo Jensen, chercheur au CNRS, membre du laboratoire de physique de l'Ecole normale supérieure de Lyon. Son exposé se déroulera lundi 30 mars à 14h00, dans l'amphithéâtre du Loria. Il sera en français. Intitulé : « Pourquoi la société ne se laisse pas mettre en équations ? » Résumé : Croissance économique, classements des lycées, publicités sur le Web: de plus en plus, nos actions sont mises en chiffres, en équations, pour aiguiller…
Voir les détails »Mathieu d'Aquin, Professor of Informatics specialised in data analytics and semantic technologies at the Data Science Institute and the Insight Centre for Data Analytics of the National University of Ireland Galway, is the next speaker for Loria's colloquium. The colloquium will take place on Teams on Thursday, April 1st at 1pm, with a presentation entitled "Data and knowledge as commodities". Abstract: While data has become increasingly available in the last few years, those data and the models used to analyse them are becoming less…
Voir les détails »Next Colloquium will take place on Tuesday, 20th April at 1:30 pm on Teams. We are glad to welcome the CELLO team, with presentations given by our colleagues Hans van Ditmarsch, Marta Gawek and Mo Liu. Program and abstracts: 13:30 - 14:00 speaker: Hans van Ditmarsch, CELLO @ LORIA title: Knowledge and simplicial complexes abstract: Simplicial complexes are a versatile and convenient paradigm on which to build all the tools and techniques of the logic of knowledge, on the assumption…
Voir les détails »
Next Colloquium Loria will take place on Thursday, 28 October at 1:30 pm in the Amphitheater. We are delighted to welcome Jaco van de Pol, Professor of Computer Science in Aarhus University, with a talk entitled "Explainable Verification of Safety and Security of Software Systems". Verification of safety-critical (software) systems is essential, but requires automation to be applied full scale. The first half of the presentation will mention contributions that pushed the scalability of verification, in particular symbolic and parallel…
Voir les détails »
