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