University of Cambridge > Talks.cam > yk373's list

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.

Tell a friend about this list:

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.

18 upcoming talks and 2458 talks in the archive: show first 500.

Category Theory Seminar

Quillen model structures from models of HoTT

UserSteve Awodey (Departments of Philosophy and Mathematics, Carnegie Mellon University).

HouseZoom (Meeting ID 916 7928 3736, passcode 844306).

ClockTuesday 20 October 2020, 14:15-15:15

Computational Neuroscience

Computational Neuroscience Journal Club

UserYul Kang and Wayne Soo.

HouseOnline on Zoom.

ClockTuesday 20 October 2020, 15:00-16:30

Logic and Semantics Seminar (Computer Laboratory)

Symmetric Arithmetic Circuits

UserGregory Wilsenach, University of Cambridge.

HouseOnline.

ClockFriday 30 October 2020, 14:00-15:00

Cambridge Society for the Application of Research (CSAR)

Osseointegration, approaching 1,000 cases.

UserProfessor Munjed Al Muderis, MB ChB FRACS FAOrthA; Orthopedic Surgeon, School Of Medicine, University Of Notre Dame Australia, Sydney; School of Medicine Macquarie University.

HouseLocation: Zoom. See CSAR website or emails for joining information..

ClockMonday 02 November 2020, 09:00-10:30

Logic and Semantics Seminar (Computer Laboratory)

Free Commutative Monoids in Homotopy Type Theory

UserVikraman Choudhury, University of Indiana.

HouseOnline.

ClockFriday 06 November 2020, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Second Order Behaviour in Augmented Neural ODEs

UserAlexander Norcliffe and Cris Bodnar.

HouseZoom.

ClockTuesday 10 November 2020, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

Lovász' Theorem and Comonads in Finite Model Theory

UserTomas Jakl, University of Cambridge.

HouseOnline.

ClockFriday 13 November 2020, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Title to be confirmed

UserMarinka Zitnik, Harvard University.

HouseZoom.

ClockTuesday 24 November 2020, 13:15-14:15

Logic and Semantics Seminar (Computer Laboratory)

Promising ARMv8/RISC-V relaxed memory

UserChristopher Pulte, University of Cambridge.

HouseOnline.

ClockFriday 29 January 2021, 14:00-15:00

Cambridge Society for the Application of Research (CSAR)

The Hunt for Exoplanets

UserProfessor Didier Queloz, Department of Physics, University of Cambridge.

HouseLocation: Your choice. See CSAR website or emails for joining information..

ClockMonday 08 February 2021, 19:30-21:00

Please see above for contact details for this list.

 

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