MEMOCODE'16
14th ACM-IEEE International Conference on Formal Methods and Models for System Design
Indian Institute of Technology, Kanpur
November 18-20, 2016
Organization
- General and Finance Chair
Jean-Pierre Talpin, INRIA - Local Arrangements Chair
Sandeep Shukla, IIT Kanpur - Program Chairs
Elizabeth Leonard, Naval Research Laboratory
Klaus Schneider, TU Kaiserslautern - Design Contest Chair
Peter Milder,
Stony Brook University
Program Committee
- Myla Archer
Naval Research Laboratory, USA - Paul Attie
American University of Beirut, Lebanon - Shuvra Bhattacharyya
University of Maryland, USA - Bernd Becker
University of Freiburg, Germany - Jani Boutellier
University of Oulu, Finland - Jens Brandt
Hochschule Niederrhein, Germany - Patricia Derler
National Instruments, USA - Stephen Edwards
Columbia University, USA - Mamoun Filali-Amine
IRIT, France - Martin Fränzle
Carl von Ossietzky Universität, Germany - Masahiro Fujita
University of Tokyo, Japan - Franco Fummi
Università di Verona, Italy - Abdoulaye Gamatié
CNRS, France - Angelo Gargantini
Università di Bergamo, Italy - Marc Geilen
Eindhoven University of Technology, Netherlands - Leonard Gerard
SRI, USA - Constance Heitmeyer
Naval Research Laboratory, USA - Rick Kuhn
National Institute of Standards & Technology, USA - Thomas Kuhn
University of Kaiserslautern, Germany - Luciano Lavagno
Politecnico di Torino, Italy - Axel Legay
INRIA, France - Peter Milder
Stony Brook University, USA - Katell Morin-Allory
TIMA Laboratory, France - ThanhVu Nguyen
University of Maryland, USA - John O'Leary
Intel Corporation, USA - Claire Pagetti
ONERA, France - Roberto Passerone
Università di Trento, Italy - Maxime Pelcat
IETR/INSA, France - Doron Peled
Bar Ilan University, Israel - Murali Rangarajan
Boeing Company, USA - Indrakshi Ray
Colorado State University, USA - Sanjai Rayadurgam
University of Minnesota, USA - Elvinia Riccobene
Università di Milano, USA - Neda Saeedloei
University of Minnesota
Duluth, USA - Jean-Pierre Talpin
INRIA, France - Jürgen Teich
University of Erlangen-Nuremberg, Germany - Shobha Vasudevan
UIUC, USA - Reinhard von Hanxleden
Kiel University, Germany - Muralidaran Vijayaraghavan
MIT, USA - Alan Wassyng
McMaster University, Canada - Fei Xie
Portland State University, USA
Steering Committee
- Arvind
MIT, USA - Masahiro Fujita
University of Tokyo, Japan - Rajesh Gupta
UCSD, USA - Constance Heitmeyer
Naval Research Lab, USA - James Hoe
CMU, USA - Sandeep Shukla
IIT Kanpur, India - Jean-Pierre Talpin
INRIA, France