Le prochain colloquium aura lieu le lundi 24 juin à 13h30 dans l'amphithéâtre. Nous aurons le plaisir d'accueillir Kristin Yvonne Rozier, chercheuse au département d'ingénierie spatiale et d'informatique d'Iowa State University. La présentation est intitulée "Rockets, Route-Analyzers, Rotorcraft, and Robonaut2: Intelligent, On-board Runtime Reasoning" et sera en anglais. Résumé : Runtime Verification (RV) has become critical to the deployment of a wide range of systems, including aircraft, spacecraft, satellites, rovers, and robots, as well as the systems that control them,…
Voir les détails »Next Loria colloquium will take place on Thursday, 17 October at 1:30 pm in the Amphitheater. We will have the pleasure to welcome Jean-Yves Le Boudec, honorary professor at EPFL and fellow of the IEEE. His presentation will be in English and is entitled "Time Sensitive Networks, Network Calculus and Clock Non-idealities". Abstract: Time Sensitive Networks offer guarantees on worst-case delay, worst-case delay variation and zero congestion loss. They find applications in many areas such as factory automation, embedded and…
Voir les détails »Next Loria colloquium will take place on Tuesday, 10th December at 1:30 pm in the Amphitheater. We will have the pleasure to welcome Jean Cardinal, professor at the Université Libre de Bruxelles, with a presentation (in English) entitled "Combinatorics, Geometry, and Algorithms". Abstract: Numerous interactions exist between the fields of combinatorics, discrete geometry — in the tradition initiated, among others, by Paul Erdős — and theoretical computer science. It is often fruitful to consider combinatorial abstractions to tackle computational geometry…
Voir les détails »Next Loria colloquium will take place on Thursday, 22nd May at 1:30 pm in the Amphitheater. We will have the pleasure to welcome Bettina Speckmann, full professor at Eindhoven University of Technology, with a presentation in English, entitled River channels and dual loops: computational geometry in the field. Abstract: Computational geometry is the area within algorithms research that deals with the design and analysis of algorithms and data structures for spatial data. In this talk I will present a variety…
Voir les détails »Next Loria Colloquium will take place on Thursday, 26th June at 1:30 pm in Loria's amphitheater. We will have the pleasure to welcome Alexander Koller, Professor of Computational Linguistics at Saarland University, for a presentation in English, entitled Solving complex problems with large language models. Solving complex problems with large language models. One of the great promises that people connect with LLMs is that they can make complex problem-solving with computers accessible to lay users. Unlike traditional symbolic solvers (e.g.…
Voir les détails »