COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
Isaac Newton Institute Seminar Series
Add to your list(s)
Send you e-mail reminders
Further detail
The Isaac Newton Institute for Mathematical Sciences is a national and international visitor research institute. It runs research programmes on selected themes in mathematics and the mathematical sciences with applications over a wide range of science and technology. You can receive regular information by email on Institute seminars and events by subscribing to our mailing lists: follow the instructions at http://www.newton.cam.ac.uk/mailing.html. There are lists for each individual Institute programme. If you have a question about this list, please contact: Jonathan H N Chin; Chie Sibley Obata; Kathryn de Ridder; Clare Merritt; info@newton.ac.uk; Vincenzo Abete; ss917; ad864. If you have a question about a specific talk, click on that talk to find its organiser. 16 upcoming talks and 7375 talks in the archive: show all (slow!). Building blocks towards modeling the physical world: analysis, geometry, computer arithmeticsBPR - Big proof Yves Bertot (INRIA Sophia Antipolis). Seminar Room 2, Newton Institute. Tuesday 25 July 2017, 11:00-12:00 Big Proof & EducationBPR - Big proof Jeremy Avigad (Carnegie Mellon University). Seminar Room 2, Newton Institute. Monday 24 July 2017, 15:30-17:30 Language and automation in mathematicsBPR - Big proof Natarajan Shankar (SRI International); Leonardo de Moura (Microsoft Research); Arnold Neumaier (Universität Wien); Cesare Tinelli (University of Iowa). Seminar Room 2, Newton Institute. Monday 24 July 2017, 11:00-12:00 Reasoning by equivalence: the start of proof in elementary educationBPR - Big proof Chris Sangwin (University of Edinburgh; University of Edinburgh). Seminar Room 2, Newton Institute. Friday 21 July 2017, 13:30-14:30 Computer Algebra and Formal ProofBPR - Big proof James Davenport (University of Bath). Seminar Room 2, Newton Institute. Friday 21 July 2017, 11:00-12:00 Social proof: social session on the POPL experienceBPR - Big proof Ursula Martin (University of Oxford). Seminar Room 2, Newton Institute. Tuesday 18 July 2017, 16:30-17:30 Socialising proofBPR - Big proof Lorenzo Lane (University of Edinburgh; University of Oxford). Seminar Room 2, Newton Institute. Tuesday 18 July 2017, 16:00-16:30 Measuring Sample Discrepancy with DiffusionsSIN - Scalable inference; statistical, algorithmic, computational aspects Andrew Duncan (University of Sussex; The Alan Turing Institute). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 15:40-16:20 Go forth and multiply! Imperatives in mathematical proofsBPR - Big proof Fenner Tanswell (University of Oxford). Seminar Room 2, Newton Institute. Tuesday 18 July 2017, 15:30-16:00 Multi-scale algorithms for simple fluidsSIN - Scalable inference; statistical, algorithmic, computational aspects Anthony Maggs (City of Paris Industrial Physics and Chemistry Higher Educational Institution, (ESPCI)). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 15:00-15:40 Combining Machine Learning and Automated Reasoning: Some Training ExamplesBPR - Big proof Josef Urban (Czech Technical University). Seminar Room 2, Newton Institute. Tuesday 18 July 2017, 13:30-14:30 Sampling with non-reversible dynamicsSIN - Scalable inference; statistical, algorithmic, computational aspects Michela Ottobre (Heriot-Watt University). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 12:50-13:30 Event-chain algorithms: taming randomness in Monte Carlo methods through irreversibility, factorization and liftingSIN - Scalable inference; statistical, algorithmic, computational aspects Michel Manon (Orange Lab). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 12:10-12:50 Mining Human Proofs from Machine ProofsBPR - Big proof Paulo Oliva (Queen Mary University of London; Queen Mary University of London). Seminar Room 2, Newton Institute. Tuesday 18 July 2017, 11:00-12:00 How does breaking detailed balance accelerate convergence to equilibrium?SIN - Scalable inference; statistical, algorithmic, computational aspects Robert Jack (University of Bath). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 11:00-11:40 Piecewise deterministic Markov processes and efficiency gains through exact subsampling for MCMCSIN - Scalable inference; statistical, algorithmic, computational aspects Joris Bierkens (Delft University of Technology). Seminar Room 1, Newton Institute. Tuesday 18 July 2017, 10:20-11:00 A simple prover in the browserBPR - Big proof Edward Ayers (University of Cambridge). Seminar Room 2, Newton Institute. Monday 17 July 2017, 17:00-17:30 Auto2 prover in IsabelleBPR - Big proof Bohua Zhan (Massachusetts Institute of Technology). Seminar Room 2, Newton Institute. Monday 17 July 2017, 16:30-17:00 Evaluating winding numbers through Cauchy indices in Isabelle/HOLBPR - Big proof Wenda Li (University of Cambridge). Seminar Room 2, Newton Institute. Monday 17 July 2017, 16:00-16:30 SMTCoq, a plug-in for the trustworthy integration of SAT/SMT solvers into CoqBPR - Big proof Cesare Tinelli (University of Iowa). Seminar Room 2, Newton Institute. Monday 17 July 2017, 15:30-16:00 CDSAT: conflict-driven theory combinationBPR - Big proof Maria Paola Bonacina (Università degli Studi di Verona). Seminar Room 2, Newton Institute. Monday 17 July 2017, 11:00-12:00 Panel on future directions for Big ProofBPRW01 - Computer-aided mathematical proof William Timothy Gowers (University of Cambridge); Natarajan Shankar (); Patrick Ion (University of Michigan). Seminar Room 1, Newton Institute. Friday 14 July 2017, 16:00-17:00 Panel on future directions for Big ProofBPRW01 - Computer-aided mathematical proof William Timothy Gowers (University of Cambridge); Natarajan Shankar (); Patrick Ion (University of Michigan). Seminar Room 1, Newton Institute. Friday 14 July 2017, 14:30-15:30 After Math: Reasoning, Computing, and Proof in the Postwar United States (via Skype)BPRW01 - Computer-aided mathematical proof Stephanie Dick (Harvard University). Seminar Room 1, Newton Institute. Friday 14 July 2017, 13:30-14:30 Proof Archeology: Historical Mathematics from an Interactive Theorem Proving StandpointBPRW01 - Computer-aided mathematical proof Jacques Fleuriot (University of Edinburgh). Seminar Room 1, Newton Institute. Friday 14 July 2017, 11:30-12:30 Lightweight and Heavyweight Methods for Integrating Mathematical LibrariesBPRW01 - Computer-aided mathematical proof Michael Kohlhase (Jacobs University Bremen). Seminar Room 1, Newton Institute. Friday 14 July 2017, 10:00-11:00 The role of explanation in mathematical researchBPRW01 - Computer-aided mathematical proof Alison Pease (University of Dundee). Seminar Room 1, Newton Institute. Friday 14 July 2017, 09:00-10:00 Machine Learning for Interactive Theorem Proving: Revisit, Reuse and Recycle your ProofsBPRW01 - Computer-aided mathematical proof Katya Komendenskaya (Heriot-Watt University). Seminar Room 1, Newton Institute. Thursday 13 July 2017, 16:00-17:00 Accessible Reasoning with Diagrams: Ontology DebuggingBPRW01 - Computer-aided mathematical proof Mateja Jamnik (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 13 July 2017, 14:30-15:30 Formal Verification of Financial Algorithms, Progress and ProspectsBPRW01 - Computer-aided mathematical proof Grant Passmore (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 13 July 2017, 11:30-12:30 Mining the Archive of Formal ProofsBPRW01 - Computer-aided mathematical proof Tobias Nipkow (Technischen Universität München). Seminar Room 1, Newton Institute. Thursday 13 July 2017, 10:00-11:00 Scaffolds and frames: the MathComp algebra formal libraryBPRW01 - Computer-aided mathematical proof Georges Gonthier (). Seminar Room 1, Newton Institute. Thursday 13 July 2017, 09:00-10:00 Everything's Bigger in Texas: ``The Largest Math Proof Ever''BPRW01 - Computer-aided mathematical proof Marijn Heule (University of Texas at Austin). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 16:00-17:00 The social machine of mathematicsBPRW01 - Computer-aided mathematical proof Ursula Martin (University of Oxford). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 14:30-15:30 Hammers and Model Finders, and BeyondBPRW01 - Computer-aided mathematical proof Jasmin Blanchette (INRIA Nancy - Grand Est; Max-Planck-Institut für Informatik, Saarbrücken). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 11:30-12:30 Metaprogramming with Dependent Type TheoryBPRW01 - Computer-aided mathematical proof Leonardo de Moura (Microsoft Research). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 10:00-11:00 Formally Verified Approximations of Definite IntegralsBPRW01 - Computer-aided mathematical proof Assia Mahboubi (INRIA Saclay - Île-de-France). Seminar Room 1, Newton Institute. Wednesday 12 July 2017, 09:00-10:00 Schemas and semantics for Higher Inductive TypesBPRW01 - Computer-aided mathematical proof Peter LeFanu Lumsdaine (Stockholm University). Seminar Room 1, Newton Institute. Tuesday 11 July 2017, 16:00-17:00 Small ProofsBPRW01 - Computer-aided mathematical proof Dan Licata (Wesleyan University). Seminar Room 1, Newton Institute. Tuesday 11 July 2017, 14:30-15:30 Homotopy Type Theory in LeanBPRW01 - Computer-aided mathematical proof Floris van Doorn (Carnegie Mellon University). Seminar Room 1, Newton Institute. Tuesday 11 July 2017, 11:30-12:30 Logic in univalent type theoryBPRW01 - Computer-aided mathematical proof Martin Escardo (University of Birmingham). Seminar Room 1, Newton Institute. Tuesday 11 July 2017, 10:00-11:00 Impredicative encodings in HoTTBPRW01 - Computer-aided mathematical proof Steve Awodey (Carnegie Mellon University). Seminar Room 1, Newton Institute. Tuesday 11 July 2017, 09:00-10:00 Mathematical Knowledge at ScaleBPRW01 - Computer-aided mathematical proof Stephen Watt (University of Waterloo). Seminar Room 1, Newton Institute. Monday 10 July 2017, 16:00-17:00 Proof Assistants: From Symbolic Logic To Real Mathematics?BPRW01 - Computer-aided mathematical proof Larry Paulson (University of Cambridge). Seminar Room 1, Newton Institute. Monday 10 July 2017, 14:30-15:30 UniMath - its present and its future.BPRW01 - Computer-aided mathematical proof Vladimir Voevodsky (Institute for Advanced Study, Princeton). Seminar Room 1, Newton Institute. Monday 10 July 2017, 11:30-12:30 Big ConjecturesBPRW01 - Computer-aided mathematical proof Thomas Hales (University of Pittsburgh). Seminar Room 1, Newton Institute. Monday 10 July 2017, 10:00-11:00 International Knowledge Management TrustBPR - Big proof Stephen Watt (University of Waterloo); Patrick Ion (University of Michigan). Seminar Room 1, Newton Institute. Sunday 09 July 2017, 14:00-17:00 An Industrially Useful ProverBPR - Big proof J Strother Moore (University of Texas at Austin; University of Edinburgh). Seminar Room 2, Newton Institute. Friday 07 July 2017, 13:30-14:30 Homotopy Type Theory in AgdaBPR - Big proof Dan Licata (Wesleyan University); Kuen-Bang Hou (Favonia) (Carnegie Mellon University). Seminar Room 2, Newton Institute. Friday 07 July 2017, 12:00-12:30 Inference in generative models using the Wasserstein distanceSINW01 - Scalable statistical inference Christian Robert (CNRS & Université Paris-Dauphine ). Seminar Room 1, Newton Institute. Friday 07 July 2017, 11:45-12:30 The Lean HoTT libraryBPR - Big proof Floris van Doorn (Carnegie Mellon University). Seminar Room 2, Newton Institute. Friday 07 July 2017, 11:30-12:00 Exact Sampling for Multivariate DiffusionsSINW01 - Scalable statistical inference Jose Blanchet (Columbia University; Stanford University). Seminar Room 1, Newton Institute. Friday 07 July 2017, 11:00-11:45 The HoTT library in CoqBPR - Big proof Bas Spitters (Aarhus Universitet). Seminar Room 2, Newton Institute. Friday 07 July 2017, 11:00-11:30 Overview of UnimathBPR - Big proof Benedikt Ahrens (INRIA Rennes - Bretagne Atlantique); Catherine LELAY (Institute for Advanced Study, Princeton). Seminar Room 2, Newton Institute. Friday 07 July 2017, 10:00-11:00 Bradley-Terry models for pair-comparison networks: Structure and scalabilitySINW01 - Scalable statistical inference David Firth (University of Warwick). Seminar Room 1, Newton Institute. Friday 07 July 2017, 09:45-10:30 Langevin MCMC: theory and methodsSINW01 - Scalable statistical inference Eric François Moulines (Télécom ParisTech). Seminar Room 1, Newton Institute. Friday 07 July 2017, 09:00-09:45 Interpretation of the Calculus of Constructions in dictosesBPR - Big proof Martin Hofmann (Ludwig-Maximilians-Universität München). Seminar Room 2, Newton Institute. Thursday 06 July 2017, 16:30-17:30 The Discrete Bouncy Particle SamplerSINW01 - Scalable statistical inference Chris Sherlock (Lancaster University). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 16:15-17:00 Scalable Monte Carlo inference for state-space modelsSINW01 - Scalable statistical inference Sinan Yildirim (Sabanci University). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 15:30-16:15 Nominal applications of the classifying space of the finitary permutation groupBPR - Big proof Ulrik Buchholtz (Technische Universität Darmstadt). Seminar Room 2, Newton Institute. Thursday 06 July 2017, 15:30-16:30 The Correlated Pseudo-Marginal MethodSINW01 - Scalable statistical inference Arnaud Doucet (University of Oxford). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 14:15-15:00 A Verified ODE Solver and Smale's 14th ProblemBPR - Big proof Fabian Immler (Technische Universität München). Seminar Room 2, Newton Institute. Thursday 06 July 2017, 13:40-14:20 Importance sampling type estimators based on approximate marginal Markov chain Monte Carlo and exact approximationSINW01 - Scalable statistical inference Matti Vihola (University of Jyväskylä ). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 13:30-14:15 Type theory and higher categoriesBPR - Big proof Chris Kapulkin (University of Western Ontario). Seminar Room 2, Newton Institute. Thursday 06 July 2017, 13:00-13:40 Community recovery in weighted stochastic block modelsSINW01 - Scalable statistical inference Po-Ling Loh (University of Wisconsin-Madison). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 11:45-12:30 Detecting radiological anomaliesSINW01 - Scalable statistical inference James Scott (University of Texas at Austin). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 11:00-11:45 Industrial Use of a Mechanical Theorem ProverBPR - Big proof J Strother Moore (University of Texas at Austin; University of Edinburgh). Seminar Room 2, Newton Institute. Thursday 06 July 2017, 11:00-12:00 Mobile Apps and Machine Learning for Improving HealthcareSINW01 - Scalable statistical inference Katherine Heller (Duke University). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 09:45-10:30 Hierarchy-preserving regularization solution paths for identifying interactions in high dimensional dataSINW01 - Scalable statistical inference Helen Zhang (University of Arizona). Seminar Room 1, Newton Institute. Thursday 06 July 2017, 09:00-09:45 Towards Encrypted Inference for Arbitrary ModelsSINW01 - Scalable statistical inference Louis Aslett (University of Oxford). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 16:15-17:00 Fast Bayesian Boolean Matrix FactorisationSINW01 - Scalable statistical inference Chris Holmes (University of Oxford). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 15:30-16:15 Social Proof Seminar (coordinated by Fenner Tanswell)BPR - Big proof . Seminar Room 2, Newton Institute. Wednesday 05 July 2017, 15:30-17:30 Optimisation and complexity for Gibbs samplers for hierarchical and crossed-effect modelsSINW01 - Scalable statistical inference Gareth Roberts (University of Warwick). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 14:15-15:00 Exact Bayesian Inference for Big Data: Single- and Multi-Core ApproachesSINW01 - Scalable statistical inference Murray Pollock (University of Warwick). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 13:30-14:15 Semi-Automatic Asymptotics in Isabelle/HOLBPR - Big proof Manuel Eberl (Technische Universität München). Seminar Room 2, Newton Institute. Wednesday 05 July 2017, 13:30-14:30 On the ordering of some nonreversible Markov chain and Markov process Monte Carlo methodsSINW01 - Scalable statistical inference Christophe Andrieu (University of Bristol). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 11:45-12:30 Kinetic energy choice in Hamiltonian/hybrid Monte CarloSINW01 - Scalable statistical inference Sam Livingstone (University of Bristol). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 11:00-11:45 Validating approximate Bayesian computation on posterior convergenceSINW01 - Scalable statistical inference Wentao Li (Lancaster University). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 09:45-10:30 Asymptotics of Approximate Bayesian ComputationSINW01 - Scalable statistical inference Paul Fearnhead (Lancaster University). Seminar Room 1, Newton Institute. Wednesday 05 July 2017, 09:00-09:45 Category theory and functional programming for scalable statistical modelling and computational inferenceSINW01 - Scalable statistical inference Darren Wilkinson (Newcastle University). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 16:15-17:00 Transferability: as easy as ABC?SINW01 - Scalable statistical inference Kerrie Mengersen (Queensland University of Technology). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 15:30-16:15 Big Proof and Education (coordinated by Jeremy Avigad)BPR - Big proof . Seminar Room 2, Newton Institute. Tuesday 04 July 2017, 15:30-17:30 Designing efficient composite likelihoodsSINW01 - Scalable statistical inference Cristiano Varin (Università Cà Foscari di Venezia). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 14:15-15:00 Coresets for scalable Bayesian logistic regressionSINW01 - Scalable statistical inference Tamara Broderick (Massachusetts Institute of Technology). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 13:30-14:15 Classical Analysis in Lean & IsabelleBPR - Big proof Johannes Hölzl (Carnegie Mellon University). Seminar Room 2, Newton Institute. Tuesday 04 July 2017, 13:00-14:00 tbaSINW01 - Scalable statistical inference Jun Liu (Harvard University; Harvard University). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 11:45-12:30 Comparing Consensus Monte Carlo Strategies for Distributed Bayesian ComputationSINW01 - Scalable statistical inference Steven Scott (Google). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 11:00-11:45 Computational Higher-Dimensional Type TheoryBPR - Big proof Kuen-Bang Hou (Favonia) (Carnegie Mellon University). Seminar Room 2, Newton Institute. Tuesday 04 July 2017, 10:30-11:30 Unbiased approximations of products of expectationsSINW01 - Scalable statistical inference Anthony Lee (University of Warwick). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 09:45-10:30 Variational, Hamiltonian and Symplectic Perspectives on AccelerationSINW01 - Scalable statistical inference Michael Jordan (University of California, Berkeley). Seminar Room 1, Newton Institute. Tuesday 04 July 2017, 09:00-09:45 Inference AlgorithmsBPR - Big proof Natarajan Shankar (SRI International). Seminar Room 2, Newton Institute. Monday 03 July 2017, 16:30-17:30 Scalable statistical inference with INLASINW01 - Scalable statistical inference Havard Rue (Norwegian University of Science and Technology). Seminar Room 1, Newton Institute. Monday 03 July 2017, 16:15-17:00 Inference with approximate likelihoodsSINW01 - Scalable statistical inference Helen Ogden (University of Southampton). Seminar Room 1, Newton Institute. Monday 03 July 2017, 15:30-16:15 Proof Automation - Automation in Isabelle's AnalysisBPR - Big proof Johannes Hölzl (Carnegie Mellon University). Seminar Room 2, Newton Institute. Monday 03 July 2017, 15:30-16:30 Monte Carlo without rejectionSINW01 - Scalable statistical inference Alexandre Bouchard (University of British Columbia). Seminar Room 1, Newton Institute. Monday 03 July 2017, 14:15-15:00 Data compression with statistical guaranteesSINW01 - Scalable statistical inference Sylvia Richardson (University of Cambridge). Seminar Room 1, Newton Institute. Monday 03 July 2017, 13:30-14:15 Synthetic topology in Homotopy Type Theory for probabilistic programmingBPR - Big proof Bas Spitters (Aarhus Universitet). Seminar Room 2, Newton Institute. Monday 03 July 2017, 11:00-12:00 Left-orderability and 3-manifold groups: Rothschild LectureHTLW04 - Quantum topology and categorified representation theory Cameron Gordon (University of Texas at Austin). Seminar Room 1, Newton Institute. Friday 30 June 2017, 15:00-16:00 A tutorial introduction to AgdaBPR - Big proof Andreas Abel (Göteborgs Universitet). Seminar Room 2, Newton Institute. Friday 30 June 2017, 11:00-12:00 A tutorial introduction to the PVS proof assistantBPR - Big proof Natarajan Shankar (SRI International). Seminar Room 2, Newton Institute. Friday 30 June 2017, 10:00-11:00 Quantum Annular Link Homology via Trace FunctorHTLW04 - Quantum topology and categorified representation theory Anna Beliakova (Universität Zürich). Seminar Room 1, Newton Institute. Thursday 29 June 2017, 16:00-17:00 HoTT research seminar (Coquand & Rijke)BPR - Big proof Andrew Pitts (University of Cambridge). Seminar Room 2, Newton Institute. Thursday 29 June 2017, 15:30-17:30 Towards a categorical boson-fermion correspondenceHTLW04 - Quantum topology and categorified representation theory Yian Tian (Tsinghua University). Seminar Room 1, Newton Institute. Thursday 29 June 2017, 14:30-15:30 Some webs and q-Howe dualities in types BCDHTLW04 - Quantum topology and categorified representation theory Daniel Tubbenhauer (Universität Bonn). Seminar Room 1, Newton Institute. Thursday 29 June 2017, 13:30-14:30 Non-multiplicative TQFTs and diagrammatic categorifications of the polynomial ringHTLW04 - Quantum topology and categorified representation theory Radmila Sazdanovic (North Carolina State University). Seminar Room 1, Newton Institute. Thursday 29 June 2017, 11:30-12:30 The Lean Theorem ProverBPR - Big proof Jeremy Avigad (Carnegie Mellon University). Seminar Room 2, Newton Institute. Thursday 29 June 2017, 11:00-12:00 2-Verma modules and the Khovanov-Rozansky link homologiesHTLW04 - Quantum topology and categorified representation theory Pedro Vaz (Université Catholique de Louvain ). Seminar Room 1, Newton Institute. Thursday 29 June 2017, 10:00-11:00 Categorical diagonalizationHTLW04 - Quantum topology and categorified representation theory Matthew Hogancamp (University of Southern California). Seminar Room 1, Newton Institute. Wednesday 28 June 2017, 11:30-12:30 Effectivity and Complexity Results in Hilbert's 17th problem Marie-Françoise Roy Université de Rennes 1, FranceBPR - Big proof Marie-Françoise Roy (Université de Rennes 1; Université de Rennes 1). Seminar Room 2, Newton Institute. Wednesday 28 June 2017, 11:00-12:00 Categorified knot invariants and algebraic geometryHTLW04 - Quantum topology and categorified representation theory Andrei Negut (Massachusetts Institute of Technology). Seminar Room 1, Newton Institute. Wednesday 28 June 2017, 10:00-11:00 On colored link homologiesHTLW04 - Quantum topology and categorified representation theory Paul Wedrich (Imperial College London). Seminar Room 1, Newton Institute. Tuesday 27 June 2017, 16:00-17:00 Representation theory and the Coulomb branchHTLW04 - Quantum topology and categorified representation theory Ben Webster (University of Virginia). Seminar Room 1, Newton Institute. Tuesday 27 June 2017, 14:30-15:30 Using Agda to Explore Path-Oriented Models of Type TheoryBPR - Big proof Andrew Pitts (University of Cambridge). Seminar Room 2, Newton Institute. Tuesday 27 June 2017, 13:30-14:30 An Upsilon-like invariant from Khovanov-Rozansky homologyHTLW04 - Quantum topology and categorified representation theory Lukas Lewark (Universität Bern). Seminar Room 1, Newton Institute. Tuesday 27 June 2017, 13:30-14:30 Introduction to p-dg 2-representation theoryHTLW04 - Quantum topology and categorified representation theory Vanessa Miemietz (University of East Anglia). Seminar Room 1, Newton Institute. Tuesday 27 June 2017, 11:30-12:30 Univalent type theory and modular formalisation of mathematicsBPR - Big proof Thierry Coquand (Göteborgs Universitet). Seminar Room 2, Newton Institute. Tuesday 27 June 2017, 11:00-12:00 How to categorify the ring of integers localized at twoHTLW04 - Quantum topology and categorified representation theory Mikhail Khovanov (Columbia University). Seminar Room 1, Newton Institute. Tuesday 27 June 2017, 10:00-11:00 Around Chebyshev's polynomial and the skein algebra of the torusHTLW04 - Quantum topology and categorified representation theory Hoel Queffelec (CNRS (Centre national de la recherche scientifique); Université de Montpellier). Seminar Room 1, Newton Institute. Monday 26 June 2017, 16:00-17:00 Traces, current algebras, and link homologiesHTLW04 - Quantum topology and categorified representation theory David Rose (University of North Carolina ). Seminar Room 1, Newton Institute. Monday 26 June 2017, 14:30-15:30 Hall algebras and Fukaya categoriesHTLW04 - Quantum topology and categorified representation theory Peter Samuelson (University of Edinburgh). Seminar Room 1, Newton Institute. Monday 26 June 2017, 13:30-14:30 Lattices and Homological AlgebraHTLW04 - Quantum topology and categorified representation theory Zsuzsanna Dancso (University of Sydney). Seminar Room 1, Newton Institute. Monday 26 June 2017, 11:30-12:30 The Big Proof Agenda for Mechanizing Mathematical DiscourseBPR - Big proof Natarajan Shankar (SRI International). Seminar Room 2, Newton Institute. Monday 26 June 2017, 11:00-12:00 Non semisimple TQFTs from quantum sl(2)HTLW04 - Quantum topology and categorified representation theory Christian Blanchet (Université Denis Diderot). Seminar Room 1, Newton Institute. Monday 26 June 2017, 10:00-11:00 The borders of Outer spaceNPCW05 - Group actions and cohomology in non-positive curvature Karen Vogtmann (University of Warwick; Cornell University). Seminar Room 1, Newton Institute. Friday 23 June 2017, 14:30-15:30 Topology of ends of nonpositively curved manifoldsNPCW05 - Group actions and cohomology in non-positive curvature Grigori Avramidi (Universität Münster). Seminar Room 1, Newton Institute. Friday 23 June 2017, 13:30-14:30 Free-by-cyclic groups and treesNPCW05 - Group actions and cohomology in non-positive curvature Christopher Leininger (University of Illinois at Chicago). Seminar Room 1, Newton Institute. Friday 23 June 2017, 11:30-12:30 Action dimension and L^2 CohomologyNPCW05 - Group actions and cohomology in non-positive curvature Kevin Schreve (University of Michigan). Seminar Room 1, Newton Institute. Friday 23 June 2017, 10:00-11:00 The dynamics of classifying geometric structuresNPCW05 - Group actions and cohomology in non-positive curvature Bill Goldman (University of Maryland). Seminar Room 1, Newton Institute. Friday 23 June 2017, 09:00-10:00 Extending group actions on metric spacesNPCW05 - Group actions and cohomology in non-positive curvature Denis Osin (Vanderbilt University). Seminar Room 1, Newton Institute. Thursday 22 June 2017, 16:00-17:00 Hyperbolic groups with boundary an n-dimensional Sierpinski spaceNPCW05 - Group actions and cohomology in non-positive curvature Jean-Francois Lafont (Ohio State University). Seminar Room 1, Newton Institute. Thursday 22 June 2017, 14:30-15:30 Vanishing simplicial volume for certain affine manifoldsNPCW05 - Group actions and cohomology in non-positive curvature Michelle Bucher (Université de Genève). Seminar Room 1, Newton Institute. Thursday 22 June 2017, 11:30-12:30 L2-torsion of free-by-cyclic groupsNPCW05 - Group actions and cohomology in non-positive curvature Matt Clay (University of Arkansas). Seminar Room 1, Newton Institute. Thursday 22 June 2017, 10:00-11:00 tbaNPCW05 - Group actions and cohomology in non-positive curvature Vladimir Markovic (CALTECH (California Institute of Technology)). Seminar Room 1, Newton Institute. Thursday 22 June 2017, 09:00-10:00 Surface subgroups of graphs of free groupsNPCW05 - Group actions and cohomology in non-positive curvature Henry Wilton (University of Cambridge). Seminar Room 1, Newton Institute. Wednesday 21 June 2017, 11:30-12:30 The boundary of hyperbolic free-by-cyclic groupsNPCW05 - Group actions and cohomology in non-positive curvature Yael Algom Kfir (University of Haifa). Seminar Room 1, Newton Institute. Wednesday 21 June 2017, 10:00-11:00 Generalized Bestvina-Brady groups and their applicationsNPCW05 - Group actions and cohomology in non-positive curvature Ian Leary (University of Southampton). Seminar Room 1, Newton Institute. Wednesday 21 June 2017, 09:00-10:00 The evolution of L2-Betti numbersNPCW05 - Group actions and cohomology in non-positive curvature Roman Sauer (Karlsruhe Institute of Technology (KIT)). Seminar Room 1, Newton Institute. Tuesday 20 June 2017, 16:00-17:00 Group actions on C*-algebras and obstruction theoryOAS - Operator algebras: subfactors and their applications Masaki Izumi (Kyoto University). Seminar Room 2, Newton Institute. Tuesday 20 June 2017, 16:00-17:00 Effective quasimorphisms on right-angled Artin groupsNPCW05 - Group actions and cohomology in non-positive curvature Jing Tao (University of Oklahoma). Seminar Room 1, Newton Institute. Tuesday 20 June 2017, 14:30-15:30 Groups acting on trees: representation theory and operator algebrasOAS - Operator algebras: subfactors and their applications Sven Raum (EPFL - Ecole Polytechnique Fédérale de Lausanne). Seminar Room 2, Newton Institute. Tuesday 20 June 2017, 13:30-14:30 Polynomial invariants of graph maps and applications to Out(Fn) and Mod(Sgn)NPCW05 - Group actions and cohomology in non-positive curvature Eriko Hironaka (American Mathematical Society; Florida State University). Seminar Room 1, Newton Institute. Tuesday 20 June 2017, 11:30-12:30 Universal L2-torsion for free-by-cyclic groupsNPCW05 - Group actions and cohomology in non-positive curvature Dawid Kielak (Universität Bielefeld ). Seminar Room 1, Newton Institute. Tuesday 20 June 2017, 10:00-11:00 Kaehler groups and CAT(0) cubic complexesNPCW05 - Group actions and cohomology in non-positive curvature Thomas Delzant (Université Louis Pasteur). Seminar Room 1, Newton Institute. Tuesday 20 June 2017, 09:00-10:00 Geodesic currents and counting problemsNPCW05 - Group actions and cohomology in non-positive curvature Kasra Rafi (University of Toronto). Seminar Room 1, Newton Institute. Monday 19 June 2017, 16:00-17:00 Around a big mapping class groupNPCW05 - Group actions and cohomology in non-positive curvature Juliette Bavard (University of Chicago). Seminar Room 1, Newton Institute. Monday 19 June 2017, 14:30-15:30 The uniform boundary condition and simplicial volumesNPCW05 - Group actions and cohomology in non-positive curvature Clara Löh (Universität Regensburg). Seminar Room 1, Newton Institute. Monday 19 June 2017, 13:30-14:30 Bounded cohomology and combinatorial volume formsNPCW05 - Group actions and cohomology in non-positive curvature Roberto Frigerio (Università di Pisa). Seminar Room 1, Newton Institute. Monday 19 June 2017, 11:30-12:30 Compactifications of spaces of maximal representations and non archimedean geometryNPCW05 - Group actions and cohomology in non-positive curvature Marc Burger (ETH Zürich). Seminar Room 1, Newton Institute. Monday 19 June 2017, 10:00-11:00 The truth about finite group orbifoldsOASW03 - Subfactors, K-theory and conformal field theory Terry Gannon (University of Alberta). Seminar Room 1, Newton Institute. Friday 16 June 2017, 14:30-15:30 Conformal nets, VOAs and their representationsOASW03 - Subfactors, K-theory and conformal field theory Sebastiano Carpi (Università degli Studi Gabriele d'Annunzio). Seminar Room 1, Newton Institute. Friday 16 June 2017, 13:30-14:30 What to expect from logarithmic conformal field theoryOASW03 - Subfactors, K-theory and conformal field theory Simon Wood (Cardiff University). Seminar Room 1, Newton Institute. Friday 16 June 2017, 11:30-12:30 On the Classification of holomorphic vertex operator algebras of central charge 24OASW03 - Subfactors, K-theory and conformal field theory Ching Hung Lam (Academia Sinica). Seminar Room 1, Newton Institute. Friday 16 June 2017, 10:00-11:00 On questions around reconstruction programOASW03 - Subfactors, K-theory and conformal field theory Feng Xu (). Seminar Room 1, Newton Institute. Friday 16 June 2017, 09:00-10:00 Affine centralizer algebrasOASW03 - Subfactors, K-theory and conformal field theory Lilit Martirosyan (Max-Planck-Institut für Mathematik, Bonn). Seminar Room 1, Newton Institute. Thursday 15 June 2017, 16:00-17:00 Bicommutant categoriesOASW03 - Subfactors, K-theory and conformal field theory Andre Henriques (University of Oxford; Universiteit Utrecht). Seminar Room 1, Newton Institute. Thursday 15 June 2017, 14:30-15:30 The string group and vertex algebrasOASW03 - Subfactors, K-theory and conformal field theory Christian Voigt (University of Glasgow). Seminar Room 1, Newton Institute. Thursday 15 June 2017, 13:30-14:30 Induced C*-hulls for *-algebrasOASW03 - Subfactors, K-theory and conformal field theory Ralf Meyer (Georg-August-Universität Göttingen). Seminar Room 1, Newton Institute. Thursday 15 June 2017, 11:30-12:30 Loop groups and noncommutative geometryOASW03 - Subfactors, K-theory and conformal field theory Robin Hillier (). Seminar Room 1, Newton Institute. Thursday 15 June 2017, 10:00-11:00 Conformal Field Theory, Operator algebras and symmetric Fuchsian equationsOASW03 - Subfactors, K-theory and conformal field theory Antony Wassermann (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 15 June 2017, 09:00-10:00 Knots and links from the Thompson groupsNPC - Non-positive curvature group actions and cohomology Vaughan Jones (Vanderbilt University; University of California, Berkeley; University of Auckland). Seminar Room 1, Newton Institute. Wednesday 14 June 2017, 13:00-14:00 Line bundles over noncommutative spacesOASW03 - Subfactors, K-theory and conformal field theory Giovanni Landi (Università degli Studi di Trieste ). Seminar Room 1, Newton Institute. Wednesday 14 June 2017, 11:30-12:30 An application of T-duality to K-theoryOASW03 - Subfactors, K-theory and conformal field theory Pedram Hekmati (IMPA - Instituto Nacional de Matemática Pura e Aplicada, Rio de Janeiro; University of Auckland). Seminar Room 1, Newton Institute. Wednesday 14 June 2017, 10:00-11:00 Kramer-Wannier and electro-magnetic duality in field theoryOASW03 - Subfactors, K-theory and conformal field theory Constantin Teleman (University of Oxford). Seminar Room 1, Newton Institute. Wednesday 14 June 2017, 09:00-10:00 The Quantum Sine-Gordon model in perturbative AQFTOASW03 - Subfactors, K-theory and conformal field theory Kasia Rejner (University of York). Seminar Room 1, Newton Institute. Tuesday 13 June 2017, 16:00-17:00 Yang-Baxter representations of the infinite symmetric groupOASW03 - Subfactors, K-theory and conformal field theory Gandalf Lechner (Cardiff University). Seminar Room 1, Newton Institute. Tuesday 13 June 2017, 14:30-15:30 Baxterising using conserved currentsOASW03 - Subfactors, K-theory and conformal field theory Paul Fendley (University of Oxford). Seminar Room 1, Newton Institute. Tuesday 13 June 2017, 13:30-14:30 Associative algebras and conformal field theoriesOASW03 - Subfactors, K-theory and conformal field theory Hubert Saleur (University of Southern California). Seminar Room 1, Newton Institute. Tuesday 13 June 2017, 11:30-12:30 Strong property (T), subexponential growth of derivatives and invariant metricsNPC - Non-positive curvature group actions and cohomology David Fisher (Indiana University; Indiana University). Seminar Room 2, Newton Institute. Tuesday 13 June 2017, 11:00-12:00 Synergy on quon languageOASW03 - Subfactors, K-theory and conformal field theory Zhengwei Liu (). Seminar Room 1, Newton Institute. Tuesday 13 June 2017, 10:00-11:00 Subfactors with infinite representation theoryOASW03 - Subfactors, K-theory and conformal field theory Dietmar Bisch (Vanderbilt University). Seminar Room 1, Newton Institute. Tuesday 13 June 2017, 09:00-10:00 Rothschild Lecture: Classification of von Neumann algebrasOASW03 - Subfactors, K-theory and conformal field theory Stefaan Vaes (KU Leuven). Seminar Room 1, Newton Institute. Monday 12 June 2017, 16:00-17:00 Discussion about the Landauer principle (and bound)OASW03 - Subfactors, K-theory and conformal field theory Roberto Longo (Università degli Studi di Roma Tor Vergata). Seminar Room 1, Newton Institute. Monday 12 June 2017, 14:30-15:30 The relative Drinfeld commutant and alpha-inductionOASW03 - Subfactors, K-theory and conformal field theory Yasu Kawahigashi (University of Tokyo). Seminar Room 1, Newton Institute. Monday 12 June 2017, 13:30-14:30 On Picture LanguageOASW03 - Subfactors, K-theory and conformal field theory Arthur Jaffe (Harvard University). Seminar Room 1, Newton Institute. Monday 12 June 2017, 11:30-12:30 Phase transitions in the semicontinuous limit of a quantum spin chainOASW03 - Subfactors, K-theory and conformal field theory Vaughan Jones (Vanderbilt University; University of California, Berkeley). Seminar Room 1, Newton Institute. Monday 12 June 2017, 10:00-11:00 Khovanov homology and knot Floer homology for pointed linksHTL - Homology theories in low dimensional topology Adam Levine (Princeton University). Seminar Room 2, Newton Institute. Friday 09 June 2017, 13:30-14:30 Morse Structures on Open BooksHTL - Homology theories in low dimensional topology Joan Licata (Australian National University). Seminar Room 2, Newton Institute. Thursday 08 June 2017, 15:15-16:15 Introduction to continuous fields of C*-algebras and their topological invariants (Part 3)OAS - Operator algebras: subfactors and their applications Marius Dadarlat (Purdue University; Purdue University). Seminar Room 2, Newton Institute. Thursday 08 June 2017, 14:00-15:00 Pimsner legacyOAS - Operator algebras: subfactors and their applications Emmanuel Germain (Université de Caen Basse-Normandie). Seminar Room 2, Newton Institute. Thursday 08 June 2017, 12:45-13:45 Introduction to continuous fields of C*-algebras and their topological invariants (Part 2)OAS - Operator algebras: subfactors and their applications Marius Dadarlat (Purdue University; Purdue University). Seminar Room 2, Newton Institute. Tuesday 06 June 2017, 14:00-15:00 Bivariant and Dynamical Versions of the Cuntz SemigroupOAS - Operator algebras: subfactors and their applications Joachim Zacharias (University of Glasgow). Seminar Room 2, Newton Institute. Tuesday 06 June 2017, 12:45-13:45 Introduction to continuous fields of C*-algebras and their topological invariants (Part 1)OAS - Operator algebras: subfactors and their applications Marius Dadarlat (Purdue University; Purdue University). Seminar Room 2, Newton Institute. Friday 02 June 2017, 16:00-17:00 How to compute torus link homologyHTL - Homology theories in low dimensional topology Matthew Hogancamp (University of Southern California). Seminar Room 2, Newton Institute. Thursday 01 June 2017, 15:15-16:15 Moebius Geometry of Boundaries''NPC - Non-positive curvature group actions and cohomology Viktor Schroeder (University of Zurich and ETH Zurich). Seminar Room 1, Newton Institute. Tuesday 30 May 2017, 14:00-16:00 Are geodesic metric spaces determined by their Morse boundaries?NPC - Non-positive curvature group actions and cohomology Ruth Charney (Brandeis University). Seminar Room 2, Newton Institute. Tuesday 30 May 2017, 11:00-12:00 Buildings, surfaces and quaternionsNPC - Non-positive curvature group actions and cohomology Alina Vdovina (Newcastle University). Seminar Room 2, Newton Institute. Tuesday 30 May 2017, 10:00-11:00 PETs, pseudogroup actions, and renormalisationNPC - Non-positive curvature group actions and cohomology Richard Schwartz (Brown University). Seminar Room 2, Newton Institute. Friday 26 May 2017, 10:00-12:00 Dimensionality Reduction Techniques in Medical Data AnalysisTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Joan Lasenby (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 16:15-17:00 Large Data Limits for Graphical ModelsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Matthew Thorpe (Carnegie Mellon University). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 15:35-16:15 Something about the Khovanov spaceHTL - Homology theories in low dimensional topology Andrew Lobb (University of Durham). Seminar Room 2, Newton Institute. Thursday 25 May 2017, 15:15-16:15 High Dimensional Changepoint Estimation via Sparse ProjectionTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Tengyao Wang (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 14:35-15:15 H^3 and twisted K-theory for compact Lie groupsOAS - Operator algebras: subfactors and their applications Jonathan Rosenberg (University of Maryland). Seminar Room 2, Newton Institute. Thursday 25 May 2017, 14:00-15:00 Geometric Methods for the Approximation of High-Dimensional Data Sets and High-Dimensional Dynamical SystemsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Mauro Maggioni (Johns Hopkins University). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 13:50-14:35 Your Browser Can Prove Your LemmasTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Edward Ayers (Cantab Capital Institute for the Mathematics of Information). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:45-12:50 Novel Uses of Shipping Data in Commodity MarketsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Andrew Celsus (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:40-12:45 Nonparametric Estimation of Diffusions in the Low-Frequency SettingTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Sven Wang (Cantab Capital Institute for the Mathematics of Information). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:35-12:40 Reconstruction Methods in Transmission Electron TomographyTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Robert Tovey (Cantab Capital Institute for the Mathematics of Information). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:30-12:35 Learning a Sampling Pattern for MRITGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Ferdia Sherry (Cantab Capital Institute for the Mathematics of Information). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:25-12:30 Approaches to Sampling and Inference for Bayesian NonparametricsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Sam Power (Cantab Capital Institute for the Mathematics of Information). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:20-12:25 Photoacoustic Tomography with Total Variation RegularisationTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Erlend Riis (Cambridge Centre for Analysis). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:15-12:20 Quantum Entropies Through Convex OptimisationTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Eric Hanson (Cantab Capital Institute for the Mathematics of Information). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:10-12:15 Sparse Principal Component Analysis via Random ProjectionsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Milana Gataric (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:05-12:10 Introduction to Elevator PitchesTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Carola-Bibiane Schönlieb (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 12:00-12:05 Surface Approximations and Geometric EnergiesTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Simon Masnou (Université Claude Bernard Lyon 1). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 10:55-11:40 Using Novel Data Sources to Model Commodity MarketsTGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Chris Longworth (Cantab Capital Partners). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 10:10-10:55 Welcome and Introduction, Update from CCIMITGMW46 - High Dimensional Mathematics - A Research Conference of the Cantab Capital Institute for the Mathematics of Information Carola-Bibiane Schönlieb (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 25 May 2017, 10:00-10:10 The pentagram map and discrete integrable systemsNPC - Non-positive curvature group actions and cohomology Richard Schwartz (Brown University). Seminar Room 2, Newton Institute. Wednesday 24 May 2017, 14:00-16:00 Nilpotent Lie groups: Fourier inversion and prime idealsOAS - Operator algebras: subfactors and their applications Ying-Fen Lin (Queen's University Belfast). Seminar Room 2, Newton Institute. Tuesday 23 May 2017, 14:00-15:00 Uniformly recurrent subgroups and rigidity of non-free minimal actionsNPC - Non-positive curvature group actions and cohomology Nicolas Matte Bon (ETH Zürich). Seminar Room 2, Newton Institute. Tuesday 23 May 2017, 11:00-12:00 Affine actions, cohomology and hyperbolicityNPC - Non-positive curvature group actions and cohomology Erik Guentner (University of Hawaii). Seminar Room 2, Newton Institute. Tuesday 23 May 2017, 10:00-11:00 Thurston's Shapes of PolyhedraNPC - Non-positive curvature group actions and cohomology Richard Schwartz (Brown University). Seminar Room 2, Newton Institute. Friday 19 May 2017, 15:45-17:15 Combinatorial Tangle Floer homologyHTL - Homology theories in low dimensional topology Vera Vertesi (University of Strasbourg; CNRS (Centre national de la recherche scientifique)). Seminar Room 2, Newton Institute. Friday 19 May 2017, 13:30-14:30 Categories of curved complexes for marked surfacesHTL - Homology theories in low dimensional topology Claudius Zibrowius (University of Cambridge). Seminar Room 2, Newton Institute. Thursday 18 May 2017, 15:15-16:15 L^2-Betti numbers of universal quantum groupsOAS - Operator algebras: subfactors and their applications David Kyed (University of Southern Denmark ). Seminar Room 2, Newton Institute. Thursday 18 May 2017, 14:00-15:00 Iterated barycentric subdivision and steerable semigroups of SL_n(R)NPC - Non-positive curvature group actions and cohomology Richard Schwartz (Brown University). Seminar Room 2, Newton Institute. Wednesday 17 May 2017, 14:00-16:00 Subfactors related to certain symmetric spacesOAS - Operator algebras: subfactors and their applications Hans Wenzl (University of California, San Diego). Seminar Room 2, Newton Institute. Tuesday 16 May 2017, 14:00-15:00 Rieffel deformation, tempered distributions and the Gabor wavefront setOAS - Operator algebras: subfactors and their applications Dorothea Bahns (Georg-August-Universität Göttingen). Seminar Room 2, Newton Institute. Tuesday 16 May 2017, 12:45-13:45 Commensurating actions of groups of birational transformationsNPC - Non-positive curvature group actions and cohomology Yves de Cornulier (CNRS (Centre national de la recherche scientifique); Université Paris-Sud 11 ). Seminar Room 2, Newton Institute. Tuesday 16 May 2017, 11:00-12:00 The action dimensions of some discrete groupsNPC - Non-positive curvature group actions and cohomology Michael Davis (Ohio State University; Ohio State University). Seminar Room 2, Newton Institute. Tuesday 16 May 2017, 10:00-11:00 A random walk around soluble group theoryNPCW04 - Approximation, deformation, quasification Peter Kropholler (University of Southampton). Seminar Room 1, Newton Institute. Friday 12 May 2017, 14:30-15:30 How to quickly generate a nice hyperbolic elementNPCW04 - Approximation, deformation, quasification Emmanuel Breuillard (Universität Münster). Seminar Room 1, Newton Institute. Friday 12 May 2017, 13:30-14:30 Laminations and external angles for similarity pairsNPCW04 - Approximation, deformation, quasification Danny Calegari (University of Chicago). Seminar Room 1, Newton Institute. Friday 12 May 2017, 11:00-12:00 Old results and new questions on the rapid decay propertyNPCW04 - Approximation, deformation, quasification Indira Chatterji (Université de Nice). Seminar Room 1, Newton Institute. Friday 12 May 2017, 09:30-10:30 Subexponential growth, measure rigidity, strong property (T) and Zimmer's conjectureNPCW04 - Approximation, deformation, quasification David Fisher (Indiana University). Seminar Room 1, Newton Institute. Thursday 11 May 2017, 16:00-17:00 The diameter of the symmetric group: ideas and toolsNPCW04 - Approximation, deformation, quasification Harald Helfgott (Université Paris 7 - Denis-Diderot). Seminar Room 1, Newton Institute. Thursday 11 May 2017, 14:30-15:30 Approximating simple locally compact groups by their dense subgroupsNPCW04 - Approximation, deformation, quasification Phillip Wesolek (Binghamton University). Seminar Room 1, Newton Institute. Thursday 11 May 2017, 11:30-12:30 Large scale geometry in large transformation groupsNPCW04 - Approximation, deformation, quasification Kathryn Mann (University of California, Berkeley). Seminar Room 1, Newton Institute. Thursday 11 May 2017, 10:00-11:00 Unitary representations of reflection groups and their deformations.NPCW04 - Approximation, deformation, quasification Uri Bader (Weizmann Institute of Science). Seminar Room 1, Newton Institute. Thursday 11 May 2017, 09:00-10:00 Convex cocompactness in real projective geometryNPCW04 - Approximation, deformation, quasification Fanny Kassel (CNRS (Centre national de la recherche scientifique)). Seminar Room 1, Newton Institute. Wednesday 10 May 2017, 11:30-12:30 Homology torsion growth of higher rank latticesNPCW04 - Approximation, deformation, quasification Nikolay Nikolov (University of Oxford). Seminar Room 1, Newton Institute. Wednesday 10 May 2017, 10:00-11:00 Vectorial metric compactification of symmetric spaces and affine buildingsNPCW04 - Approximation, deformation, quasification Anne Parreau (Université de Grenoble). Seminar Room 1, Newton Institute. Wednesday 10 May 2017, 09:00-10:00 Negative curvature and rigidity for von Neumann algebrasNPCW04 - Approximation, deformation, quasification Stefaan Vaes (KU Leuven). Seminar Room 1, Newton Institute. Tuesday 09 May 2017, 16:00-17:00 Arithmetic of Dehn surgery pointsNPCW04 - Approximation, deformation, quasification Alan Reid (University of Texas at Austin). Seminar Room 1, Newton Institute. Tuesday 09 May 2017, 14:30-15:30 Representation theory of Drinfeld doubles (Part 4)OAS - Operator algebras: subfactors and their applications Yuki Arano (Kyoto University). Seminar Room 2, Newton Institute. Tuesday 09 May 2017, 14:00-15:00 Ping Pong on CAT(0) cube complexesNPCW04 - Approximation, deformation, quasification Aditi Kar (University of London). Seminar Room 1, Newton Institute. Tuesday 09 May 2017, 11:30-12:30 Local testability in group theory IINPCW04 - Approximation, deformation, quasification Oren Becker (Hebrew University of Jerusalem). Seminar Room 1, Newton Institute. Tuesday 09 May 2017, 10:00-11:00 Local testability in group theory INPCW04 - Approximation, deformation, quasification Alex Lubotzky (Hebrew University of Jerusalem). Seminar Room 1, Newton Institute. Tuesday 09 May 2017, 09:00-10:00 Characterizing a vertex-transitive graph by a large ballNPCW04 - Approximation, deformation, quasification Mikael de la Salle (ENS - Lyon; CNRS (Centre national de la recherche scientifique)). Seminar Room 1, Newton Institute. Monday 08 May 2017, 16:00-17:00 On finitarily approximable groupsNPCW04 - Approximation, deformation, quasification Andreas Thom (Technische Universität Dresden; Technische Universität Dresden). Seminar Room 1, Newton Institute. Monday 08 May 2017, 14:30-15:30 Towers of regular self-covers and linear endomorphisms of toriNPCW04 - Approximation, deformation, quasification Wouter Van Limbeek (University of Michigan). Seminar Room 1, Newton Institute. Monday 08 May 2017, 13:30-14:30 Degenerations of maximal representations, non-Archimedean upper half space and laminationsNPCW04 - Approximation, deformation, quasification Alessandra Iozzi (ETH Zürich). Seminar Room 1, Newton Institute. Monday 08 May 2017, 11:30-12:30 Approximations of infinite groupsNPCW04 - Approximation, deformation, quasification Goulnara Arzhantseva (Universität Wien). Seminar Room 1, Newton Institute. Monday 08 May 2017, 10:00-11:00 Exotic lattices and simple locally compact groupsNPC - Non-positive curvature group actions and cohomology Pierre-Emmanuel Caprace (Université Catholique de Louvain ). Seminar Room 2, Newton Institute. Friday 05 May 2017, 15:45-17:15 Free entropy dimension and the orthogonal free quantum groupsOAS - Operator algebras: subfactors and their applications Roland Vergnioux (Université de Caen Basse-Normandie). Seminar Room 2, Newton Institute. Thursday 04 May 2017, 14:00-15:00 Exotic lattices and simple locally compact groupsNPC - Non-positive curvature group actions and cohomology Pierre-Emmanuel Caprace (Université Catholique de Louvain ). Seminar Room 2, Newton Institute. Thursday 04 May 2017, 09:30-11:30 Pappus's Theorem and the Modular GroupNPC - Non-positive curvature group actions and cohomology Richard Schwartz (Brown University). Seminar Room 2, Newton Institute. Wednesday 03 May 2017, 14:00-16:00 Representation theory of Drinfeld doubles (Part 3)OAS - Operator algebras: subfactors and their applications Yuki Arano (Kyoto University). Seminar Room 2, Newton Institute. Tuesday 02 May 2017, 14:00-15:00 Uniformly recurrent subgroups and lattice embeddingsNPC - Non-positive curvature group actions and cohomology Adrien Le Boudec (Université Catholique de Louvain ). Seminar Room 2, Newton Institute. Tuesday 02 May 2017, 11:00-12:00 Finiteness conditions for classifying spaces for the family of virtually cyclic subgroups.NPC - Non-positive curvature group actions and cohomology Brita Nucinkis (Royal Holloway, University of London; Royal Holloway, University of London). Seminar Room 2, Newton Institute. Tuesday 02 May 2017, 10:00-11:00 The 2-linearity of the free group and the topology of the punctured discHTL - Homology theories in low dimensional topology Anthony Licata (Australian National University). Seminar Room 2, Newton Institute. Thursday 27 April 2017, 15:15-16:15 Traces in non-semisimple categoriesOAS - Operator algebras: subfactors and their applications Ingo Runkel (Universität Hamburg). Seminar Room 2, Newton Institute. Thursday 27 April 2017, 14:00-15:00 Exotic lattices and simple locally compact groupsNPC - Non-positive curvature group actions and cohomology Pierre-Emmanuel Caprace (Université Catholique de Louvain ). Seminar Room 2, Newton Institute. Thursday 27 April 2017, 09:30-11:30 Approximate groups: nilprogressions and the structure theorem.NPC - Non-positive curvature group actions and cohomology Emmanuel Breuillard (Universität Münster). Seminar Room 2, Newton Institute. Wednesday 26 April 2017, 14:00-16:00 Representation theory of Drinfeld doubles (Part 2)OAS - Operator algebras: subfactors and their applications Yuki Arano (Kyoto University). Seminar Room 2, Newton Institute. Tuesday 25 April 2017, 14:00-15:00 Non-arithmetic latticesNPC - Non-positive curvature group actions and cohomology John Parker (University of Durham). Seminar Room 2, Newton Institute. Tuesday 25 April 2017, 11:00-12:00 On diagonal group actions, trees and continued fractions in positive characteristicNPC - Non-positive curvature group actions and cohomology Frédéric Paulin (Université Paris-Sud 11 ). Seminar Room 2, Newton Institute. Tuesday 25 April 2017, 10:00-11:00 Bar Natan's deformation of Khovanov homology and involutive monopole Floer homologyHTL - Homology theories in low dimensional topology Francesco Lin (Princeton University). Seminar Room 2, Newton Institute. Thursday 20 April 2017, 15:15-16:15 Herz--Schur multipliers and approximation propertiesOAS - Operator algebras: subfactors and their applications Andrew McKee (Queen's University Belfast). Seminar Room 2, Newton Institute. Thursday 20 April 2017, 14:00-15:00 Bounding genera of singular surfacesNPC - Non-positive curvature group actions and cohomology Brian Bowditch (University of Warwick). Seminar Room 2, Newton Institute. Thursday 20 April 2017, 11:00-12:00 Property (T) and approximate conjugacy of actionsNPC - Non-positive curvature group actions and cohomology Andreas Aaserud (Cardiff University). Seminar Room 2, Newton Institute. Thursday 20 April 2017, 10:00-11:00 Wrap-up and QuestionsTGMW42 - Developments in Healthcare Imaging – Connecting with Academia . Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 16:50-17:00 Fidelity and Resolution in Undersampled Physical ImagingTGMW42 - Developments in Healthcare Imaging – Connecting with Academia Bogdan Roman (Centre for Mathematical Imaging in Healthcare). Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 16:15-16:50 The Human Connectome Project Multimodal Cortical Parcellation: New Avenues for Brain ResearchTGMW42 - Developments in Healthcare Imaging – Connecting with Academia Emma Robinson (BioMedIA Group (Imperial College London). Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 15:40-16:15 IntroductionTGMW42 - Developments in Healthcare Imaging – Connecting with Academia Leanne Poole (Liverpool Centre for Mathematics in Healthcare). Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 15:35-15:40 Mass Spectrometry Imaging in Drug Discovery: The Challenges and Opportunities for Molecular Imaging from Single Cells, Preclinical Models and Through to IntraoperativelyTGMW42 - Developments in Healthcare Imaging – Connecting with Academia Richard Goodwin (AstraZeneca, UK). Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 14:40-15:15 Segmentation of Organs at Risk for Radiotherapy PlanningTGMW42 - Developments in Healthcare Imaging – Connecting with Academia Jack Spencer (University of Liverpool); Djamal Boukerroui (Liverpool Centre for Mathematics in Healthcare). Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 14:05-14:40 Introduction to Imaging and Data Integration With an Update from LCMHTGMW42 - Developments in Healthcare Imaging – Connecting with Academia Ke Chen (University of Liverpool). Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 14:00-14:05 Hilbert's 5th problem and the Gleason-Yamabe theoremNPC - Non-positive curvature group actions and cohomology Emmanuel Breuillard (Universität Münster). Seminar Room 2, Newton Institute. Wednesday 19 April 2017, 14:00-16:00 Elevator Pitch SummaryTGMW42 - Developments in Healthcare Imaging – Connecting with Academia . Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 12:55-13:00 Light Sheet Microscopy in Cancer Research: Imaging the Dynamics of Physiologically Relevant 3D ModelsTGMW42 - Developments in Healthcare Imaging – Connecting with Academia Gopi Shah (CRUK Cambridge Institute). Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 12:45-12:55 Cardiac MRI and Myocardial Infarction: the role of Mathematical ModellingTGMW42 - Developments in Healthcare Imaging – Connecting with Academia Kenneth Mangion (SofTMech - University of Glasgow). Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 12:35-12:45 Calibration of the Heart Model: Dealing with UncertaintyTGMW42 - Developments in Healthcare Imaging – Connecting with Academia Lauric Ferrat (EPSRC Centre for Predictive Modelling in Healthcare - University of Exeter). Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 12:25-12:35 Modelling Challenges in Segmentation of Lung Images in Presence of Missing DataTGMW42 - Developments in Healthcare Imaging – Connecting with Academia Michael Roberts (University of Liverpool). Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 12:20-12:25 Development of Cancer Diagnostics using mid-Infrared Imaging including FEL-based SNOMTGMW42 - Developments in Healthcare Imaging – Connecting with Academia Michele Siggel-King (University of Liverpool). Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 12:15-12:20 Localising Shapes in Neuroimaging DataTGMW42 - Developments in Healthcare Imaging – Connecting with Academia Paul Expert (EPSRC Centre for Mathematics of Precision Healthcare, Imperial College). Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 12:05-12:15 Imaging plus X: Data-driven Models of Neurological Disease ProgressionTGMW42 - Developments in Healthcare Imaging – Connecting with Academia Neil Oxtoby (University College London). Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 11:10-11:45 Microstructure Imaging with Diffusion MRITGMW42 - Developments in Healthcare Imaging – Connecting with Academia Ivana Drobnjak (University College London). Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 10:35-11:10 IntroductionTGMW42 - Developments in Healthcare Imaging – Connecting with Academia Daniel Alexander (University College London). Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 10:30-10:35 Benjamini-Schramm convergence of arithmetic orbifolds.NPC - Non-positive curvature group actions and cohomology Mikolaj Fraczyk (Université Paris-Sud 11 ). Seminar Room 2, Newton Institute. Wednesday 19 April 2017, 10:00-11:00 Welcome and Introduction with update from CMIHTGMW42 - Developments in Healthcare Imaging – Connecting with Academia Carola-Bibiane Schönlieb (University of Cambridge); Ke Chen (University of Liverpool). Seminar Room 1, Newton Institute. Wednesday 19 April 2017, 10:00-10:30 Representation theory of Drinfeld doubles (Part 1)OAS - Operator algebras: subfactors and their applications Yuki Arano (Kyoto University). Seminar Room 2, Newton Institute. Tuesday 18 April 2017, 14:00-15:00 Exotic lattices and simple locally compact groupsNPC - Non-positive curvature group actions and cohomology Pierre-Emmanuel Caprace (Université Catholique de Louvain ). Seminar Room 2, Newton Institute. Tuesday 18 April 2017, 10:00-11:30 BPS states of M5-brane on T^3HTLW03 - Physics and knot homologies Amer Iqbal (Abdus Salam School of Mathematical Sciences GC University). Seminar Room 1, Newton Institute. Thursday 13 April 2017, 14:30-15:30 Colored knot invariants from Reshetikhin-Turaev approachHTLW03 - Physics and knot homologies Alexey Sleptsov (ITEP (Institute for Theoretical and Experimental Physics)). Seminar Room 1, Newton Institute. Thursday 13 April 2017, 13:30-14:30 BPS states, knots and quiversHTLW03 - Physics and knot homologies Piotr Sulkowski (Uniwersytet Warszawski; CALTECH (California Institute of Technology)). Seminar Room 1, Newton Institute. Thursday 13 April 2017, 11:30-12:30 RAAG subgroups of RAAGsNPC - Non-positive curvature group actions and cohomology Karen Vogtmann (University of Warwick; Cornell University). Seminar Room 2, Newton Institute. Thursday 13 April 2017, 11:00-12:00 Towards a symplectic model of odd Khovanov homologyHTLW03 - Physics and knot homologies Mohammed Abouzaid (Columbia University). Seminar Room 1, Newton Institute. Thursday 13 April 2017, 10:00-11:00 Median spaces and spaces with thin triangles.NPC - Non-positive curvature group actions and cohomology Indira Chatterji (Université de Nice). Seminar Room 2, Newton Institute. Thursday 13 April 2017, 10:00-11:00 Exotic lattices and simple locally compact groupsNPC - Non-positive curvature group actions and cohomology Pierre-Emmanuel Caprace (Université Catholique de Louvain ). Seminar Room 2, Newton Institute. Wednesday 12 April 2017, 14:00-15:30 Higher genus knot contact homology and recursion for the colored HOMFLY polynomialHTLW03 - Physics and knot homologies Tobias Ekholm (Uppsala Universitet; Institut Mittag-Leffler). Seminar Room 1, Newton Institute. Wednesday 12 April 2017, 11:30-12:30 Integrality in analytically continued Chern-Simons theoryHTLW03 - Physics and knot homologies Pavel Putrov (Institute for Advanced Study, Princeton). Seminar Room 1, Newton Institute. Wednesday 12 April 2017, 10:00-11:00 On colored link homologiesHTLW03 - Physics and knot homologies Paul Wedrich (Imperial College London). Seminar Room 1, Newton Institute. Tuesday 11 April 2017, 16:00-17:00 Arborescent knots, mutants - current status on their invariantsHTLW03 - Physics and knot homologies Ramadevi Pichai (Indian Institute of Technology). Seminar Room 1, Newton Institute. Tuesday 11 April 2017, 14:30-15:30 I-factorial quantum torsors and Heisenberg algebras of quantized enveloping typeOAS - Operator algebras: subfactors and their applications Kenny De Commer (Vrije Universiteit Brussel). Seminar Room 2, Newton Institute. Tuesday 11 April 2017, 14:00-15:00 Knots, (extremal) A-polynomials, and BPS invariantsHTLW03 - Physics and knot homologies Piotr Kucharski (University of Warsaw). Seminar Room 1, Newton Institute. Tuesday 11 April 2017, 13:30-14:30 Khovanov-Rozansky homology and q,t Catalan numbersHTLW03 - Physics and knot homologies Matthew Hogancamp (University of Southern California). Seminar Room 1, Newton Institute. Tuesday 11 April 2017, 11:30-12:30 The Verlinde formula for Higgs bundle moduli spacesHTLW03 - Physics and knot homologies Jørgen Andersen (Aarhus Universitet). Seminar Room 1, Newton Institute. Tuesday 11 April 2017, 10:00-11:00 Approximate groups: Hrushovski's Lie model theoremNPC - Non-positive curvature group actions and cohomology Emmanuel Breuillard (Universität Münster). Seminar Room 2, Newton Institute. Tuesday 11 April 2017, 10:00-12:00 Unified invariants of homology 3-spheresHTLW03 - Physics and knot homologies Anna Beliakova (Universität Zürich). Seminar Room 1, Newton Institute. Monday 10 April 2017, 16:00-17:00 Mirror symmetry, integrable systems and the Gopakumar--Vafa correspondence for Clifford--Klein 3-manifoldsHTLW03 - Physics and knot homologies Andrea Brini (Imperial College London; CNRS (Centre national de la recherche scientifique)). Seminar Room 1, Newton Institute. Monday 10 April 2017, 13:30-14:30 Surface operators and categorification of quantum groupsHTLW03 - Physics and knot homologies Daniel Roggenkamp (Universität Mannheim ; Universität Mannheim ). Seminar Room 1, Newton Institute. Monday 10 April 2017, 11:30-12:30 String Theory and Homological Invariants for 3-ManifoldsHTLW03 - Physics and knot homologies Cumrun Vafa (Harvard University; Harvard University). Seminar Room 1, Newton Institute. Monday 10 April 2017, 10:00-11:00 Rothschild Lecture: Thomson's 5 point problemNPC - Non-positive curvature group actions and cohomology Richard Schwartz (Brown University). Seminar Room 1, Newton Institute. Friday 07 April 2017, 16:00-17:00 Vortices and Vermas (and other applications of 3d gauge theory to geometric representation theoryHTL - Homology theories in low dimensional topology Tudor Dimofte (University of California, Davis). Seminar Room 2, Newton Institute. Thursday 06 April 2017, 15:30-16:30 The oriented Thompson group, oriented links, and polynomial link invariantsOAS - Operator algebras: subfactors and their applications Valeriano Aiello (Università degli Studi Roma Tre). Seminar Room 2, Newton Institute. Thursday 06 April 2017, 13:00-14:00 Closing RemarksTGMW41 - Environmental Modelling in Industry Study Group . Seminar Room 1, Newton Institute. Thursday 06 April 2017, 12:45-13:00 Presentation: Challenge 5. Understanding Rainfall PatternsTGMW41 - Environmental Modelling in Industry Study Group Adam Baylis (Environment Agency). Seminar Room 1, Newton Institute. Thursday 06 April 2017, 12:15-12:45 Presentation: Challenge 4. Making Decisions Using Uncertain ForecastsTGMW41 - Environmental Modelling in Industry Study Group Adam Baylis (Environment Agency). Seminar Room 1, Newton Institute. Thursday 06 April 2017, 11:45-12:15 Presentation: Challenge 3. Estimating Flood Probability Using Historical DataTGMW41 - Environmental Modelling in Industry Study Group Adam Baylis (Environment Agency). Seminar Room 1, Newton Institute. Thursday 06 April 2017, 11:15-11:45 Topological finite generation of certain compact open subgroups of tree automorphisms.NPC - Non-positive curvature group actions and cohomology Shahar Mozes (Hebrew University of Jerusalem). Seminar Room 2, Newton Institute. Thursday 06 April 2017, 11:00-12:00 Presentation: Challenge 2. Modelling Sewer NetworksTGMW41 - Environmental Modelling in Industry Study Group James Franklin (Sweco). Seminar Room 1, Newton Institute. Thursday 06 April 2017, 10:15-10:45 The Poincaré profile of a graph or groupNPC - Non-positive curvature group actions and cohomology John Mackay (University of Bristol). Seminar Room 2, Newton Institute. Thursday 06 April 2017, 10:00-11:00 Presentation: Challenge 1. A Risk-based Analysis of Small Scale, Distributed, "Nature-based" Flood Risk Management Measures Deployed on River NetworksTGMW41 - Environmental Modelling in Industry Study Group Barry Hankin (JBA Trust). Seminar Room 1, Newton Institute. Thursday 06 April 2017, 09:45-10:15 Opening CommentsTGMW41 - Environmental Modelling in Industry Study Group Onno Bokhove (University of Leeds). Seminar Room 1, Newton Institute. Thursday 06 April 2017, 09:30-09:45 Final Preparations (Isaac Newton Institute & Centre for Mathematical Sciences)TGMW41 - Environmental Modelling in Industry Study Group . Seminar Room 1, Newton Institute. Thursday 06 April 2017, 09:00-09:30 Group Discussions (Continuation of Group Discussion and Preparation of Presentations)TGMW41 - Environmental Modelling in Industry Study Group . Seminar Room 1, Newton Institute. Wednesday 05 April 2017, 19:30-21:30 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)TGMW41 - Environmental Modelling in Industry Study Group . Seminar Room 1, Newton Institute. Wednesday 05 April 2017, 16:00-18:00 Exotic lattices and simple locally compact groupsNPC - Non-positive curvature group actions and cohomology Pierre-Emmanuel Caprace (Université Catholique de Louvain ). Seminar Room 2, Newton Institute. Wednesday 05 April 2017, 14:00-15:30 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)TGMW41 - Environmental Modelling in Industry Study Group . Seminar Room 1, Newton Institute. Wednesday 05 April 2017, 13:30-15:30 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)TGMW41 - Environmental Modelling in Industry Study Group . Seminar Room 1, Newton Institute. Wednesday 05 April 2017, 11:00-12:30 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)TGMW41 - Environmental Modelling in Industry Study Group . Seminar Room 1, Newton Institute. Wednesday 05 April 2017, 09:00-10:30 Group Discussions (Continuation of Group Discussion)TGMW41 - Environmental Modelling in Industry Study Group . Seminar Room 1, Newton Institute. Tuesday 04 April 2017, 20:00-21:30 Presentations on ProgressTGMW41 - Environmental Modelling in Industry Study Group . Seminar Room 1, Newton Institute. Tuesday 04 April 2017, 19:00-20:00 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)TGMW41 - Environmental Modelling in Industry Study Group . Seminar Room 1, Newton Institute. Tuesday 04 April 2017, 16:00-17:30 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)TGMW41 - Environmental Modelling in Industry Study Group . Seminar Room 1, Newton Institute. Tuesday 04 April 2017, 13:30-15:30 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)TGMW41 - Environmental Modelling in Industry Study Group . Seminar Room 1, Newton Institute. Tuesday 04 April 2017, 11:00-12:30 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)TGMW41 - Environmental Modelling in Industry Study Group . Seminar Room 1, Newton Institute. Tuesday 04 April 2017, 09:00-10:30 Group Discussions (Isaac Newton Institute & Centre for Mathematical Sciences)TGMW41 - Environmental Modelling in Industry Study Group . Seminar Room 1, Newton Institute. Monday 03 April 2017, 15:30-18:30 Introduction: Challenges 4 & 5. Making Decisions Using Uncertain Forecasts and Understanding Rainfall PatternsTGMW41 - Environmental Modelling in Industry Study Group Adam Baylis (Environment Agency). Seminar Room 1, Newton Institute. Monday 03 April 2017, 14:00-14:45 Introduction: Challenge 3. Estimating Flood Probability Using Historical DataTGMW41 - Environmental Modelling in Industry Study Group Adam Baylis (Environment Agency). Seminar Room 1, Newton Institute. Monday 03 April 2017, 12:15-12:45 Introduction: Challenge 2. Modelling Sewer NetworksTGMW41 - Environmental Modelling in Industry Study Group James Franklin (Sweco). Seminar Room 1, Newton Institute. Monday 03 April 2017, 11:45-12:15 Introduction: Challenge 1. A Risk-based Analysis of Small Scale, Distributed, “Nature-based” Flood Risk Management Measures Deployed on River NetworksTGMW41 - Environmental Modelling in Industry Study Group Barry Hankin (JBA Trust). Seminar Room 1, Newton Institute. Monday 03 April 2017, 10:45-11:15 IntroductionTGMW41 - Environmental Modelling in Industry Study Group Onno Bokhove (University of Leeds). Seminar Room 1, Newton Institute. Monday 03 April 2017, 10:15-10:45 WelcomeTGMW41 - Environmental Modelling in Industry Study Group Jane Leeks (Turing Gateway to Mathematics); David Abrahams (Isaac Newton Institute). Seminar Room 1, Newton Institute. Monday 03 April 2017, 10:00-10:15 Calabi-Yau volumes and Reflexive PolytopesOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Yang-Hui He (City University, London; University of Oxford). Seminar Room 1, Newton Institute. Friday 31 March 2017, 14:30-15:30 Pre-sheaves of spaces and the Grothendieck construction in higher geometryOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Danny Stevenson (University of Adelaide). Seminar Room 1, Newton Institute. Friday 31 March 2017, 13:30-14:30 Coefficients for commutative K-theoryOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Simon Gritschacher (University of Oxford). Seminar Room 1, Newton Institute. Friday 31 March 2017, 11:30-12:30 Vertex Operator Algebras from Calabi-Yau GeometriesOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Katrin Wendland (Albert-Ludwigs-Universität Freiburg). Seminar Room 1, Newton Institute. Friday 31 March 2017, 10:00-11:00 tbaOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Amihay Hanany (Imperial College London). Seminar Room 1, Newton Institute. Thursday 30 March 2017, 16:00-17:00 Real bundle gerbesOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Michael Murray (University of Adelaide). Seminar Room 1, Newton Institute. Thursday 30 March 2017, 14:30-15:30 Homotopy theory with C*-categoriesOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Ulrich Bunke (Universität Regensburg). Seminar Room 1, Newton Institute. Thursday 30 March 2017, 13:30-14:30 Equivariant higher twisted K-theoryOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Ulrich Pennig (Cardiff University). Seminar Room 1, Newton Institute. Thursday 30 March 2017, 11:30-12:30 Higher twisted K-theory a la Dadarlat and PennigOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Andre Henriques (University of Oxford; Universiteit Utrecht). Seminar Room 1, Newton Institute. Thursday 30 March 2017, 10:00-11:00 Local quivers and Morita theory for matrix factorizationsOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Raf Bocklandt (Universiteit van Amsterdam). Seminar Room 1, Newton Institute. Wednesday 29 March 2017, 11:30-12:30 A classification of some 3-Calabi-Yau algebrasOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Paul Smith (University of Washington). Seminar Room 1, Newton Institute. Wednesday 29 March 2017, 10:00-11:00 Polynomial functors and algebraic K-theoryOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Akhil Mathew (Harvard University). Seminar Room 1, Newton Institute. Wednesday 29 March 2017, 09:00-10:00 Higher preprojective algebras and higher zigzag algebrasOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Joseph Grant (University of East Anglia). Seminar Room 1, Newton Institute. Tuesday 28 March 2017, 16:00-17:00 Frobenius algebras from CFTOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Mathew Pugh (Cardiff University). Seminar Room 1, Newton Institute. Tuesday 28 March 2017, 14:30-15:30 Quivers and CFT: preprojective algebras and beyondOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Alastair King (University of Bath). Seminar Room 1, Newton Institute. Tuesday 28 March 2017, 13:30-14:30 Periodicity for finite-dimensional selfinjective algebrasOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Karin Erdmann (University of Oxford). Seminar Room 1, Newton Institute. Tuesday 28 March 2017, 11:30-12:30 Preprojective algebras and Calabi-Yau algebrasOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Osamu Iyama (Nagoya University). Seminar Room 1, Newton Institute. Tuesday 28 March 2017, 10:00-11:00 Geometric models for twisted K-homologyOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Thomas Schick (Georg-August-Universität Göttingen). Seminar Room 1, Newton Institute. Monday 27 March 2017, 16:00-17:00 A geometric approach to constructing conformal netsOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras James Tener (University of California, Santa Barbara). Seminar Room 1, Newton Institute. Monday 27 March 2017, 14:30-15:30 Operator algebras on L^p spacesOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras N. Christopher Phillips (University of Oregon). Seminar Room 1, Newton Institute. Monday 27 March 2017, 13:30-14:30 Semisimple quotients of Temperley-LiebOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Gus Isaac Lehrer (The University of Sydney). Seminar Room 1, Newton Institute. Monday 27 March 2017, 11:30-12:30 The semicontinuous limit of quantum spin chainsOASW02 - Subfactors, higher geometry, higher twists and almost Calabi-Yau algebras Vaughan Jones (Vanderbilt University; University of California, Berkeley). Seminar Room 1, Newton Institute. Monday 27 March 2017, 10:00-11:00 On the set of L-space surgeries for linksHTL - Homology theories in low dimensional topology Evgeny Gorsky (University of California, Davis). Seminar Room 2, Newton Institute. Thursday 23 March 2017, 15:15-16:15 A relative tensor product of rational full conformal field theoriesOAS - Operator algebras: subfactors and their applications Yasu Kawahigashi (University of Tokyo). Seminar Room 2, Newton Institute. Tuesday 21 March 2017, 14:00-15:00 Braid monodromy, orderings, and transverse invariantsHTL - Homology theories in low dimensional topology Olga Plamenevskaya (Stony Brook University). Seminar Room 2, Newton Institute. Thursday 16 March 2017, 15:15-16:15 Weak Morita equivalence of compact quantum groupsOAS - Operator algebras: subfactors and their applications Makoto Yamashita (Ochanomizu University ). Seminar Room 2, Newton Institute. Thursday 16 March 2017, 14:00-15:00 Finite-dimensional representations constructed from random walksNPC - Non-positive curvature group actions and cohomology Narutaka Ozawa (Kyoto University; Kyoto University). Seminar Room 2, Newton Institute. Thursday 16 March 2017, 11:00-12:00 Caratheodory's metrics on Teichmuller spacesNPC - Non-positive curvature group actions and cohomology Vladimir Markovic (CALTECH (California Institute of Technology); CALTECH (California Institute of Technology)). Seminar Room 2, Newton Institute. Thursday 16 March 2017, 10:00-11:00 6. Lp-cohomologyNPC - Non-positive curvature group actions and cohomology Pierre Pansu (Université Paris-Sud 11 ; Université Paris-Sud 11 ). Seminar Room 2, Newton Institute. Wednesday 15 March 2017, 14:00-16:00 Tutte's golden identity from a fusion categoryOAS - Operator algebras: subfactors and their applications Paul Fendley (University of Oxford). Seminar Room 2, Newton Institute. Tuesday 14 March 2017, 14:00-15:00 Approximate groups: structure theorem for special classes of groupsNPC - Non-positive curvature group actions and cohomology Emmanuel Breuillard (Universität Münster). Seminar Room 2, Newton Institute. Tuesday 14 March 2017, 10:00-12:00 The wrapped Fukaya category of a Weinstein manifold is generated by the cocores of the critical handlesHTL - Homology theories in low dimensional topology Paolo Ghiggini (CNRS (Centre national de la recherche scientifique); Université de Nantes). Seminar Room 2, Newton Institute. Thursday 09 March 2017, 15:15-16:15 Approximate equivalence of measure-preserving actionsOAS - Operator algebras: subfactors and their applications Andreas Aaserud (Cardiff University). Seminar Room 2, Newton Institute. Thursday 09 March 2017, 14:00-15:00 Computing Kazhdan constants by computer.NPC - Non-positive curvature group actions and cohomology Koji Fujiwara (Kyoto University). Seminar Room 2, Newton Institute. Thursday 09 March 2017, 11:00-12:00 Incompressible surfaces in closed locally symmetric manifoldsNPC - Non-positive curvature group actions and cohomology Ursula Hamenstaedt (University of Bonn). Seminar Room 2, Newton Institute. Thursday 09 March 2017, 10:00-11:00 5. Lp-cohomologyNPC - Non-positive curvature group actions and cohomology Pierre Pansu (Université Paris-Sud 11 ; Université Paris-Sud 11 ). Seminar Room 2, Newton Institute. Wednesday 08 March 2017, 14:00-16:00 T-duality and the condensed matter bulk-boundary correspondenceOAS - Operator algebras: subfactors and their applications Keith Hannabuss (University of Oxford). Seminar Room 2, Newton Institute. Tuesday 07 March 2017, 14:00-15:00 Approximate groups: basic definitions, structure theorem and geometric consequencesNPC - Non-positive curvature group actions and cohomology Emmanuel Breuillard (Universität Münster). Seminar Room 2, Newton Institute. Tuesday 07 March 2017, 10:00-12:00 Closing RemarksTGMW44 - Mathematics in the Spirit of Joe Keller Alice Whittemore (Stanford University). Seminar Room 1, Newton Institute. Friday 03 March 2017, 15:10-15:20 Mirages, in the Spirit of JBK: Rays, Caustics, Waves and Raman's Instructive ConfusionTGMW44 - Mathematics in the Spirit of Joe Keller Michael Berry (University of Bristol). Seminar Room 1, Newton Institute. Friday 03 March 2017, 14:50-15:10 Radiation by a Dielectric WedgeTGMW44 - Mathematics in the Spirit of Joe Keller Anthony Rawlins (Brunel University). Seminar Room 1, Newton Institute. Friday 03 March 2017, 14:30-14:50 From Kiiking to KuzmakTGMW44 - Mathematics in the Spirit of Joe Keller Sam Howison (University of Oxford). Seminar Room 1, Newton Institute. Friday 03 March 2017, 14:10-14:30 An Asymptotic Matching Problem in Braginskii MagnetohydrodynamicsTGMW44 - Mathematics in the Spirit of Joe Keller Paul Dellar (University of Oxford). Seminar Room 1, Newton Institute. Friday 03 March 2017, 13:50-14:10 Numerical Investigations of the Properties of Nonlinear Free Surface FlowsTGMW44 - Mathematics in the Spirit of Joe Keller Jean-Marc Vanden-Broeck (University College London; University College London). Seminar Room 1, Newton Institute. Friday 03 March 2017, 13:30-13:50 The Unified Transform, Imaging, AsymtoticsTGMW44 - Mathematics in the Spirit of Joe Keller Thanasis Fokas (University of Cambridge). Seminar Room 1, Newton Institute. Friday 03 March 2017, 12:15-12:35 Effective Properties of Doubly Periodic MediaTGMW44 - Mathematics in the Spirit of Joe Keller Richard Craster (Imperial College London). Seminar Room 1, Newton Institute. Friday 03 March 2017, 11:55-12:15 Complex Rays, Cones of Silence and CatastrophesTGMW44 - Mathematics in the Spirit of Joe Keller Christopher Howls (University of Southampton). Seminar Room 1, Newton Institute. Friday 03 March 2017, 11:35-11:55 Joe Keller and the Courant Institute 1970-71: Beginning a Mathematical JourneyTGMW44 - Mathematics in the Spirit of Joe Keller Brian Sleeman (University of Leeds; University of Dundee). Seminar Room 1, Newton Institute. Friday 03 March 2017, 11:15-11:35 On the Buckling of Elastic Rings by External ConfinementTGMW44 - Mathematics in the Spirit of Joe Keller Tom Mullin (University of Oxford). Seminar Room 1, Newton Institute. Friday 03 March 2017, 10:25-10:45 Understanding Angiogenesis through Modeling and AsymptoticsTGMW44 - Mathematics in the Spirit of Joe Keller Luis Bonilla (Universidad Carlos III de Madrid). Seminar Room 1, Newton Institute. Friday 03 March 2017, 10:05-10:25 Computational Wave Propagation in the Spirit of the Geometrical Theory of DiffractionTGMW44 - Mathematics in the Spirit of Joe Keller Dave Hewett (University College London). Seminar Room 1, Newton Institute. Friday 03 March 2017, 09:45-10:05 The Differential Geometry and Mechanics of Tying Your ShoelacesTGMW44 - Mathematics in the Spirit of Joe Keller John H. Maddocks (EPFL - Ecole Polytechnique Fédérale de Lausanne). Seminar Room 1, Newton Institute. Friday 03 March 2017, 09:25-09:45 Spectacle Lens Design following Hamilton, Maxwell and KellerTGMW44 - Mathematics in the Spirit of Joe Keller Jacob Rubinstein (Technion - Israel Institute of Technology). Seminar Room 1, Newton Institute. Friday 03 March 2017, 09:05-09:25 Welcome and IntroductionTGMW44 - Mathematics in the Spirit of Joe Keller Hilary Ockendon (University of Oxford). Seminar Room 1, Newton Institute. Friday 03 March 2017, 09:00-09:05 On Nonreflecting Boundary ConditionsTGMW44 - Mathematics in the Spirit of Joe Keller Marcus Grote (Universität Basel). Seminar Room 1, Newton Institute. Thursday 02 March 2017, 17:10-17:30 Kellerods and KelasticasTGMW44 - Mathematics in the Spirit of Joe Keller Alain Goriely (University of Oxford). Seminar Room 1, Newton Institute. Thursday 02 March 2017, 16:50-17:10 Liesegang RingsTGMW44 - Mathematics in the Spirit of Joe Keller Andrew Fowler (University of Limerick; University of Oxford). Seminar Room 1, Newton Institute. Thursday 02 March 2017, 16:30-16:50 The Motion of Surfactant-Laden BubblesTGMW44 - Mathematics in the Spirit of Joe Keller Demetrios Papageorgiou (Imperial College London). Seminar Room 1, Newton Institute. Thursday 02 March 2017, 16:10-16:30 Floating with Surface Tension: From Archimedes to KellerTGMW44 - Mathematics in the Spirit of Joe Keller Dominic Vella (University of Oxford). Seminar Room 1, Newton Institute. Thursday 02 March 2017, 15:50-16:10 Keller's Influence Behind the "Iron Curtain": GTD Ideas in the Soviet/Russian Diffraction SchoolTGMW44 - Mathematics in the Spirit of Joe Keller Valery Smyshlyaev (University College London). Seminar Room 1, Newton Institute. Thursday 02 March 2017, 15:00-15:20 Mathematics of the Faraday CageTGMW44 - Mathematics in the Spirit of Joe Keller Jonathan Chapman (University of Oxford). Seminar Room 1, Newton Institute. Thursday 02 March 2017, 14:40-15:00 Discrete Modelling of Wave-Droplet DynamicsTGMW44 - Mathematics in the Spirit of Joe Keller Paul Milewski (University of Bath); Carlos Galeano-Rios (University of Bath). Seminar Room 1, Newton Institute. Thursday 02 March 2017, 14:20-14:40 Keller Cones in AeroacousticsTGMW44 - Mathematics in the Spirit of Joe Keller C. John Chapman (Keele University). Seminar Room 1, Newton Institute. Thursday 02 March 2017, 14:00-14:20 A generalization of the Temperley-Lieb algebra from restricted quantum sl2OAS - Operator algebras: subfactors and their applications Stephen Moore (Cardiff University). Seminar Room 2, Newton Institute. Thursday 02 March 2017, 14:00-15:00 HairodynamicsTGMW44 - Mathematics in the Spirit of Joe Keller Raymond Goldstein (University of Cambridge). Seminar Room 1, Newton Institute. Thursday 02 March 2017, 13:40-14:00 Welcome and IntroductionTGMW44 - Mathematics in the Spirit of Joe Keller David Abrahams (Isaac Newton Institute). Seminar Room 1, Newton Institute. Thursday 02 March 2017, 13:30-13:40 A Banachic generalization of Shalom's property H_FD.NPC - Non-positive curvature group actions and cohomology Romain Tessera (Université Paris-Sud 11 ). Seminar Room 2, Newton Institute. Thursday 02 March 2017, 10:00-12:00 Approximate groups: an introductionNPC - Non-positive curvature group actions and cohomology Emmanuel Breuillard (Universität Münster). Seminar Room 2, Newton Institute. Wednesday 01 March 2017, 14:00-16:00 Semigroup actions on operator algebrasOAS - Operator algebras: subfactors and their applications Evgenios Kakariadis (University of Newcastle upon Tyne). Seminar Room 2, Newton Institute. Tuesday 28 February 2017, 14:00-15:00 Towards a homological model for the Colored JonesHTL - Homology theories in low dimensional topology Cristina Ana-Maria Anghel (Université Paris 7 - Denis-Diderot). Seminar Room 2, Newton Institute. Thursday 23 February 2017, 15:15-16:15 Herz-Schur multipliers of dynamical systemsOAS - Operator algebras: subfactors and their applications Ivan Todorov (Queen's University Belfast). Seminar Room 2, Newton Institute. Thursday 23 February 2017, 14:00-15:00 Geometry of finite quotients of groups.NPC - Non-positive curvature group actions and cohomology Anastasia Khukhro (). Seminar Room 2, Newton Institute. Thursday 23 February 2017, 10:00-12:00 4. Lp-cohomologyNPC - Non-positive curvature group actions and cohomology Pierre Pansu (Université Paris-Sud 11 ; Université Paris-Sud 11 ). Seminar Room 2, Newton Institute. Wednesday 22 February 2017, 14:00-16:00 Membrane Matrix Models and non-perturbative tests of gauge/gravityOAS - Operator algebras: subfactors and their applications Denjoe O'Connor (Dublin Institute for Advanced Studies). Seminar Room 2, Newton Institute. Tuesday 21 February 2017, 14:00-15:00 The Seifert form's optimal bounds for slice generaHTL - Homology theories in low dimensional topology Lukas Lewark (Universität Bern). Seminar Room 2, Newton Institute. Thursday 16 February 2017, 15:15-16:15 Endomorphisms and automorphisms of the 2-adic ring C*-algebra Q_2OAS - Operator algebras: subfactors and their applications Stefano Rossi (Università degli Studi di Roma Tor Vergata; Università degli Studi di Roma Tor Vergata). Seminar Room 2, Newton Institute. Thursday 16 February 2017, 14:00-15:00 Monster groups acting on CAT(0) spacesNPC - Non-positive curvature group actions and cohomology Rémi Coulon (Université de Rennes 1; CNRS (Centre national de la recherche scientifique)). Seminar Room 2, Newton Institute. Thursday 16 February 2017, 10:00-12:00 Indecomposable characters of infinite dimensional groups associated with operator algebrasOAS - Operator algebras: subfactors and their applications Masaki Izumi (Kyoto University). Seminar Room 2, Newton Institute. Tuesday 14 February 2017, 14:00-15:00 Correction terms and the non-orientable 4-genusHTL - Homology theories in low dimensional topology Marco Golla (Uppsala Universitet). Seminar Room 2, Newton Institute. Thursday 09 February 2017, 15:15-16:30 Conformal covariance and the split propertyOAS - Operator algebras: subfactors and their applications Vincenzo Morinelli (Università degli Studi di Roma Tor Vergata). Seminar Room 2, Newton Institute. Thursday 09 February 2017, 14:00-15:00 Quasi-flats in hierarchically hyperbolic spacesNPC - Non-positive curvature group actions and cohomology Alessandro Sisto (ETH Zürich). Seminar Room 2, Newton Institute. Thursday 09 February 2017, 10:00-12:00 Free products in AQFTOAS - Operator algebras: subfactors and their applications Yoh Tanimoto (Università degli Studi di Roma Tor Vergata). Seminar Room 2, Newton Institute. Tuesday 07 February 2017, 14:00-15:00 Filtering the Heegaard Floer contact invariantHTLW02 - 3-manifold workshop Gordana Matic (University of Georgia ). Seminar Room 1, Newton Institute. Friday 03 February 2017, 15:30-16:30 Stein fillings and SU(2) representationsHTLW02 - 3-manifold workshop John Baldwin (Boston College; Boston College). Seminar Room 1, Newton Institute. Friday 03 February 2017, 14:00-15:00 Knot concordance in homology spheresHTLW02 - 3-manifold workshop Jen Hom (Georgia Institute of Technology). Seminar Room 1, Newton Institute. Friday 03 February 2017, 11:30-12:30 Pin(2)-equivariant Floer homology and homology cobordismHTLW02 - 3-manifold workshop Matthew Stoffregen (University of California, Los Angeles). Seminar Room 1, Newton Institute. Friday 03 February 2017, 10:00-11:00 Floer homology and covering spacesHTLW02 - 3-manifold workshop Ciprian Manolescu (University of California, Los Angeles). Seminar Room 1, Newton Institute. Friday 03 February 2017, 09:00-10:00 A Gordon-Litherland form for ribbon surfacesHTLW02 - 3-manifold workshop Brendan Owens (University of Glasgow). Seminar Room 1, Newton Institute. Thursday 02 February 2017, 15:30-16:30 Characterizing slopes for torus knotsHTLW02 - 3-manifold workshop Duncan McCoy (University of Texas at Austin). Seminar Room 1, Newton Institute. Thursday 02 February 2017, 14:00-15:00 3-manifold groups epimorphisms and rigidityHTLW02 - 3-manifold workshop Michel Boileau (Université de Provence Aix Marseille 1). Seminar Room 1, Newton Institute. Thursday 02 February 2017, 11:30-12:30 Branched covers of quasipositive links and L-spacesHTLW02 - 3-manifold workshop Steven Boyer (UQAM - Université du Québec à Montréal). Seminar Room 1, Newton Institute. Thursday 02 February 2017, 10:00-11:00 On infinite torsion subgroups of CAT(0) groupsNPC - Non-positive curvature group actions and cohomology Eric Swenson (Brigham Young University). Seminar Room 2, Newton Institute. Thursday 02 February 2017, 10:00-12:00 On tunnel number one knots with lens space surgeriesHTLW02 - 3-manifold workshop Tali Pinsky (Tata Institute of Fundamental Research). Seminar Room 1, Newton Institute. Thursday 02 February 2017, 09:00-10:00 3. Lp-cohomologyNPC - Non-positive curvature group actions and cohomology Pierre Pansu (Université Paris-Sud 11 ; Université Paris-Sud 11 ). Seminar Room 2, Newton Institute. Wednesday 01 February 2017, 14:00-17:30 Boundary-reducing surgeries and bridge numberHTLW02 - 3-manifold workshop John Luecke (University of Texas at Austin; University of Texas at Austin). Seminar Room 1, Newton Institute. Wednesday 01 February 2017, 11:30-12:30 Constructions of asymmetric L-space knotsHTLW02 - 3-manifold workshop Ken Baker (University of Miami). Seminar Room 1, Newton Institute. Wednesday 01 February 2017, 10:00-11:00 Null surgery on knots in L-spacesHTLW02 - 3-manifold workshop Yi Ni (CALTECH (California Institute of Technology)). Seminar Room 1, Newton Institute. Wednesday 01 February 2017, 09:00-10:00 The Temperley-Lieb category in operator algebras and in link homologyOAS - Operator Algebras: Subfactors and their Applications Scott Morrison (Australian National University). Seminar Room 1, Newton Institute. Tuesday 31 January 2017, 15:30-16:30 The Temperley-Lieb category in operator algebras and in link homologyHTLW02 - 3-manifold workshop Scott Morrison (Australian National University). Seminar Room 1, Newton Institute. Tuesday 31 January 2017, 15:30-16:30 Cobordism maps in knot Floer homologyHTLW02 - 3-manifold workshop Andras Juhasz (University of Oxford). Seminar Room 1, Newton Institute. Tuesday 31 January 2017, 14:00-15:00 Generalized torsion elements and bi-orderability of 3-manifold groupsHTLW02 - 3-manifold workshop Masakazu Teragaito (Hiroshima University). Seminar Room 1, Newton Institute. Tuesday 31 January 2017, 11:30-12:30 Diagram Uniqueness for Highly Twisted PlatsHTLW02 - 3-manifold workshop Yoav Moriah (Technion - Israel Institute of Technology; Technion - Israel Institute of Technology). Seminar Room 1, Newton Institute. Tuesday 31 January 2017, 10:00-11:00 Slopes, colored links and Kojima's eta concordance invariantHTLW02 - 3-manifold workshop Ana Lecuona (Aix Marseille Université). Seminar Room 1, Newton Institute. Tuesday 31 January 2017, 09:00-10:00 L-space surgeries on iterated satellites by torus linksHTLW02 - 3-manifold workshop Sarah Rasmussen (University of Cambridge). Seminar Room 1, Newton Institute. Monday 30 January 2017, 15:30-16:30 Floer homology, group orders, and taut foliations of hyperbolic 3-manifoldsHTLW02 - 3-manifold workshop Nathan Dunfield (University of Illinois at Urbana-Champaign). Seminar Room 1, Newton Institute. Monday 30 January 2017, 14:00-15:00 The complexity of unknot recognitionHTLW02 - 3-manifold workshop Marc Lackenby (University of Oxford). Seminar Room 1, Newton Institute. Monday 30 January 2017, 11:30-12:30 Polytope invariants of groups and manifoldsHTLW02 - 3-manifold workshop Stefan Friedl (Universität Regensburg; Universität Regensburg). Seminar Room 1, Newton Institute. Monday 30 January 2017, 10:00-11:00 Operator algebras in rigid C*-tensor categories, part IIOASW01 - Structure of operator algebras: subfactors and fusion categories David Penneys (University of California, Los Angeles). Seminar Room 1, Newton Institute. Friday 27 January 2017, 16:00-17:00 Eigenvalues of rotations and braids in spherical fusion categoriesOASW01 - Structure of operator algebras: subfactors and fusion categories Henry Tucker (University of California, San Diego). Seminar Room 1, Newton Institute. Friday 27 January 2017, 14:30-15:30 Trivalent CategoriesOASW01 - Structure of operator algebras: subfactors and fusion categories Noah Snyder (Indiana University). Seminar Room 1, Newton Institute. Friday 27 January 2017, 13:30-14:30 Algebras, automorphisms, and extensions of quadratic fusion categoriesOASW01 - Structure of operator algebras: subfactors and fusion categories Pinhas Grossman (). Seminar Room 1, Newton Institute. Friday 27 January 2017, 11:30-12:30 On gauging symmetry of modular categoriesOASW01 - Structure of operator algebras: subfactors and fusion categories Julia Plavnik (Texas A&M University ). Seminar Room 1, Newton Institute. Friday 27 January 2017, 10:00-11:00 Modular invariants for group-theoretical modular dataOASW01 - Structure of operator algebras: subfactors and fusion categories Alexei Davydov (Ohio University; Ohio University). Seminar Room 1, Newton Institute. Thursday 26 January 2017, 16:00-17:00 Braids, Cosimplicial Identities, Spreadability, SubfactorsOASW01 - Structure of operator algebras: subfactors and fusion categories Rolf Gohm (Aberystwyth University). Seminar Room 1, Newton Institute. Thursday 26 January 2017, 14:30-15:30 An elementary approach to unitary representations of the Thompson group FOASW01 - Structure of operator algebras: subfactors and fusion categories Claus Kostler (University College Cork). Seminar Room 1, Newton Institute. Thursday 26 January 2017, 13:30-14:30 Buildings and C*-algebrasOASW01 - Structure of operator algebras: subfactors and fusion categories Alina Vdovina (Newcastle University). Seminar Room 1, Newton Institute. Thursday 26 January 2017, 11:30-12:30 Conformal field theory out of equilibriumOASW01 - Structure of operator algebras: subfactors and fusion categories Benjamin Doyon (King's College London). Seminar Room 1, Newton Institute. Thursday 26 January 2017, 10:00-11:00 Generalizing Bestvina-Brady groups using branched coversNPC - Non-positive curvature group actions and cohomology Ian Leary (University of Southampton). Seminar Room 2, Newton Institute. Thursday 26 January 2017, 10:00-12:00 tbaOASW01 - Structure of operator algebras: subfactors and fusion categories Alice Guionnet (ENS - Lyon). Seminar Room 1, Newton Institute. Wednesday 25 January 2017, 16:00-17:00 Screening operators in conformal field models and beyondOASW01 - Structure of operator algebras: subfactors and fusion categories Alexei Semikhatov (Lebedev Physical Institute). Seminar Room 1, Newton Institute. Wednesday 25 January 2017, 14:30-15:30 2. Lp-cohomologyNPC - Non-Positive Curvature Group Actions and Cohomology Pierre Pansu (Université Paris-Sud 11 ; Université Paris-Sud 11 ). Seminar Room 2, Newton Institute. Wednesday 25 January 2017, 14:00-16:00 Crossed-products by locally compact groups and intermediate subfactors.OASW01 - Structure of operator algebras: subfactors and fusion categories Arnaud Brothier (Università degli Studi di Roma Tor Vergata). Seminar Room 1, Newton Institute. Wednesday 25 January 2017, 13:30-14:30 Cohomology and $L^2$-Betti numbers for subfactors and quasi-regular inclusionsOASW01 - Structure of operator algebras: subfactors and fusion categories Dima Shlyakhtenko (University of California, Los Angeles). Seminar Room 1, Newton Institute. Wednesday 25 January 2017, 11:30-12:30 Classification of free Araki-Woods factorsOASW01 - Structure of operator algebras: subfactors and fusion categories Stefaan Vaes (KU Leuven). Seminar Room 1, Newton Institute. Wednesday 25 January 2017, 10:00-11:00 A classification of real-line group actions with faithful Connes--Takesaki modules on hyperfinite factorsOASW01 - Structure of operator algebras: subfactors and fusion categories Koichi Shimada (Kyoto University). Seminar Room 1, Newton Institute. Tuesday 24 January 2017, 16:00-17:00 W$^*$-Bundles and Continuous Families of SubfactorsOASW01 - Structure of operator algebras: subfactors and fusion categories Sam Evington (University of Glasgow). Seminar Room 1, Newton Institute. Tuesday 24 January 2017, 14:30-15:30 Structure and classification of nuclear C*-algebras: The role of the UCTOASW01 - Structure of operator algebras: subfactors and fusion categories Wilhelm Winter (Universität Münster). Seminar Room 1, Newton Institute. Tuesday 24 January 2017, 13:30-14:30 The structure of simple nuclear C*-algebras: a von Neumann prospectiveOASW01 - Structure of operator algebras: subfactors and fusion categories Stuart White (University of Glasgow). Seminar Room 1, Newton Institute. Tuesday 24 January 2017, 11:30-12:30 The classification of unital simple separable C*-algebras with finite nuclear dimensionOASW01 - Structure of operator algebras: subfactors and fusion categories George Elliott (University of Toronto; Cardiff University; University of Copenhagen). Seminar Room 1, Newton Institute. Tuesday 24 January 2017, 10:00-11:00 On fundamental groups of tensor product II_1 factorsOASW01 - Structure of operator algebras: subfactors and fusion categories Yusuke Isono (Kyoto University). Seminar Room 1, Newton Institute. Monday 23 January 2017, 16:00-17:00 Dualizability and orientability of tensor categoriesOASW01 - Structure of operator algebras: subfactors and fusion categories David Jordan (University of Edinburgh). Seminar Room 1, Newton Institute. Monday 23 January 2017, 14:30-15:30 Operator Algebras in rigid C*-tensor categoriesOASW01 - Structure of operator algebras: subfactors and fusion categories Corey Jones (Australian National University). Seminar Room 1, Newton Institute. Monday 23 January 2017, 13:30-14:30 A diagrammatic approach to Ocneanu cellsOASW01 - Structure of operator algebras: subfactors and fusion categories Stephen Bigelow (University of California, Santa Barbara). Seminar Room 1, Newton Institute. Monday 23 January 2017, 11:30-12:30 On rigidity in II1 factor frameworkOASW01 - Structure of operator algebras: subfactors and fusion categories Sorin Popa (University of California, Los Angeles). Seminar Room 1, Newton Institute. Monday 23 January 2017, 10:00-11:00 Foliations on 3-manifolds IIIHTLW01 - Winter school workshop Rachel Roberts (Washington University in St. Louis). Seminar Room 1, Newton Institute. Friday 20 January 2017, 16:00-17:00 2-representations of braid groups, continuedHTLW01 - Winter school workshop Anthony Licata (Australian National University). Seminar Room 1, Newton Institute. Friday 20 January 2017, 14:30-15:30 HOMFLY-PT homologyHTLW01 - Winter school workshop Jacob Rasmussen (University of Cambridge). Seminar Room 1, Newton Institute. Friday 20 January 2017, 11:30-12:30 Representation theory, cohomology and L^2-Betti numbers for subfactorsOASW04 - Primer on subfactors and applications Stefaan Vaes (KU Leuven). Seminar Room 2, Newton Institute. Friday 20 January 2017, 10:30-12:00 Bordered via curves and train tracks IIHTLW01 - Winter school workshop Liam Watson (). Seminar Room 1, Newton Institute. Friday 20 January 2017, 10:00-11:00 Bordered via curves and train tracks IHTLW01 - Winter school workshop Liam Watson (). Seminar Room 1, Newton Institute. Friday 20 January 2017, 09:00-10:00 Operator Algebras and Conformal Field TheoryOASW04 - Primer on subfactors and applications Roberto Longo (Università degli Studi di Roma Tor Vergata). Seminar Room 2, Newton Institute. Friday 20 January 2017, 09:00-10:30 Foliations on 3-manifolds IIHTLW01 - Winter school workshop Rachel Roberts (Washington University in St. Louis). Seminar Room 1, Newton Institute. Thursday 19 January 2017, 16:00-17:00 Representation theory, cohomology and L^2-Betti numbers for subfactorsOASW04 - Primer on subfactors and applications Stefaan Vaes (KU Leuven). Seminar Room 2, Newton Institute. Thursday 19 January 2017, 15:00-16:30 Annular Khovanov-Lee theory of braid closures and braided surfacesHTLW01 - Winter school workshop Eli Grigsby (Boston College). Seminar Room 1, Newton Institute. Thursday 19 January 2017, 14:30-15:30 Operator Algebras and Conformal Field TheoryOASW04 - Primer on subfactors and applications Roberto Longo (Università degli Studi di Roma Tor Vergata). Seminar Room 2, Newton Institute. Thursday 19 January 2017, 13:30-15:00 Annular Khovanov-Lee theory and representation theoryHTLW01 - Winter school workshop Eli Grigsby (Boston College). Seminar Room 1, Newton Institute. Thursday 19 January 2017, 11:30-12:30 Topics in Heegaard Floer homology IV, cont.HTLW01 - Winter school workshop Adam Levine (Princeton University). Seminar Room 1, Newton Institute. Thursday 19 January 2017, 10:00-11:00 Random walks on random symmetric groups.NPC - Non-positive curvature group actions and cohomology Andrzej Zuk (Université Paris 7 - Denis-Diderot). Seminar Room 2, Newton Institute. Thursday 19 January 2017, 10:00-12:00 Topics in Heegaard Floer homology IVHTLW01 - Winter school workshop Adam Levine (Princeton University). Seminar Room 1, Newton Institute. Thursday 19 January 2017, 09:00-10:00 Foliations on 3-manifolds IHTLW01 - Winter school workshop Rachel Roberts (Washington University in St. Louis). Seminar Room 1, Newton Institute. Wednesday 18 January 2017, 16:00-17:00 The categorified Burau representationHTLW01 - Winter school workshop Anthony Licata (Australian National University). Seminar Room 1, Newton Institute. Wednesday 18 January 2017, 14:30-15:30 1. Lp-cohomologyNPC - Non-positive curvature group actions and cohomology Pierre Pansu (Université Paris-Sud 11 ; Université Paris-Sud 11 ). Seminar Room 2, Newton Institute. Wednesday 18 January 2017, 14:00-16:00 Trivial braid detection via Khovanov homologyHTLW01 - Winter school workshop Eli Grigsby (Boston College). Seminar Room 1, Newton Institute. Wednesday 18 January 2017, 11:30-12:30 Representation theory, cohomology and L^2-Betti numbers for subfactorsOASW04 - Primer on subfactors and applications Stefaan Vaes (KU Leuven). Seminar Room 2, Newton Institute. Wednesday 18 January 2017, 10:30-12:00 Topics in Heegaard Floer homology III, cont.HTLW01 - Winter school workshop Adam Levine (Princeton University). Seminar Room 1, Newton Institute. Wednesday 18 January 2017, 10:00-11:00 Topics in Heegaard Floer homology IIIHTLW01 - Winter school workshop Adam Levine (Princeton University). Seminar Room 1, Newton Institute. Wednesday 18 January 2017, 09:00-10:00 Operator Algebras and Conformal Field TheoryOASW04 - Primer on subfactors and applications Roberto Longo (Università degli Studi di Roma Tor Vergata). Seminar Room 2, Newton Institute. Wednesday 18 January 2017, 09:00-10:30 Contact structures on 3-manifolds IIHTLW01 - Winter school workshop Andy Wand (University of Glasgow). Seminar Room 1, Newton Institute. Tuesday 17 January 2017, 16:00-17:00 Representation theory, cohomology and L^2-Betti numbers for subfactorsOASW04 - Primer on subfactors and applications Stefaan Vaes (KU Leuven). Seminar Room 2, Newton Institute. Tuesday 17 January 2017, 15:00-16:30 Braid groups and their 2-representationsHTLW01 - Winter school workshop Anthony Licata (Australian National University). Seminar Room 1, Newton Institute. Tuesday 17 January 2017, 14:30-15:30 Operator Algebras and Conformal Field TheoryOASW04 - Primer on subfactors and applications Roberto Longo (Università degli Studi di Roma Tor Vergata). Seminar Room 2, Newton Institute. Tuesday 17 January 2017, 13:30-15:00 Left-orders on 3-manifolds IIIHTLW01 - Winter school workshop Cameron Gordon (University of Texas at Austin). Seminar Room 1, Newton Institute. Tuesday 17 January 2017, 11:30-12:30 Topics in Heegaard Floer homology II, cont.HTLW01 - Winter school workshop Adam Levine (Princeton University). Seminar Room 1, Newton Institute. Tuesday 17 January 2017, 10:00-11:00 Topics in Heegaard Floer homology IIHTLW01 - Winter school workshop Adam Levine (Princeton University). Seminar Room 1, Newton Institute. Tuesday 17 January 2017, 09:00-10:00 Contact structures on 3-manifolds IHTLW01 - Winter school workshop Andy Wand (University of Glasgow). Seminar Room 1, Newton Institute. Monday 16 January 2017, 16:00-17:00 Subfactors, tensor categories and conformal field theoryOASW04 - Primer on subfactors and applications Yasu Kawahigashi (University of Tokyo). Seminar Room 2, Newton Institute. Monday 16 January 2017, 15:00-16:30 Please see above for contact details for this list. |
Other listsCRUK Graduate Training Programme in Medicinal Chemistry BlueSci Talks European Research Seminar Series 2014-2015Other talks'Ways of Reading, Looking, and Imagining: Contemporary Fiction and Its Optics' Concise - a synthesis of types, grammars, semantics Cambridge Rare Disease Summit 2017 How Can NLP Help Cure Cancer? Harnessing wave-power in open seas Near-Surface Crystallization And Phase Behavior In Polymers |