Taub 1

Sessions

Session 1I (Jul 31 09:00-09:50)
Session 5 (Jul 31 09:50-10:30)
Session 10L (Jul 31 11:00-11:30)
Session 11 (Jul 31 11:35-12:05)
Session 12B (Jul 31 12:10-12:40)
Session 14N (Jul 31 14:00-14:50)
Session 17 (Jul 31 14:50-15:30)
Session 19L (Jul 31 16:00-16:40)
Session 20 (Jul 31 16:45-17:05)
Session 22 (Jul 31 17:10-18:00)
Session 26K (Aug 01 09:00-09:50)
Session 29 (Aug 01 09:50-10:30)
Session 31Q (Aug 01 11:00-11:30)
Session 32 (Aug 01 11:35-12:05)
Session 33 (Aug 01 12:10-12:40)
Session 34Q (Aug 01 14:00-14:55)
Session 35B (Aug 01 15:00-15:40)
Session 37Q (Aug 01 16:00-16:40)
Session 38 (Aug 01 16:45-17:05)
Session 39B (Aug 01 17:00-18:00) Joint Session with Vardi-Fest
Session 40 (Aug 01 17:10-18:00)
Session 42 (Aug 01 18:00-19:00) A session to honor 100 years since the birth of the late Boris (Boaz) Trakhtenbrot
Session 43B (Aug 02 08:50-09:00) Welcome Sesssion
Session 44F (Aug 02 09:00-10:30) Temporal and Data Logic, Linear Recurrences and Equation Systems
Session 50G (Aug 02 14:00-15:30) Lambda Calculus, Quantum Programming, Games in Category Theory
Session 54G (Aug 02 16:00-17:30) Type and Category Theory
Session 56E (Aug 03 09:00-10:30) Quantitative Algebra, Probabilities and Monads
Session 58G (Aug 03 11:00-12:30) Automata, Transducers and Games
Session 59F (Aug 03 14:00-15:00) Invited Talk by Amal Ahmed: Semantic Intermediate Representations for the Working Metatheoretician
Session 60 (Aug 03 15:00-15:30) Linear Recurrences and Skolem Problem
Session 63G (Aug 04 09:00-10:30) Linear Logic and Proof Systems
Session 65F (Aug 04 11:00-12:30) Graphs, Behavioural Equivalences and Learning
Session 67G (Aug 04 14:00-15:30) FOL, SOL and Model Theory
Session 73E (Aug 05 09:00-10:00) Invited talk by Mikolaj Bojanczyk
Session 76G (Aug 05 11:00-12:30) Verification
Session 78D (Aug 05 14:00-15:30) Complexity and Circuits
Session 81C (Aug 05 16:00-16:45) CSP, SAT and Boolean Algebra
Session 83 (Aug 05 16:50-17:30) Award Session: Kleene award, LICS Test-of-Time award, Church award
Session 85A (Aug 07 09:00-10:30) Formal Methods for Probabilistic Programs
Session 90A (Aug 07 14:00-15:30) Formal Methods for Neural Networks
Session 92A (Aug 07 16:00-17:30) Software Verification and Model Checking
Session 94A (Aug 08 09:00-10:30) Hyperproperties and Security
Session 96A (Aug 08 11:00-12:30) Invited Talk: A Billion SMT Queries a Day (Neha Rungta)
Session 97A (Aug 08 14:00-15:30) Formal Methods for Hardware, Cyber-Physical and Hybrid Systems
Session 98A (Aug 08 16:00-17:30) Probabilistic Techniques
Session 100A (Aug 09 09:00-10:30) CAV Award 2022
Session 102A (Aug 09 11:00-12:30) Automata and Logic
Session 104A (Aug 09 14:00-16:00) Deductive Verification and Decision Procedures
Session 109 (Aug 09 17:30-18:30) Business Meeting
Session 110A (Aug 10 09:00-10:30) CAV Award 2021
Session 112A (Aug 10 11:00-12:30) Invited Talk: Program Verification with Constrained Horn Clauses (Arie Gurfinkel)
Session 115A (Aug 10 14:00-15:30) Machine Learning
Session 116A (Aug 10 16:00-17:30) Synthesis and Concurrency