Français Anglais
Accueil Annuaire Plan du site
Home > Laboratory news
Other laboratory news
#
Date
Titre
Bref
26.
10 November 2015
Recent Progress in the Computation of Matrix Functions
lecturer: Nicholas J. Higham, Professor, School of Mathematics, University of Manchester
27.
04 September 2015
The paper "Memetic Semantic Genetic Programming", by Robyn Ffrancon et Marc Schoenauer, from the A&O team, received the Best Paper Award in the Genetic Programming track at the last ACM-GECCO conference (Genetic and Evolutionary Computation COnference) in
28.
18 June 2015
The Horizon 2020 European proposal OpenDreamKit (Open Digital Research Environment Toolkit for the Advancement of Mathematics), led by LRI, has been accepted.

We recruit a full time developer at LRI!
29.
03 June 2015
Professor at Portland State University, and Digiteo chair
A Theory of Name Resolution
10:30, Amphi Digiteo Moulon (Bât 660)
30.
15 April 2015
At the VerifyThis@ETAPS competition,
- the best team award goes to the team Why3: Jean-Christophe Filliâtre and Guillaume Melquiond
- one of the two the distinguished user-assistance tool feature awards goes to the Why3 tool for the lemma library
31.
26 March 2015
Title : Looking for Adam in a tree
Lecturer : Gàbor LUGOSI, ICREA Research Professor, Barcelona,
26/3/2015, 14:30, Amphi Digiteo Moulon (Bât 660)
32.
28 January 2015
Nolwenn Maudet, PhD student in the HCC group at LRI, was awarded on January 28th, 2015, the Jury Award of the first EducNum competition, organized by CNIL (National Commission on Informatics and Freedom), in a ceremony attended by the Minister of Educatio
33.
27 January 2017
Two Academic Positions are opened: 1 full professor and 1 associate professor
34.
20 January 2015
Microgrids and their destructuring effects on the electrical industry
35.
04 December 2014
Designing and Learning Features for Music Information Retrieval
Juan Pablo Bello
Associate Professor, Music Technology New York University
36.
07 October 2014
Title: Desperately Needed Remedies for the Undebuggability of Large Floating-Point Computations in Science and Engineering
Lecturer: William Kahan, Emeritus Professor, University of California at Berkeley, ACM Turing Award
37.
01 September 2014
Lecturer: Rich Caruana,
Senior Researcher, Microsoft Research

Title:Do Deep Nets Really Need to Be Deep?
38.
23 September 2014
LRI organizes the first European Conference on Stochastic Optimization (EuroCSP) and Energy applications.
39.
11 September 2014
Two associate professor positions in Computer Science are opened at Supelec with research assignment to.LRI.
40.
09 September 2014
Fundamental limits of cooperative interference networks,
Daniela TUNINETTI, CR CNRS, Leader of the emergence project " IndexCod", Labex Digicosme
41.
07 July 2014
42.
04 July 2014
During the international conference PODC 2014 co-organized by the LRI et the LIP6, Leslie Lamport (Turing 2013 prize laureate) will give a talk entitled: "An Incomplete History of Concurrency, Chapter 1: 1965-1977" on the 17th of july
43.
04 July 2014
The Dijkstra prize will be awarded during the 33rd Symposium on Principes of Distributed Computing.
44.
07 June 2014
This award is presented for her career-long dedication to the Human-Computer Interaction community.
45.
01 July 2014
Le Higgs boson machine learning challenge (HiggsML) vient d’ouvrir. Pour la première fois, l'expérience ATLAS au CERN a rendu publique une partie des données de simulées utilisées par les physiciens pour optimiser l'analyse du boson de Higgs.
46.
04 June 2014
Journée Calcul et Simulation à Paris Sud
Mercredi 4 Juin 2014 Auditorium Lehman Bat 200
47.
03 June 2014
Here follows the ranking of the applicants on the different positions, confirmed by the Administration Council on June 3rd
48.
21 May 2014
Title: A combinatorial approach to the solitaire game
Lecturer: Antoine Deza, DR CNRS au LRI et titulaire de la Chaire Digiteo "Combinatorial Optimization"
49.
06 May 2014
Title: Multistage Stochastic Optimization: Approximations, Bounds and Time Consistency.
Lecturer: Georg Pflug, Prof. University of Vienna
Abstract: We discuss two aspects of multistage stochastic optimization. In the first part we presen
50.
21 June 2014
The proof assistant Coq receives the prestigious 2013 ACM Software System Award. It rewards the involvement of the Vals-Toccata team in the project, in the establishment of its theoretical foundations and in its development.
Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - Suivant [Page 2 sur 8]