University of Cambridge > Talks.cam > School of Technology

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

School of Technology

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

This is a combined list of all talks and series, listed on talks.cam, which are part of the School of Technology, plus occasional additional talks which would be of significant interest to researchers of the School. If you would like your talk or list included please contact Duncan (drs45)

Tell a friend about this list:

If you have a question about this list, please contact: Duncan Simpson. If you have a question about a specific talk, click on that talk to find its organiser.

46 upcoming talks and 9105 talks in the archive: show first 500.

Algorithms and Complexity Seminar

Models that prove their own correctness

UserOrr Paradise (UC Berkeley).

HouseComputer Laboratory, William Gates Building, FW26.

ClockThursday 09 January 2025, 14:00-15:00

Quantum Computing Seminar

Interactive proofs for verifying (quantum) learning and testing

UserMatthias Caro (Warwick).

HouseComputer Laboratory, William Gates Building, Room FW26..

ClockThursday 16 January 2025, 14:00-15:00

Engineering - Mechanics and Materials Seminar Series

Title to be confirmed

UserProfessor Patrick Grant, Oxford University.

HouseOatley 1 Meeting Room, Department of Engineering.

ClockFriday 17 January 2025, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Title to be confirmed

UserKonstantin Hemker (University of Cambridge).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 21 January 2025, 13:00-14:00

Computer Laboratory Systems Research Group Seminar

OSDB: Turning the Tables on Kernel Data

UserGeorge V. Neville-Neil, Elephance, Yale, Cambridge.

HouseComputer Lab, FW11.

ClockThursday 23 January 2025, 15:00-16:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserSiddharth Bhat (University of Cambridge).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 23 January 2025, 17:00-18:00

Energy and Environment Group, Department of CST

What EEG Members Would Like from the Group

UserHost: Prof Srinivasan Keshav, University of Cambridge.

HouseFW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

ClockFriday 24 January 2025, 13:00-13:55

Technical Talks - Department of Computer Science and Technology

Helsing: Title to be confrimed

UserSpeaker to be confirmed.

HouseFW26, William Gates Building.

ClockMonday 27 January 2025, 13:05-13:55

Artificial Intelligence Research Group Talks (Computer Laboratory)

Title to be confirmed

UserMiruna Cretu (University of Cambridge).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 28 January 2025, 13:00-14:00

Algorithms and Complexity Seminar

A stronger bound for linear 3-LCC

UserTal Yankovitz (Tel-Aviv University).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 28 January 2025, 14:00-15:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserIra Ktena and Olivia Wiles, DeepMind.

HouseComputer Lab, FW26 and Online.

ClockTuesday 28 January 2025, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserDr Loïc Lannelongue - Department of Public Health and Primary Care, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 29 January 2025, 15:05-15:55

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserEmily Riehl (Johns Hopkins University).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 30 January 2025, 17:00-18:00

Energy and Environment Group, Department of CST

Title to be confirmed

UserToby Kiers, SPUN, Vrije Universiteit, Amsterdam.

HouseFW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

ClockFriday 31 January 2025, 13:00-13:55

HEP phenomenology joint Cavendish-DAMTP seminar

Cosmological tensions? A guide for high energy theorists

UserWilliam Handley (Cambridge U.).

HouseMR19 (Potter Room, Pavilion B), CMS.

ClockFriday 31 January 2025, 16:00-17:00

Technical Talks - Department of Computer Science and Technology

MathWorks: Title to be confirmed

UserSpeaker to be confirmed.

HouseFW26, William Gates Building.

ClockMonday 03 February 2025, 13:05-13:55

Formalisation of mathematics with interactive theorem provers

Formalisation of minimum cost flows in Isabelle/HOL

