Conference: WiL2022 (6th International Workshop "Women in Logic")

Conference: WiL2022 (6th International Workshop "Women in Logic")

This page shows all presentations from this conference published in EasyChair Smart Slide.

A Note on Türing 1936

A Note on Türing 1936

Paola Cattabriga

Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems

Two Dimensional Bounded Model Checking for Unbounded Client-Server Systems

Ramchandra Phawade, Tephilla Prince and S Sheerazuddin

The Essence of Type-Theoretic Elaboration

The Essence of Type-Theoretic Elaboration

Anja Petković Komel

A Goal-Oriented Proof-Theory for Multi-Agent Modal Logic

A Goal-Oriented Proof-Theory for Multi-Agent Modal Logic

Monoidal Width -- Extended Abstract

Monoidal Width -- Extended Abstract

Elena Di Lavore and Pawel Sobocinski

Presentations in this collection: 5