The Women in Logic workshop (WiL) provides an opportunity t o increase awareness of the valuable contributions made by women in the area of logic in computer sc ience. Its main purpose is to promote the excellen t research done by women, with the ultimate goal o f increasing their visibility and representation i n the community. Women in Logic 2020 is part of &q uot;Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Universit́e Par is 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2 020, and over 20 satellite events.
\n\nOur
aim is to:
\n - provide a platform for female
researchers to share their work and achievements;
\n - increase the feelings of community and b
elonging, especially among junior faculty, post-do
cs and students through positive interactions with
peers and more established faculty;
\n - esta
blish new connections and collaborations;
\n -
foster a welcoming culture of mutual support and
growth within the logic research community.
\n
We believe these aspects will benefit women worki
ng in logic and computer science, particularly ear
ly-career researchers.
Thanks to the g enerous support of SIGLOG, the Vienna Center for L ogic and Algorithms (VCLA) and the Institute of Lo gic, Language and Computation of the University of Amsterdam (ILLC), applications for awards are inv ited to facilitate students and postdocs, who are authors of accepted papers to register and travel to the WiL 2020. Deadline: May 15, 2020. The award ees of the SIGLOG/VCLA/ILLC Travel Award will be r eimbursed for a portion of their travel expenses, and registration costs. There will be at most one award per paper.
\nPlease joi n us at WiL, give a talk, and enjoy a day with Wom en in Logic! Please submit an abstract of 1-2 page s by April 22, 2020 via EasyChair. This will help us provide an interesting program, with only a lig ht-weight selection procedure. Abstracts should be written in English (1-2 pages), and prepared usin g the Easychair style
\n