\mathcal{F}^3_+

2023-F3flyer_front
2023-F3flyer_2
2023-F3flyer_3
2023-F3flyer_back

Committees

I have served as a program committee member for leading conferences in artificial intelligence and formal methods.

    • PC Member: IJCAI 2024, ECAI 2024, FMCAD 2024, RV 2024, AAAI 2024, VMCAI 2024, TACAS 2024, RV 2023, iFM 2023, AAAI 2023, AAMAS 2023, CONCUR 2023, SPIN 2023, RV 2022, NSV 2022, CAV 2022, SAC 2022, AAAI-22, VMCAI 2022, AAAI-21, SAC 2021, IJCAI-PRICAI 2020, AAAI-20.

Organization and Outreach

July 17, 2023 3rd WOLVERINE (Workshop on Open Problems in Learning and Verification of Neural Networks) during CAV 2023, Paris, France. Organizing team.
November 15–23, 2022 \mathcal{F}^3_+ Week 2022 on TU Delft campus: Kick-off week of the Future Female+ Faculty (\mathcal{F}^3_+) mentorship program connecting junior self-identified female computer scientists all over the world with senior faculty at TU Delft. Delft, The Netherlands. Head organizer.
August 11, 2022 2nd WOLVERINE (Workshop on Open Problems in Learning and Verification of Neural Networks) during FLoC 2022, Haifa, Israel. Organizing team.
July 23–26, 2022 The 31th International Joint Conference on Artificial Intelligence and The 23rd European Conference on Artificial Intelligence IJCAI-ECAI 2022, Vienna, Austria. Local Diversity & Inclusion Chair.
October 18, 2021 WOLVERINE (Workshop on Open Problems in Learning and Verification of Neural Networks) during ATVA 2021, virtually. Organizing team.
August 24–25, 2021 Borderless: Diversity of Academic and Industrial Careers across Continents during IJCAI-21. Organizer and moderator.
June 2, 2021 Zoom a Scientist: Introducing primary school students to robots and machine learning. Volunteer from IST Austria.
January–May, 2021 TFCS Seminar at Simons Institute for the Theory of Computing, Berkeley, USA. Organizing committee member.
Discussion group on Open Problems in Neural-Network Controlled Systems at Simons Institute for the Theory of Computing, Berkeley, USA. Leading facilitator.
December 19, 2020 Moderating a discussion around the documentary “Picture a Scientist” at the New Economic School Alumni event.
January 26, 2019 3D Projection Mapping “Steps of Logic”, Vienna Ball of Sciences, Austria.
October 1, 2018 Beginners’ Trail 2018, TU Wien, Vienna, Austria. Represented Cyber-Physical Systems Team consulting first-year bachelor students on the ongoing research activities.
September 10–13, 2018 SEMANTiCS Conference 2018, Vienna, Austria. A member of the volunteering team.
October 16–20, 2017 31st International Symposium on Distributed Computing, Vienna, Austria. A member of the volunteering team.
September 18–22, 2017 Alpine Verification Meeting/RiSE Workshop 2017, Budapest, Hungary. Formal and probabilistic verification, games, synthesis, and decision procedures. Head of the organizing committee.
September 26–29, 2016 RiSE Workshop 2016, Pöllauberg, Austria. Formal and probabilistic verification, games, synthesis, and decision procedures. Head of the organizing committee.
April 11–14, 2016 CPSWeek 2016, Vienna, Austria. A member of the official organizing committee.