## Lab Lunch
Add to your list(s)
Send you e-mail reminders
Further detail
Informal talks for the Theory group in School of Computer Science 1 upcoming talk and ## Well founded coalgebras and recursionPaul Taylor (Computer Science, University of Birmingham, honorary). Thursday 12 December 2019, 12:00-13:00 ## Proof complexity through the lens of the pigeon hole principle IIDr Anupam Das (University of Birmingham). Thursday 05 December 2019, 12:00-13:00 ## String diagrams for cartesian bicategories and their Karoubi envelopes - and entailment systemsDr Steve Vickers (School of Computer Science, University of Birmingham). Thursday 21 November 2019, 12:00-13:00 ## Algorithms and Complexity through the eyes of Vertex Cover (Part 2)Part 2 of last week's talk Rajesh Chitnis (University of Birmingham). Thursday 07 November 2019, 12:00-13:00 ## Algorithms and Complexity through the eyes of Vertex CoverRajesh Chitnis (University of Birmingham). Thursday 31 October 2019, 12:00-13:00 ## Internal higher-categorical models of dependent type theoryPlease contact Todd if you wish to give a talk this term! Nicolai Kraus (University of Birmingham). Thursday 24 October 2019, 12:00-13:00 ## A Brouwerian Intuitionistic Type Theory (Part 3)Please contact Todd if you wish to give a talk this term! Vincent Rahli (University of Birmingham). Thursday 10 October 2019, 12:00-13:00 ## A Brouwerian Intuitionistic Type Theory (Part 2)First talk of the term. Please contact Todd if you wish to give a talk this term! Vincent Rahli (University of Birmingham). Thursday 03 October 2019, 12:00-13:00 ## Transparent synchronous dataflowSteven Cheung, University of Birmingham. Thursday 15 August 2019, 12:00-13:00 ## A Brouwerian Intuitionistic Type TheoryVincent Rahli, CS Theory Group, Birmingham. Thursday 25 July 2019, 12:00-13:00 ## The coproduct of frames as encoding d-frame structureAnna Laura Suarez, CS Theory Group Birmingham. Thursday 06 June 2019, 12:00-13:00 ## Denotational Semantics of Linear Logic with Least and Greatest FixpointsFarzad Jafarrahmani, ENS Cachan. Thursday 09 May 2019, 12:00-13:00 ## The lifting monad in infinity-groupoids, or types in univalent mathematicsNote room 245 this week Martin Escardo, CS Theory Group Birmingham. Thursday 07 March 2019, 12:00-13:00 ## The lifting monad in infinity-groupoids, or types in univalent mathematicsNote changed time and place, theory seminar slot for lab lunch talk Martin Escardo (School of Computer Science). Friday 22 February 2019, 11:00-12:00 ## The Scott model of PCF in UniMathMartin Escardo's talk has been postponed to Friday 22, Sloman Lounge at 11.00 Tom de Jong, Birmingham CS Theory Group. Thursday 21 February 2019, 12:00-13:00 ## BAGSPACES, (OP)FIBRATIONS, AND COLIMITS OF POINT-FREE GENERALIZED SPACESSteve Vickers, CS Theory Group Birmingham. Thursday 07 February 2019, 12:00-13:00 ## BAGSPACES, (OP)FIBRATIONS, AND COLIMITS OF POINT-FREE GENERALIZED SPACESSteve Vickers, CS Theory Group Birmingham. Thursday 07 February 2019, 12:00-13:00 ## Bagspaces, (op)fibrations, and colimits of point-free generalized spacesNote room 245 Steve Vickers, CS Theory Group Birmingham. Thursday 31 January 2019, 12:00-13:00 ## Higher Universal Algebra in Type TheoryEric Finster, INRIA, Paris. Thursday 24 January 2019, 12:00-13:00 ## Fibrations and opfibrations of generalized point-free spacesSteve Vickers, CS Theory Group Birmingham. Thursday 17 January 2019, 12:00-13:00 ## Fibrations and opfibrations of toposesSina Hazratpour, CS Theory Group, Birmingham. Thursday 29 November 2018, 12:00-13:00 ## A foundation for machine learning from Peirce's Logic of ScienceDan Ghica, CS Theory Group, Birmingham. Thursday 22 November 2018, 12:00-13:00 ## Beck in control: Algebraic interpretation of a call-by-push-value dialect with control effect(Dan Ghica's advertised talk has been postponed to next week.) Yuning Feng. Thursday 15 November 2018, 12:00-13:00 ## Discrete spaces are opfibrant, Stone spaces are fibrant (categorically) - and why it mattersContinued from previous week. Dan Ghica's advised talk will be next week. Steve Vickers, CS Theory Group, Birmingham. Thursday 08 November 2018, 12:00-13:00 ## Discrete spaces are opfibrant, Stone spaces are fibrant (categorically) - and why it mattersPostponed from 25 Oct Steve Vickers, CS Theory Group Birmingham. Thursday 01 November 2018, 12:00-13:00 ## Compact ordinals in constructive univalent mathematics(Steve Vickers's advertised talk is postponed to next week) Martin Escardo, CS Theory Group, Birmingham. Thursday 25 October 2018, 12:00-13:00 ## Compact ordinals in constructive univalent mathematicsWe found a room after all! Martin Escardo, CS Theory Group, Birmingham. Thursday 18 October 2018, 12:00-13:00 ## Formulating categorical concepts using classesContinuation of last week's talk. Paul Levy, CS Theory Group Birmingham. Thursday 11 October 2018, 12:00-13:00 ## Formulating categorical concepts using classesPaul Levy, CS Theory Group Birmingham. Thursday 04 October 2018, 12:00-13:00 ## Postponed (Topological structure in single molecular imaging)POSTPONED - new date not fixed yet. Iain Styles, School of Computer Science, UoB. Tuesday 21 August 2018, 13:00-14:00 ## REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in RoboticsNote change of time and room. Mohan Sridharan, SoCS. Tuesday 15 May 2018, 12:00-13:00 ## (Op)fibrations of toposesRoom changed Sina Hazratpour, CS Theory Group Birmingham. Tuesday 20 March 2018, 13:00-14:00 ## Univalent mathematics - continuedMartin Escardo, CS Theory Group Birmingham. Tuesday 13 March 2018, 13:00-14:00 ## Geometric/AU mathematicsSteve Vickers, CS Theory Group Birmingham. Tuesday 06 March 2018, 13:00-14:00 ## Univalent mathematicsNote not usual room Martin Escardo, CS Theory Group Birmingham. Tuesday 27 February 2018, 13:00-14:00 ## Linear typings as flows on 3-valent graphs (part 3)Noam Zeilberger, CS Theory Group Birmingham. Tuesday 20 February 2018, 13:00-14:00 ## Linear typings as flows on 3-valent graphsNoam Zeilberger, CS Theory Group Birmingham. Tuesday 06 February 2018, 13:00-14:00 ## Some remarks on n-fibrationsSina Hazratpour, CS Theory Group Birmingham. Tuesday 30 January 2018, 13:00-14:00 ## Linear typings as flows on 3-valent graphs (Part 1: imploids and flows)Note not usual room Noam Zeilberger, CS Theory Group Birmingham. Tuesday 23 January 2018, 13:00-14:00 ## A syntactic view of adequacyMarco Devesas Campos, CS Theory Group. Wednesday 06 December 2017, 13:00-14:00 ## Using Yoneda rather than J to present the identity type.Martin Escardo, CS Theory Group Birmingham. Wednesday 22 November 2017, 01:00-02:00 ## A sequent calculus for a semi-associative lawTime changed - sorry Noam Zeilberger, Birmingham Theory Group. Wednesday 08 November 2017, 12:00-01:00 ## Free d-frames and quotientsTomas Jakl, CS Theory Group Birmingham/Charles University Prague. Wednesday 01 November 2017, 13:00-01:00 ## No formal presentation (offers welcome!)Speaker to be confirmed. Wednesday 18 October 2017, 01:00-02:00 ## Multiplication is commutative, geometricallyNote non-standard time and room Martin Escardo, Birmingham. Wednesday 11 October 2017, 12:00-13:00 ## Type theory without exponentialsSteve Vickers, CS Theory Group Birmingham. Wednesday 27 September 2017, 12:00-13:00 ## Analysis in univalent type theoryAuke Booij, CS Theory Group, Birmingham. Thursday 14 September 2017, 12:00-13:00 ## Towards abductive functional programmingKoko Muroya, CS Theory Group, University of Birmingham. Thursday 31 August 2017, 12:00-13:00 ## Fibrations of toposesNB This talk is at the theory seminar time (11.0 Friday) in the lab lunch room (217). Sina Hazratpour, CS Theory Group Birmingham. Friday 25 August 2017, 11:00-12:00 ## Locally graded categoriesPaul Levy, CS Theory Group, Birmingham. Thursday 24 August 2017, 12:00-13:00 ## Locally graded categoriesNB This talk is at the theory seminar time (11.0 Friday) in the lab lunch room (217). Paul Levy, CS Theory Group, Birmingham. Friday 18 August 2017, 11:00-12:00 ## Dynamic Geometry of InteractionKoko Muroya, University of Birmingham. Thursday 10 August 2017, 12:00-13:00 ## Partial functions and recursion via dominances in univalent type theoryCory Knapp. Thursday 03 August 2017, 12:00-13:00 ## String diagrams for stably compact localesNB This talk is at the theory seminar time (11.0 Friday) in the lab lunch room (217). Steve Vickers, CS Theory Group Birmingham. Friday 28 July 2017, 11:00-12:00 ## String diagrams for stably compact localesSteve Vickers, CS Theory Group, Birmingham. Thursday 27 July 2017, 12:00-13:00 ## Commutative or monoidal monadsPaul Taylor (U of Brum (honorary)). Thursday 13 July 2017, 12:00-13:00 ## Can we machine-learn a programming language semantics?Dan Ghica (Computer Science). Thursday 08 June 2017, 12:00-13:00 ## Adjunctions that are both monadic and comonadicPostponed and moved. Paul Taylor (U of Brum (honorary)). Thursday 25 May 2017, 11:59-13:00 ## Some enumerative, topological, and algebraic aspects of linear lambda calculusNoam Zeilberger, SoCS UoB. Thursday 06 April 2017, 12:00-13:00 ## Computability and recursion theory in univalent type theoryRoom as usual, despite earlier announcement Cory Knapp, SoCS, Birmingham. Thursday 02 March 2017, 12:00-13:00 ## Computability and recursion theory in univalent type theoryNote change of date (was scheduled for 2 Feb, then 9 Feb) Cory Knapp. Computer Science, The Sloman Lounge (UG). Friday 10 February 2017, 11:00-12:00 ## Partial functions via dominances in univalent type theoryNote that Cory's talk has been postponed a week, to 9 Feb. Martin Escardo, School of Computer Science, UoBirmingham. Thursday 02 February 2017, 12:00-13:00 ## Partial functions via dominances in univalent type theoryMartin Escardo, School of Computer Science, UoBirmingham. Thursday 26 January 2017, 12:00-13:00 ## Grothendieck toposes fibred over elementary toposesRoom changed Steve Vickers, School of Computer Science, University of Birmingham. Thursday 19 January 2017, 12:00-13:00 ## Type theoretic aspects of AU sketchesApologies for wrong announcement that it was Wednesday Steve Vickers, SoCS, Birmingham. Thursday 15 December 2016, 12:00-13:00 ## A Categorical Perspective on Type Refinement SystemsNoam Zeilberger (University of Birmingham). Thursday 08 December 2016, 12:00-13:00 ## Parametricity for category theoryUday Reddy (School of Computer Science). Thursday 10 November 2016, 12:00-13:00 ## Type theory for the arithmetic universe sketchesDr Steve Vickers (School of Computer Science, University of Birmingham). Thursday 20 October 2016, 12:00-13:00 ## Title to be confirmedDr Steve Vickers (School of Computer Science, University of Birmingham). Thursday 13 October 2016, 12:00-13:00 ## Trace equivalence of well-founded processes via commutativityPaul Levy (University of Birmingham). Thursday 29 September 2016, 12:00-13:00 ## A revised graph syntax from traced monoidal categoriesAliaume Lopez, Ã‰cole normale supÃ©rieure. Friday 15 July 2016, 11:00-12:00 ## Jung-Tix problem in sober dcposXiaodong Jia (School of Computer Science, University of Birmingham). Wednesday 06 July 2016, 13:00-14:00 ## Possible world semantics for heap storagePaul Levy (University of Birmingham). Friday 01 July 2016, 13:00-14:00 ## Possible world semantics for heap storagePaul Levy (University of Birmingham). Wednesday 29 June 2016, 13:00-14:00 ## Sketches for arithmetic universesDr Steve Vickers (School of Computer Science, University of Birmingham). Wednesday 18 May 2016, 13:00-14:00 ## Fibrations in Category Theory and TopologySina (University of Birmingham, UK). Wednesday 06 April 2016, 13:00-14:00 ## Lightweight Cryptography for Next Generation Vehicle Electrical ArchitectureAndrea Radu. Wednesday 02 March 2016, 13:00-14:00 ## Is Mathematics Parametric?Uday Reddy (School of Computer Science). Wednesday 03 February 2016, 13:00-14:00 ## Liveness for programs with higher-order stateNeel Krishnaswami (). Wednesday 13 January 2016, 13:00-14:00 ## Continuity and dcpo-completion of posetsZhongxi Zhang, Hunan University visitor. Tuesday 29 September 2015, 12:00-13:00 ## An educational proof checkerYu Yang Lin, University of Birmingham. Tuesday 22 September 2015, 12:00-13:00 ## Categorical probability theory and categorical entropySina Hazratpur. Tuesday 15 September 2015, 12:00-13:00 ## localised side-effects using binding handlers (contd)Bram Geron (University of Birmingham, School of Computer Science). Friday 11 September 2015, 12:00-13:00 ## localised side-effects using binding handlersBram Geron (University of Birmingham, School of Computer Science). Monday 31 August 2015, 12:00-13:00 ## Distribution monads, contexuality, and cohomology: part 2Sina Hazratpur. Friday 21 August 2015, 12:30-13:30 ## Distribution monads, contexuality, and cohomologySina Hazratpur. Friday 14 August 2015, 12:00-13:00 ## Nominal techniques for variables with interleaving scopesDan Ghica (Computer Science). Tuesday 28 April 2015, 12:00-13:00 ## Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent ReasoningRalf Jung (MPI-SWS). Tuesday 21 April 2015, 12:00-13:00 ## A continuous computational interpretation of type theoriesChuangjie Xu (University of Birmingham). Monday 09 March 2015, 12:00-13:00 ## Did Brouwer really mean the BHK interpretation?Martin Escardo (). Tuesday 03 March 2015, 12:00-13:00 ## 4-valued coalgebraic modal logic - project descriptionTomas Jakl. Tuesday 24 February 2015, 12:00-13:00 ## Call-by-Value in a Basic Logic for InteractionSpeaker to be confirmed. Wednesday 12 November 2014, 15:00-16:00 ## A Synchronous Functional Language with Integer ClocksAdrien Guatto, ENS. Monday 06 October 2014, 11:00-12:00 ## Distributing the SECD machineBertie Wheen, University of Birmingham. Friday 26 September 2014, 11:00-12:00 ## Syntax and Semantics of Linear Dependent TypesMatthijs Vakar (University of Oxford). Friday 25 July 2014, 14:00-15:00 ## Reconstructing Observational Type TheoryNeel Krishnaswami (University of Birmingham). Thursday 10 July 2014, 14:00-15:00 ## Local Compactness and Bases in Various Formulations of TopologyPaul Taylor (). Friday 27 June 2014, 13:00-14:00 ## Synthetic domain theory versus N^\infty-setsProf Mojgan Mahmoudi (Shahid Beheshti University). Thursday 26 June 2014, 14:00-15:00 ## Functional programming with effects: what works, what doesn't, how to improveBram Geron (University of Birmingham, School of Computer Science). Tuesday 13 May 2014, 13:00-14:00 ## Geometric constructions preserving fibrationsDr Steve Vickers (School of Computer Science, University of Birmingham). Monday 28 April 2014, 13:00-14:00 ## Linearity and Dependent TypesNeel Krishnaswami (University of Birmingham). Tuesday 01 April 2014, 13:00-14:00 ## Logical Relations and Parametricity: A Reynolds Programme for Category Theory and Programming LanguagesUday Reddy (School of Computer Science). Tuesday 18 March 2014, 13:00-14:00 ## M-Sets, continuedMojgan Mahmoudi (Department of Mathematics, Shahid Beheshti University, Iran.). Friday 21 February 2014, 13:00-14:00 ## GADTs and the Girard/Schroeder-Heister EqualityNeel Krishnaswami (University of Birmingham). Friday 07 February 2014, 13:00-14:00 ## Transitition Systems Over GamesPaul Levy (University of Birmingham). Friday 17 January 2014, 13:00-14:00 ## Characterizing po-monoids $S$ by completeness and injectivity of $S$-posetsMojgan Mahmoudi (Department of Mathematics, Shahid Beheshti University, Iran.) . Friday 20 December 2013, 13:00-14:00 ## When is the Kleene--Kreisel hierarchy full?Chuangjie Xu (University of Birmingham). Friday 22 November 2013, 13:00-14:00 ## Weakly dependent bounded linear typesFredrik Nordvall Forsberg. Tuesday 19 November 2013, 13:00-14:00 ## Weakly dependent bounded linear typesFredrik Nordvall Forsberg . Tuesday 12 November 2013, 13:00-14:00 ## A reversible pi calculus for concurrent dynamic slicingRoly Perera (University of Birmingham). Tuesday 05 November 2013, 13:00-14:00 ## Title to be confirmedNeel Krishnaswami (University of Birmingham). Tuesday 29 October 2013, 11:00-12:00 ## Distributed abstract machinesOlle Fredriksson, University of Birmingham. Tuesday 22 October 2013, 11:00-12:00 ## A Tribute to John Reynolds IIUday Reddy (School of Computer Science). Tuesday 30 July 2013, 11:00-12:00 ## Axiomatization using locality and free choiceKamal Lodaya, The Institute of Mathematical Sciences, Chennai. Tuesday 16 July 2013, 11:00-12:00 ## Abstract machines for game semantics, revisitedOlle Fredriksson (University of Birmingham). Tuesday 05 February 2013, 11:00-12:00 ## Geometry of Synthesis V : PipelinesDan Ghica (Computer Science). Tuesday 27 November 2012, 12:00-13:00 ## Functional Semantics of Parsing Actions, and Left Recursion Elimination as Continuation PassingDr Hayo Thielecke (Computer Science). Monday 17 September 2012, 11:00-12:00 ## Operational semantics for signal handlingMaxim Strygin, University of Birmingham. Tuesday 28 August 2012, 12:00-13:00 ## Fibrations and Logical RelationsUnusual time and place! Claudio Hermida. Tuesday 21 August 2012, 15:00-16:00 ## Self-explaining computationUnusual date/venue Roly Perera (University of Birmingham). Monday 09 July 2012, 12:00-13:00 ## Abstract machine semantics of regular expression matchingAsiri Rathnayake. Tuesday 19 June 2012, 12:00-13:00 ## Linear dependent types: Complexity of PCF terms evaluationJoint Lab-Lunch and Theory Seminar Barbara Petit, Bologna. Monday 11 June 2012, 14:00-15:00 ## Title to be confirmedJoint Lab Lunch and Theory seminar Matt Hague, Paris. Tuesday 29 May 2012, 12:00-13:00 ## Call-by-push-value tutorial [part 4]Paul Levy (University of Birmingham). Tuesday 31 January 2012, 12:00-13:00 ## When is a Container a Comonad?Danel Ahman, University of Cambridge. Tuesday 13 December 2011, 12:00-13:00 ## The valuation locale monad (continued)Dr Steve Vickers (School of Computer Science, University of Birmingham). Tuesday 22 November 2011, 12:00-13:00 ## A monad of valuation locales IIDr Steve Vickers (School of Computer Science, University of Birmingham). Tuesday 11 October 2011, 12:00-13:00 ## A monad of valuation locales I : Introduction and motivationDr Steve Vickers (School of Computer Science, University of Birmingham). Tuesday 04 October 2011, 12:00-13:00 ## A Statistical Test for Information Leaks Using Continuous Mutual InformationTom Chotia . Tuesday 14 June 2011, 12:00-13:00 ## Protocol security, deducibility constraints and algebraic propertiesSergiu Bursuc (Computer Science). Tuesday 29 March 2011, 13:00-14:00 ## Finding vulnerabilities in webapps by string analysisMarco Cova. Tuesday 01 March 2011, 12:00-13:00 ## The Born map for the topos qbit (continued)Bertfried Fauser (Computer Science). Tuesday 22 February 2011, 12:00-13:00 ## Semantics of Polymorhism in Imperative ProgrammingUday Reddy. Tuesday 23 November 2010, 12:00-13:00 ## Privacy-supporting cloud-based conference systems: protocol and verificationMyrto Arapinis, Sergiu Bursuc and Mark Ryan. Tuesday 09 November 2010, 12:00-13:00 ## What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift have in CommonMartin Escardo. Tuesday 12 October 2010, 12:00-13:00 ## Resource management via type inference in a hardware compilerAlex Smith. Tuesday 05 October 2010, 12:00-13:00 ## Canonical extensions and Stone duality for strong proximity latticesSam van Gool. Tuesday 29 June 2010, 12:00-13:00 ## From observational to symbolic to static equivalenceSergiu Bursuc. Tuesday 08 June 2010, 13:00-14:00 ## The history, nature, and significance of virtual machineryAaron Sloman. Tuesday 23 March 2010, 13:00-14:00 ## Proving the correctness of a concurrent garbage collectorUday Reddy. Tuesday 09 March 2010, 13:00-14:00 ## Symmetries of black box algorithms and combinatorial problem classesJon Rowe. Tuesday 23 February 2010, 13:00-14:00 ## Searchable sets, Dubuc-Penon compactness, the omniscience principle, and the drinker paradoxMartin Escardo. Tuesday 26 January 2010, 13:00-14:00 ## Title to be confirmedMartin Escardo (University of Birmingham). Tuesday 08 December 2009, 13:00-14:00 ## Clipping: A semantics-directed syntactic approximationDan Ghica. Tuesday 10 November 2009, 13:00-14:00 ## Characterising static equivalence in the applied pi-calculusEike Ritter. Tuesday 06 October 2009, 13:00-14:00 ## Selection functions, bar recursion and backward inductionMartin Escardo. Tuesday 29 September 2009, 13:00-14:00 ## Localic completion of generalized metric spaces II: PowerlocalesSteve Vickers. Tuesday 15 September 2009, 13:00-14:00 If you have a question about this list, please contact: Dan Ghica; Uday Reddy; Dr Steve Vickers; Paul Taylor; Yuning Feng; Todd Waugh Ambridge. If you have a question about a specific talk, click on that talk to find its organiser. |
## Other listsEPS - College Research Teas Medical Imaging Research Seminars Nuclear physics seminars## Other talksYou like to move it? Pose Estimation and Tracking for Collaborative Robotics and Medical Sensor Fusion The Small Mathieu Groups Operator Preconditioning and Some Recent Developments for Boundary Integral Equations Revisiting the relation between subspaces and sublocales TBA Privileged side-channel attacks for enclave adversaries |