University of Cambridge > Talks.cam > Department of Computer Science and Technology talks and seminars

Department of Computer Science and Technology talks and seminars

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

Merged list of all talks taking place in the Department of Computer Science and Technology. This talk list can also be used to announce individual talks that do not fit into any of the established seminar series.

Tell a friend about this list:

If you have a question about this list, please contact: Markus Kuhn; Dr Robert Harle; Caroline Stewart; Stewart Carswell; Ben Karniely. If you have a question about a specific talk, click on that talk to find its organiser.

20 upcoming talks and 3647 talks in the archive: show first 500.

Artificial Intelligence Research Group Talks (Computer Laboratory)

Approximate Equivariance SO(3) Needlet Convolution

https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09

UserKai Yi, University of New South Wales (UNSW) in Sydney.

HouseLecture Theatre 2.

ClockWednesday 30 November 2022, 17:00-18:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

A Distance Function based Cascaded Neural Network for accurate Polyps Segmentation and Classification

https://zoom.us/j/99166955895?pwd=SzI0M3pMVEkvNmw3Q0dqNDVRalZvdz09

User Yuanhong Jiang, Shanghai Jiao Tong University.

HouseLecture Theatre 2.

ClockThursday 01 December 2022, 17:00-18:00

NLIP Seminar Series

To Be Confirmed

UserKris Cao (DeepMind).

HouseComputer Lab, FW26.

ClockFriday 02 December 2022, 12:00-13:00

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserManuel Araujo, University of Cambridge.

HouseSS03.

ClockFriday 02 December 2022, 14:00-15:00

Computer Laboratory Security Seminar

Title to be confirmed

Note unusual time

UserEvani Radiya-Dixit, Minderoo Centre for Tech & Democracy.

HouseWebinar - link on talks.cam page after 12 noon Tuesday.

ClockTuesday 13 December 2022, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserOlivia Caramello, University of Como.

HouseSS03.

ClockFriday 20 January 2023, 14:00-15:00

Formalisation of mathematics with interactive theorem provers [COMING UP IN LENT TERM]

How Hilbert met Isabelle: Proof Between Generations

Hybrid talk (please see abstract for link)

UserMarco David (École Normale Supérieure de Paris).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 26 January 2023, 17:00-18:00

Logic and Semantics Seminar (Computer Laboratory)

When Concurrency Strikes

UserMatthew Parkinson, Microsoft Research.

HouseSS03.

ClockFriday 27 January 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserMahsa Shirmohammadi, University of Paris.

HouseSS03.

ClockFriday 03 February 2023, 14:00-15:00

Formalisation of mathematics with interactive theorem provers [COMING UP IN LENT TERM]

TBC

Hybrid talk (please see abstract for link)

UserDr Manuel Eberl (University of Innsbruck).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 09 February 2023, 17:00-18:00

Please see above for contact details for this list.

 

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