posted by system || 1248 views || tracked by 1 users: [display]

FWFM 2018 : Third Workshop on Fun With Formal Methods

FacebookTwitterLinkedInGoogle

Link: http://persons.iis.nsk.su/en/FWFM2018
 
When Jul 19, 2018 - Jul 19, 2018
Where University of Oxford, UK
Submission Deadline Apr 20, 2018
Notification Due May 15, 2018
Final Version Due May 30, 2018
 

Call For Papers

Past FWFM Workshops:
* FWFM-2013 (http://www.iis.nsk.su/fwfm2013?_ga=2.242468418.1943006584.1521356323-687493938.1476117474),
* FWFM-2014 (http://www.easychair.org/smart-program/VSL2014/FWFM-cfp.html).

The workshop will be held in University of Oxford as a part of Federated Logic Conference FLOC-2018 (http://www.floc2018.org/)
in affiliation with 30th International Conference on Computer Aided Verification (http://cavconference.org/2018/)

The primary purpose of the workshop series on Fun With Formal Methods (FWFM) is to popularize and disseminate
the best practice of popularization of Formal Methods. Not an exhaustive list of topics of FWFM follows:
* fascinating examples of use of FM in SE;
* simple but interesting educational examples of FM;
* FM for puzzles, games and entertainment;
* FM and programming contests;
* FM elsewhere (outside software and hardware);
* everything and anything related to popularization of FM.

Scheduling:
* Publication call for papers announced 15 March 2018
* Paper submission deadline 20 April 2018
* Paper notification deadline 15 May 2018
* Workshop program on-line 15 May 2018
* Final version of accepted papers before 30 May 2018

Program Committee:
* Alexei Lisitsa (University of Liverpool, GB, to be confirmed)
* John Rushby (SRI International Computer Science Laboratory, USA, to be confirmed)
* Nikolay V. Shilov (Innopolis University, Russia) - chair (contact by e-mail shilovii(at)mail.ru)
* Martin Schaf (Amazon, USA, to be confirmed)

Invited Speakers: TBD

Paper Submission and Publication Plans:
Extended abstracts and papers on topics related to FWFM are solicited.
There is no any strict limit for page number or style, but it is recommended to be in range 2-4 pages for extended abstracts and 4-16 pages for papers.
(Single column, single interval, font not less than 12 for review convenience.)

All submitted paper will be reviewed by 2 members of Program Committee (or their sub-reviewers) and selection of accepted papers will based on relevance,
quality and (partly) originality of the submitted papers. Papers already published somewhere are also welcome but must make it explicit their publication
status (for including to proceedings).

Please submit your extended abstracts and papers via Easychair page https://easychair.org/conferences/?conf=fwfm2018.
We plan to publish informal proceedings before the workshop and disseminate them among participants at the workshop on USB-sticks.
Post-proceedings publication is subject to decide on base of quality and number of original submissions.
(Recall that we we welcome papers already published somewhere.)

Sponsorship: Information and web-hosting - A.P. Ershov Institute of Informatics Systems (http://www.iis.nsk.su/en?)

Related Resources

FM 2019   23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods
SEFM 2019   Software Engineering and Formal Methods
CAV 2019   31st International Conference on Computer-Aided Verification
SEFM 2019   17th International Conference on Software Engineering and Formal Methods
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
FormaliSE 2019   7th International Conference on Formal Methods in Software Engineering
FCT 2019   22nd Symposium on Fundamentals of Computation Theory
Formal Methods 2019   Formal Methods applied to Transportation and Industry 4.0
FMIS 2019   8th Formal Methods for Interactive Systems
EFM 2019   1st International Workshop on Empirical Formal Methods