https://clc.cs.uiowa.edu/news/HubersM23/ 2023-01-01T00:00:00+00:00 https://clc.cs.uiowa.edu/news/Tinelli-CADE-23/ 2023-07-01T00:00:00+00:00 https://clc.cs.uiowa.edu/news/MorrisHS/ 2024-01-01T00:00:00+00:00 https://clc.cs.uiowa.edu/news/MorrisDistinguishedPOPL1/ 2024-01-17T00:00:00+00:00 https://clc.cs.uiowa.edu/news/KosaianLorentz/ 2024-03-03T00:00:00+00:00 https://clc.cs.uiowa.edu/news/Tinelli-FT-24/ 2024-05-25T00:00:00+00:00 https://clc.cs.uiowa.edu/news/McCune/ 2024-07-04T00:00:00+00:00 https://clc.cs.uiowa.edu/news/MorrisHaskellFoundationPod/ 2024-07-18T00:00:00+00:00 https://clc.cs.uiowa.edu/news/Tinelli-Marktoberdorf-24/ 2024-08-06T00:00:00+00:00 https://clc.cs.uiowa.edu/news/Tinelli-SAT-24/ 2024-08-21T00:00:00+00:00 https://clc.cs.uiowa.edu/news/Tinelli-FMiF-PI-meeting/ 2024-11-12T00:00:00+00:00 https://clc.cs.uiowa.edu/news/KosaianVSTTE/ 2025-01-01T00:00:00+00:00 https://clc.cs.uiowa.edu/news/Morris-Modfound/ 2025-08-22T00:00:00+00:00 https://clc.cs.uiowa.edu/news/Morris-MWPLS26/ 2026-09-01T00:00:00+00:00 https://clc.cs.uiowa.edu/ https://clc.cs.uiowa.edu/acknowledgements/ https://clc.cs.uiowa.edu/alumni/ https://clc.cs.uiowa.edu/join-us/ https://clc.cs.uiowa.edu/members/ https://clc.cs.uiowa.edu/news/ https://clc.cs.uiowa.edu/projects/ https://clc.cs.uiowa.edu/publications/