The Loria is proud to announce a colloquium presentation by Laura Kovács on “Induction and synthesis in saturation-based theorem proving“.
Next Loria Colloquium will take place on Tuesday, September 16th at 1:30 pm in the Amphitheater.
We will have the pleasure to welcome Luca De Feo, researcher at IBM Research Europe, with a presentation entitled “A Personal History of Isogeny-based Cryptography“.
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.
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“.
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“.
