ETAPS 2014 @ Grenoble, 5-13 April 2014

ETAPS 2014

European Joint Conferences on Theory And Practice of Software

April 5th – 13th, 2014
Grenoble, France

— ABOUT ETAPS —

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. ETAPS is an annual event which takes place in Europe each spring since 1998. The seventeenth conference, ETAPS 2014, takes place between April 5th and 13th, 2014 in Grenoble, France. Grenoble is the capital of the Alps; its history spans over two thousand years. Grenoble is located in an exceptional natural environment, surrounded by three mountain masses Vercors, Chartreuse, and Belledonne.

ETAPS main conferences take place on April 7th-11th, 2014. They are:

–  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