Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CfP: Doctoral Symposium @ FM 2023


view this post on Zulip Email Gateway (Oct 25 2022 at 19:16):

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

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

Call for Papers
Doctoral Symposium @ FM 2023

Lübeck, Germany, 6 March 2023
https://fm2023.isp.uni-luebeck.de/index.php/doctoral-symposium/

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

A Doctoral Symposium will be held in conjunction with the 25th International Symposium on Formal Methods (FM 2023), 6-10 March. FM 2023 is hosted by the University of Lübeck.

=Goals and Scope=

This symposium aims to provide a supportive environment in which selected PhD students can present and discuss their ongoing work, meet other students working in the field of formal methods, and receive feedback and advice from experienced researchers. In addition to talks followed by discussions, the event will also provide opportunities for PhD students to meet senior academics in smaller groupings, to informally discuss research strategies, career aspects, or any other topic of interest.

If you are a PhD student researching any topic that falls within the area of formal methods, you are warmly invited to submit a Research Abstract for consideration to be selected as a participant of the Doctoral Symposium.

There will be a best presentation award.

=Invited Speaker=

Paula Herber, University of Münster

=Important Dates=

Submission open: 21 November 2022
Submission deadline: 01 December 2022
Notification: 20 December 2022

=Research Abstracts=

Research Abstracts should be no more than 4 pages in Springer LNCS format (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Your Research Abstract should:

The Research Abstract should be written by yourself as sole author, but may include references to relevant papers you have already published, including joint publications with collaborators.
How to Submit

Please upload your Research Abstract via the submission page (https://easychair.org/conferences/?conf=dsfm2023).

=Doctoral Symposium Chairs=

Wolfgang Ahrendt, Chalmers University of Technology, Gothenburg, Sweden
Ralf Möller, University of Luebeck, Germany


Last updated: Mar 29 2024 at 04:18 UTC