[FM-India] DEADLINE EXTENDED - MEMOCODE'20

[Madhavan Mukund]

----- Forwarded message -----

Date: Mon, 6 Jul 2020 10:59:20 +0530
From: Publicity Chair Memocode20 <pubchairmemocode20 at iitjammu.ac.in>
To: Publicity Chair Memocode20 <pubchairmemocode20 at iitjammu.ac.in>
Subject: DEADLINE EXTENDED - MEMOCODE'20

*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 at usc.edu) and
2) Indranil Saha (isaha at cse.iitk.ac.in)

MEMOCODE'20 Publicity Chair


----- End forwarded message -----