University of Cambridge > Talks.cam > FW26, Computer Laboratory

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

FW26, Computer Laboratory

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

Tell a friend about this venue:

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

1 upcoming talk and 321 talks in the archive.

SANDWICH Seminar (Computer Laboratory)

Generic bidirectional typing for dependent type theories

UserThiago Felicissimo, INRIA.

HouseFW26, Computer Laboratory.

ClockTuesday 03 October 2023, 11:00-12:00

Please see above for contact details for this list.

Other lists

Cavendish Graduate Students' Conference 2009 Making more from your research – Impact & value Centre for Industrial Sustainability Seminars

Other talks

Perylene-Based Poly(N-Heterocycles): Organic Semiconductors, Biological Fluorescence Probes and Building Blocks for Molecular Surface Networks Understanding Ellipsis: Corpus, Annotation, Theory Anthropology, mass graves and the politics of the dead The interpretation of black hole solutions in general relativity Algorithmic Investigation of Large Biological Data sets Cambridge-Lausanne Workshop 2018 - Day 2 An SU(3) variant of instanton homology for webs 'The Japanese Mingei Movement and the art of Katazome' 'Politics in Uncertain Times: What will the world look like in 2050 and how do you know? Single Cell Seminars (August) Exploring the Galaxy's alpha-element abundances and globular cluster populations with hydrodynamic simulations
 

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