Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

30 June 2020, 4th Women in Logic Workshop (WiL 2020), Online

Date: Tuesday 30 June 2020
Location: Online
Deadline: Sunday 10 May 2020

The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community. Women in Logic 2020 is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Universit́e Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events.

Our aim is to:
- provide a platform for female researchers to share their work and achievements;
- 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;
- foster a welcoming culture of mutual support and growth within the logic research community.
We believe these aspects will benefit women working in logic and computer science, particularly early-career researchers.

Thanks to the generous support of SIGLOG, the Vienna Center for Logic and Algorithms (VCLA) and the Institute of Logic, Language and Computation of the University of Amsterdam (ILLC), applications for awards are invited to facilitate students and postdocs, who are authors of accepted papers to register and travel to the WiL 2020. Deadline: May 15, 2020. The awardees of the SIGLOG/VCLA/ILLC Travel Award will be reimbursed for a portion of their travel expenses, and registration costs. There will be at most one award per paper.

Please join us at WiL, give a talk, and enjoy a day with Women in Logic! Please submit an abstract of 1-2 pages by April 22, 2020 via EasyChair. This will help us provide an interesting program, with only a light-weight selection procedure. Abstracts should be written in English (1-2 pages), and prepared using the Easychair style