The third Women in Logic Workshop (WiL) taking place on June 23, 2019, is a workshop associated with the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019, Vancouver. The workshop intends to follow the pattern of meetings such as Women in Machine Learning or Women in Engineering that have been taking place for quite some years. The workshop aims to offer opportunity for women in the LICS community to increase awareness of one another and one another’s work, and to provide mentorship among especially the early-career academics.

The workshop builds on the success of the first such event, held in in Reykjavik, Iceland, in 2017, and the second workshop, held in Oxford, in 2018. The report on the 2nd Women in Logic Workshop in SIGLOG Newsletter January 2019 here.

Dinner at the 3rd Women in Logic Workshop

Invited Speakers

• Anne Condon (UBC)
• Zena Ariola (Univ. of Oregon)

Call for Talks and Papers

Contributions should be written in English and can be submitted in the form of full papers (with a maximum of 10 pages), short papers (with a maximum of 5 pages), or talk abstracts (1 page).

• Talk/Paper submission deadline: 7 April 2019 21 April 2019
  
• Author notification: 7 May 2019
• Contribution for Informal Proceedings: 23 May 2019

Topics

These include but are not limited to the usual Logic in Computer Science (LICS) topics. These are:

automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, 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 complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model
checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

SIGLOG/VCLA Travel Awards

It is our pleasure to announce the call for the SIGLOG/VCLA Travel Awards for attendees of Women in Logic 2019. Deadline: May 15, 2019.

Organizing and Program Committee

Sandra Alves (Universidade do Porto, Portugal)
Agata Ciabattoni (TU-Wien, Austria)
Amy Felty (Co-Chair, University of Ottawa, Canada)
Maribel Fernandez (King’s College London, UK)
Sara Kalvala (University of Warwick, UK)
Delia Kesner (Université Paris Diderot, France)
Ursula Martin (University of Oxford, UK)
Valeria de Paiva (Co-Chair, Nuance, USA)
Catuscia Palamidessi (École Polytechnique, France)
Brigitte Pientka (Co-Chair, McGill University, Canada)
Elaine Pimentel (Universidade Federal do Rio Grande do Norte, Brazil)
Giselle Reis (Carnegie Mellon University, Qatar)
Simona Ronchi Della Rocca (Università degli Studi di Torino, Italy)
Alexandra Silva (University College London, UK)
Perdita Stevens (University of Edinburgh, UK)
Valeria Vignudelli (Ecole Normale Supérieure de Lyon, France)

Past Editions

2nd Women in Logic Workshop 2018

1st Women in Logic Workshop 2017