UserThomas Ammer (King's College London).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 06 February 2025, 17:00-18:00

Technical Talks - Department of Computer Science and Technology

Riverlane: Title to be confirmed

UserKenton Barnes - Staff Quantum Engineer.

HouseFW26, William Gates Building.

ClockMonday 10 February 2025, 13:05-13:55

Computer Laboratory Security Seminar

Designing Counter Strategies against Online Harms

UserStefanie Ullmann, University of Cambridge.

HouseWebinar & LT2, Computer Laboratory, William Gates Building..

ClockTuesday 11 February 2025, 14:00-15:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserShyam Tailor, Google.

HouseComputer Lab, FW26 and Online.

ClockTuesday 11 February 2025, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Hardware Datapath: For Machine Learning and Beyond

UserProfessor George A. Constantinides - Professor of Digital Computation, Department of Electrical and Electronic Engineering, Imperial College London.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 12 February 2025, 15:05-15:55

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserDavid Angdinata (University College London).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 13 February 2025, 17:00-18:00

Technical Talks - Department of Computer Science and Technology

Roku: Title to be confirmed

UserSpeaker to be confirmed.

HouseFW26, William Gates Building.

ClockMonday 17 February 2025, 13:05-13:55

Formalisation of mathematics with interactive theorem provers

Formalising Brauer Group and Group Cohomology in Lean4

UserJujian Zhang (Imperial College London).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 20 February 2025, 17:00-18:00

Energy and Environment Group, Department of CST

Robotics and Sensing for Sustainable Crop Production

UserCyrill Stachniss, University of Bonn.

HouseFW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

ClockFriday 21 February 2025, 13:00-13:55

Artificial Intelligence Research Group Talks (Computer Laboratory)

Title to be confirmed

UserJulius Cheng (University of Cambridge).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 25 February 2025, 13:00-14:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserRajalakshmi Nandakumar, Cornell University.

HouseOnline.

ClockTuesday 25 February 2025, 16:00-17:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserFrancisco Ferreira Ruiz (Royal Holloway, University of London).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 27 February 2025, 17:00-18:00

Energy and Environment Group, Department of CST

Tentative title: Identifying Key Countries in the Illegal Elephant Ivory Trade Network

UserJakob Poffley, University of Cambridge.

HouseFW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

ClockFriday 28 February 2025, 13:00-13:55

Engineering - Mechanics and Materials Seminar Series

25 years with MathWorks and its customers

UserDavid Sampson, MathsWorks.

HouseOatley 1 Meeting Room, Department of Engineering.

ClockFriday 28 February 2025, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserDr Joe Watson - Co-founder, Xaira Therapeutics.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 05 March 2025, 15:05-15:55

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserAndrei Popescu (University of Sheffield).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 06 March 2025, 17:00-18:00

Technical Talks - Department of Computer Science and Technology

MediaTek: Title to be confirmed

UserSpeaker to be confirmed.

HouseFW26, William Gates Building.

ClockMonday 10 March 2025, 13:05-13:55

Mobile and Wearable Health Seminar Series

Wearable electrocardiography: from Holter to handheld devices

please note the change of time for this talk

UserPeter Charlton (University of Cambridge).

HouseComputer Lab, LT2 and Online.

ClockTuesday 11 March 2025, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserDr Edwin Brady - School of Computer Science, University of St Andrews.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 12 March 2025, 15:05-15:55

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserAndrew Yang (Imperial College, London).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 13 March 2025, 17:00-18:00

Engineering - Mechanics Colloquia Research Seminars

Title to be confirmed

UserProfessor Eleni Chatzi, ETH Zürich.

HouseDepartment of Engineering - tbc.

ClockFriday 14 March 2025, 14:00-15:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserMarianna Obrist, UCL.

HouseComputer Lab, FW26 and Online.

ClockTuesday 18 March 2025, 16:00-17:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserDavid Wang (King's College London).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 20 March 2025, 17:00-18:00

Energy and Environment Group, Department of CST

Towards Global Maps of Anthropogenic Threats to Biodiversity and Their Contributions to Species Extinctions

UserEmilio Luz-Ricca, University of Cambridge.

HouseFW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

ClockFriday 21 March 2025, 13:00-13:55

Energy and Environment Group, Department of CST

Title to be confirmed

UserJean Martina, Universidade Federal de Santa Catarina.

HouseFW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

ClockFriday 28 March 2025, 13:00-14:00

Energy and Environment Group, Department of CST

Title to be confirmed

UserOnkar Gulati, University of Cambridge.

HouseFW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

ClockFriday 04 April 2025, 13:00-13:55

Energy and Environment Group, Department of CST

Title to be confirmed

UserOisin Mac Aodha, University of Edinburgh.

HouseMain Seminar Room at the David Attenborough Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

ClockFriday 11 April 2025, 13:00-14:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserKevin Buzzard (Imperial College London).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 01 May 2025, 17:00-18:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserLongfei Shangguan, University of Pittsburgh.

HouseOnline.

ClockTuesday 06 May 2025, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserDr Prakash Murali - Department of Computer Science and Technology, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 07 May 2025, 15:05-15:55

Please see above for contact details for this list.

Other lists

EPIGENETICS: Technology, Tools and Applications of Epigenetic data (21 September 2009, Hinxton) Computational and Systems Biology Thinking Society: How is understanding possible?

Other talks

Microtubule Modulation of Myocyte Mechanics Open IP in Emerging and Developing Economies Nonstationary Gaussian process emulators with covariance mixtures Bioengineering conference: Innovation through convergence Uncertainty Quantification of geochemical and mechanical compaction in layered sedimentary basins Insight into the molecular mechanism of extracellular matrix calcification in the vasculature from NMR spectroscopy and electron microscopy The Anne McLaren Lecture: CRISPR-Cas Gene Editing: Biology, Technology and Ethics Cambridge-Lausanne Workshop 2018 - Day 2 A new proposal for the mechanism of protein translocation DataFlow SuperComputing for BigData Single Cell Seminars (November) Modularity, criticality and evolvability of a developmental GRN
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity