(pdf available here)
Zoom Meeting ID: 151-733-660 (Stream A)
14:00 | Simon Chadwick (Siemens Rail UK)
- (slides)
Formal Verification - The Journey from Theory towards Practice |
14:40 | Anne Haxthausen (Copenhagen)
The RobustRailS Verification Method for Railway Interlocking Systems |
15:20 | Break |
15:40 | Jan Peleska (Bremen)
- (slides)
Advances in Railway Control Systems Architectures and Related Challenges for Verification and Validation |
16:20 | Bas Luttik (Eindhoven)
- (slides)
Supporting Railway Infrastructure Managers with Formal Models and Analyses |
17:00 | Aled Walters (Swansea)
- (slides)
Model-Based Testing of ETCS RBCs |
17:25 | Close |
Zoom Meeting ID: 778-265-535 (Stream A)
09:30 | Kristina Vuskovic (Leeds)
- (slides)
The induced disjoint paths problem on (theta, wheel)-free graphs |
10:10 | Patrick Totzke (Liverpool)
- (slides)
Playing with counters: how to solve games on infinite arenas |
10:50 | Break |
11:20 | Edith Elkind (Oxford)
- (slides)
Hedonic diversity games |
12:00 | MS Ramanujan (Warwick)
Lossy kernelization |
12:40 | Break |
Zoom Meeting ID: 778-265-535 (Stream A)
13:10 | Frances Cooper (Glasgow)
- (slides)
Algorithms for new types of fair stable matchings |
13:35 | Michael McKay (Glasgow)
Stable Roommates with triple rooms under B- and W-preferences |
14:00 | William Pettersson (Glasgow)
Preprocessing theory and practice in stable matching problems |
14:25 | Edwin Lock (Oxford)
- (slides)
Translating into and from the Product-Mix Auction bidding language |
14:50 | Break |
Zoom Meeting ID: 158-206-120 (Stream B)
13:10 | Peter D. Mosses (Swansea)
- (slides)
Towards semantics online |
13:35 | Andrej Ivaskovic (Cambridge)
- (slides)
Graded monads in program analysis |
14:00 | Adam Ó Conghaile (Cambridge)
- (slides)
Game comonads and generalised quantifiers |
14:25 | Dan Ward-Williams (Swansea)
Exploring search characteristics of numeral system encodings |
14:50 | Break |
Zoom Meeting ID: 778-265-535 (Stream A)
15:15 | Robert Constable (Cornell)
- (slides)
Implementing Elements of Intuitionistic Mathematics in Nuprl |
Zoom Meeting ID: 778-265-535 (Stream A)
16:15 | BCTCS Ordinary General Meeting (<20 minutes) |
Zoom Meeting ID: 120-205-055 (Stream A)
09:20 | Pavel Vesely (Warwick)
- (slides)
Tight Lower Bound for Comparison-Based Quantile Summaries |
09:45 | Noleen Köhler (Leeds)
Property Testing of NP-hard Problems |
10:10 | Oliver Kullmann (Swansea)
Classifying all minimally unsatisfiable 2-CNFs up to isomorphism |
Zoom Meeting ID: 841-764-756 (Stream B)
09:20 | Olga Petrovska (Swansea)
- (slides)
Intuitionistic Fixed Point Logic and Program Extraction |
09:45 | Ahmed Bhayat (Manchester)
Recent Developments in Higher-Order Theorem Proving |
10:10 | Anton Setzer (Swansea)
- (slides)
Did Erik Palmgren Solve a Revised Hilbert's Program? |
10:35 | Tom de Jong (Birmingham)
- (slides)
Constructive domain theory in Univalent Foundations |
11:00 | Break |
Zoom Meeting ID: 120-205-055 (Stream A)
11:30 | David Manlove (Glasgow)
- (slides)
Assigning junior doctors to hospitals - what makes it so hard? |
12:30 | Break |
Zoom Meeting ID: 120-205-055 (Stream A)
13:00 | Duncan Adamson (Liverpool)
- (slides)
Multidimensional Necklaces: Enumeration, Generation, Ranking and Unranking |
13:25 | Diptapriyo Majumdar (RHUL)
- (slides)
Parameterized Pre-coloring Extension and List Coloring Problems |
13:50 | Tobias Rosenberger (Swansea)
Unbabel your tools: Leveraging SPASS for UML |
14:15 | Arved Friedemann (Swansea)
- (slides)
Functional Solving Engines |
Zoom Meeting ID: 841-764-756 (Stream B)
13:00 | Arno Pauly (Swansea)
From finite memory determinacy to Nash equilibria |
13:25 | Tonicha Crook (Swansea)
- (slides)
The degree of non-computability of Nash equilibria in multiplayer games |
13:50 | Alex V Berka (Isynchronise)
- (slides)
The alpha-ram family - bit level models for parallelism and concurrency |
14:15 | Matthew England (Coventry)
- (slides)
Machine Learning to Steer Symbolic Computation from its Worst Case Complexity |
14:45 | Closing Remarks |
Zoom Meeting ID: 120-205-055 (Stream A)