University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Overview of Unimath

  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

Overview of Unimath

Add to your list(s) Download to your calendar using vCal

  • UserBenedikt Ahrens (INRIA Rennes - Bretagne Atlantique); Catherine LELAY (Institute for Advanced Study, Princeton)
  • ClockFriday 07 July 2017, 10:00-11:00
  • HouseSeminar Room 2, Newton Institute.

If you have a question about this talk, please contact INI IT.

This talk has been canceled/deleted

We will give an overview of the UniMath language and library.

This talk is part of the Isaac Newton Institute Seminar Series series.

Tell a friend about this talk:

This talk is included in these lists:

This talk is not included in any other list

Note that ex-directory lists are not shown.

Other lists

CIKC Talks IfM Research Capability Development Programme Seminar Series CU Israel Society Cambridge Society for the Application of Research (CSAR) euroscicon German Graduate Research Seminar

Other talks

Surface meltwater ponding and drainage causes ice-shelf flexure First order rigidity of higher rank arithmetic lattices (note the nonstandard day) Equations in groups Stokes-Smoluchowski-Einstein-Langevin theory for active colloidal suspensions My VM is Lighter (and Safer) than your Container Hypergraph Saturation Irregularities
 

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