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

Third Call for Papers

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

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

OBJECTIVE

The goal of this workshop 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 will bring together students, researchers, and industry professionals to explore innovative ideas, discuss challenges, and inspire one another.

FORMAT

We intend to organize the workshop as a one-day event on August 9th, 2024, which will include:

* Research Presentations: the workshop shall feature presentations by female students, researchers, and industry experts to showcase their ground-breaking work in the domain of formal methods and intelligent computer mathematics.

* Panel Discussion "Navigating Challenges": Our panel of accomplished women will engage in candid conversations about the unique challenges faced by female engineers. Topics include work-life balance, bias, and mentorship.

* Celebrating Achievements: We believe in recognizing excellence. Awards will be presented for innovation, leadership, and community impact.

INVITED SPEAKER

We are happy to announce the confirmation of Amber Telfer, Principal Formal Methods Engineer at Microsoft as the keynote speaker at WiFM. She is a remarkable engineer in the industry who advocates for gender equality in STEM. She will share her journey, and insights to overcome obstacles and reach new frontiers.

TOPICS OF INTEREST

Topics of interest include (but are not limited to):

* Theorem proving and computer algebra * Mathematical knowledge management * Digital mathematical libraries * Formal specification and modeling * Formal approaches to fault prevention and detection * Abstraction, refinement, and evolution * Integration of formal methods and testing * SAT/SMT solvers for software analysis and testing * Practical formal methods * Applications of formal methods * Formal approaches to software maintenance * Formal approaches to safety-critical system development * Industrial case studies

SUBMISSIONS

There are two categories of submissions:

* Abstract – up to 2 pages * Regular – up to 6 pages

Electronic submission is done through EasyChair (https://easychair.org/my/conference?conf=cicm24): select the author role and select the "new submission" tab, then select “CICM24-Women in Formal Methods”. The submissions will be reviewed by at least three PC members. At least one author of each accepted paper is expected to present her paper at WiFM. All papers accepted in the workshop will be published in the CEUR Workshop Proceedings (https://ceur-ws.org/).

IMPORTANT DATES

* Full Paper Submission: Continuous submission until July 12, 2024 (Early submission leads to early notification). * Camera Ready: July 26, 2024 * Workshop: August 9, 2024

PROGRAM COMMITTEE

Vandana Desai, Qualcomm, USA Maissa Elleuch, Digital Research Center of Sfax, Tunisia Katalin Fazekas, TU Wien, Austria Liya Liu, AMD, Canada Ibtissem Seghaier, Nvidia, USA Yasmine Sharoda, AWS, Canada Yassmeen Elderhalli, Synopsys, Canada (Chair)