<div dir="ltr"><div><div style="border:0px none;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-stretch:inherit;font-size:12pt;line-height:inherit;font-family:Calibri,Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;color:black">The
 Women's@FLoC dinner aims to connect women in the FLOC community, 
including researchers, developers, faculty, post-docs, and students. It 
is intended to celebrate achievements, small and big, and provide a 
low-pressure atmosphere to foster building one’s support group.<div style="border:0px none;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit"><br aria-hidden="true"></div><div style="border:0px none;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit">In particular, we aim to:</div><div style="border:0px none;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit"><br aria-hidden="true"></div><div style="border:0px none;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit"><ul><li><span style="border:0px none;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit">Increase
 the feelings of community and belonging, especially among junior 
faculty, post-docs, and students through positive interactions with 
peers and more established faculty; </span></li><li>Establish new connections and collaborations;</li><li>Create a culture of support, growth, and welcoming in the logic in computer science and formal verification research community.</li></ul></div><div style="border:0px none;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit">This
 will be the first Women's@FLoC networking dinner, which was inspired by
 the successful W@PLDI dinner, organized earlier this year in 
California.</div><div style="border:0px none;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit"><br aria-hidden="true"></div><div style="border:0px none;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit">The 
 Women's@FLoC dinner will be held on August, August 05, 2022, at 7 PM at
 the restaurant Isabella (Address: Mahanayim St 8, Haifa) – which is in 
the "Carmel center", and it is close to some of the hotels suggested by 
FLOC.</div><div style="border:0px none;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit"> <br aria-hidden="true"></div><div style="border:0px none;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit">All
 are invited (free of cost),  but there is limited space, therefore you 
should sign up for the dinner by completing the Google Form.</div><div style="border:0px none;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit"><br aria-hidden="true"></div><div style="border:0px none;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit"><a href="https://docs.google.com/forms/d/e/1FAIpQLSf4wl9n_9ysnGUDu9tPK7QQckb1I3fJ7OJBa9tAM4Emh5p9HQ/viewform?usp=sf_link" rel="noopener noreferrer" style="border:0px none;font:inherit;margin:0px;padding:0px;vertical-align:baseline" target="_blank">https://docs.google.com/forms/d/e/1FAIpQLSf4wl9n_9ysnGUDu9tPK7QQckb1I3fJ7OJBa9tAM4Emh5p9HQ/viewform?usp=sf_link</a><br aria-hidden="true"></div><div style="border:0px none;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit"><br aria-hidden="true"></div></div><div style="border:0px none;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-stretch:inherit;font-size:12pt;line-height:inherit;font-family:Calibri,Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;color:black">The event is generously supported by Microsoft and organized in collaboration with the Women in Logic Workshop (<a href="https://sites.google.com/g.uporto.pt/wil2022" rel="noopener noreferrer" title="https://sites.google.com/g.uporto.pt/wil2022" style="border:0px none;font:inherit;margin:0px;padding:0px;vertical-align:baseline" target="_blank">WiL2022</a>) and Premium - FLoC Production Company.</div></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><span style="color:rgb(34,34,34);font-family:Arial,Helvetica,sans-serif;font-size:small;font-style:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);display:inline;float:none">--</span><br style="color:rgb(34,34,34);font-family:Arial,Helvetica,sans-serif;font-size:small;font-style:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255)"><span style="color:rgb(34,34,34);font-family:Arial,Helvetica,sans-serif;font-size:small;font-style:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);display:inline;float:none">Renata Wassermann</span><br style="color:rgb(34,34,34);font-family:Arial,Helvetica,sans-serif;font-size:small;font-style:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255)"><span style="color:rgb(34,34,34);font-family:Arial,Helvetica,sans-serif;font-size:small;font-style:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);display:inline;float:none">Associate Professor</span><br style="color:rgb(34,34,34);font-family:Arial,Helvetica,sans-serif;font-size:small;font-style:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255)"><span style="color:rgb(34,34,34);font-family:Arial,Helvetica,sans-serif;font-size:small;font-style:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);display:inline;float:none">Computer Science Department</span><br style="color:rgb(34,34,34);font-family:Arial,Helvetica,sans-serif;font-size:small;font-style:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255)"><span style="color:rgb(34,34,34);font-family:Arial,Helvetica,sans-serif;font-size:small;font-style:normal;font-weight:400;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;background-color:rgb(255,255,255);display:inline;float:none">University of São Paulo</span></div></div></div>            <br>            </div>