Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Formal Methods 2023 -- Joint call for workshop...


view this post on Zulip Email Gateway (Apr 21 2022 at 11:32):

From: Violet Ka I Pun <violetpun@gmail.com>
[apologies for cross-postings]

==================================================

FM 2023: 25th International Symposium on Formal Methods

Lübeck, Germany, March 6-10, 2023
https://fm2023.isp.uni-luebeck.de/

=== CALL FOR WORKSHOP & TUTORIAL PROPOSALS ===

==================================================

IMPORTANT DATES
================
Submission of workshop proposals: June 10, 2022
Notification of success of proposals (workshop): June 24, 2022
Submission of tutorial proposals: July 1, 2022
Notification of success of proposals (tutorial): July 15, 2022

PROPOSALS
===========

We are now inviting proposals for workshops, tutorials (and other
similar events) that will complement the main FM 2023 symposium. We
encourage a diversity of topics relating to different ways of
developing and using formal methods. Due to the growing interest in AI
and machine learning-based software development, we particularly
invite topics at the intersection of machine learning and formal
methods.

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.

A workshop is an event that involves an open call for contributions. A
tutorial is an event based entirely on invited talks by the organizers
or by invited speakers. Events that mix open and invited presentations
will also be considered.

Workshops and tutorials will take place on March 6th & 10th, 2023,
flanking the main symposium. Each event (workshop or tutorial) should
typically run for a half day or one day, but two-day events will also
be considered. The FM 2023 organizing committee aims to contribute to
at least partial support for one invited speaker per event.

==Submission Information==

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

=Tutorial chairs=

=Workshop chairs=

An event proposal should not exceed three pages and should include the
following information:

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 program 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. FM 2023 will provide the facilities and handle the
registrations for the events.


Last updated: Mar 29 2024 at 08:18 UTC