{"id":959,"date":"2021-01-04T13:26:59","date_gmt":"2021-01-04T05:26:59","guid":{"rendered":"http:\/\/wordpress.ios.ac.cn\/?page_id=959"},"modified":"2021-03-04T23:13:23","modified_gmt":"2021-03-04T15:13:23","slug":"call-for-workshops-and-tutorials","status":"publish","type":"page","link":"http:\/\/lcs.ios.ac.cn\/fm2021\/call-for-workshops-and-tutorials\/","title":{"rendered":"Call for Workshops and Tutorials"},"content":{"rendered":"
Proposals<\/strong><\/span><\/h6>\n

For this major event, we are now inviting proposals for workshops,\u00a0 tutorials, or other similar events that will complement the main FM Symposium.<\/p>\n

The general purpose of workshops and tutorials is to provide an informal setting for participants to discuss technical issues, exchange research ideas and educational approaches, and to discuss and\/or demonstrate applications. These may be driven by fundamental academic interests or by needs from specific application domains.<\/p>\n

A workshop is an event with an open call for contributions. A tutorial is an event based entirely on invited talks by the organizers or by other speakers. Events that mix open and invited presentations will also be considered.<\/p>\n

We encourage a diversity of topics relating to different ways of developing and using formal methods. Workshops and tutorials will take place on November 20-21, 2021. Each event (workshop or tutorial) should typically run for 1\/2 or 1 day, but 2-day events will also be considered. The FM 2021 organising committee aims to contribute to at least partial support for one invited speaker per event.<\/p>\n

Submission Information\u00a0<\/strong><\/span><\/h6>\n

Researchers and practitioners wishing to organize a workshop or tutorial are invited to submit proposals by e-mail to the Workshops & Tutorials Chairs:<\/p>\n

Tutorial chairs: Luigia Petre (lpetre@abo.fi) and Tim Willemse (t.a.c.willemse@tue.nl)<\/p>\n

Workshop chairs: Carlo A. Furia (furiac@usi.ch) and Lijun Zhang (zhanglj@ios.ac.cn)<\/p>\n

A proposal should not exceed three pages and should include the following information:<\/p>\n

    \n
  • Title and brief technical description of the event, specifying its goals and formal methods focus, and whether the event is a workshop, tutorial, or any other kind of event.<\/li>\n
  • The names and contact information (web page, email address) of the organisers. The organisers of a workshop will also be its Programme Committee (PC) chairs; in this case, the proposal may also list prospective international PC members.<\/li>\n
  • Pointers to information about past editions of the event, if applicable. Workshop proposals should specify whether it has taken place before; how often it has been co-located with FM or with other conferences, and the number of participants in the most recent instalments.<\/li>\n
  • \u00a0A discussion of the proposed format and agenda (for example: paper presentations, tutorials, demo sessions, etc). The organisers are encouraged to describe their vision for an online event, should the need occur in light of the current global pandemic crisis.<\/li>\n
  • The proposed duration: half or one day. Exceptionally, two days events may be considered.<\/li>\n
  • Potential invited speaker(s).<\/li>\n
  • Procedures for selecting papers and participants and plans for the publication of proceedings, if any.<\/li>\n
  • \u00a0A tentative schedule for paper submission and notification of acceptance.<\/li>\n<\/ul>\n

    The organizers of the proposed events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a programme of talks; advertise their event though specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings.<\/p>\n

    Important Dates<\/strong><\/span><\/h6>\n
    \n\n\n\n\n\n\n\n\n
    Submission of workshop proposals<\/strong><\/td>\nApril 1, 2021<\/strong><\/td>\n<\/tr>\n
    Notification of success of proposals(workshop)<\/strong><\/td>\nApril 12, 2021<\/strong><\/td>\n<\/tr>\n
    Submission of tutorial proposals<\/strong><\/td>\nApril 30, 2021<\/strong><\/td>\n<\/tr>\n
    Notification of success of proposals(tutorial)<\/strong><\/td>\nMay 14, 2021<\/strong><\/td>\n<\/tr>\n
    FM 2021<\/strong><\/td>\nNovember 20-26, 2021<\/strong><\/td>\n<\/tr>\n
    Workshop\/Tutorial dates<\/strong><\/td>\nNovember 20-21, 2021<\/strong><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div><\/div><\/div>