All conferences / FMTV / 2014

FMTV 2014

Formal Methods for Timing Verification Workshop

Held12 May 2014 WhereSingapore 🇸🇬 RankCORE absent Website www.merge-project.eu/?page_id=192 ↗

Submission timeline

4 Mar 2014 Full paper ~~25 Feb 2014~~ → 4 Mar 2014 +7 days
24 Mar 2014 Notification

12 May 2014 Conference opens

What to submit

Format: 6-10 pages LNCS
Proceedings: PDF online — Free access
Co-located with: In conjunction with FM 2014

The particularity of the FMTV’14 workshop will be the presentation of a challenge to the formal timing verification community with scientific stakes issued from a real industrial case study.

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 🤓