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 »Le prochain colloquium du Loria aura lieu le 13 janvier à 13h30 sur Teams. Nous aurons le plaisir d'accueillir Pablo Jensen, chercheur CNRS, membre du laboratoire de physique de l'Ecole normale supérieure de Lyon, avec un exposé intitulé "Pourquoi la société ne se laisse pas mettre en équations ». 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 ou prédire nos comportements. Les big data nous permettront-elles…
Voir les détails »