{
    "146916-21899790":
    {
        "datetime_modified":"20260323T113109",
        "datetime_start":"20260410T130000",
        "datetime_end":"20260410T140000",
        "has_end_time":1,
        "date_start":"2026-04-10",
        "date_end":"2026-04-10",
        "time_start":"13:00:00",
        "time_end":"14:00:00",
        "time_zone":"America\/Detroit",
        "event_title":"Type theory seminar: Simply typed lambda calculus and normalization",
        "occurrence_title":"",
        "combined_title":"Type theory seminar: Simply typed lambda calculus and normalization: Gavin Bell",
        "event_subtitle":"Gavin Bell",
        "event_type":"Workshop \/ Seminar",
        "event_type_id":"21",
        "description":"This is a learning seminar on dependent type theory. We are currently following Peter Selinger's lecture notes on the lambda calculus (available online here: https:\/\/www.mathstat.dal.ca\/~selinger\/papers\/lambdanotes.pdf). This talk will cover part of chapter 6 (specifically sections 6.1, 6.6, and 6.7) and and chapter 7 of Selinger's notes, on the simply-typed lambda calculus and normalization, respectively. The talk may also incorporate material from chapters 4 and 6 of the textbook \"Proofs and Types\" by Girard, Lafont and Taylor (which cover normalization for the simply typed lambda calculus).",
        "occurrence_notes":null,
                "guid":"146916-21899790@events.umich.edu",
        "permalink":"http:\/\/events.umich.edu\/event\/146916",
        "building_id":"1000166",
        "building_name":"East Hall",
        "campus_maps_id":"53",
        "room":"3088",
        "location_name":"East Hall",
        "has_livestream":0,
        "cost":"",
        "tags":["Mathematics"],
        "website":"https:\/\/umich.zoom.us\/j\/95160391122",
        "sponsors":[
             {
                "group_name":"Logic Seminar - Department of Mathematics",
                "group_id":"4895",
                "website":""                }                    ],
        "image_url":"",
        "styled_images":{
                                        "event_thumb":"",
                                            "event_large":"",
                                            "event_large_2x":"",
                                            "event_large_lightbox":"",
                                            "group_thumb":"",
                                            "group_thumb_square":"",
                                            "group_large":"",
                                            "group_large_lightbox":"",
                                            "event_large_crop":"",
                                            "event_list":"",
                                            "event_list_2x":"",
                                            "event_grid":"",
                                            "event_grid_2x":"",
                                            "event_feature_large":"",
                                            "event_feature_thumb":""                    },
        "occurrence_count":1,
        "first_occurrence":21899790
    }    ,    "146918-21899791":
    {
        "datetime_modified":"20260323T113519",
        "datetime_start":"20260417T130000",
        "datetime_end":"20260417T140000",
        "has_end_time":1,
        "date_start":"2026-04-17",
        "date_end":"2026-04-17",
        "time_start":"13:00:00",
        "time_end":"14:00:00",
        "time_zone":"America\/Detroit",
        "event_title":"Type theory seminar: Type inference",
        "occurrence_title":"",
        "combined_title":"Type theory seminar: Type inference: Ethan Parker",
        "event_subtitle":"Ethan Parker",
        "event_type":"Workshop \/ Seminar",
        "event_type_id":"21",
        "description":"This is a learning seminar on dependent type theory. We are currently following Peter Selinger's lecture notes on the lambda calculus (available online here: https:\/\/www.mathstat.dal.ca\/~selinger\/papers\/lambdanotes.pdf). This talk will cover chapter 9 of Selinger's notes, on algorithms for type checking and type inference in the simply typed lambda calculus.",
        "occurrence_notes":null,
                "guid":"146918-21899791@events.umich.edu",
        "permalink":"http:\/\/events.umich.edu\/event\/146918",
        "building_id":"1000166",
        "building_name":"East Hall",
        "campus_maps_id":"53",
        "room":"3088",
        "location_name":"East Hall",
        "has_livestream":0,
        "cost":"",
        "tags":["Mathematics"],
        "website":"https:\/\/umich.zoom.us\/j\/95160391122",
        "sponsors":[
             {
                "group_name":"Logic Seminar - Department of Mathematics",
                "group_id":"4895",
                "website":""                }                    ],
        "image_url":"",
        "styled_images":{
                                        "event_thumb":"",
                                            "event_large":"",
                                            "event_large_2x":"",
                                            "event_large_lightbox":"",
                                            "group_thumb":"",
                                            "group_thumb_square":"",
                                            "group_large":"",
                                            "group_large_lightbox":"",
                                            "event_large_crop":"",
                                            "event_list":"",
                                            "event_list_2x":"",
                                            "event_grid":"",
                                            "event_grid_2x":"",
                                            "event_feature_large":"",
                                            "event_feature_thumb":""                    },
        "occurrence_count":1,
        "first_occurrence":21899791
    }    }