FLoC 2018 (original) (raw)
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
- 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
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
- 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
- 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
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
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
- 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
See more details - FLoC Olympic Games
- 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
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
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
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
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