Invited Talk (zoom link: https://technion.zoom.us/j/97111314813)

Type Theory and Formalization

Semantics

Report Back on Dagstuhl Perspectives Workshop: Current and Future Challenges in Knowledge Representation and Reasoning

Quantitative Algebra, Probabilities and Monads

QBF-2 + Stochastic Boolean Satisfiability

D&I Session

Modelling + Robust solutions

Applications

Applications: Concurrency, Quantum Computation

Semantics

KR & Machine Learning

Recently Published Research

Automata, Transducers and Games

Applications + pragmatics

Doctoral Consortium Mentor Lunch

Awards

Automata and Computability

Justification & Hybrid Knowledge Bases

KR & Machine Learning

Recently Published Research

Invited Talk by Amal Ahmed: Semantic Intermediate Representations for the Working Metatheoretician

Theory

Linear Recurrences and Skolem Problem

Awards + ACP General Assembly

Lambda Calculus and Normalization/Reduction

Applications

Invited Talk

Poster Session

The Olympic Games Session (Block 1)

Model Counting

Conditionals

Actions