|![[Search]](/images/search.gif?1209136071)
|![[A-Z Index]](/images/az.gif?1209136071)
|![[Contact]](/images/contact.gif?1209136071)
||![[University of Birmingham]](/images/identifier2.gif?1243330508){kind=small} |
![[Talks@bham]](/images/talkslogosmall.gif?1243330508) |
|
19 upcoming talks and 34 talks in the archive. A new era of Precision: Testing the Standard Model with Electroweak Measurements at LHCb
Why chemistry is important in single molecule spectroscopySchool Seminar
NA62: the (Physics) Story so far
Dynamic Supramolecular SystemsSchool Seminar
Unlocking Transition Metal Reactivity with Main-Group CompoundsSchool Seminar
Defects in Topos Theory + some ideas going forward
Exotics Searches at Colliders, Why and How?
Title to be confirmed
The XENON1t excess Electron-recoil Events
Probabilities & Signalling in Quantum Field Theory
Challenges in the Analysis of three-body Heavy Meson Decays
A CP violation measurement of Bs mesons at ATLAS and the LHC
Bifibrations of Polycategories and Classical Linear LogicNOTE the earlier time of 13:30
The ring of adeles from a homotopical viewpointPreceded by a coffee break at 13:30
Deep Science at Boulby Underground Laboratory: Subterranean studies at the UK’s deep underground science facility.
Theoretical computer science seminar Near-Optimal Complexity Bounds for Fragments of the Skolem Problem
Booij’s locators point-freehttps://us02web.zoom.us/j/82603907326?pwd=dXlBdmh0RnRZTDc0Zk1pQXhndWI4Zz09
Learning Structured Models of Physics
Theoretical computer science seminar Identity, indiscernibility, and univalence: a higher structure identity principle
On linear rewriting systems for Boolean logic and some applications to proof theory (2)https://us04web.zoom.us/j/7744570352
Theoretical computer science seminar Trace Theory for Probability and Nondeterminism
Introduction to the ZX-calculus (2)https://us04web.zoom.us/j/7744570352
Searching for Higgs Boson Decays to Light Scalars from Extended Higgs Sectors with the ATLAS Detector
Introduction to the ZX-calculushttps://us04web.zoom.us/j/498274768 https://us04web.zoom.us/j/305829441
On linear rewriting systems for Boolean logic and some applications to proof theory
Analysis in Univalent Type TheoryThis will be a Virtual Lab Lunch: https://zoom.us/j/615775681
If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser. |
Other listsBritGrav 15 Theoretical computer science seminar What's on in Physics?Other talksTopology and Dynamics of Intracellular Networks for Cellular Decision Making Route to Hyperspectral Terahertz Microscopy via Nonlinear Ghost-Imaging Exploring non-equilibrium dynamics in novel Fermi gas systems An Introduction to Quasi-graphic matroids |
Eluned Smith (Aachen).
Wednesday 25 November 2020, 13:30-14:30