BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//jEvents 2.0 for Joomla//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VTIMEZONE
TZID:Europe/Rome
BEGIN:STANDARD
DTSTART:20251026T020000
RDATE:20260329T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:Europe/Rome CET
END:STANDARD
BEGIN:STANDARD
DTSTART:20261025T020000
RDATE:20270328T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:Europe/Rome CET
END:STANDARD
BEGIN:STANDARD
DTSTART:20271031T020000
RDATE:20280326T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:Europe/Rome CET
END:STANDARD
BEGIN:STANDARD
DTSTART:20281029T020000
RDATE:20290325T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:Europe/Rome CET
END:STANDARD
BEGIN:STANDARD
DTSTART:20291028T020000
RDATE:20300331T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:Europe/Rome CET
END:STANDARD
BEGIN:STANDARD
DTSTART:20301027T020000
RDATE:20310330T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:Europe/Rome CET
END:STANDARD
BEGIN:STANDARD
DTSTART:20311026T020000
RDATE:20320328T030000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:Europe/Rome CET
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20250504T000000
RDATE:20251026T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:Europe/Rome CEST
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20260329T030000
RDATE:20261025T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:Europe/Rome CEST
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20270328T030000
RDATE:20271031T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:Europe/Rome CEST
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20280326T030000
RDATE:20281029T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:Europe/Rome CEST
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20290325T030000
RDATE:20291028T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:Europe/Rome CEST
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20300331T030000
RDATE:20301027T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:Europe/Rome CEST
END:DAYLIGHT
BEGIN:DAYLIGHT
DTSTART:20310330T030000
RDATE:20311026T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:Europe/Rome CEST
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:5953a4644094bf783f01b4499b110372
CATEGORIES:Call for papers
CREATED:20260421T120056
SUMMARY:CFP_WiL 2026: 10th Women in Logic Workshop
DESCRIPTION:Call for Contributions\nWiL 2026: 10th Women in Logic Workshop\nJuly 24-25,
  2026\nAffiliated with FLOC 2026\n (https://womeninlogic.org/workshops/2026
 /)https://womeninlogic.org/workshops/2026/ (https://womeninlogic.org/worksh
 ops/2026/)\n---------------------------------------------------------------
 \nWe are pleased to call for submissions to WiL 2026, the "10th Women in Lo
 gic workshop", which will take place in Lisbon on 24–25 July 2026, as a sat
 ellite event of FLoC 2026.\nThe Women in Logic workshop provides an opportu
 nity to highlight and increase awareness of the valuable contributions made
  by women in the field of logic and computer science. Its main goal is to p
 romote and showcase excellent research led by women, ultimately fostering g
 reater visibility and representation within the community.\nPrevious editio
 ns of Women in Logic have taken place in Reykjavík (2017), Oxford (2018), V
 ancouver (2019), Paris (2020), Rome (2021), Haifa (2022), Rome (2023), Tall
 inn (2024) and Birmingham (2025).\n* Submissions *\nAbstracts should be wri
 tten in English (max 2 pages excluding references), and prepared using the 
 Easychair style ( (https://easychair.org/publications/for_authors)https://e
 asychair.org/publications/for_authors (https://easychair.org/publications/f
 or_authors)). The abstracts should be uploaded to the WiL 2026 FLoC page\n 
 (https://submissions.floc26.org/wil/paper/new)https://submissions.floc26.or
 g/wil/paper/new (https://submissions.floc26.org/wil/paper/new)\nas a PDF fi
 le before the submission deadline on May 5, 2026, anywhere on Earth.\nTopic
 s of interest include but are not limited to: automata theory, automated de
 duction, categorical models and logics, concurrency and distributed computa
 tion, constraint programming, constructive mathematics, database theory, de
 cision procedures, description logics, domain theory, finite model theory, 
 formal aspects of program analysis, formal methods, foundations of computab
 ility, games and logic, higher-order logic, lambda and combinatory calculi,
  linear logic, logic in artificial intelligence, logic programming, logical
  aspects of bioinformatics, logical aspects of computational complexity, lo
 gical aspects of quantum computation, logical frameworks, logics of program
 s, modal and temporal logics, model checking, probabilistic systems, proces
 s calculi, programming language semantics, proof theory, real-time systems,
  reasoning about security and privacy, rewriting, type systems and type the
 ory, and verification.\n* Important Dates *\nAbstract Submission: May 5, 20
 26\nPaper Notification: May 15, 2026\nGrant Application: May 17, 2026\nGran
 t Notification: May 19, 2026\nEarly Registration: TBA\nContribution for Inf
 ormal Proceedings: June 25, 2026\nWorkshop: July 24-25, 2026\n* Invited Spe
 akers *\nValeria de Paiva (Topos Institute)\nRaheleh Jalali (University of 
 Bath)\nSara Uckelman (Durham University)\n* Program Committee *\n- Sandra A
 lves (Porto University)\n- Huimin Dong (Co-chair, TU Wien)\n- Amy Felty (Un
 iversity of Ottawa)\n- Nina Gierasimczuk (Technical University of Denmark)\
 n- Lourdes Del Carmen González Huesca (Universidad Nacional Autónoma de Méx
 ico)\n- Delia Kesner (Université Paris Cité)\n- Fenrong Liu (Tsinghua Unive
 rsity)\n- Anela Lolic (Co-chair, TU Wien)\n- Réka Markovich (University of 
 Luxembourg)\n- Daniele Nantes-Sobrinho (UNB, Brazil)\n- Aybüke Özgün (Unive
 rsity of Amsterdam)\n- Anja Petkovic Komel (Argot Collective)\n- Elaine Pim
 entel (Co-chair, UCL)\n- Tephilla Prince (IIT Dharwad)\n* Grants *\nA limit
 ed number of travel grants is available for students/young researchers who 
 would not otherwise have resources to attend WiL, and whose attendance woul
 d benefit both the applicant and the event.\nMore details:  (https://womeni
 nlogic.org/workshops/2026/)https://womeninlogic.org/workshops/2026/ (https:
 //womeninlogic.org/workshops/2026/)\n
X-ALT-DESC;FMTTYPE=text/html:<p>Call for Contributions</p><p>WiL 2026: 10th Women in Logic Workshop</p><
 p>July 24-25, 2026</p><p>Affiliated with FLOC 2026</p><p><a href="https://w
 omeninlogic.org/workshops/2026/" data-saferedirecturl="https://www.google.c
 om/url?q=https://womeninlogic.org/workshops/2026/&amp;source=gmail&amp;ust=
 1776851622203000&amp;usg=AOvVaw0_STCaZKwitcRNpOD1AMCF"></a><a href="https:/
 /womeninlogic.org/workshops/2026/" target="_blank" rel="noopener">https://w
 omeninlogic.org/workshops/2026/</a></p><p>---------------------------------
 ------------------------------</p><p>We are pleased to call for submissions
  to WiL 2026, the "10th Women in Logic workshop", which will take place in 
 Lisbon on 24–25 July 2026, as a satellite event of FLoC 2026.</p><p>The Wom
 en in Logic workshop provides an opportunity to highlight and increase awar
 eness of the valuable contributions made by women in the field of logic and
  computer science. Its main goal is to promote and showcase excellent resea
 rch led by women, ultimately fostering greater visibility and representatio
 n within the community.</p><p>Previous editions of Women in Logic have take
 n place in Reykjavík (2017), Oxford (2018), Vancouver (2019), Paris (2020),
  Rome (2021), Haifa (2022), Rome (2023), Tallinn (2024) and Birmingham (202
 5).</p><p>* Submissions *</p><p>Abstracts should be written in English (max
  2 pages excluding references), and prepared using the Easychair style (<a 
 href="https://easychair.org/publications/for_authors" data-saferedirecturl=
 "https://www.google.com/url?q=https://easychair.org/publications/for_author
 s&amp;source=gmail&amp;ust=1776851622203000&amp;usg=AOvVaw3b1JZx_FBl4-UCHIO
 nvKsP"></a><a href="https://easychair.org/publications/for_authors" target=
 "_blank" rel="noopener">https://easychair.org/publications/for_authors</a>)
 . The abstracts should be uploaded to the WiL 2026 FLoC page</p><p><a href=
 "https://submissions.floc26.org/wil/paper/new" data-saferedirecturl="https:
 //www.google.com/url?q=https://submissions.floc26.org/wil/paper/new&amp;sou
 rce=gmail&amp;ust=1776851622203000&amp;usg=AOvVaw3v0-8JuWpywXEh5Qy-aNaN"></
 a><a href="https://submissions.floc26.org/wil/paper/new" target="_blank" re
 l="noopener">https://submissions.floc26.org/wil/paper/new</a></p><p>as a PD
 F file before the submission deadline on May 5, 2026, anywhere on Earth.</p
 ><p>Topics of interest include but are not limited to: automata theory, aut
 omated deduction, categorical models and logics, concurrency and distribute
 d computation, constraint programming, constructive mathematics, database t
 heory, decision procedures, description logics, domain theory, finite model
  theory, formal aspects of program analysis, formal methods, foundations of
  computability, games and logic, higher-order logic, lambda and combinatory
  calculi, linear logic, logic in artificial intelligence, logic programming
 , logical aspects of bioinformatics, logical aspects of computational compl
 exity, logical aspects of quantum computation, logical frameworks, logics o
 f programs, modal and temporal logics, model checking, probabilistic system
 s, process calculi, programming language semantics, proof theory, real-time
  systems, reasoning about security and privacy, rewriting, type systems and
  type theory, and verification.</p><p>* Important Dates *</p><p>Abstract Su
 bmission: May 5, 2026</p><p>Paper Notification: May 15, 2026</p><p>Grant Ap
 plication: May 17, 2026</p><p>Grant Notification: May 19, 2026</p><p>Early 
 Registration: TBA</p><p>Contribution for Informal Proceedings: June 25, 202
 6</p><p>Workshop: July 24-25, 2026</p><p>* Invited Speakers *</p><p>Valeria
  de Paiva (Topos Institute)</p><p>Raheleh Jalali (University of Bath)</p><p
 >Sara Uckelman (Durham University)</p><p>* Program Committee *</p><p>- Sand
 ra Alves (Porto University)</p><p>- Huimin Dong (Co-chair, TU Wien)</p><p>-
  Amy Felty (University of Ottawa)</p><p>- Nina Gierasimczuk (Technical Univ
 ersity of Denmark)</p><p>- Lourdes Del Carmen González Huesca (Universidad 
 Nacional Autónoma de México)</p><p>- Delia Kesner (Université Paris Cité)</
 p><p>- Fenrong Liu (Tsinghua University)</p><p>- Anela Lolic (Co-chair, TU 
 Wien)</p><p>- Réka Markovich (University of Luxembourg)</p><p>- Daniele Nan
 tes-Sobrinho (UNB, Brazil)</p><p>- Aybüke Özgün (University of Amsterdam)</
 p><p>- Anja Petkovic Komel (Argot Collective)</p><p>- Elaine Pimentel (Co-c
 hair, UCL)</p><p>- Tephilla Prince (IIT Dharwad)</p><p>* Grants *</p><p>A l
 imited number of travel grants is available for students/young researchers 
 who would not otherwise have resources to attend WiL, and whose attendance 
 would benefit both the applicant and the event.</p><p>More details:&nbsp;<a
  href="https://womeninlogic.org/workshops/2026/" data-saferedirecturl="http
 s://www.google.com/url?q=https://womeninlogic.org/workshops/2026/&amp;sourc
 e=gmail&amp;ust=1776851622203000&amp;usg=AOvVaw0_STCaZKwitcRNpOD1AMCF"></a>
 <a href="https://womeninlogic.org/workshops/2026/" target="_blank" rel="noo
 pener">https://womeninlogic.org/workshops/2026/</a></p>
DTSTAMP:20260525T005137
DTSTART;TZID=Europe/Rome;VALUE=DATE:20260505
DTEND;TZID=Europe/Rome;VALUE=DATE:20260506
SEQUENCE:0
TRANSP:OPAQUE
END:VEVENT
END:VCALENDAR