Hyperproperties and Security

Voting and Distributed Systems

Joint NMR/DL Session (3)

Invited Talk and Cooperating Reasoners

Keynote NMR and DL

Joint DL/NMR Session C

Invited Talk: A Billion SMT Queries a Day (Neha Rungta)

Cryptography 1

Joint NMR/DL Session (4)

Effective Superposition and Orderings

Joint DL/NMR Session D

Formal Methods for Hardware, Cyber-Physical and Hybrid Systems

Invited Talk 1

Query Answering & Extensions

Knowledge Representation and Justification

Belief Revision

Probabilistic Techniques

Mentoring Session and 5-minute Talks

Tractable DL

Preprocessing and Simplification

ITP Business Meeting

Preferences and Conditionals

Herbrand Award Ceremony