• Current Events
  • Past Events

  • Mar08

    This workshop is intended to serve as an API 101 and will give students an introduction to Postman logo student programs.



    WiCS logo


    6:00pm to 7:00pm
    Zoom - See emails for details
    Women in Computing Science (WiCS)
  • Mar09

    Join the University of Iowa branch of the Institute of Electrical and Electronics Engineers for our spotlight series! This week: Professor Kearney talks computer-human interaction, VR and AR!

    Hank study picHank study pic




    3:00pm to 5:00pm
    Joe Kearney
    University of Iowa branch - Institute of Electrical and Electronics Engineers
  • Mar12

    Gradual typing combines static and dynamic typing in the same program. Siek et al. (2015) describe five criteria for gradually typed languages, including type soundness and the gradual guarantee. A significant number of languages have been developed in academia and industry that support some of these criteria (TypeScript, Typed Racket, Safe TypeScript, Transient Reticulated Python, Thorn, etc.) but relatively few support all the criteria (Nom, Gradualtalk, Guarded Reticulated Python). Of those that do, only Nom does so efficiently.

    4:00pm to 5:00pm
    Zoom - See emails for details
    Jeremy Siek
    Indiana University
Subscribe to Events