MEMOCODE'21
19th ACM-IEEE International Conference on Formal Methods and Models for System Design
Beijing, China
Nov 20-22, Co-located with FM 2021
Organization
- General Co-Chairs
S. Arun-Kumar, IIT, Delhi
Dominique Mery, LORIA, France - Programme Committee Co-Chairs
Indranil Saha, IIT, Kanpur
Lijun Zhang, Institute of Software, CAS - Publicity Chair
Bai Xue, Institute of Software, CAS - Organising committee Chair
Bohua Zhan, Institute of Software, CAS - Finance Chair
Shuling Wang, Institute of Software, CAS
Program Committee
- Ansuman Banerjee
Indian Statistical Institute - Shuvra Bhattacharyya
University of Maryland - Sudipta Chattopadhyay
Singapore University of Technology and Design - Yu-Fang Chen
Academia Sinica - Thao Dang
CNRS/VERIMAG - Patricia Derler
Kontrol - Stephen A. Edwards
Columbia University - Mamoun Filali-Amine
IRIT - Martin Fränzle
Carl von Ossietzky Universität Oldenburg - Goran Frehse
ENSTA Paris - Marc Geilen
Eindhoven University of Technology - Holger Hermanns
Saarland University - Eunsuk Kang
Carnegie Mellon University - Soonho Kong
Toyota Research Institute - Rick Kuhn
Natl Institute of Standards & Technology - Matthew Kuo
Auckland University of Technology - Luciano Lavagno
Politecnico di Torino - Elizabeth Leonard
Naval Research Laboratory - Xuandong Li
Nanjing University - Stefan Mitsch
Carnegie Mellon University - Katell Morin-Allory
TIMA Laboratory - Luan Nguyen
University of Dayton - Pierluigi Nuzzo
University of Southern California - Roberto Passerone
University of Trento - Doron Peled
Bar Ilan University - Pavithra Prabhakar
Kansas State University - Sanjiva Prasad
Indian Institute of Technology Delhi - Partha Roop
The University of Auckland - Indranil Saha
Indian Institute of Technology Kanpur - Sven Schewe
University of Liverpool - Klaus Schneider
University of Kaiserslautern - Sandeep Shukla
Indian Institute of Technology Kanpur (IIT Kanpur) - Marjan Sirjani
Malardalen University, Reykjavik University - Oleg Sokolsky
University of Pennsylvania - Meng Sun
Peking University - Jürgen Teich
University of Erlangen-Nuremberg - Stavros Tripakis
Northeastern University - Ashutosh Trivedi
University of Colorado Boulder - Tiziano Villa
Universita' di Verona - Ji Wang
National Laboratory for Parallel and Distributed Processing - Tuba Yavuz
University of Florida - Lijun Zhang
Institute of Software, Chinese Academy of Sciences - Paolo Zuliani
Newcastle University
Steering Committee
- SC Chair
Jean-Pierre Talpin, Inria, France - SC Members
Pierluigi Nuzzo, USC, USA
Partha Roop, University of Auckland, USA
Klaus Schneider, TU Kaiserslautern, Germany
Naijun Zhan, Institute of Software, CAS