Israeli researchers at ETAPS 2014 congress, in Grenoble from April 5th to 13th 2014

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 5th to April 13th 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.

L. to r. Doron Peled, Lenore Zuck, David Harel, Orna Kupferman, Moshe Vardi

L. to r. : Israeli researchers Doron Peled, Lenore Zuck, David Harel, Orna Kupferman, 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 IM2AG premises.

World Trade Center, Grenoble

World Trade Center, Grenoble

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 6th 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 6th 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

Find this article in Israël Science Info n° 14

Israël Science Info