Thesis Subjects

---------------------------------------------------------------------- ----------------------------------------------------------------------

27 January 2014 - Thesis Subjects 2014
Proposed thesis subjects YEAR 2014: This list is updated after every arrival of a new proposal. If you wish to be a candidate for any of these subjects, contact the thesis supervisors. (...)

---------------------------------------------------------------------- ordre des news : précédemment order=ctime or -ctime ----------------------------------------------------------------------

Coming events (more information)

---------------------------------------------------------------------- -------------1er argument : portée max en nombre jour------------------------------ -------------2er argument : nombre max de rdv affichés----------------------------- Aucun rendez-vous dans les 7 jours à venir. ---------------------------------------------------------------------- ----------------------------------------------------------------------

Front page...

------------------------- Listage des news --------------------------- ----------------------------------------------------------------------

22 avril 2014 - Le logiciel Coq récompensé

L'assistant à la preuve Coq vient d'être distingué par le prestigieux prix "ACM Software System Award", qui récompense une institution ou des individus pour le développement d'un système logiciel particulièrement influent par sa contribution conceptuelle et/ou son acceptabilité commerciale.
Coq est un logiciel permettant à la fois la production de programmes certifiés et la preuve de théorèmes mathématiques. De nombreux contributeurs ont participé à sa conception, sa réalisation et sa large diffusion. Une communauté de plus en plus large d'utilisateurs contribue à en établir de nouvelles applications.
Parmi les neuf récipiendaires explicitement nommés, figure Pierre Castéran, membre de l'équipe Méthodes Formelles du LaBRI et co-auteur avec Yves Bertot du livre surnommé le Coq'Art, qui a largement contribué à la diffusion et l'enseignement de Coq sur plusieurs continents.
Nous sommes heureux de souligner que ce prix récompense une recherche collaborative menée sur une très longue durée, l'interaction entre théorie et programmation, et la synergie entre recherche et diffusion de la science.

Contact :

25 March 2014 - The SIMBALS start-up honoured in the CNRS Innovation Letter

Simbals (SIMilarity Between Audio signaLS) is a start-up founded in 2012 by four LaBRI researchers. It develops products based on new technologies for audio signal recognition inspired by algorithms originally designed for biological structure recognition.
It is currently on the front page of the INS2I scientific news. For more information see here.

Contact :

18 March 2014 - Conference debate: Drones: symptom of a society in automatisation?

A conference-debate (science - medias - sociéty) titled "Les drones : symptôme d'une société en automatisation ?" will take place on Tuesday 18 March 2014 at 6:30pm on the TV platform of the IJBA, 1 rue Jacques Ellul, Bordeaux.
It is part of the cycle "Industrial innovation in Aquitaine, a long history!".
Serge Chaumette is one of the participants in this round table, in the course of which he will present current directions of research in the area. Other participants will include Bruno Ferret, scientific journalist and Pascal Ragouet, professor of sociology at the University of Bordeaux.
The debate will be chaired by Claire Gouny.

Contact :

13 March 2014 - Nomination to the Gabriel Lamé chair

Alexandre Zvonkine, professor at the University of Bordeaux and a LaBRI member, has been nominated to the Gabriel Lamé chair, at the University of Saint Petersburg. This Franco-Russian chair was created by the French Embassy in Russia and the prestigious Tchebychev laboratory of the state University of Saint Petersburg to celebrate and strengthen the links between French and Russian mathematical communities. It has been awarded this year for the first time.
Alexandre Zvonkine is a specialist in the combinatorics of maps and applications to the theory of Riemann surfaces and Galois theory.

21 February 2014 - A CNRS medal for Mireille Bousquet-Mélou

Mireille Bousquet-Mélou, Director of research at the LaBRI, is a spécialist in combinatorics, at the interface between mathematics, informatics and physics. Her work on large random structures in particular has attracted the attention of the scientific community, as well as her results on self-avoiding walks and her exploration of the concept of catalytic variable equations.

This year Mireille Bousquet-Mélou will receive the CNRS silver medal, awarded by the INSMI. She has already been rewarded by the bronze medal in 1993, and also by the Academy of Science Saulces de Freycinet prize in 2009.

The distinction which honours her today contributes to the reputation of the LaBRI and the whole Bordeaux campus.

21 February 2014 - 8th FoIKS conférence

From 3 to 7 March 2014, the 8th FoIKS (Foundations of Information and Knowledge Systems) conference will be held at the LaBRI. The conference takes place every two years. It is an important opportunity for exchanges between scientists involved with management of knowledge, logic, data bases and reasoning. More details are available on the site

20 February 2014 - The LaBRI in the metro, double hit...

Showing its multi-disciplinary image the LaBRI is present twice in the CNRS fresco which is very visible in the long passageway of the Montparnasse metro station.

Presented by the INS2I, the MaBioVis team's work on visualisation of massive data sets has a place of honour.
Presented by the INSHS, the Vircopal® project (AST - PACEA - LaBRI) opens the fresco with the title "Reconstituting the past" presenting a picture produced in 3D research as part of the Franco-Russian LIA.

---------------------------------------------------------------------- ----------------------------------------------------------------------

Historique des news

Page mise à jour le 18/10/2013 à 11:00