https://floc2018.org

FLoC 2018FLoC 2018 Home Programme About Gallery About FLoC Support and volunteering Sponsors FAQs Diversity and anti-harrassment Did you know? PR materials Contact Events Conferences Call for Papers Workshops FoPSS Logic and Learning School Summit on Machine Learning Meets Formal Methods Formal Methods in Industry FLoC Olympic Games Plenaries and Keynotes Public lecture Oxford Union debate Mentoring and student events Ally Skills session Social events Calendar Local information Accommodation Travel information Things to do / amenities Family-friendly Venues News Federated Logic Conference 2018 Oxford, UK 6-19 July 2018 FLoC videos online We have a FLoC 2018 YouTube channel with videos of FLoC plenaries, keynotes, the… July 24, 2018 FLoC gallery We are collecting images and videos from FLoC: www.floc2018.org/gallery/ Send images or youtube links… July 10, 2018 FLoC hoodies! Available for online purchase until 27 July 2018 You can buy a FLoC hoodie! … April 3, 2018 Conference and Worskhop programmes Programme At a glance July 2018 Mon Tue Wed Thu Fri Sat Sun 1 FoPSS FoPSS July 1, 2018 - July 6, 2018 Saint Anne's College, 56 Woodstock Rd, Oxford OX2 6HS, UK School on Foundations of Programming and Software Systems See http://www.floc2018.org/conferences/ See more details • 2 FoPSS FoPSS July 1, 2018 - July 6, 2018 Saint Anne's College, 56 Woodstock Rd, Oxford OX2 6HS, UK School on Foundations of Programming and Software Systems See http://www.floc2018.org/conferences/ See more details • 3 FoPSS FoPSS July 1, 2018 - July 6, 2018 Saint Anne's College, 56 Woodstock Rd, Oxford OX2 6HS, UK School on Foundations of Programming and Software Systems See http://www.floc2018.org/conferences/ See more details • 4 FoPSS FoPSS July 1, 2018 - July 6, 2018 Saint Anne's College, 56 Woodstock Rd, Oxford OX2 6HS, UK School on Foundations of Programming and Software Systems See http://www.floc2018.org/conferences/ See more details • 5 FoPSS FoPSS July 1, 2018 - July 6, 2018 Saint Anne's College, 56 Woodstock Rd, Oxford OX2 6HS, UK School on Foundations of Programming and Software Systems See http://www.floc2018.org/conferences/ See more details • 6 FoPSS FoPSS July 1, 2018 - July 6, 2018 Saint Anne's College, 56 Woodstock Rd, Oxford OX2 6HS, UK School on Foundations of Programming and Software Systems See http://www.floc2018.org/conferences/ See more details FLoC registration opens (2-8pm) FLoC registration opens (2-8pm) July 6, 2018 @ 14:00 - 20:00 Mathematical Institute, Andrew Wiles Building, University of Oxford, Radcliffe Observatory Quarter, Woodstock Rd, Oxford OX2 6GG, UK See more details • • 7 Pre-FLoC workshops Pre-FLoC workshops July 7, 2018 (various locations) Workshop in honour of Dana Scott’s 85th birthday and 50 years of domain theory - Maths LT1 International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP) - Maths LT2 Game Semantics 25 - Maths LT3 Programming And Reasoning on Infinite Structures (PARIS) - Maths L4 Pragmatics of SAT - Maths L5 Workshop on Proof Complexity (PC) - Maths L6 10th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2018) - Maths Seminar C1 7th International Workshop on Classical Logic and Computation (CL&C 2018) - Maths Seminar C2 6th Workshop on Strategic Reasoning (SR) - Maths Seminar C3 The 32nd international workshop on unification UNIF 2018 - Maths Seminar C4 9th Workshop on Higher Order Rewriting (HOR 2018) - Maths Seminar C5 Twenty Years of Deep Inference - Maths Board Room (top floor) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT) - Blavatnik LT1 Higher-Dimensional Rewriting and Algebra - Blavatnik LT2 Joint Workshop on Linearity & TLLA (5th International Workshop on Linearity and 2nd Workshop on Trends in Linear Logic and Applications) - Blavatnik seminar room 1 5th Workshop on Natural Language in Computer Science (NLCS) - Blavatnik seminar room 2 Syntax and Semantics of Low Level Languages (LOLA 2018) - Blavatnik seminar room 3 7th International Workshop on Confluence (IWC 2018) - Blavatnik seminar room 4 See more details Workshop dinner (7:45 for 8:15) Workshop dinner (7:45 for 8:15) July 7, 2018 @ 19:45 - 22:15 Balliol College, Oxford OX1 3BJ, UK See more details • • 8 Pre-FLoC workshops Pre-FLoC workshops July 8, 2018 (various locations) Workshop in honour of Dana Scott’s 85th birthday and 50 years of domain theory - Maths LT1 The Coq Workshop - Maths LT2 Game Semantics 25 - Maths LT3 Programming And Reasoning on Infinite Structures (PARIS) - Maths L4 International Workshop on Quantified Boolean Formulas and Beyond (QBF) - Maths L5 Workshop on Proof Complexity (PC) - Maths L6 The Fifth International Workshop on Graphical Models for Security (GraMSec 2018) - Maths Seminar C1 IFIP Working Group 1.6: Rewriting - Maths Seminar C2 6th Workshop on Strategic Reasoning (SR) - Maths Seminar C3 12th International Workshop on Developments in Computational Models (DCM 2018) - Maths Seminar C4 9th Workshop on Intersection Types and Related Systems (ITRS 2018) - Maths seminar C5 2nd Logic Mentoring Workshop - Maths Board Room (top floor) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT) - Blavatnik LT1 Women in Logic 2018 (WiL) - Blavatnik LT2 Joint Workshop on Linearity & TLLA (5th International Workshop on Linearity and 2nd Workshop on Trends in Linear Logic and Applications) - Blavatnik seminar room 1 7th Workshop Mathematically Structured Functional Programming (MSFP) - Blavatnik seminar room 2 Coalgebra Now - Blavatnik seminar room 3 Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE) - Blavatnik seminar room 4 Workshop on Foundations of Computer Security (FCS) - St Luke's Chapel See more details • 9 FLoC Conference Block 1 FLoC Conference Block 1 July 9, 2018 - July 12, 2018 Mathematical Institute, Oxford OX1 3LB, UK Locations: Mathematical Institute, Oxford OX1 3LB, UK Blavatnik School of Government, 120 Walton St, Oxford OX2, UK See more details Plenary: Peter O'Hearn Plenary: Peter O'Hearn July 9, 2018 @ 09:00 - 10:30 http://www.floc2018.org/speaker/peter-ohearn/ See more details CSF CSF July 9, 2018 @ 09:00 - 18:00 Mathematical Institute, LT2 31st IEEE Computer Security Foundations Symposium (CSF) http://www.cs.ox.ac.uk/conferences/csf2018/ See more details FSCD FSCD July 9, 2018 @ 09:00 - 18:00 Blavatnik School of Government, Seminar rooms 3-4 3rd International Conference on Formal Structures for Computation and Deduction (FSCD) http://www.cs.le.ac.uk/events/fscd2018/ See more details ITP ITP July 9, 2018 @ 09:00 - 18:00 Blavatnik School of Government, LT1 9th International Conference on Interactive Theorem Proving (ITP) https://itp2018.inria.fr/ See more details LICS LICS July 9, 2018 @ 09:00 - 18:00 Mathematical Institute, LT1 and LT3 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) http://lics.rwth-aachen.de/ See more details SAT SAT July 9, 2018 @ 09:00 - 18:00 Blavatnik School of Government, Seminar rooms 1 and 2 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) http://www.satisfiability.org/ See more details FLoC reception (7 for 7:30) FLoC reception (7 for 7:30) July 9, 2018 @ 19:00 - 21:30 Ashmolean Museum, Beaumont St, Oxford OX1 2PH, UK arrivals from 6:30 See more details • • • • • • • • 10 FLoC Conference Block 1 FLoC Conference Block 1 July 9, 2018 - July 12, 2018 Mathematical Institute, Oxford OX1 3LB, UK Locations: Mathematical Institute, Oxford OX1 3LB, UK Blavatnik School of Government, 120 Walton St, Oxford OX2, UK See more details CSF CSF July 10, 2018 @ 09:00 - 18:00 Mathematical Institute, LT2 31st IEEE Computer Security Foundations Symposium (CSF) http://www.cs.ox.ac.uk/conferences/csf2018/ See more details FSCD FSCD July 10, 2018 @ 09:00 - 18:00 Blavatnik School of Government, Seminar rooms 3-4 3rd International Conference on Formal Structures for Computation and Deduction (FSCD) http://www.cs.le.ac.uk/events/fscd2018/ See more details ITP ITP July 10, 2018 @ 09:00 - 18:00 Blavatnik School of Government, LT1 9th International Conference on Interactive Theorem Proving (ITP) https://itp2018.inria.fr/ See more details LICS LICS July 10, 2018 @ 09:00 - 18:00 Mathematical Institute, LT1 and LT3 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) http://lics.rwth-aachen.de/ See more details SAT SAT July 10, 2018 @ 09:00 - 18:00 Blavatnik School of Government, Seminar rooms 1 and 2 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) http://www.satisfiability.org/ See more details Public lecture: Stuart Russell Public lecture: Stuart Russell July 10, 2018 @ 17:00 - 18:30 The Sheldonian Theatre, Broad St, Oxford OX1 3AZ, UK http://www.floc2018.org/speaker/stuart-russell/ See more details • • • • • • • 11 FLoC Conference Block 1 FLoC Conference Block 1 July 9, 2018 - July 12, 2018 Mathematical Institute, Oxford OX1 3LB, UK Locations: Mathematical Institute, Oxford OX1 3LB, UK Blavatnik School of Government, 120 Walton St, Oxford OX2, UK See more details Mid-FLoC workshops Mid-FLoC workshops July 11, 2018 (various locations) Satisfiability Checking and Symbolic Computation: Bridging Two Communities to Solve Real Problems (SCSC 2018) - Green Templeton College, Lecture Theatre IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) - Wolfson Building (Department of Computer Science), LTA and LTB See more details CSF CSF July 11, 2018 @ 09:00 - 18:00 Mathematical Institute, LT2 31st IEEE Computer Security Foundations Symposium (CSF) http://www.cs.ox.ac.uk/conferences/csf2018/ See more details FSCD FSCD July 11, 2018 @ 09:00 - 18:00 Blavatnik School of Government, Seminar rooms 3-4 3rd International Conference on Formal Structures for Computation and Deduction (FSCD) http://www.cs.le.ac.uk/events/fscd2018/ See more details ITP ITP July 11, 2018 @ 09:00 - 18:00 Blavatnik School of Government, LT1 9th International Conference on Interactive Theorem Proving (ITP) https://itp2018.inria.fr/ See more details LICS LICS July 11, 2018 @ 09:00 - 18:00 Mathematical Institute, LT1 and LT3 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) http://lics.rwth-aachen.de/ See more details SAT SAT July 11, 2018 @ 09:00 - 18:00 Blavatnik School of Government, Seminar rooms 1 and 2 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) http://www.satisfiability.org/ See more details Keynote: Shafi Goldwasser Keynote: Shafi Goldwasser July 11, 2018 @ 14:00 - 15:30 http://www.floc2018.org/speaker/shafi-goldwasser/ See more details FLoC Banquet (7 for 7:30) FLoC Banquet (7 for 7:30) July 11, 2018 @ 19:00 - 21:30 Examination Schools, High St, Oxford OX1 4BG, UK Arrivals 7:30 See more details • • • • • • • • • 12 FLoC Conference Block 1 FLoC Conference Block 1 July 9, 2018 - July 12, 2018 Mathematical Institute, Oxford OX1 3LB, UK Locations: Mathematical Institute, Oxford OX1 3LB, UK Blavatnik School of Government, 120 Walton St, Oxford OX2, UK See more details Mid-FLoC workshops Mid-FLoC workshops July 12, 2018 various locations - click for details 16th International Workshop on Satisfiability Modulo Theories (SMT) - Green Templeton College Lecture Theatre IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) - Wolfson Building (Department of Computer Science), LTA and LTB See more details FSCD FSCD July 12, 2018 @ 09:00 - 18:00 Blavatnik School of Government, Seminar rooms 3-4 3rd International Conference on Formal Structures for Computation and Deduction (FSCD) http://www.cs.le.ac.uk/events/fscd2018/ See more details ITP ITP July 12, 2018 @ 09:00 - 18:00 Blavatnik School of Government, LT1 9th International Conference on Interactive Theorem Proving (ITP) https://itp2018.inria.fr/ See more details LICS LICS July 12, 2018 @ 09:00 - 18:00 Mathematical Institute, LT1 and LT3 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) http://lics.rwth-aachen.de/ See more details SAT SAT July 12, 2018 @ 09:00 - 18:00 Blavatnik School of Government, Seminar rooms 1 and 2 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) http://www.satisfiability.org/ See more details CSF *different location* CSF *different location* July 12, 2018 @ 09:00 - 18:00 St Luke's Chapel 31st IEEE Computer Security Foundations Symposium (CSF) http://www.cs.ox.ac.uk/conferences/csf2018/ See more details Walking tours (book online) Walking tours (book online) July 12, 2018 @ 18:15 - 19:45 Mathematical Institute, Andrew Wiles Building, University of Oxford, Radcliffe Observatory Quarter, Woodstock Rd, Oxford OX2 6GG, UK Depart from the Mathematical Institue at 6:15pm Spaces must be booked 5 days in advance: http://www.cvent.com/d/gtqh3s/4W See more details • • • • • • • • 13 CAV tutorials CAV tutorials July 13, 2018 Mathematical Institute, LT3 See more details Summit on Machine Learning Meets Formal Methods Summit on Machine Learning Meets Formal Methods July 13, 2018 Mathematical Institute, LT1 For details, see http://www.floc2018.org/summit-on-machine-learning/ See more details Mid-FLoC workshops Mid-FLoC workshops July 13, 2018 (various locations) CAV tutorials - Maths LT3 19th Workship on Logic and Computational Complexity - Maths L5 Workshop on Modular Knowledge (Tetrapod) - Maths L6 25th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion'' (RCRA 2018) - Maths Seminar C1 The 5th Vampire Workshop Vampire 2018 - Maths Seminar C2 1st International Workshop on Multi-objective Reasoning in Verification and Synthesis - Maths Seminar C5 IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) - Wolfson Building (Department of Computer Science) LTA and LTB Isabelle Workshop - Blavatnik LT1 Verification and Deductions Mentoring Workshop (VDMW) - Blavatnik LT2 Runtime Verification for Rigorous Systems Engineering (rv4rise) - Blavatnik seminar room 1 Workshop on Learning and Automata (LearnAut) - Blavatnik seminar room 2 7th Worskhop on Logic and Systems Biology - Blavatnik seminar room 3 13th International Workshop on User Interfaces for Theorem Provers (UITP) - Blavatnik seminar room 4 First Workshop on Automated Deduction for Separation Logics (ADSL 2018) - St Anne's College Seminar Room 7 5th Workshop on Formal Reasoning in Distributed Algorithms (FRIDA 2018) - St Anne's College Seminar room 8 IFAC Conference on Analysis and Design of Hybrid Systems (ADHS) - Wolfson Building (Department of Computer Science) LTA and LTB 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS) - St Luke's Chapel 16th International Workshop on Satisfiability Modulo Theories (SMT) - Green Templeton College Lecture Theatre See more details Workshop Dinner (7 for 7:30) Workshop Dinner (7 for 7:30) July 13, 2018 @ 19:00 - 21:30 Keble College, Oxford OX1 3PG, UK See more details • • • • 14 FLoC Conference Block 2 FLoC Conference Block 2 July 14, 2018 - July 17, 2018 Mathematical Institute, Oxford OX1 3LB, UK Locations: Mathematical Institute, Oxford OX1 3LB, UK Blavatnik School of Government, 120 Walton St, Oxford OX2, UK See more details Formal Methods in Industry Formal Methods in Industry July 14, 2018 Mathematical Institute, LT3 Chair: Orna Grumberg See more details FLoC Olympic Games FLoC Olympic Games July 14, 2018 Mathematical Institute, LT3 See more details Mid-FLoC workshops Mid-FLoC workshops July 14, 2018 (various locations) FM Doctoral Symposium - Blavatnik LT1 Allies Session - Blavatnik LT2 (11:00-12:30) 4th Workshop on Formal Integrated Development Environment (F-IDE 2018) - Blavatnik seminar room 1 16th Overture Workshop: New Capabilities and Applications for Mode-based Systems Engineering - Blavatnik seminar room 2 See more details Keynote: Georges Gonthier Keynote: Georges Gonthier July 14, 2018 @ 09:00 - 10:30 http://www.floc2018.org/speaker/georges-gonthier/ See more details CAV CAV July 14, 2018 @ 09:00 - 18:00 Mathematical Institute, LT1 30th International Conference on Computer Aided Verification (CAV) http://i-cav.org/2018 See more details ICLP ICLP July 14, 2018 @ 09:00 - 18:00 Blavatnik School of Government, seminar rooms 3 and 4 35th International Conference on Logic Programming (ICLP) http://www.logicprogramming.org/iclp2018 See more details IJCAR IJCAR July 14, 2018 @ 09:00 - 18:00 Mathematical Institute, LT2 International Joint Conference on Automated Reasoning (IJCAR) http://www.ijcar2018.org/ See more details FM FM July 14, 2018 @ 09:00 - 18:00 Blavatnik School of Government, LT1 23rd International Symposium on Formal Methods (FM) http://www.fm2018.org/ See more details Ally Skills session (11-12:30) Ally Skills session (11-12:30) July 14, 2018 @ 11:00 - 12:30 Blavatnik School of Government, LT2 www.floc2018.org/ally-skills-session/ See more details FLoC reception (7 for 7:30) FLoC reception (7 for 7:30) July 14, 2018 @ 19:00 - 21:30 Oxford Town Hall, St Aldate's, Oxford OX1 1BX, UK See more details • • • • • • • • • • • 15 FLoC Conference Block 2 FLoC Conference Block 2 July 14, 2018 - July 17, 2018 Mathematical Institute, Oxford OX1 3LB, UK Locations: Mathematical Institute, Oxford OX1 3LB, UK Blavatnik School of Government, 120 Walton St, Oxford OX2, UK See more details CAV CAV July 15, 2018 @ 09:00 - 18:00 Mathematical Institute, LT1 30th International Conference on Computer Aided Verification (CAV) http://i-cav.org/2018 See more details ICLP ICLP July 15, 2018 @ 09:00 - 18:00 Blavatnik School of Government, seminar rooms 3 and 4 35th International Conference on Logic Programming (ICLP) http://www.logicprogramming.org/iclp2018 See more details IJCAR IJCAR July 15, 2018 @ 09:00 - 18:00 Mathematical Institute, LT2 and LT3 International Joint Conference on Automated Reasoning (IJCAR) http://www.ijcar2018.org/ See more details FM FM July 15, 2018 @ 09:00 - 18:00 Blavatnik School of Government, LT1 23rd International Symposium on Formal Methods (FM) http://www.fm2018.org/ See more details • • • • • 16 FLoC Conference Block 2 FLoC Conference Block 2 July 14, 2018 - July 17, 2018 Mathematical Institute, Oxford OX1 3LB, UK Locations: Mathematical Institute, Oxford OX1 3LB, UK Blavatnik School of Government, 120 Walton St, Oxford OX2, UK See more details CAV CAV July 16, 2018 @ 09:00 - 18:00 Mathematical Institute, LT1 30th International Conference on Computer Aided Verification (CAV) http://i-cav.org/2018 See more details ICLP ICLP July 16, 2018 @ 09:00 - 18:00 Blavatnik School of Government, seminar rooms 3 and 4 35th International Conference on Logic Programming (ICLP) http://www.logicprogramming.org/iclp2018 See more details IJCAR IJCAR July 16, 2018 @ 09:00 - 18:00 Mathematical Institute, LT2 International Joint Conference on Automated Reasoning (IJCAR) http://www.ijcar2018.org/ See more details FM FM July 16, 2018 @ 09:00 - 18:00 Blavatnik School of Government, LT1 and LT2 23rd International Symposium on Formal Methods (FM) http://www.fm2018.org/ See more details Plenary: Byron Cook Plenary: Byron Cook July 16, 2018 @ 14:00 - 15:30 http://www.floc2018.org/speaker/byron-cook/ See more details Debate: Ethics and Morality of Robotics (4pm) Debate: Ethics and Morality of Robotics (4pm) July 16, 2018 @ 16:00 - 18:00 The Oxford Union, Frewin Ct, Oxford OX1 3JB, UK http://www.floc2018.org/speaker/debate/ The panel will be chaired by Judy Wajcman (Anthony Giddens Professor of Sociology at the London School of Economics and Political Science) and will feature the following speakers: Luciano Floridi (Professor of Philosophy and Ethics of Information, University of Oxford) Ben Kuipers (Professor of Computer Science and Engineering—specializing in robotics, University of Michigan) Francesca Rossi (Professor of Computer Science—specializing in artificial intelligence, University of Padova) Matthias Scheutz (Professor of Computer Science—with a background in logic and cognitive science, Tufts University) Sandra Wachter (Lawyer and Postdoctoral Researcher, University of Oxford and Alan Turing Institute), and Jeannette Wing (Avanessians Director of the Data Sciences Institute at Columbia University, former VP of Microsoft Research with expertise in security and privacy. See more details FLoC banquet (7 for 7:30) FLoC banquet (7 for 7:30) July 16, 2018 @ 19:00 - 21:30 Ashmolean Museum, Beaumont St, Oxford OX1 2PH, UK See more details • • • • • • • • 17 FLoC Conference Block 2 FLoC Conference Block 2 July 14, 2018 - July 17, 2018 Mathematical Institute, Oxford OX1 3LB, UK Locations: Mathematical Institute, Oxford OX1 3LB, UK Blavatnik School of Government, 120 Walton St, Oxford OX2, UK See more details CAV CAV July 17, 2018 @ 09:00 - 18:00 Mathematical Institute, LT1 30th International Conference on Computer Aided Verification (CAV) http://i-cav.org/2018 See more details ICLP ICLP July 17, 2018 @ 09:00 - 18:00 Blavatnik School of Government, seminar rooms 3 and 4 35th International Conference on Logic Programming (ICLP) http://www.logicprogramming.org/iclp2018 See more details IJCAR IJCAR July 17, 2018 @ 09:00 - 18:00 Mathematical Institute, LT2 International Joint Conference on Automated Reasoning (IJCAR) http://www.ijcar2018.org/ See more details FM FM July 17, 2018 @ 09:00 - 18:00 Blavatnik School of Government, LT1 and LT2 23rd International Symposium on Formal Methods (FM) http://www.fm2018.org/ See more details Walking tours (bookable online) Walking tours (bookable online) July 17, 2018 @ 18:15 - 19:45 Mathematical Institute, Andrew Wiles Building, University of Oxford, Radcliffe Observatory Quarter, Woodstock Rd, Oxford OX2 6GG, UK Depart from the Mathematical Institue at 6:15pm Spaces must be booked 5 days in advance: http://www.cvent.com/d/gtqh3s/4W See more details • • • • • • 18 Post-FLoC workshops Post-FLoC workshops July 18, 2018 (various locations) International Workshop on the Verification and Validation of Autonomous Systems (VaVAS) - Maths LT1 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) - Maths LT2 7th Workshop on Synthesis (SYNT), Maths LT3 DC 2018: 14th Doctoral Consortium on Logic Programming (ICLP-DC) - Maths L6 The LaSh 2018 Workshop on Logic and Search (LaSh) - Maths Seminar C4 1st International Workshop on Parallel Logical Reasoning (PLR) - Maths Seminar C5 TLA + Comminity Event 2018 - Maths Board Room (top floor) Machine Learning for Programming (MLP) - Blavatnik LT1 18th Refinement Workshop (Refine) - Blavatnik LT2 18th International Workshop on Automated Verification of Critical Systems (AVOCS) - Blavatnik seminar room 1 Logic and Practice of Programming (LPoP) - Blavatnik seminar room 2 Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) - Blavatnik Seminar Room 3 16th International Workshop on Termination (WST) - Blavatnik seminar room 4 Third International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) - Wolfson Building (Department of Computer Science) LTA Theorem Prover Components for Educational Software (ThEdu) - Wolfson Building (Department of Computer Science) LTB 11th International Workshop on Numerical Software Verification (NSV) - St Luke's Chapel See more details Workshop dinner (7:15 for 7:45) Workshop dinner (7:15 for 7:45) July 18, 2018 @ 19:00 - 21:30 Magdalen College, Oxford OX1 4AU, UK See more details • • 19 Post-FLoC workshops Post-FLoC workshops July 19, 2018 (various locations) International Workshop on the Verification and Validation of Autonomous Systems (VaVAS) - Maths LT1 10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) - Maths LT2 6th Workshop on the Practical Aspects of Automated Reasoning (PAAR 2018) - Maths LT3 Verification of Engineered Molecular Devices and Programs (VEMDP) - Maths L6 Robots, Morality, and Trust through the Verification Lens (ReMOTE) - Maths Seminar C5 Machine Learning for Programming (MLP) - Blavatnik LT1 18th International Workshop on Automated Verification of Critical Systems (AVOCS) - Blavatnik seminar room 1 International Workshop on External and Internal Calculi for Non-Classical Logics (EICNCL) - Blavatnik seminar room 2 Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV) - Blavatnik seminar room 3 16th International Workshop on Termination (WST) - Blavatnik seminar room 4 See more details • 20 21 22 23 24 25 26 27 28 29 30 31 Follow us Our sponsors Federated Logic Conference 2018 | help@floc2018.orgPowered by Conference Pro by Showthemesenusen-US1772859721https://floc2018.org

Сайтыңызды өңдеу керек пе?

Сен не істеп жатырсың?