Fri 02 May 08:45: Title to be confirmed
Chaired by Muriel Dresen and Andrew Conlan
- Speaker: Margarida Rodrigue, Department of Veterinary Medicine
- Friday 02 May 2025, 08:45-10:00
- Venue: LT2.
- Series: Friday Morning Seminars, Dept of Veterinary Medicine; organiser: Fiona Roby.
Fri 02 May 08:45: Investigating the relationship between inflammatory markers in peripheral blood and clinical presentation of intervertebral disc extrusions in canids
Ruweena graduated from Cambridge vet school in June 2024 and has stayed on to continue her research into IVDE with the neurology department, specifically looking at the inflammatory markers IL-6, IL-1β, MMP -9 & extracellular vesicles in the blood plasma of dogs presented to the QVSH for IVDE .
Chaired by Muriel Dresen and Andrew Conlan
- Speaker: Ruweena Perera, Department of Veterinary Medicine
- Friday 02 May 2025, 08:45-10:00
- Venue: LT2.
- Series: Friday Morning Seminars, Dept of Veterinary Medicine; organiser: Fiona Roby.
Fri 25 Apr 08:45: Title to be confirmed
Chaired by Elizabeth Murchison and Sophia Belkhir
- Speaker: Niv Froman, Department of Veterinary Medicine
- Friday 25 April 2025, 08:45-10:00
- Venue: LT2.
- Series: Friday Morning Seminars, Dept of Veterinary Medicine; organiser: Fiona Roby.
Fri 25 Apr 08:45: The global epidemiology of Streptococcus canis identifies genomic features of host adaptation, virulence and antimicrobial resistance
Speaker bio: • 2012-2018: Studies of Veterinary medicine, University of Veterinary Medicine Hannover, Foundation, Germany • 2018-2021: PhD in Microbiology at the Institute for Microbiology, University of Veterinary Medicine Hannover, Foundation, Germany: Investigation of virulence and fitness factors of Streptococcus suis • 2022-2024: PostDoc at the Institute for Microbiology, University of Veterinary Medicine Hannover, Foundation and two-month research visit in the group of Dr Lucy Weinert at the Department of Veterinary Medicine, University of Cambridge: Further education in bioinformatics, analysis of genome sequences of Streptococcus suis, teaching responsibilities • Since October 2024: PostDoc (DAAD fellowship) at the Department of Veterinary Medicine, Institute of Microbiology and Epizootics, Freie Universität Berlin, Berlin, Germany and Department of Veterinary Medicine, University of Cambridge: Genome studies of the epidemiology, virulence and host adaptation of Streptococcus canis, supervision: Dr Lucy Weinert and Prof Dr Marcus Fulde (Berlin)
Chaired by Elizabeth Murchison and Sophia Belkhir
- Speaker: Muriel Dresen, Department of Veterinary Medicine
- Friday 25 April 2025, 08:45-10:00
- Venue: LT2.
- Series: Friday Morning Seminars, Dept of Veterinary Medicine; organiser: Fiona Roby.
Thu 01 May 13:00: Is There Hope for the Climate?
Abstract Stay tuned!
Bio
Srinivasan Keshav is the Robert Sansom Professor of Computer Science at the University of Cambridge, focusing on the intersection of computer science and sustainability. He earned his PhD from UC Berkeley and has held roles at Bell Labs, Cornell University, and the University of Waterloo. A Fellow of the Royal Society of Canada, ACM , and IEEE , Keshav is recognized for his contributions to networking and sustainability. His research includes innovations in energy systems, carbon footprint reduction, and forest conservation using remote sensing. Keshav emphasizes practical applications of computer science to global challenges, fostering collaborative solutions in smart grids and biodiversity conservation.
- Speaker: Keshav Srinivasan, University of Cambridge
- Thursday 01 May 2025, 13:00-14:00
- Venue: GS15, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .
- Series: Energy and Environment Group, Department of CST; organiser: lyr24.
Fri 06 Jun 12:00: Title to be confirmed
Abstract not available
- Speaker: Catherine Arnett and Tyler Chang (EleutherAI and UC San Diego)
- Friday 06 June 2025, 12:00-13:00
- Venue: Room FW26 with Hybrid Format. Here is the Zoom link for those that wish to join online: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.
- Series: NLIP Seminar Series; organiser: Suchir Salhan.
Tue 22 Apr 14:00: On morphisms between diagrams, and strictification of (∞,n)-categories
Regular directed complexes are an order-theoretic model of (shapes of) higher-categorical diagrams. There are two natural notions of morphism between regular directed complexes: they are called “maps” and “comaps” and are dual to each other. Roughly, a map can only collapse or rigidly identify cells, while a comap can only merge cells together. A subclass of maps—called cartesian maps—-serves as a foundation for a model of (∞,n)-categories with exceptionally nice properties. In this talk, I will present a conjecture on the existence of a certain factorisation of cartesian maps against comaps, which I strongly believe to be true. This conjecture implies a (semi)strictification theorem for (∞,n)-categories in the same explicit, combinatorial style as Mac Lane’s celebrated strictification theorem for bicategories. This talk is based on joint work with Clémence Chanavat, both past and in progress.
- Speaker: Amar Hadzihasanovic - Taltech
- Tuesday 22 April 2025, 14:00-15:00
- Venue: SS03, Computer Laboratory.
- Series: Logic and Semantics Seminar (Computer Laboratory); organiser: Thibaut Benjamin.
Fri 13 Jun 13:00: TBC
Abstract not available
- Speaker: Panos Giannadakis, Queen Mary University of London
- Friday 13 June 2025, 13:00-14:00
- Venue: Potter room/Zoom.
- Series: DAMTP Friday GR Seminar; organiser: Xi Tong.
Fri 06 Jun 13:00: TBC
Abstract not available
- Speaker: Marica Minucci, Bohr Inst., Copenhagen
- Friday 06 June 2025, 13:00-14:00
- Venue: Potter room/Zoom.
- Series: DAMTP Friday GR Seminar; organiser: Xi Tong.
Fri 02 May 13:00: TBC
Abstract not available
- Speaker: David Hilditch, Lisbon
- Friday 02 May 2025, 13:00-14:00
- Venue: Potter room/Zoom.
- Series: DAMTP Friday GR Seminar; organiser: Xi Tong.
Fri 25 Apr 13:00: TBC
Abstract not available
- Speaker: Ali Akil, Hong Kong University
- Friday 25 April 2025, 13:00-14:00
- Venue: Potter room/Zoom.
- Series: DAMTP Friday GR Seminar; organiser: Xi Tong.
Fri 30 May 16:00: Title to be confirmed
Abstract not available
- Speaker: Dr Hugh Goyder, Cranfield/ AWE
- Friday 30 May 2025, 16:00-17:00
- Venue: JDB Seminar Room, CUED.
- Series: Engineering - Dynamics and Vibration Tea Time Talks; organiser: div-c.
Fri 20 Jun 16:00: Title to be confirmed
Abstract not available
- Speaker: Prof Julio Cordioli, University of Santa Catarina,Brazil
- Friday 20 June 2025, 16:00-17:00
- Venue: JDB Seminar Room, CUED.
- Series: Engineering - Dynamics and Vibration Tea Time Talks; organiser: div-c.
Fri 13 Jun 16:00: Title to be confirmed
Abstract not available
- Speaker: Dr Zach X Conti, Alan Turing Institute
- Friday 13 June 2025, 16:00-17:00
- Venue: JDB Seminar Room, CUED.
- Series: Engineering - Dynamics and Vibration Tea Time Talks; organiser: div-c.
Fri 06 Jun 16:00: Title to be confirmed
Abstract not available
- Speaker: Dr Pierpaolo Belardnelli, Universita Politecnica delle Marche
- Friday 06 June 2025, 16:00-17:00
- Venue: JDB Seminar Room, CUED.
- Series: Engineering - Dynamics and Vibration Tea Time Talks; organiser: div-c.
Fri 30 May 16:00: Title to be confirmed
Abstract not available
- Speaker: Dr Hugh Goyder, Cranfield, AWE
- Friday 30 May 2025, 16:00-17:00
- Venue: JDB Seminar Room, CUED.
- Series: Engineering - Dynamics and Vibration Tea Time Talks; organiser: div-c.
Fri 23 May 16:00: Title to be confirmed
Abstract not available
- Speaker: Jake Stuchbury- Wass, PhD student, Dept of Computer Science and Technology, University of Cambridge
- Friday 23 May 2025, 16:00-17:00
- Venue: JDB Seminar Room, CUED.
- Series: Engineering - Dynamics and Vibration Tea Time Talks; organiser: div-c.
Fri 16 May 16:00: Title to be confirmed
Abstract not available
- Speaker: Jamie Clarkson, PhD student, CUED
- Friday 16 May 2025, 16:00-17:00
- Venue: JDB Seminar Room, CUED.
- Series: Engineering - Dynamics and Vibration Tea Time Talks; organiser: div-c.
Fri 09 May 16:00: Title to be confirmed
Abstract not available
- Speaker: Dr Ole Nielsen, Bose/CUED
- Friday 09 May 2025, 16:00-17:00
- Venue: JDB Seminar Room, CUED.
- Series: Engineering - Dynamics and Vibration Tea Time Talks; organiser: div-c.
Wed 07 May 15:05: The TPTP World - Infrastructure for Automated Reasoning
The TPTP World is the established infrastructure used by the Automated Theorem Proving (ATP) community for research, development, and deployment of ATP systems. The data, standards, and services provided by the TPTP World have made it easy to develop, evaluate, and deploy ATP technology. This talk and tutorial reviews the core features of the TPTP World, describes key services of the TPTP World, and presents some successful applications. The use of ATP as the reliable substrate to subsymbolic AI systems (e.g., LLMs), to form neurosymbolic AI systems, is reviewed.
Link to join virtually: https://cam-ac-uk.zoom.us/j/87421957265
This talk is being recorded. If you do not wish to be seen in the recording, please avoid sitting in the front three rows of seats in the lecture theatre. Any questions asked will also be included in the recording. The recording will be made available on the Department’s webpage
- Speaker: Dr Geoff Sutcliffe - Department of Computer Science, University of Miami, USA
- Wednesday 07 May 2025, 15:05-15:55
- Venue: Lecture Theatre 1, Computer Laboratory, William Gates Building.
- Series: Wednesday Seminars - Department of Computer Science and Technology ; organiser: Ben Karniely.