University of Cambridge > Talks.cam > All CMS events

All CMS events

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

All events at the Centre for Mathematical Sciences. This list is used as a source for events displayed on the DAMTP website at http://www.damtp.cam.ac.uk/.

What lists provides data to what service

Tell a friend about this list:

If you have a question about this list, please contact: Mike Rose; Chris Mortimer; John Sutton; D. Finucane; Julie Bazin; Eva Myers; Owen Dunn; Alex Boggis; Dr. Frank Lee; Tom O'Shea. If you have a question about a specific talk, click on that talk to find its organiser.

23 upcoming talks and 14101 talks in the archive: show first 500.

Isaac Newton Institute Seminar Series

Language and automation for exploring mathematics

BPR - Big proof

UserNatarajan Shankar (SRI International); Leonardo de Moura (Microsoft Research); Arnold Neumaier (Universität Wien); Cesare Tinelli (University of Iowa).

HouseSeminar Room 2, Newton Institute.

ClockMonday 24 July 2017, 10:30-12:00

Isaac Newton Institute Seminar Series

Big Proof & Education

BPR - Big proof

UserJeremy Avigad (Carnegie Mellon University).

HouseSeminar Room 2, Newton Institute.

ClockMonday 24 July 2017, 15:30-17:30

Isaac Newton Institute Seminar Series

Concise - a synthesis of types, grammars, semantics

BPR - Big proof

UserArnold Neumaier (Universität Wien).

HouseSeminar Room 2, Newton Institute.

ClockWednesday 26 July 2017, 11:00-12:00

Isaac Newton Institute Seminar Series

Simplicial and cubical sets - how they relate to each other (joint work with Chris Kapulkin)

BPR - Big proof

UserVladimir Voevodsky (Institute for Advanced Study, Princeton).

HouseSeminar Room 2, Newton Institute.

ClockThursday 27 July 2017, 15:30-16:30

Isaac Newton Institute Seminar Series

Categorical structures for type theory in univalent foundations"

BPR - Big proof

UserBenedikt Ahrens (INRIA Rennes - Bretagne Atlantique).

HouseSeminar Room 2, Newton Institute.

ClockThursday 27 July 2017, 16:30-17:30

Applied and Computational Analysis

Undecidability in geometry and topology

UserHenry Wilton (University of Cambridge).

HouseMR 14, CMS.

ClockThursday 14 September 2017, 15:00-16:00

Applied and Computational Analysis

Title to be confirmed

UserPhilipp Grohs (University of Vienna).

HouseMR 14, CMS.

ClockThursday 05 October 2017, 15:00-16:00

Cambridge Statistics Discussion Group (CSDG)

Title to be confirmed

UserZoubin Ghahramani, Department of Engineering.

HouseCognition and Brain Sciences Unit, Chaucer Road, Cambridge.

ClockTuesday 10 October 2017, 19:15-21:30

Mathematical Physics Seminar

TBA

User Andrea Fontanella (Surrey).

HouseMR11.

ClockTuesday 17 October 2017, 16:00-17:00

Differential Geometry and Topology Seminar

Title to be confirmed

UserNick Sheridan, Cambridge.

HouseMR13.

ClockWednesday 25 October 2017, 16:00-17:00

Differential Geometry and Topology Seminar

Title to be confirmed

UserAna Rita Pires, Cambridge.

HouseMR13.

ClockWednesday 01 November 2017, 16:00-17:00

Lattice field theory informal seminars

Title to be confirmed

UserJozef Dudek (Jefferson Lab and College of William & Mary).

HouseMR11 (B1.39), Pavilion B, CMS.

ClockMonday 06 November 2017, 14:00-15:00

Differential Geometry and Topology Seminar

Title to be confirmed

UserMichael Wemyss, Glasgow.

HouseMR13.

ClockWednesday 08 November 2017, 16:00-17:00

Cambridge Statistics Discussion Group (CSDG)

Title to be confirmed

UserNicole Janz, Department of Sociology, University of Cambridge.

HouseVenue to be confirmed.

ClockThursday 01 March 2018, 19:15-21:30

Cambridge Statistics Discussion Group (CSDG)

Title to be confirmed

UserSylvia Richardson, MRC Biostatistics Unit.

HouseVenue to be confirmed.

ClockWednesday 28 March 2018, 19:15-21:30

Please see above for contact details for this list.

 

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