BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2020/newsitem/11583/30 -June-2020-4th-Women-in-Logic-Workshop-WiL-2020-On line DTSTAMP:20200409T172048 SUMMARY:4th Women in Logic Workshop (WiL 2020), On line DTSTART;VALUE=DATE:20200630 DTEND;VALUE=DATE:20200630 LOCATION:Online DESCRIPTION:The Women in Logic workshop (WiL) prov ides an opportunity to increase awareness of the v aluable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, wit h the ultimate goal of increasing their visibility and representation in the community. Women in Log ic 2020 is part of "Paris Nord Summer of LoVe 2020 ", a joint event on LOgic and VErification at Univ ersit́e Paris 13, made of Petri Nets 2020, IJCAR 2 020, FSCD 2020, and over 20 satellite events. Our aim is to: - provide a platform for female resea rchers to share their work and achievements; - in crease the feelings of community and belonging, es pecially among junior faculty, post-docs and stude nts through positive interactions with peers and m ore established faculty; - establish new connecti ons and collaborations; - foster a welcoming cult ure of mutual support and growth within the logic research community. We believe these aspects will benefit women working in logic and computer scien ce, particularly early-career researchers. Thanks to the generous support of SIGLOG, the Vienna Cen ter for Logic and Algorithms (VCLA) and the Instit ute of Logic, Language and Computation of the Univ ersity of Amsterdam (ILLC), applications for award s are invited to facilitate students and postdocs, who are authors of accepted papers to register an d 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 e xpenses, 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 sel ection procedure. Abstracts should be written in E nglish (1-2 pages), and prepared using the Easycha ir style X-ALT-DESC;FMTTYPE=text/html:
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.
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 w ritten in English (1-2 pages), and prepared using the Easychair style