Industrie du logiciel : d’éminents scientifiques israéliens à Grenoble pour ETAPS 2014

[:fr]Le prochain congrès international ETAPS (European Joint Conferences on Theory and Practice of Software) accueillera 800 scientifiques internationaux dans le domaine du logiciel dont plusieurs éminents scientifiques israéliens, au World Trade Center à Grenoble du 5 au 13 avril 2014. Notamment le Prof Orna Kupferman de l’Université Hébraïque de Jérusalem, le Prof David Harel de l’Institut Weizmann, le Prof Lenore Zuck de l’université de l’Illinois à Chicago (USA), le Prof Doron Peled, de la faculté d’informatique de l’Université Bar Ilan, et l’israélo-américain Moshe Vardi, Professeur à l’université Rice (USA), expert renommé en model checking, en satisfaction de contraintes en théorie des bases de données, en logique de la connaissance commune et en informatique théorique. ETAPS est organisé par le laboratoire de recherche Verimag (UJF, CNRS, Grenoble INP), l’Université Joseph Fourier (UJF) et le Labex PERSYVAL-Lab.

ETAPS (www.etaps.org/) est un des principaux événements scientifiques concernant les méthodes de développement du logiciel. Déjà accueilli à Grenoble en 2002, ce grand congrès international a choisi à nouveau ce site et conforte ainsi l’écosystème exceptionnel local en matière de recherche logicielle.

ETAPS 2014 regroupera 6 grandes conférences internationales :
– CC : International Conference on Compiler Construction
– ESOP : European Symposium on Programming
– FASE : Fundamental Approaches to Software Engineering
– FOSSACS : Foundations of Software Science and Computation Structures – POST : Principles of Security and Trust

– TACAS : Tools and Algorithms for the Construction and Analysis of Systems

et 24 workshops. Les conférences se tiendront au World Trade Center de Grenoble, et les workshops sur le campus dans les locaux de IM2AG.

Après Rome en 2013, Tallinn en 2012 et Sarrebruck en 2011, qui ont attiré chacune plus de 800 chercheurs et étudiants en thèse, en provenance d’Europe, d’Amérique du nord et d’Asie, cette nouvelle édition de ETAPS va conforter Grenoble en tant que capitale du logiciel et compter dans la candidature de la capitale des Alpes pour l’appel à labellisation lancé par Fleur Pellerin. Baptisé « Metropole French Tech », ce label consiste à mettre en avant des villes disposant d’un environnement particulièrement favorable à l’implantation de start-ups.

Une conférence exceptionnelle en l’honneur de Joseph Sifakis le 6 avril 2014

A l’occasion de ETAPS 2014, une conférence exceptionnelle est organisée en l’honneur de Joseph Sifakis, prix Turing 2007, directeur de recherche CNRS, docteur UJF, et fondateur du laboratoire Verimag. Cette conférence se déroulera le 6 avril prochain en présence d’Alberto Sangiovanni, professeur à l’Université de Californie (Berkeley – USA) ; Janos Sztipanovits, professeur à Vanderbilt University (Nashville – USA), fondateur de l’Institute for Software integrated systems (ISIS) ; David Harel, professeur à l’Institut Weizmann ; Manfred Broy, doyen de la Faculté d’informatique de l’Université technique de Munich (TUM).

Ces personnalités internationales présenteront leur vision sur l’évolution des sciences et technologies de l’information et leur impact économique et social. Cette vision repose sur deux innovations majeures et complémentaires qui s’apprêtent à révolutionner nos sociétés :

–        Les systèmes « Cyber-physique » (cyber-physical systems) qui seront des objets construits par assemblage de composants intelligents intégrant des fonctionnalités matérielles et computationnelles.
–        L’internet des objets (internet of things) est la nouvelle infrastructure pour la connexion et l’interaction des systèmes cyber-physique.

L’un des étudiants du regretté Professeur israélien Amir Pnueli (Institut Weizmann), l’israélien Oded Maler, est actuellement directeur de recherche au Verimag. Amir Pnueli avait reçu le prix Turing 1996 (Nobel de l’informatique) pour son travail fondateur introduisant la logique temporelle en informatique et pour des contributions exceptionnelles à la vérification des programmes et systèmes.

Contact presse : Muriel Jakobiak-Fontana- responsable communication

UJF – 0476514498/0671069226 – Sur Twitter @JakobiakMuriel[:en]Verimag Laboratory organises with Université Joseph Fourier and the Laboratory of excellence, PERSYVAL-Lab, the European Joint Conferences on Theory and Practice of Software (ETAPS), which will take place in Grenoble from April 5^th to April 13^th at the World Trade Center. 800 international scientists working in the software field are expected in Grenoble for this exceptional event. Among them, israeli researchers, Prof Orna Kupferman (Hebrew University), Prof David Harel Weizmann Institute, Prof Lenore Zuck Illinois University in Chicago (USA),  Prof Doron Peled from  Bar Ilan University, and israeli-american Moshe Vardi.

ETAPS is one of the main scientific event regarding methods of development of software. This great international congress which already took place in Grenoble in 2002, has chosen the city again, reassuring its outstanding ecosystem with regard to software research studies.

As well as 24 workshops, 6 great international conferences will be held during ETAPS 2014:

– CC: International Conference on Compiler Construction
– ESOP: European Symposium on Programming
– FASE: Fundamental Approaches to Software Engineering
– FOSSACS: Foundations of Software Science and Computation Structures

– POST:   Principles of Security and Trust

– TACAS: Tools and Algorithms for the Construction and Analysis of Systems

The conferences will take place in the Grenoble World Trade Center and the workshops will be organized on the campus, in the IM²AG premises.

After Rome in 2013, Tallinn in 2012 or Sarrebruck in 2011, which each city attracting more than 800 scientists and Ph.D students from Europe, North America and Asia, this seventeenth edition of ETAPS should confirm Grenoble as the software capital city and weigh on its application to the labelling  « French Tech ».

An exceptional conference to honour Joseph Sifakis on April 6^th 2014

ETAPS 2014 is also the opportunity to hold an exceptional conference to honour Joseph Sifakis, winner of the Turing Award in 2007, head of research at the CNRS, doctor UJF and founder of Verimag laboratory. This conference will taken place on April 6^th in the presence of Alberto Sangiovanni, professor at Berkeley University (California, USA) ; Janos Sztipanovits, professor at Vanderbilt University (Nashville, USA) and founder of the Institute for Software integrated systems (ISIS) ; David Harel, professor at Weizmann Institute of Science in Israël ; Manfred Broy, dean of the Faculty of informatics at the Technical University of Munich (TUM).

Press contact : Muriel Jakobiak-Fontana- head of communication at UJF – 33 4 76 51 44 98/ 33 6 71 06 9226 – On Twitter @JakobiakMuriel[:]