================================================================================
Call for Participation
First Workshop on Women in Formal Methods (WiFM-2024)
August 9, 2024
Montreal, Quebec, Canada
Hybrid Mode
Co-located with CICM 2024
https://cicm-conference.org/2024/cicm.php?event=wifm&menu=general
================================================================================
Meet the Women in Formal Methods (WiFM) community this year in Montréal,
Canada, on Friday, August 9th at Concordia University!
The goal of WiFM-2024 is to provide a dynamic and inclusive gathering that
celebrates the achievements of women in formal methods in particular as
well as
engineering and computer science in general. We aim to empower female
engineers, foster collaboration, and provide a platform for sharing
cutting-edge research. This workshop brings together students, researchers,
and
industry professionals to explore innovative ideas, discuss challenges, and
inspire one another. WiFM-2024 features a keynote talk by a
women-in-engineering advocate from Microsoft and a series of presentations
from
academia and industry (see more details below).
Registration to WiFM 2024 is FREE, so please join!
Registration
-----------------
Please use the following registration page (for both online and in-person
participation) and choose the “Women in Formal Methods Workshop”:
https://cicm-conference.org/2024/cicm.php?event=&menu=registration
Accommodation
-----------------------
For information about accommodation arrangement visit the web page:
https://cicm-conference.org/2024/cicm.php?event=&menu=travel
Workshop Program
----------------------------
The schedule of the workshop can be found at:
https://cicm-conference.org/2024/cicm.php?event=&menu=program
The detailed program with abstracts is accessible at:
https://cicm-conference.org/2024/cicm.php?event=wifm&menu=general
Speakers
----------------
* Amber Telfer (Microsoft, USA): “From Math to AI: Lessons Learned from a
Formal Verification Career” (Keynote)
* Katherine Kosaian (Iowa State University, USA): “Formally verifying
algorithms for real quantifier elimination”
* Katja Berčič (University of Ljubljana, Slovenia): “An invitation to
explore
mathematical data”
* Oumaima Barhoumi (Concordia University, Canada): “Formal Analysis of
Traffic
Conflicts Severity using KeYmaera
* Amira Jemaa (Concordia University, Canada): “Leveraging Formal Methods
for
Efficient Explainable AI”
* Anna Slobodova (Intel, USA): “A Day of Formal Verification Engineer”
* Polina Vinogradova (Input Output Global, Canada): “Intents on the
Extended
UTxO Ledger”
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
