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 3760 talks in the archive: show first 500.

Formalisation of mathematics with interactive theorem provers

The leanest automata

Hybrid talk (please see abstract for link) Note: different room, MR20 this time

UserProfessor Bjørn Kjos-Hanssen (University of Hawaii at Manoa).

HouseMR20 Centre for Mathematical Sciences.

ClockThursday 01 June 2023, 17:00-18:00

NLIP Seminar Series

Fighting Misinformation in Science Communication with NLP

UserDustin Wright (University of Copenhagen).

HouseComputer Lab, SS03.

ClockFriday 02 June 2023, 12:00-13:00

Computer Laboratory Security Seminar

The Nym mixnet: Design and Evaluation

UserHarry Halpin & Ania Piotrowska, Nym Technologies.

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

ClockTuesday 06 June 2023, 14:00-15:00

Formalisation of mathematics with interactive theorem provers

TBC

Note: different room, MR20 this time

UserDr Alex J. Best (King's College London).

HouseMR20 Centre for Mathematical Sciences.

ClockThursday 08 June 2023, 17:00-18:00

NLIP Seminar Series

Investigating Reasons for Disagreement in Natural Language Inference

UserMarie-Catherine de Marneffe (FNRS – UCLouvain – The Ohio State University).

HouseComputer Lab, FW26.

ClockFriday 09 June 2023, 12:00-13:00

Computer Laboratory Systems Research Group Seminar

Monitoring and Improving QoE for the home network via large scale CPE deployment.

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

UserIain Fraser, Netduma.

HouseSS03.

ClockThursday 15 June 2023, 15:00-16:00

Formalisation of mathematics with interactive theorem provers

Formalizing the change of variables formula for integrals in mathlib

Hybrid talk (please see abstract for link) Note: different room, MR20 this time

UserProfessor Sébastien Gouëzel (Université de Rennes).

HouseMR20 Centre for Mathematical Sciences.

ClockThursday 15 June 2023, 17:00-18:00

NLIP Seminar Series

To be confirmed

UserJames Thorne (KAIST).

HouseComputer Lab, TBD.

ClockFriday 16 June 2023, 12:00-13:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Engineering enzyme replacement therapies for lysosomal storage diseases using generative AI

https://cl-cam-ac-uk.zoom.us/j/99216883530?pwd=OFRHMkh1KzUzVm5EZzFLS0JLUTlMZz09

UserDr Giovanni Stracquadanio, The University of Edinburgh.

HouseLecture Theatre 2.

ClockWednesday 11 October 2023, 16:00-17:00

Please see above for contact details for this list.

 

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