Skip to main content ITU
Logo
  • Programmes
    • BSc Programmes
    • BSc in Global Business Informatics
    • BSc in Digital Design and Interactive Technologies
    • BSc in Software Development
    • BSc in Data Science
    • Applying for a BSc programme
    • MSc Programmes
    • MSc in Digital Innovation & Management
    • MSc in Digital Design and Interactive Technologies
    • MSc in Software Design
    • MSc in Data Science
    • MSc in Computer Science
    • MSc in Games
    • Applying for an MSc programme
    • Student Life
    • Practical information for international students
    • Ask a student
    • Women in tech
    • Student organisations at ITU
    • Study start
    • Labs for students
    • Special Educational Support (SPS)
    • Study and Career Guidance
    • Exchange student
    • Become an exchange student
    • Guest Students
    • Who can be a guest student?
    • ITU Summer University
    • Open House
    • Open House - BSc programmes
    • Open House - MSc programmes
  • Professional Education
    • Master in IT Management
    • Master in IT Management
    • Admission and entry requirements
    • Contact
    • Single Subjects
    • About single subjects
    • Admission and entry requirements
    • Contact
    • Short courses | ITU Professional Courses
    • See all short courses
    • Contact
    • Contact
    • Contact us here
  • Research
    • Sections
    • Data Science
    • Data, Systems, and Robotics
    • Digital Business Innovation
    • Digitalization Democracy and Governance
    • Human-Computer Interaction and Design
    • Play Culture and AI
    • Software Engineering
    • Technologies in Practice
    • Theoretical Computer Science
    • Research Centres
    • Centre for Digital Play
    • Center for Climate IT
    • Center for Computing Education Research
    • Centre for Digital Welfare
    • Centre for Information Security and Trust
    • Research Centre for Government IT
    • Danish Institute for IT Program Management
    • Research entities
    • Research centers
    • Sections
    • Research groups
    • Labs
    • ITU Research Portal
    • Find Researcher
    • Find Research
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Technical Reports
    • Technical Reports
    • PhD Programme
    • About the PhD Programme
    • PhD Courses
    • PhD Defences
    • PhD Positions
    • Types of Enrolment
    • PhD Admission Requirements
    • PhD Handbook
    • PhD Support
  • Collaboration
    • Collaboration with students
    • Project collaboration
    • Project Market
    • Student worker
    • Project postings
    • Job and Project bank
    • Employer Branding
    • IT Match Making
    • Hiring an ITU student or graduate
    • Make a post in the job bank
    • Research collaboration
    • Read more about research collaboration at ITU
    • Industrial PhD
    • Hire an Industrial PhD
    • Maritime Hub
    • Innovation and entrepreneurship
    • ITU Business Development
    • ITU NextGen
  • About ITU
    • About ITU
    • Press
    • Vacancies
    • Contact
  • DK
PhD Programme
ITU  /  Research  /  PhD Programme  /  Courses  /  Archive  /  2014  /  PhD course - Cubical sets
  • Research
    • Research Sections
    • Research Ethics and Integrity
    • Good Scientific Practice
    • Research centers
    • Research groups
    • Labs
    • Technical Reports
    • PhD Programme
      • About the PhD Programme
      • Courses
        • 2025
        • 2024
        • Archive
          • 2023
          • 2022
          • 2021
          • 2020
          • 2019
          • 2018
          • 2017
          • 2016
          • 2015
          • 2014
            • PhD course - Analysis, Test and Verification in The Presence of Variability
            • PhD course - Children's interactions with emerging technologies and media literacy
            • PhD course - Citizenship in the Digital Republic
            • PhD course - Coccinelle: A Program Matching and Transformation Tool for Systems Code
            • PhD course - Code Scanning
            • PhD course - Complex Systems Thinking and Systems of Systems Management in IS
            • PhD course - Cubical sets
              • PhD Course - Homotopy type theory seminar
              • PhD Course - Material Play
              • PhD Course - Socialising Big Data
              • PhD Course - Structural Proof Theory
              • PhD Course - Technologies of Time
              • PhD Course - TransIT PhD Connect Symposium
            • 2013
            • 2012
            • 2011
            • 2010
        • Defences
        • PhD Positions
        • Types of Enrolment
        • PhD Admission Requirements
        • Handbook
        • PhD Support

    PhD course - Cubical sets

    Organizer

    Rasmus Ejlers Møgelberg, TCS, PLS

    Lectures:

    Thierry Coquand and Simon Huber

    Date(s) of the course:

    Dec 1 and 2, 2014

    Time:

    Dec 1: 13.00-15.00
    Dec 2: 13.00-15.00

    Place:

    TBA

    Course description
    This is an informal extension of the homotopy type theory seminar I gave in the Spring. I have
    invited the lecturers to explain their cubical sets model of the univalence axiom. This axiom is
    central to homotopy type theory, and its only justification is the cubical sets model (or the similar
    simplicial sets model).

    TCS is paying for the hotel, the lecturers will pay their own travel expenses. I would like to have
    funding for inviting the lecturers for dinner. Not all students will participate in the dinner, but I
    would like to invite also Carsten Schurman, Nicolas Pouillard, Daniel Gustafson, Ales Bizjak (visitor
    from Aarhus), and perhaps one or two more interested students. These all have a direct research
    interest shared with the lecturers.

    Programme:

    Lecture one on Monday 13-15, lecture 2 on Tuesday 13-15

    Prerequisites:

    Knowledge of homotopy type theory e.g. from the homotopy type theory seminar.

    Credits:

    1 ECTS 

    Amount of hours the student is expected to use on the course:

    Participation: 4 hours



    Contact us

    Phone
    +45 7218 5000
    E-mail
    itu@itu.dk

    All contact information

    Web Accessibility Statement

    Find us

    IT University of Copenhagen
    Rued Langgaards Vej 7
    DK-2300 Copenhagen S
    Denmark
    How to get here

    Follow us

    ITU Student /
    Privacy /
    EAN-nr. 5798000417878/
    CVR-nr. 29 05 77 53 /
    P-nummer 1005162959

    This page is printed from https://itu.dk/

    Fejl i tilmelding