Logic List Mailing Archive

CfP: [extended deadline] WiL 2024: Woman in Logic, 9 July 2024, Tallinn (Estonia)

Are you a woman working in logic? Please join us on July 9, 2024 at WiL, gi
ve a talk, and enjoy a day with Women in Logic!

Please submit an abstract of 1-2 pages by May 7, 2024 (AoE), via EasyChair.

---------------------------------------------------------------------------
---------------------
-----
Call for Contributions
WiL 2024: 8th Women in Logic Workshop
  July 9, 2024
Co-located with LICS/ICALP/FSCD 2024
  https://sites.google.com/view/wil24
---------------------------------------------------------------------------
---------------------
-----
Women in Logic 2024 is a satellite event of the  9th International Conferen
ce on Formal Structur es for Computation and Deduction (FSCD 2024) to be he
ld in Tallinn, Estonia, from July 10 to Jul y 13, 2024.

The Women in Logic workshop (WiL) provides an opportunity to increase aware
ness of the valuable contributions made by women in the area of logic in co
mputer science. Its main purpose is to pro mote the excellent research done
 by women, with the ultimate goal of increasing their visibility
  and representation in the community. Our aim is to:

* provide a platform for women researchers to share their work and achievem
ents;
* increase the feelings of community and belonging, especially among junior
 faculty, post-docs a nd 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 s
cience, particularly early-career researchers.

Previous versions of Women in Logic (Reykjavk 2017, Oxford 2018, Vancouv
er 2019, Paris 2020, Ro me 2021, Haifa 2022, Rome 2023) were very successfu
l in showcasing women's work and as catalysts
  for a recognition of the need for change in the community.

Topics of interest include but are not limited to: automata theory, automat
ed deduction, categor ical models and logics, concurrency and distributed c
omputation, constraint programming, constru ctive mathematics, database the
ory, decision procedures, description logics, domain theory, fini te model 
theory, formal aspects of program analysis, formal methods, foundations of 
computabilit y, games and logic, higher-order logic, lambda and combinatory
 calculi, linear logic, logic in a rtificial intelligence, logic programmin
g, logical aspects of bioinformatics, logical aspects of
  computational complexity, logical aspects of quantum computation, logical
 frameworks, logics of
  programs, modal and temporal logics, model checking, probabilistic system
s, process calculi, pr ogramming language semantics, proof theory, real-tim
e systems, reasoning about security and priv acy, rewriting, type systems a
nd type theory, and verification.

INVITED SPEAKERS
*  TBA

IMPORTANT DATES
* Abstract submission deadline: May 7, 2024 (extended!)
* Notification: May 13, 2024
* Early registration: May 17, 2024
* Contribution for Informal Proceedings: June 25, 2024
* Workshop: July 9, 2024

SUBMISSIONS
Abstracts should be written in English (1-2 pages), and prepared using the 
Easychair style (http s://easychair.org/publications/for_authors). The abst
racts should be uploaded to the WiL 2024 Ea sychair page
https://easychair.org/my/conference?conf=wil2024

as a PDF file before the submission deadline on April 30, 2024, anywhere on
 Earth.

ORGANIZING AND PROGRAM COMMITTEE
* Suguman Bansal (Georgia Institute of Technology)
* Agata Ciabattoni (Vienna University of Technology)
* Lourdes Del Carmen Gonzlez Huesca (Universidad Nacional Autnoma de 
Mxico)
* Amy Felty (University of Ottawa)
* Maria Keet (University of Cape Town)
* Delia Kesner (Universit Paris Cit)
* Daniele Nantes (Co-chair, University of Braslia/Imperial College)
* Thaynara Arielly de Lima (Federal University of Gois)
* Valeria de Paiva  (Topos Institute)
* Catuscia Palamidessi (INRIA)
* Elaine Pimentel (Co-chair, UCL)
* Tephilla Prince (Co-chair, IIT Dharwad)
* Krishna S. (IIT Bombay)

GRANTS
A limited number of travel grants is available for students/young researche
rs who would not othe rwise have resources to attend WiL, and whose attenda
nce would benefit both the applicant and th e event. We expect to be able t
o help with registration/local/travel expenses. Applicants should
  note that grants are limited, and that costs in excess of the grant will 
not be reimbursed.

Grants will be awarded to (co-)authors of accepted papers, based on the gra
nt committee's assess ment of the applicant's genuine financial need, the p
otential benefit to the applicant's educati on and research, and the potent
ial benefit to WiL.

Applications should be sent by May 14th 2024 via the form:

https://forms.gle/UZkgGz53X6CYy2Tg6

The award notification date is May 15th, 2024.

The grants will be presented at the conferences; in case a grantee does not
 attend, the chairs m ay transfer the grant to another student or give no a
ward.

The grants are kindly offered by ACM SIGLOG and Jane Street.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php