MEMOCODE'22
20th ACM-IEEE International Conference on Formal Methods and Models for
System Design
Shanghai, China
October 13-14, 2022
Organization
- General Co-Chairs
Prof. Reinhard von Hanxleden, Christian-Albrecht University of Kiel, Germany; Prof. Dominique Méry, LORIA, Université de Lorraine, France - Programme Committee Co-Chairs
Prof. Jens Brandt, Niederrhein University of Applied Sciences, Germany; Prof. Lijun Zhang, Institute of Software, CAS - Publicity Chair
Bai Xue, Institute of Software, CAS
Program Committee
- Shuvra Bhattacharyya, University of Maryland
- Sudipta Chattopadhyay, Singapore University of Technology and Design
- Yu-Fang Chen, Academia Sinica
- Thao Dang, CNRS/VERIMAG
- Patricia Derler, Palo Alto Research Center
- Stephen A. Edwards, Columbia University
- Martin Fränzle, Carl von Ossietzky Universität Oldenburg
- Goran Frehse, ENSTA Paris
- Holger Hermanns, Saarland University
- Eunsuk Kang, Carnegie Mellon University
- 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
- 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
- Jürgen Teich, University of Erlangen-Nuremberg
- 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
- Paolo Zuliani, Newcastle University
Steering Committee
- SC Chair
Jean-Pierre Talpin, Inria, France - SC Members
Pierluigi Nuzzo, University of Southern California, USA
Partha Roop, University of Auckland, USA
Klaus Schneider, TU Kaiserslautern, Germany
S. Arun-Kumar, IIT, Delhi
Naijun Zhan, Institute of Software, CAS