There are 7 Results with the keyword : "Software engineering"
The 12th edition of the International Conference on Software Engineering and Formal Methods will be held in Grenoble, France on September 1-5, 2014 . The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods. SEFM 2014 is organized by Inria and supported by Grenoble INP, University Joseph-Fourier, LIG, and CNRS.
During three days, Lille will host three events on software evolution and empirical software engineering. These events will gather researchers from Europe to exchange and share ideas on novel solutions that will model tomorrow's software engineering practices in the industry.
Place : Inria Lille - Nord Europe, Villeneuve d'Ascq
There are more bugs in real-world programs than human programmers can realistically address. Automatic program repair has been a longstanding goal in software engineering, yet debugging remains a largely manual process. From 9:30 to 10:30, Westley Weimer (University of Virginia) will give a talk on “Discovering Program Invariants and Automatic Program Repair.
Place : Salle plénière, Inria Lille - Nord Europe, Bâtiment A
Guest(s) : Westley Weimer, University of Virginia
THE CONFERENCE IS CANCELED -
Andreas Zeller will present "Software Tests for Free" at the Colloquium Polaris, Thursday, February 26, from 2pm to 3.30pm.
Place : Auditorium IRCICA, parc scientifique de la Haute Borne à Villeneuve d’Ascq
Guest(s) : Andreas Zeller
Andreas Zeller will present "Mining Sandboxes", for the Colloquium Polaris. The conference will take place at the Goubet amphi, Ecole Centrale, Cité Scientifique, Villeneuve d'Ascq, on November, Thursday the 26th, from 2p.m to 3:30p.m.
Place : Goubet amphi, Ecole Centrale, Cité Scientifique, Villeneuve d'Ascq
Careers at Inria - Interview
Olivier Savoie worked as a specialist young engineer on the CORESE software development project from 2003 to 2005. As part of Rose Dieng's ACACIA research team at Inria Sophia Antipolis, he has put his software engineering methods into practice to develop a semantic search engine.
Fingerprinting makes it possible to secretly collect data from net surfers that makes it possible to identify them. This is known as “fingerprinting”. The process is as effective as it is hard to detect. Two Inria teams, based inRennes and Lille,are seeking to exposethis potential menace to privacy.