Log in

Cambridge users (raven) details

Other users details

No account? details

Information on

Subscribing to talks details

Finding a talk details

Adding a talk details

Disseminating talks details

Help and Documentation details

yk373's list

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

A personal list of talks.

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

8 upcoming talks and 3000 talks in the archive: show first 500.

Logic and Semantics Seminar (Computer Laboratory)

Aeneas: Rust Verification by Functional Translation

User Son Ho (Azure Research team).

House SS03, Computer Laboratory.

Friday 30 May 2025, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

All-atom Diffusion Transformers: Unified generative modelling of molecules and materials

In-person and virtual (link coming soon) - and will be recorded.

User Chaitanya Joshi.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Tuesday 03 June 2025, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

A unified treatment of commuting tensor products

User Nicola Gambino ( University of Manchester).

House SS03, Computer Laboratory.

Friday 06 June 2025, 14:00-15:00

Cambridge Society for the Application of Research (CSAR)

An Introduction to The Alan Turing Institute, the National Institute for Data Science, and Artificial Intelligence

User Professor Mark Girolami, Chief Scientist, The Alan Turing Institute; RAE Research Chair in Data Centric Engineering, Cambridge University Engineering Department.

House Location: Wolfson Lecture Theatre, Churchill College, and Zoom.

Monday 16 June 2025, 19:30-21:00

Artificial Intelligence Research Group Talks (Computer Laboratory)