University of Birmingham > Talks@bham > Lab Lunch

  Browse A-Z

Log in

System Admin (disabled)details Birmingham usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

Lab Lunch

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

Informal talks for the Theory group in School of Computer Science

Tell a friend about this list:

1 upcoming talk and 241 talks in the archive.

Gödel's incompleteness theorem using arithmetic universes

UserAlexander Gietelink Oldenziel (Amsterdam).

HouseSloman Lounge, Computer Science.

ClockFriday 07 February 2020, 11:00-12:00

If you have a question about this list, please contact: Dan Ghica; Uday Reddy; Dr Steve Vickers; Paul Taylor; Yuning Feng; Todd Waugh Ambridge. If you have a question about a specific talk, click on that talk to find its organiser.

Other lists

Particle Physics Seminars BritGrav 15 Postgraduate Seminars in the School of Computer Science

Other talks

Accurate and efficient numerical methods for molecular dynamics and data science using adaptive thermostats The galaxy-halo connection in the cosmic web RSC S F Boys-A Rahman Award Lecture Subgroups of the Monster Sublattice Groups Operator Preconditioning and Some Recent Developments for Boundary Integral Equations
 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.