COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
SANDWICH Seminar (Computer Laboratory)
Add to your list(s)
Send you e-mail reminders
Further detail
The SANDWICH seminar runs on Mondays at 1pm in the Computer Science department, in room FS07 . This is an internal seminar series of the Cambridge Logical Structures Hub: https://www.cl.cam.ac.uk/research/clash/ If you have any questions, please contact Neel Krishnaswasmi or Jamie Vicary. If you have a question about this list, please contact: Jamie Vicary; nk480. If you have a question about a specific talk, click on that talk to find its organiser. 0 upcoming talks and 9 talks in the archive. SSA is Freyd CategoriesNONSTANDARD TIME AND LOCATION University of Cambridge. Tuesday 20 February 2024, 13:00-14:00 A Denotational Approach to Release/Acquire ConcurrencyYotam Dvir (Tel Aviv University). Monday 22 January 2024, 13:00-14:00 Computing inverses in higher categoriesThibaut Benjamin, University of Cambridge. Monday 30 October 2023, 13:00-14:00 Type theoretic approaches to semistrictnessAlex Rice (University of Cambridge). Monday 23 October 2023, 13:00-14:00 Higher-Order Algebraic Effects and HandlersZhixuan Yang, Imperial College London. Monday 16 October 2023, 13:00-14:00 A couple of things I’ve learned about algebraically universal categoriesIoannis Eleftheriadis, University of Cambridge. Monday 09 October 2023, 13:00-14:00 Generic bidirectional typing for dependent type theoriesThiago Felicissimo, INRIA. Tuesday 03 October 2023, 11:00-12:00 Definitional Functoriality for Dependent (Sub)TypesDr Meven Lennon-Bertrand (University of Cambridge). Monday 02 October 2023, 13:00-14:00 Polymorphic Subtyping with Polarisation: ∀ ± ∃Ilya Kaysin, University of Cambridge. Monday 25 September 2023, 13:00-14:00 Please see above for contact details for this list. |
Other listsThe Partition of Ukraine: A Nightmare Meeting the Challenge of Healthy Ageing in the 21st Century Type the title of a new list hereOther talksData-driven classification of single cells by their non-markovian motion Tea and Coffee Break How Best to Explore Chemical Space for Bioactive Molecular Discovery A platform for simulating multi-behavioral mode animal movement over complex landscapes mRNA condensation fluidizes the cytoplasm The Physical Chemistry of Actomyosin Cortex Self-Assembly in C elegans oocytes |