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…
Find out more »
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…
Find out more »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…
Find out more »Next Colloquium Loria will take place on Thursday, 24 February on Teams. We are honored to welcome Serena Villata, Tenured researcher at CNRS at I3S, with a presentation entitled "Towards assessing natural language argument quality: results and open challenges". Abstract: Argumentation is the process by which arguments are constructed and handled. Thus argumentation means that arguments are compared, evaluated in some respect and judged in order to establish whether any of them are warranted. The field of artificial argumentation is emerging as an…
Find out more »Next Loria colloquium will take place on Thursday, 7th April at 1.30 pm in the Amphitheater with Hugo Parlier, Professor of Mathematics, Deputee Chair of the Department of Mathematics (DMATH), University of Luxembourg. His presentation will be in English and is entitled "Playing puzzles on complicated surfaces". Abstract: This talk will be about a project aiming to illustrate geometry through puzzles. The puzzles, played following simple rules on square-tiled surfaces, have natural configuration graphs with a geometry of their own. These graphs are not…
Find out more »
