Women's@FLoC dinner

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.


In particular, we aim to:

  • Increase the feelings of community and belonging, especially among junior faculty, post-docs, and students through positive interactions with peers and more established faculty;

  • Establish new connections and collaborations;

  • Create a culture of support, growth, and welcoming in the logic in computer science and formal verification research community.

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.


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.

All are invited (free of cost), but there is limited space, therefore you should sign up for the dinner by completing the Google Form.


https://docs.google.com/forms/d/e/1FAIpQLSf4wl9n_9ysnGUDu9tPK7QQckb1I3fJ7OJBa9tAM4Emh5p9HQ/viewform?usp=sf_link


The event is generously supported by Microsoft and organized in collaboration with the Women in Logic Workshop (WiL2022) and Premium - FLoC Production Company.