HOME / CALENDAR /

Past Events

  • No events are available for export
  • 2022 Oct 25

    Cubical Type Theory

    11:15am to 12:30pm

    Jonas will present the following paper and lead the discussion.

     

    Cyril Cohen, Thierry Coquand, Simon Huber, and Anders Mörtberg. 2016. Cubical Type Theory: a constructive interpretation of the univalence axiom. arXiv (2016). DOI:https://doi.org/10.48550/arxiv.1611.02108

     

    Read more about Cubical Type Theory
  • 2022 Oct 20

    Law

    11:15am to 12:30pm

    Chelse Swoopes will present the following paper and lead the discussion.

    Shrutarshi Basu, Nate Foster, and James Grimmelmann. 2019. Property conveyances as a programming language. In Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, SPLASH ’19: 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, ACM, New York, NY, USA, 128–142. DOI:https://doi.org/10.1145/3359591.3359734

    Read more about Law
  • 2022 Oct 13

    Homotopical patch theory

    11:15am to 12:30pm

    Jason Chen will present the following paper and lead the discussion.

     

    Carlo Angiuli, Edward Morehouse, Daniel R. Licata, and Robert Harper. 2014. Homotopical patch theory. ICFP. DOI:https://doi.org/10.1145/2692915.2628158

     

    Read more about Homotopical patch theory
  • 2022 Oct 11

    JavaScript promises

    11:15am to 12:30pm

    Max Snyder will present the following paper and lead the discussion.

     

    Magnus Madsen, Ondřej Lhoták, and Frank Tip. 2017. A model for reasoning about JavaScript promises. Proc. ACM Program. Lang. 1, OOPSLA (October 2017), 1–24. DOI:https://doi.org/10.1145/3133910

     

    Read more about JavaScript promises
  • 2022 Oct 04

    Natural Language Semantics

    11:15am to 12:30pm

    Ye Joo Han will introduction natural language semantics and lead the discussion.

    Elizabeth Coppock and Lucas Champollion. 2021. Invitation to Formal Semantics.
    (Parts of Chapters 6 and 7).

Pages