Maths LT2

Lecture Theatre 2, Mathematical Institute, Radcliffe Observatory Quarter, Woodstock Rd, Oxford, OX2 6GG, https://goo.gl/maps/VefskbmvcER2

Sessions

Session 23G (Jul 07 09:00-10:30) Type Theory and Proof Assistants
Session 26H (Jul 07 11:00-12:40) Verification and Testing
Session 28G (Jul 07 14:00-15:30) Formalization
Session 31H (Jul 07 16:00-18:00) Implementation
Session 34B (Jul 08 09:00-10:30)
Session 38B (Jul 08 11:00-12:30)
Session 40B (Jul 08 14:00-15:30)
Session 42B (Jul 08 16:00-18:00)
Session 47A (Jul 09 11:00-12:30) Security protocols I
Session 49A (Jul 09 14:00-15:00) CSF Invited Talk: Srini Devadas
Session 50A (Jul 09 15:00-15:30) Attack trees
Session 51A (Jul 09 16:00-17:30) CSF 5 minutes talks
Session 52A (Jul 10 09:00-10:30) Cryptographic primitives
Session 54A (Jul 10 11:00-12:30) Secure computation
Session 55A (Jul 10 14:00-15:30) Knowledge and hyperproperties
Session 58A (Jul 10 16:00-16:30) Blockchain
Session 60B (Jul 11 09:00-10:30) Information flow
Session 64A (Jul 11 11:00-12:00) CSF Invited Talk: Catuscia Palamidessi
Session 65A (Jul 11 12:00-12:30) Privacy
Session 67A (Jul 11 16:00-17:00) Electronic voting
Session 69A (Jul 11 17:00-18:00) CSF Business Meeting
Session 95F (Jul 14 11:00-12:30) SMT 1
Session 96E (Jul 14 14:00-15:30) SAT Extensions & Applications
Session 99F (Jul 14 16:00-17:00) Tools and Rewriting
Session 100B (Jul 14 17:00-18:00) Awards
Session 101D (Jul 15 09:00-10:30) Logics and Calculi
Session 103D (Jul 15 11:00-12:30) Formal Proofs
Session 105D (Jul 15 14:00-15:00) IJCAR Invited Talk: Martin Giese
Session 106B (Jul 15 15:00-15:30) Termination
Session 107D (Jul 15 16:00-18:00) Logics, Frameworks and Proofs
Session 109D (Jul 16 09:00-10:30) Decidability & Complexity
Session 111E (Jul 16 11:00-12:30) Superposition
Session 116 (Jul 16 17:30-18:30) Competitions Presentations
Session 117E (Jul 17 09:00-10:00) IJCAR Invited Talk: Erika Abraham
Session 118 (Jul 17 10:00-10:30) SMT 3
Session 119D (Jul 17 11:00-12:30) AR Miscellanea
Session 121E (Jul 17 14:00-15:30) System Descriptions
Session 122E (Jul 17 16:00-18:00) CADE/IJCAR Business Meeting
Session 124N (Jul 18 09:00-10:30) Model Checking I
Session 126N (Jul 18 11:00-12:30) Model Checking II
Session 127N (Jul 18 14:00-15:30) Certification & Formalisation I
Session 129M (Jul 18 16:00-18:00) Certification & Formalisation II
Session 130H (Jul 19 09:00-10:30) Certification & Formalisation III
Session 132H (Jul 19 11:00-12:30) Security
Session 134H (Jul 19 14:00-15:30) New Applications
Session 136G (Jul 19 16:00-18:00) Off the beaten track