[FM-India] Fwd: 2nd wolverine

[Shibashis Guha]

---------- Forwarded message ---------
From: Guy Avni <gavni at cs.haifa.ac.il>
Date: Thu, Jun 2, 2022 at 3:26 PM
Subject: 2nd wolverine
To: Shibashis Guha <shibashis.guha at gmail.com>


Hi Shibashis,

We're holding the 2nd WOLVERINE as part of FLoC (one day after CAV). You're
more than welcome to participate. We have a terrific lineup of speakers, so
we expect a fun and productive event.

Could you please help us spread the call for participation below?

Thanks,
Guy




We are excited to invite you to the highly interactive 2nd “Workshop on
Open Problems in Learning and Verification of Neural Networks":

2nd WOLVERINE
<https://urldefense.proofpoint.com/v2/url?u=https-3A__wolverine-2Dworkshop.github.io_Wolverine2022_&d=DwMFaQ&c=XYzUhXBD2cD-CornpT4QE19xOJBbRy-TBPLK0X9U2o8&r=y0xcZ2zZBS0ahxrPkhV4zonbqHCRClDuJHS8th7OT-s&m=PMQBfsChZbATQA5Ng6Fy_DRRy5oWpF9X_SB2Hl7WQX7EC47HBc5OOpul8rniWEXI&s=yyREGMTiN8ylYtGUl0xNPpuWOkT-DyBSS-Sv407xS5w&e=>
 @ FLoC 2022
<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.floc2022.org_&d=DwMFaQ&c=XYzUhXBD2cD-CornpT4QE19xOJBbRy-TBPLK0X9U2o8&r=y0xcZ2zZBS0ahxrPkhV4zonbqHCRClDuJHS8th7OT-s&m=PMQBfsChZbATQA5Ng6Fy_DRRy5oWpF9X_SB2Hl7WQX7EC47HBc5OOpul8rniWEXI&s=f9lqTpGdDVKYQl6MPh-tbNQiRvK8FD4288NC3XIprfg&e=>

Physically, on Thursday, August 11

WOLVERINE welcomes researchers in formal methods, AI, and their
intersection. The goal of WOLVERINE is to foster networking and active
discussions with a hope to spark new interdisciplinary collaborations.
Workshop Schedule:

*First hour: keynote talk* by *Prof. *Ann Nowé
<https://urldefense.proofpoint.com/v2/url?u=https-3A__ai.vub.ac.be_team_ann-2Dnowe_&d=DwMFaQ&c=XYzUhXBD2cD-CornpT4QE19xOJBbRy-TBPLK0X9U2o8&r=y0xcZ2zZBS0ahxrPkhV4zonbqHCRClDuJHS8th7OT-s&m=PMQBfsChZbATQA5Ng6Fy_DRRy5oWpF9X_SB2Hl7WQX7EC47HBc5OOpul8rniWEXI&s=rrf52CHpyfTaJ5Wf7oDIVHAIQy1uKfXf-739fbvm250&e=>
*.*

*Second hour: short invited talks.* We will host three short invited talks
(15-20 minutes each). Each speaker will present their area of expertise in
the intersection between formal methods and AI.

*Third hour: round tables.* Each speaker from the previous session will
host a table and moderate a discussion on the topic of theirchoice: We will
discuss the challenges and open problems in the field and novel approaches
to tackle them.

*Fourth hour: poster session.* Participants are invited to present their
work (published or ongoing).



⭐ *Ann Nowé*
<https://urldefense.proofpoint.com/v2/url?u=https-3A__ai.vub.ac.be_team_ann-2Dnowe_&d=DwMFaQ&c=XYzUhXBD2cD-CornpT4QE19xOJBbRy-TBPLK0X9U2o8&r=y0xcZ2zZBS0ahxrPkhV4zonbqHCRClDuJHS8th7OT-s&m=PMQBfsChZbATQA5Ng6Fy_DRRy5oWpF9X_SB2Hl7WQX7EC47HBc5OOpul8rniWEXI&s=rrf52CHpyfTaJ5Wf7oDIVHAIQy1uKfXf-739fbvm250&e=>
 (Vrije Universiteit Brussel, Belgium): *Keynote speaker.*

⭐ *Suguman Bansal*
<https://urldefense.proofpoint.com/v2/url?u=https-3A__suguman.github.io&d=DwMFaQ&c=XYzUhXBD2cD-CornpT4QE19xOJBbRy-TBPLK0X9U2o8&r=y0xcZ2zZBS0ahxrPkhV4zonbqHCRClDuJHS8th7OT-s&m=PMQBfsChZbATQA5Ng6Fy_DRRy5oWpF9X_SB2Hl7WQX7EC47HBc5OOpul8rniWEXI&s=pndKRw7fWaTtfnojd9BitsBiTytz-IveGrES6Evrtbk&e=>
 (University of Pennsylvania, USA): *Safe Reinforcement Learning.*

⭐ *Hana Chockler*
<https://urldefense.proofpoint.com/v2/url?u=http-3A__hanachockler.com&d=DwMFaQ&c=XYzUhXBD2cD-CornpT4QE19xOJBbRy-TBPLK0X9U2o8&r=y0xcZ2zZBS0ahxrPkhV4zonbqHCRClDuJHS8th7OT-s&m=PMQBfsChZbATQA5Ng6Fy_DRRy5oWpF9X_SB2Hl7WQX7EC47HBc5OOpul8rniWEXI&s=rFJiEmoX31V4cirMW_2s6HYAXnMXszHlGcfuIsLeu7I&e=>
(King's
College London, UK): *Explainable AI.*

⭐ *Dana Drachsler Cohen*
<https://urldefense.proofpoint.com/v2/url?u=https-3A__ddana.cswp.cs.technion.ac.il&d=DwMFaQ&c=XYzUhXBD2cD-CornpT4QE19xOJBbRy-TBPLK0X9U2o8&r=y0xcZ2zZBS0ahxrPkhV4zonbqHCRClDuJHS8th7OT-s&m=PMQBfsChZbATQA5Ng6Fy_DRRy5oWpF9X_SB2Hl7WQX7EC47HBc5OOpul8rniWEXI&s=59SvLCj8Bb9AL-2SjN5vKgV1kINdc0GH1UCXLHDPs6E&e=>
 (Technion, Israel): *Neuro-Symbolic Methods.*



More details: http://wolverine-workshop.github.io/Wolverine2022/
<https://urldefense.proofpoint.com/v2/url?u=http-3A__wolverine-2Dworkshop.github.io_Wolverine2022_&d=DwMFaQ&c=XYzUhXBD2cD-CornpT4QE19xOJBbRy-TBPLK0X9U2o8&r=y0xcZ2zZBS0ahxrPkhV4zonbqHCRClDuJHS8th7OT-s&m=PMQBfsChZbATQA5Ng6Fy_DRRy5oWpF9X_SB2Hl7WQX7EC47HBc5OOpul8rniWEXI&s=KeWWwPu5vRFWFVhWICqR1qbNdLFG_sFv_DF6Ew0fqGU&e=>

Registration: https://www.floc2022.org/registration
<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.floc2022.org_registration&d=DwMFaQ&c=XYzUhXBD2cD-CornpT4QE19xOJBbRy-TBPLK0X9U2o8&r=y0xcZ2zZBS0ahxrPkhV4zonbqHCRClDuJHS8th7OT-s&m=PMQBfsChZbATQA5Ng6Fy_DRRy5oWpF9X_SB2Hl7WQX7EC47HBc5OOpul8rniWEXI&s=8wNwa2lcayYvhNzC01orzxaiyfgIfywu3KdOR5F7040&e=>