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 101B (Jul 15 09:00-10:30)
Session 104B (Jul 15 11:00-12:00) FM Invited Talk: Annabelle McIver
Session 105 (Jul 15 12:00-12:30)
Session 106B (Jul 15 14:00-15:00) FME Fellow Ceremony
Session 107A (Jul 15 15:00-15:30)
Session 108B (Jul 15 16:00-18:00)
Session 110D (Jul 16 09:00-10:30) Decidability & Complexity
Session 112E (Jul 16 11:00-12:30) Superposition
Session 117 (Jul 16 17:30-18:30) Competitions Presentations
Session 118E (Jul 17 09:00-10:00) IJCAR Invited Talk: Erika Abraham
Session 119 (Jul 17 10:00-10:30) SMT 3
Session 120D (Jul 17 11:00-12:30) AR Miscellanea
Session 122E (Jul 17 14:00-15:30) System Descriptions
Session 123E (Jul 17 16:00-18:00) CADE/IJCAR Business Meeting
Session 125N (Jul 18 09:00-10:30) Model Checking I
Session 127N (Jul 18 11:00-12:30) Model Checking II
Session 128N (Jul 18 14:00-15:30) Certification & Formalisation I
Session 130M (Jul 18 16:00-18:00) Certification & Formalisation II
Session 131H (Jul 19 09:00-10:30) Certification & Formalisation III
Session 133H (Jul 19 11:00-12:30) Security
Session 135H (Jul 19 14:00-15:30) New Applications
Session 137G (Jul 19 16:00-18:00) Off the beaten track