conferences.computer.science

All conferences / MEMOCODE / 2020

MEMOCODE 2020

18th ACM/IEEE International Conference on Formal Methods and Models for System Design

Held2–4 Dec 2020 WhereJaipur 🇮🇳 RankCORE absent Website iitjammu.ac.in/conferences/memocode2020/ ↗
Closed

Submission closed on 24 Jul 2020, after an extension of 14 days.

Submission timeline

  • 17 Jul 2020 Abstract registration 3 Jul 2020 → 17 Jul 2020 +14 days
  • 24 Jul 2020 Full paper 10 Jul 2020 → 24 Jul 2020 +14 days
  • 4 Sep 2020 Notification
  • 2 Dec 2020 Conference opens

What to submit

Format
10 pages IEEE (regular) + bibliography / 4 pages (work in progress) / 8 pages (tool)
Proceedings
IEEE — Paywalled

Co-located with FMCAD. Selected papers will be invited for publication in a special issue of ACM Transactions on Embedded Computing Systems.

Call for papers

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at iitjammu.ac.in/conferences/memocode2020/. 

*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

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.