5th Women in Logic Workshop (WiL) 2021 {re-arranged to virtual}

DATE:Sunday, June 27, 2021

Women in Logic 2021 is a satellite event of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS’21) on June 29-July 2, 2021 which has been re-arranged to virtual due to COVID-19, 

Invited speakers

Title: Intersection types for probabilistic computation

Abstract: Intersection types assignment systems are a powerful tool for proving properties of programs, in the sense that if a program can be typed then it enjoys the property for which the system has been designed. I will focus on the property of termination, both in functional and probabilistic setting. Intersection type assignment systems can supply a complete characterisation of such property, both in a qualitative and quantitative way. In particular, in the probabilistic case, I will show a system characterising both AST (Almost Sure Termination) and PAST (Positive Almost Sure Termination). The system is designed for a call-by-value lambda-calculus, enriched with a probabilistic choice, but all the results are robust and can be applied to the call-by-name calculus too.

Title: Zero-one laws for provability logic and its transitive sisters

Abstract: It has been shown in the late 1960s that each formula of first-order logic without constants and function symbols obeys a zero-one law: As the number of elements of finite models increases, every formula holds either in almost all or in almost no models of that size. Therefore, many properties of models, such as having an even number of elements, cannot be expressed in the language of first-order logic.

For modal logics, limit behavior for models and frames may differ. Halpern and Kapron proved zero-one laws for classes of models corresponding to the modal logics K, T, S4, and S5. They also proposed zero-one laws for the corresponding classes of frames, but their zero-one law for K-frames has since been disproved.

In this lecture, I prove zero-one laws for provability logic with respect to both model and frame validity. Moreover, I axiomatize validity in almost all irreflexive transitive finite models and in almost all irreflexive transitive finite frames, leading to two different axiom systems. In the proofs, I use a combinatorial result by Kleitman and Rothschild about the structure of almost all finite partial orders. On the way, I also show that a previous result by Halpern and Kapron about the axiomatization of almost sure frame validity for S4 is not correct, and give pointers as to why a zero-one law for reflexive transitive frames may still hold. Finally, I give some glimpses into my personal history with zero-one laws for modal logics, starting 27 years ago.


Call for contributions

  • Are you a woman working in logic?
  • Please join us at WiL, give a talk, and enjoy a virtual day with Women in Logic !
Topics of interest of this workshop include but are not limited to:

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, 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.

Important dates

Submission deadline: April 30, 2021 (AoE)

Workshop: June 27, 2021

More information here

The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote 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 female researchers to share their work and achievements;
  • increase the feelings of community and belonging, especially among junior faculty, post-docs and 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 science, particularly early-career researchers.

SIGLOG Registration Funding for WiL 2021

Thanks to the generous support of SIGLOG, there is some funding available for speakers and other participants.

The application for funding is possible until June 24, 2021.

More information here

Previous editions

Comments are closed.