Sites Inria

There are 7 Results with the keyword : "Software engineering"

Crédit photo : Pierre Jayet – Grenoble Tourisme et Congrès © Pierre Jayet – Grenoble Tourisme et Congrès

Conference

SEFM 2014 : Software Engineering and Formal Methods

1/09/2014 to 5/09/2014

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.

Keywords:

Home > Centre > Grenoble > Calendar > SEFM 2014 : Génie Logiciel et Méthodes Formelles

lire la suite

Event

EvoLille'15

2/12/2015 to 4/12/2015

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

Keywords:

Home > Centre > Lille > Calendar > EvoLille'15

lire la suite

Seminar

Software Engineering Seminars

10/10/2013

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

Keywords:

Home > Centre > Lille > Calendar > Software Engineering Seminars

lire la suite

Andreas Zeller

Event

/!\ CANCELED /!\ Colloquium Polaris: Andreas Zeller, "Software Tests for Free"

26/03/2015

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

Keywords:

Home > Centre > Lille > Calendar > /!\ ANNULÉ /!\ : Colloquium Polaris: Andreas Zeller, "Software Tests for Free"

lire la suite

Andreas Zeller

Évènement

Colloquium Polaris : Andreas Zeller "Mining Sandboxes"

26/11/2015

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

Keywords:

Home > Centre > Lille > Calendar > Colloquium Polaris : Andreas Zeller "Mining Sandboxes"

lire la suite

Olivier Savoie ingénieur jeune diplômé

Careers at Inria - Interview

Olivier Savoie, young graduate engineer

21/06/2010

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.

Keywords:

Home > Institute > Recruitment > Join us > Olivier Savoie, ingénieur jeune diplômé

More

(CC BY-NC 2.0) Twistiti

Fingerprinting

Smile, you’re being watched!

9/11/2015

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.

Keywords:

Home > Research > News > Souriez, vous êtes traqué !

More

Top