School on Foundations of Programming and Software Systems
See http://www.floc2018.org/conferences/

School on Foundations of Programming and Software Systems
See http://www.floc2018.org/conferences/

School on Foundations of Programming and Software Systems
See http://www.floc2018.org/conferences/

School on Foundations of Programming and Software Systems
See http://www.floc2018.org/conferences/

School on Foundations of Programming and Software Systems
See http://www.floc2018.org/conferences/

School on Foundations of Programming and Software Systems
See http://www.floc2018.org/conferences/

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

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

Locations:
Mathematical Institute, Oxford OX1 3LB, UK
Blavatnik School of Government, 120 Walton St, Oxford OX2, UK

arrivals from 6:30

Locations:
Mathematical Institute, Oxford OX1 3LB, UK
Blavatnik School of Government, 120 Walton St, Oxford OX2, UK

http://www.floc2018.org/speaker/stuart-russell/

Locations:
Mathematical Institute, Oxford OX1 3LB, UK
Blavatnik School of Government, 120 Walton St, Oxford OX2, UK

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

Arrivals 7:30

Locations:
Mathematical Institute, Oxford OX1 3LB, UK
Blavatnik School of Government, 120 Walton St, Oxford OX2, UK

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

For details, see http://www.floc2018.org/summit-on-machine-learning/

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

Locations:
Mathematical Institute, Oxford OX1 3LB, UK
Blavatnik School of Government, 120 Walton St, Oxford OX2, UK

Chair: Orna Grumberg

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

www.floc2018.org/ally-skills-session/

Locations:
Mathematical Institute, Oxford OX1 3LB, UK
Blavatnik School of Government, 120 Walton St, Oxford OX2, UK

Locations:
Mathematical Institute, Oxford OX1 3LB, UK
Blavatnik School of Government, 120 Walton St, Oxford OX2, 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.

Locations:
Mathematical Institute, Oxford OX1 3LB, UK
Blavatnik School of Government, 120 Walton St, Oxford OX2, UK

Depart from the Mathematical Institue at 6:15pm

Spaces must be booked 5 days in advance: http://www.cvent.com/d/gtqh3s/4W

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

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