*DEADLINE EXTENDED*
*CALL FOR PAPERS*
MEMOCODE'20
18th ACM-IEEE International Conference on Formal Methods and Models for
System Design
December 02-04, 2020, Jaipur, India

https://iitjammu.ac.in/conferences/memocode2020/

*Note*: MEMOCODE 2020 will be held as a virtual conference in light of the
current COVID-19 situation.

*Important Dates*
*------------------------*
Abstract submission deadline: July 3, 2020 July 17, 2020
Paper submission deadline: July 10, 2020 July 24, 2020
Notification of acceptance: September 4, 2020
Final version of papers: October 2, 2020
Conference: December 2-4, 2020


*Contact persons:-------------------------*
1) Pierluigi Nuzzo (nuzzo@usc.edu) and
2) Indranil Saha (isaha@cse.iitk.ac.in)

MEMOCODE'20 Publicity Chair