homotopytypetheory.org/events

Preview meta tags from the homotopytypetheory.org website.

Linked Hostnames

26

Thumbnail

Search Engine Appearance

Google

https://homotopytypetheory.org/events

Events

Here are some past HoTT events. The Institute for Advanced Study had a year-long special program devoted to the Univalent Foundations Program in 2012-13.  See the list of Participants here.  See the Wiki here. May 8 -- 11, 2013, there was a special session on Univalent Foundations at the North American Annual Meeting of the Association for Symbolic…



Bing

Events

https://homotopytypetheory.org/events

Here are some past HoTT events. The Institute for Advanced Study had a year-long special program devoted to the Univalent Foundations Program in 2012-13.  See the list of Participants here.  See the Wiki here. May 8 -- 11, 2013, there was a special session on Univalent Foundations at the North American Annual Meeting of the Association for Symbolic…



DuckDuckGo

https://homotopytypetheory.org/events

Events

Here are some past HoTT events. The Institute for Advanced Study had a year-long special program devoted to the Univalent Foundations Program in 2012-13.  See the list of Participants here.  See the Wiki here. May 8 -- 11, 2013, there was a special session on Univalent Foundations at the North American Annual Meeting of the Association for Symbolic…

  • General Meta Tags

    10
    • title
      Events | Homotopy Type Theory
    • charset
      UTF-8
    • robots
      max-image-preview:large
    • generator
      WordPress.com
    • article:published_time
      2011-03-13T05:54:41+00:00

  • Open Graph Meta Tags

    10
    • og:type
      article
    • og:title
      Events
    • og:url
      https://homotopytypetheory.org/events/
    • og:description
      Here are some past HoTT events. The Institute for Advanced Study had a year-long special program devoted to the Univalent Foundations Program in 2012-13.  See the list of Participants here.  See th…
    • og:site_name
      Homotopy Type Theory

  • Twitter Meta Tags

    3
    • twitter:text:title
      Events
    • twitter:image
      https://secure.gravatar.com/blavatar/17cafeb69ca3ce791373a3386099f92e03dd0f03b76a53292d670a553cc609e6?s=240
    • twitter:card
      summary

  • Link Tags

    30
    • EditURI
      https://hottheory.wordpress.com/xmlrpc.php?rsd
    • alternate
      https://homotopytypetheory.org/feed/
    • alternate
      https://homotopytypetheory.org/comments/feed/
    • alternate
      https://homotopytypetheory.org/events/feed/
    • alternate
      https://public-api.wordpress.com/oembed/?format=json&url=https%3A%2F%2Fhomotopytypetheory.org%2Fevents%2F&for=wpcom-auto-discovery

Links

143