conferences.computer.science

All conferences / FOR-MOVES / 2015

FOR-MOVES 2015

2nd Workshop on FORmal MOdeling and VErification of Service-based systems

Held16 Nov 2015 WherePanaji 🇮🇳 RankCORE absent Website lipn.univ-paris13.fr/for-moves15/ ↗
Closed

Submission closed on 14 Sep 2015, after an extension of 46 days.

Submission timeline

  • 14 Sep 2015 Full paper 30 Jul 2015 → 14 Aug 2015 +15 days
    14 Aug 2015 → 14 Sep 2015 +31 days
  • 30 Sep 2015 Notification 30 Aug 2015 → 14 Sep 2015 +15 days
    14 Sep 2015 → 30 Sep 2015 +16 days
  • 16 Nov 2015 Conference opens

What to submit

Format
12 pages LNCS (regular) / 6 pages (short / position)
Proceedings
No formal proceedings (PDF online) — Free access
Co-located with
Co-located with ICSOC 2015.

For this second edition of this workshop, we would like to put the emphasis on discussions rather than on conventional publications.

Spotted something wrong on this page? Tell us, with a source if you have one ↗

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the call for papers and/or the Web sites and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers might then move deadlines without telling anyone, which may lead to inconsistencies. So, treat this small page as a well-meaning notebook rather than an authority 🤓