Skip to main content
Mathematics
Toggle navigation menu
Mathematics

Group Nav

  • Activities Toggle Activities submenu
    • School Seminars
    • Conferences & Workshops
    • Named Lectures
    • Special Years
  • Programs Toggle Programs submenu
    • Salem Prize
    • WAM
    • Summer Collaborators
    • Minerva Research Program
    • Park City Mathematics Institute
    • The Geometry of Flows
  • Videos
  • People Toggle People submenu
    • Faculty
    • Staff
    • Members
    • Previous Scholars
  • Services Toggle Services submenu
    • Computing
    • Email
    • Math & Natural Sciences Library
    • Coming to IAS
  • Apply Toggle Apply submenu
    • Membership
    • Sabbatical Application
    • Summer Collaborators
    • WAM
    • Permanent Faculty

  • Campus Resources
  • Library
  • Dining

Breadcrumb

  1. Home
  2. School of Mathematics
  3. Univalent Foundations Seminar
School of Mathematics Event

Univalent Foundations Seminar

Constructing HITs in a Realizability Model

Date & Time

December 20, 2012 | 11:00am – 12:30pm

Location

West Bldg. Lecture Hall

Speakers

Andrej Bauer, Institute for Advanced Study

Affiliation

University of Ljubljana

Event Series

Special Year Seminar - Math

Categories

Mathematics
Academic

Tags

Special Year 2012-13: Univalent Foundations of Mathematics
Special Year 2012-13: Univalent Foundations of Mathematics - Seminar

Footer menu

  • Privacy
  • Careers
  • Press Center
  • Libraries & Archives
  • Store
  • Contact

School of Mathematics

Institute for Advanced Study
1 Einstein Drive
Princeton, New Jersey
08540 USA

Phone

(609) 734-8100

Email

math@math.ias.edu

Fax

(609) 951-4459

Support

Help our scientists and scholars continue their field-shaping work.

Give Now

Connect

eNews Signup

Copyright © 2025 Institute for Advanced Study