{
    "144700-21895741":
    {
        "datetime_modified":"20260208T220419",
        "datetime_start":"20260213T130000",
        "datetime_end":"20260213T140000",
        "has_end_time":1,
        "date_start":"2026-02-13",
        "date_end":"2026-02-13",
        "time_start":"13:00:00",
        "time_end":"14:00:00",
        "time_zone":"America\/Detroit",
        "event_title":"Type theory seminar: Inductive types",
        "occurrence_title":"",
        "combined_title":"Type theory seminar: Inductive types: Ethan Parker",
        "event_subtitle":"Ethan Parker",
        "event_type":"Workshop \/ Seminar",
        "event_type_id":"21",
        "description":"This is a learning seminar on dependent type theory, following Egbert Rijke's book \"Introduction to Homotopy Type Theory.\" This talk will cover chapter 4 of Rijke's book, on inductive types.",
        "occurrence_notes":null,
                "guid":"144700-21895741@events.umich.edu",
        "permalink":"http:\/\/events.umich.edu\/event\/144700",
        "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":""                },             {
                "group_name":"Department of Mathematics",
                "group_id":"3791",
                "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":21895741
    }    ,    "144370-21895240":
    {
        "datetime_modified":"20260209T181619",
        "datetime_start":"20260213T132000",
        "datetime_end":"20260213T135000",
        "has_end_time":1,
        "date_start":"2026-02-13",
        "date_end":"2026-02-13",
        "time_start":"13:20:00",
        "time_end":"13:50:00",
        "time_zone":"America\/Detroit",
        "event_title":"Adam Lenhart, carillon",
        "occurrence_title":"",
        "combined_title":"Adam Lenhart, carillon",
        "event_subtitle":"",
        "event_type":"Performance",
        "event_type_id":"15",
        "description":"Graduate student Adam Lenhart performs on the Ann & Robert H. Lurie Carillon, an instrument of 60 bells with the lowest bell (bourdon) weighing 6 tons.\n\nThirty-minute recitals are performed on the Lurie Carillon every weekday that classes are in session. During these recitals, visitors may take the elevator to level 2 to view the largest bells, or to level 3 to see the carillonist performing. (Visitors subject to acrophobia are recommended to visit level 2 only.) An optional spiral stairway between levels 2 and 3 allows for up-close views of some of the largest bells.",
        "occurrence_notes":null,
                "guid":"144370-21895240@events.umich.edu",
        "permalink":"http:\/\/events.umich.edu\/event\/144370",
        "building_id":"1000394",
        "building_name":"Lurie Ann & Robert H. Tower",
        "campus_maps_id":"91",
        "room":"",
        "location_name":"Lurie Ann & Robert H. Tower",
        "has_livestream":0,
        "cost":"Free - no tickets required",
        "tags":["Free","Music","North Campus"],
        "website":"",
        "sponsors":[
             {
                "group_name":"School of Music, Theatre & Dance (SMTD)",
                "group_id":"155",
                "website":"http:\/\/smtd.umich.edu\/events"                }                    ],
        "image_url":"https:\/\/events.umich.edu\/media\/attachments\/2026\/01\/event_144370_original-1.jpg",
        "styled_images":{
                                        "event_thumb":"https:\/\/events.umich.edu\/media\/cache\/resolve\/event_thumb\/media\/attachments\/2026\/01\/event_144370_original-1.jpg",
                                            "event_large":"https:\/\/events.umich.edu\/media\/cache\/event_large\/media\/attachments\/2026\/01\/event_144370_original-1.jpg",
                                            "event_large_2x":"https:\/\/events.umich.edu\/media\/cache\/event_large_2x\/media\/attachments\/2026\/01\/event_144370_original-1.jpg",
                                            "event_large_lightbox":"https:\/\/events.umich.edu\/media\/cache\/event_large_lightbox\/media\/attachments\/2026\/01\/event_144370_original-1.jpg",
                                            "group_thumb":"https:\/\/events.umich.edu\/media\/cache\/resolve\/group_thumb\/media\/attachments\/2026\/01\/event_144370_original-1.jpg",
                                            "group_thumb_square":"https:\/\/events.umich.edu\/media\/cache\/resolve\/group_thumb_square\/media\/attachments\/2026\/01\/event_144370_original-1.jpg",
                                            "group_large":"https:\/\/events.umich.edu\/media\/cache\/resolve\/group_large\/media\/attachments\/2026\/01\/event_144370_original-1.jpg",
                                            "group_large_lightbox":"https:\/\/events.umich.edu\/media\/cache\/group_large_lightbox\/media\/attachments\/2026\/01\/event_144370_original-1.jpg",
                                            "event_large_crop":"https:\/\/events.umich.edu\/media\/cache\/resolve\/event_large_crop\/media\/attachments\/2026\/01\/event_144370_original-1.jpg",
                                            "event_list":"https:\/\/events.umich.edu\/media\/cache\/event_list\/media\/attachments\/2026\/01\/event_144370_original-1.jpg",
                                            "event_list_2x":"https:\/\/events.umich.edu\/media\/cache\/event_list_2x\/media\/attachments\/2026\/01\/event_144370_original-1.jpg",
                                            "event_grid":"https:\/\/events.umich.edu\/media\/cache\/event_grid\/media\/attachments\/2026\/01\/event_144370_original-1.jpg",
                                            "event_grid_2x":"https:\/\/events.umich.edu\/media\/cache\/event_grid_2x\/media\/attachments\/2026\/01\/event_144370_original-1.jpg",
                                            "event_feature_large":"https:\/\/events.umich.edu\/media\/cache\/event_feature_large\/media\/attachments\/2026\/01\/event_144370_original-1.jpg",
                                            "event_feature_thumb":"https:\/\/events.umich.edu\/media\/cache\/resolve\/event_feature_thumb\/media\/attachments\/2026\/01\/event_144370_original-1.jpg"                    },
        "occurrence_count":1,
        "first_occurrence":21895240
    }    }