coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] [Call for Participation] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024

From: Adnan Rashid <adnan.rashid AT seecs.edu.pk>
To: coq-club AT inria.fr
Cc: Sofiene Tahar <tahar AT ece.concordia.ca>, Sofiene Tahar <tahar AT encs.concordia.ca>
Subject: [Coq-Club] [Call for Participation] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024
Date: Thu, 1 Aug 2024 12:57:40 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=adnan.rashid AT seecs.edu.pk; spf=Pass smtp.mailfrom=adnan.rashid AT seecs.edu.pk; spf=None smtp.helo=postmaster AT mail-pj1-f65.google.com
Ironport-data: A9a23:dn9GTqI/nOuw3x6kFE+RLZElxSXFcZb7ZxGr2PjKsXjdYENS02NUz zEcCDyFb6rbN2TyL9hwO4/j8BlQucOBx9FgGVEd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fSLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWBfgf0s9JIGjhMsf7b+Es25KmaVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes3X0GIvFLLveBCCXcKvI0LuQnvj2dFkTwINLao0xeZ8WThB/ 6IJN2VYBvyDr7reLLOTT+BtgoE7LpCuMt1C/H5nyj7dALAtRpWrr6fiv4cJmmdtwJoXQ7CAO qL1ahI3BPjESxRDPF4RTog3h+epilHkfjBTsxSYqbdx+2u7IAlZgeOxaoaJKoTiqcN9kFjJp 1jB4FbCEiomON61kBej6k+qr7qa9c/8cNlPTeXnp6ACbEeo7mcUEVgdUUaxieKoj1a3HdNZM U0dvCQ0xZXe72SuR9j5GgW6+TuK4ENaVN1XHOk3rgqKz8I4/jp1GEA1TjFbTNZl9/QmYhAV1 lTRxtzjWy1w5ej9pW2myp+Yqja7OC4wJGAEZDMZQQZt3zUFiNFj5v4oZoYzeJNZnuHI9SfML ydmRRXSap0WhM8Pkr25pBXJ3W/qqZ/OQQo4oA7QWwpJDz+Vhqb1OeRECnCCsp6sybp1qHHc4 RDofODDsYgz4WmlznDlfQn0NOjBCwy5GDPdm0VzOJIq6i6g/XWuFagJv2skeBkxbZhbIWGwC KM2he+3zM8CVJdNRf8nC79d9+xznMAM6Py8Cq6EPocXOPCdiifeoX4/ORb4M5/RfLgEyvxmY cjKL65A/F4VDqNoyDf+RuEWl9cWKtMWlAvuqWTA50X3uZLHPC79Ye5cbDOmMLplhIva+1+92 4gEZ6O3J+B3FbeWjt//r9ZIdzjn7BETXvjLliCgXrXYfVM4STt9UKS5LHFIU9UNopm5X9zgp hmVMnK0AnKj7ZEeAVTaMCJQe/n0UIxhrHk2GyUpMBz6kzIgeIujpuNXPZc+YbBtpqQpwO9WX ss1XZyKIs1ObTDbpBUbT53297J5eDqR2AmhAiuCYRoERaBGeTDnwNHfUzXKyDgvFQuy7Ms3n K2h3FjUQL0FXAVTM/zVY/OOkXK05HgUp/1uVGTPMv1sSR/Ky9VsIXagiPUYHtw9c0Tf5zqF1 jS5BQUTivnNrrQUrvjIp/GghKW4H9RuGnF1GzHg0o+3Ei3B7E+P8JRlUtvUTQvCVWjxxrquV d9Vw974LvcDulRA6Kh4LJpG0oM84IHJi4JB7wE5AkjOUUunOolgLlaCw8NLkK9HnZ1dmAmuX 3Ow6stoAqqINOzlAWwuClIcNMrb7s4tmx7W8fgRC2f57nUu/LO4DGNjDyPVgylZdLZIIIcpx Nk6g/Ev6iu9twELN+iXhSUF5kWOKX09C58cjK84O7OyqAQXyQBlW6f+WwvW+5CEbutePnY6e gG0gLXwvJUC507gXUdqK13z87t8v7ostipO7mc+HHWSu9+chvYIzBxbqjs2aQJOzyR46eF4O 0k1FktTIZex2SVMgfZAU1vxBAhQJQa4/3bpwAAjj1zpTEiPV03MIlYiOO2LwlsrzmJEchVf/ 5Ca0GzAUwu2TPru3yA3Z1Fpm8bjQfN16AfGvsKtROaBILUXfhvnhfWISVcTih66H/40ulLLl dNq8Ml0d6f/Eywa+I8/KouC0IUvWAK2H3NDTd5h7ZE2MznlIh/q4ge3Kme1Zs9pDN7J+xXhC 8VRe+R+Zy7n3yOK9j0mFaoAJoFvp8EQ5f0AR6jKIFAXuL7Ovxtrt5PtrhLFvlEJeOk3s8gBK dL2TQmgQ0iwnnpfnlHfoPZUYlSYZcY2Xyyi/eSX3thQKbc9nrBCTUUA3IGwnU2pCyp83hfNv Ar8d67clONj7oJ3nrrTKKZIBiTqCNXVUNa31hKXtupNYeiSLs7flhg0r2P/NF98JoohWNVQl JWMvuXo3UjDgq0EbmDBl7SFFIhL/c+XXtcLAvnoLXJfozSOaPXs7zQH5Wq8D55Dy/FZ2eWKW Cq6b5GWWeMOetIA2kBQVTdSIywdB4vzcK3kgyG39NaIKxoF1D34PMGVzmDoYU5bZx03FcXHU CGsgMmX5/dcsIhoLz0HDas/A5ZHfXnSaZF/fNj17TSlHm2kh22ZgYTblD0i1CrqD0eVG8Or8 LPHQRnDLC6Jgp/q9+0AkYJOvUwwNk1f0NkAJhdXv5Y8jj2hF2cJINgMKZhMWNkejiX204q+f z3XKncrDSLmRzlfbBHg+5LZUxyCAvAVcMLMTtDzE5h4tw/tbG9BPFdgysuky3J/ez+m1OP+b N9Apzv/OR++xpwvTuEWjhB+bSGL2duCrk/kO2ik+yAxP/raKa4H2Xd6WgdBSGrfEKkhUW3Vc HMtSzksrF6TECbM/AUJR5KRMAoUsTj0iTgkcGGXw74zfmldIPJokJXCBg047lHPgAnm6lLDq bMbilZhO1yr50E=
Ironport-hdrordr: A9a23:Y9eb36OMAIzFrsBcTsKjsMiBIKoaSvp037Dk7TEXdfU1SL3/qy nKpp4mPHDP+VUssR0b+exoW5PgfZq/z+8W3WB5B97LNzUO01HYSb2Kg7GSpwEI2BeTygee78 pdmmRFZ+EYxGIVsfrH
Ironport-phdr: A9a23:LDo0wx2ZJV7t5NQOsmDOxw0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BeHo6o9xwaRA83y0LFttan/i+PaZSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pDdfwlEnjiwbLB9I BmrsQnct9QdjJd/JKo21hbGrXxEdvhMy29vOVydgQv36N2q/J5k/SRQuvYh+NBFXK7nYak2T qFWASo/PWwt68LlqRfMTQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4 qx2RhLklDsLOjgk+2zMlMd+kLxUrw6gpxxnwo7bfoeVNOZlfqjAed8WXHdNUtpNWyBEBI63c okBAPcbPetAoIbzp1UAoxijCweyGu7g1iRFiWXq0aAgyektDR3K0Q4mEtkTsHrUttL1NKIKX O2p0abIyy/Mb/VL0jnh8ofIaRAhofCRUrltdsfe01QgFwXfgVWWs4DlJSma1v8Ns2ia8uVtT vmvhHA5pA5tuTij3NkjhZTUho4P0lDE9jx0zYAoLtK3VEB1e8SrEIdMty6ELYt2RNsvTm92t Ss017ALuIK3cDUFxpooxxDSavyJf5SI7B/sVuucPDN1iXNhdby/hBu+70mtxvPgW8SqzVpHs iRInsTMuH0Lyhfd5M+HSv5n8Ueg3zaCzxzc6uBYLkAxjKbUN5khwrg+lpUNq0TMACn2l1nog 6OMcUUk4Oeo5uL6abvlvp+RL5F4hh36P6g0mcGyAf40PhYTU2Wa4+ix1b3u8EvkS7hUiv02j 7LZsIzEKsQBu6C5Ag5U3Zg75hqjCTqtzc4WkmMdLF1ffRKKl4jpNE/KIPD/Ffq/hk6jkDZvx /zfJr3hAIjBImHNkLrgfbtx8UFcyA00zdBQ45JbFKsNL+70Wk/0rNDYDxk5PBKow+v/Ftlxy ocTVXiMD6KZKq/er0KE6+M1L+SNZIIZoDP9JOIk5/7qg385g1gdfayx0JQNdX+4GO5pI0ODb Xr2mNgBCmcKvgsjQ+Hxk12NTyBcaGqpX64m+D40FZ+mAZ3bRoCumLCB2jy0EYVMZm9aElCMD Wvod4KcVvsRcC6SONNukiQYVbi9TI8szQ2htAjjy7Z+MuXU/jAYuon42dhu5+zTkAky+iZuA 8Sc1WGNVWB0kXkSSz84xqAs6XB6n1yEyO1zh+FSPd1V/fJAFAkgZrDGyOkvItz0UwSJRN6SS FeqCoGvDTc4SJQrysQOYkpVANivhQuF0ia3RacWwe/YTKco+77RiiCib/12zGzLgex41wFOq qpnMGSngvU67A3PH8vSlF3fka+2dKMa1SqL9WGZzGPIslsLGBVoX/DjWnYSLlDTscy//lnLG raiD70hdBFI0s6DJoNRZ9DilhNLSOqlINeNK3mplTKIDA2TjqiJcJKsfmwc2CvHD01RmgwV9 HDALwElBiati3nTATd1U1/jfgX08ro2s2u1G2kzyQzCdEh9z/y19xoS0OSbUO8W16kYtT0Jr jx1GBOl3YuTBYTd4QVme6pYbJU251IvOXvxkQt7M9TgKqljggVbaAFrpwb10A0xDIxckM8sp XdszQxoKKve3kkTPzWflYv9PLHaMAyQtFimdrLW11fC0d2X5rZH6fI2rE/mtR2oEUxq+mtu0 t1c2X+RrpvQCw9aXZX0W0cxvx90wtOSKiAx4YrSk2dlKqm1vhfZ1t8iH60oxgvmZ9QeeKKIG QnuEtELUtC0Ib9P+RDhZRYFMeZOsa8sapn+Jr3WhejxZbgmwm/16AYPqJpw2U+N6SdmH+vB3 pJehuqdwhPCTDDkylGorsHwn4lAIzAUBGu2jyb+V+szLuV/e5gGDWC2Loi53NJ70tTkV3hR8 hi5DkgG2cOBYhefZEe70AFNk1wU6y/C+2Pw33lvnjclo7DKliXCxe3kMgAOIW5KSEF5gFrnO s65g81cREviPG1L3FO1oE39waZcvqF2KWLeFFxJcybBJGZnSqKst7CGbqaj8bsQuD5MGKS5a FGeEfvmpgcCljjkBy1YzSw6cDejvtP4mQZ7gSSTNiQ7oH3ccMB2jRDRgb6UDfdd2DMAAjNxk jnWCnCnMtSi5pOZm4qFquP2W2+6V5JVeDXm1sva7Hr9tTAsW0Th2a7u0tT8dGpymTf2zdxrS TnFoF7nb4/n2r77eeNrc090BUPtvs9zG4VwiIw119kb3XkXgInQ/GJSyz+id4UGn/inMjxTG G1uoZad+gXu1Ux9I2jcwov4Ui7Y2c59f5yhZXtQ3Csh7sdMAaPS7bpenCIzrEDryGCZKfV7g DoZzuMjrXAAhORc8gMhyCybRKobBklZMQT3mhmD9JazoLgRfGXlIt3SnAJu2MusCr2PuFQWU Xr/c5FkByZr7sRzGEnB3XborIzoZZ/IbphA03/c2weFhO9TJpUrk/MMjicyImPxs0ouzOsjh ABv15W378CXbn9g96WjDltEJyX4MokNryr1g/8UzaP0l8i/W49sETIRUN70QOK0RXgM4O//O V/GESVg+CzGX+OORUnFtBgg9zWVT9iqLy3FeiVfl445AkDDfAoHx1lFOVdy1p8hSlL0moq4K B0/vnZJoQSg4hpUlrA2aV+lDjaZ9F/uMnBuENCeNEYEsVsEvhuTaJ3EqLo0RnE9nNXprRTRe DPHIV0SUCdRHBTDXg6rP6Hyt4CYo67BWbX4f72WJu/X4e1GC6XRmsnpi9o6uW7KboLWYBwAR 7U6whYRBygoXZSE3WxVG2pP0HuSJ8+D+EXmo3Mx85D5qaWxHlqovNrHCqMOY482pVbs2vbFb LTW3GEgeFM6ntsazHvMgtDzxXY0jCdjP3moGLUE7mvWSb7I37RQF1gdYj9yM81B6+Q92BNMM IjVkIG90LkwlfMzB1pfMD6p0si0ecwHJX28P1LbFQ6KMrqBPzjC38DwZ+u1V7RRiOxesxD4t yycFgfvOTGKlj+hUB7KU6kElCaAIBlXo52waD5oAGnnCcrkM1i1boIxgjoxzrk5wHjNMC9UM DRxdV9MsqzF7S5chaYaeSQJ5X5kIO+Y3ieBurOAe9BG7L0xW3oyyb8JhRZyg6FY5yxFWvFvz S7br9o15kqjjvHK0T1/FhxHtjdMgouP+0RkI6TQsJdaChOmtFoA63udDxMSqp5rENrq7upZx t7GkuTpISxC8t785sYRDNOSJc6admIie0mMenacHE4eQDinOHuKzVRai+2X/2aJo4ISr5Htn N8WSOYeWgJoUPwdDUthEZoJJ5I9DVZG2faLycUP43S5thzYQs5X64vGWvylCvLqMD+FjLNAa nPgLpvjIIkYLcv211Ekclooxewi+mLVVNFJ5zVjN0o6/hgL/395QWk+nUnib1H1iJf2PeW5k xUtzAZyfKI192W0i2o=
Ironport-sdr: 66abbeab_eiYcI5mdRuAvcpxkbiFpZ22waYmn3l2TBsKgvkwCYHAq0ix ppOxfKaaTwIe3i+BbAIZfGHGo2f1jxj8ocxh+5g==

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

                      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”

[Coq-Club] [Call for Participation] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024, Adnan Rashid, 08/01/2024