0

Static Analyses for the Properties, Programs, and People of Tomorrow

Reviewers Matthieu Martel Université de Perpignan, Perpignan, France David Naumann Stevens Institute of Technology, Hoboken, USA Corina Păsăreanu Carnegie Mellon University Silicon Valley, Moffett Field, USA Jury Sandrine Blazy (President) Université de Rennes, Rennes, France Patrick Cousot New York University, New York, USA Laure Gonnord Grenoble INP - UGA, Valence, France João Marques Silva ICREA & University of Lleida, Lleida, Spain Antoine Miné Sorbonne Université, Paris, France Xavier Rival