<?xml version="1.0" encoding="UTF-8"?> <urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd" xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"> <url> <loc>https://logic-gu.se/announcements/2024-06-24-logic-colloquium/</loc> <lastmod>2024-06-24T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/announcements/2024-06-26-bitarende/</loc> <lastmod>2024-06-26T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/announcements/2024-08-30-new-website/</loc> <lastmod>2024-08-30T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/announcements/2024-10-31-road-to-paradox/</loc> <lastmod>2024-10-31T00:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/announcements/2024-11-01-vr-curzi/</loc> <lastmod>2024-11-01T00:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/announcements/2025-01-04-new-hiring/</loc> <lastmod>2025-01-04T00:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/announcements/2025-09-12-lindstrom-lectures/</loc> <lastmod>2025-09-12T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/announcements/2025-12-23-curzi-promote/</loc> <lastmod>2025-12-23T00:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/announcements/2026-02-20-gothcat/</loc> <lastmod>2026-02-20T00:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/announcements/2026-03-20-slss26/</loc> <lastmod>2026-03-20T00:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/westerstahl-workshop/</loc> <lastmod>2013-05-03T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2013/2013/11/14/wilfrid-hodges-public-LL/</loc> <lastmod>2013-11-14T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2013/2013/11/15/wilfrid-hodges-research-LL/</loc> <lastmod>2013-11-15T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/jaf33/</loc> <lastmod>2014-06-18T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2014/2014/10/22/joan-rand-moschovakis-public-LL/</loc> <lastmod>2014-10-22T14:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2014/2014/10/22/yiannis-moschovakis-public-LL/</loc> <lastmod>2014-10-22T16:30:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2014/2014/10/24/joan-rand-moschovakis-research-LL/</loc> <lastmod>2014-10-24T14:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2014/2014/10/24/yiannis-moschovakis-research-LL/</loc> <lastmod>2014-10-24T16:30:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2017/2017/11/16/albert-visser-public/</loc> <lastmod>2017-11-16T18:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2017/2017/11/16/albert-visser-research/</loc> <lastmod>2017-11-16T18:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/sls2018/</loc> <lastmod>2018-06-11T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2018/2018/06/11/michael-rathjen-public/</loc> <lastmod>2018-06-11T18:30:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2018/2018/06/13/michael-rathjen-research/</loc> <lastmod>2018-06-13T10:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/Gothenburg-Warsaw-Truth-Workshop/</loc> <lastmod>2018-12-06T00:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2019/2019/11/20/johan-van-benthem-public/</loc> <lastmod>2019-11-20T19:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2019/2019/11/21/johan-van-benthem-research/</loc> <lastmod>2019-11-21T14:30:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2020/05/08/fredrik-engstrom/</loc> <lastmod>2020-05-08T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2020/06/05/jean-philippe-bernardy/</loc> <lastmod>2020-06-05T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2020/09/11/paul-kindvall-gorbow/</loc> <lastmod>2020-09-11T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2020/09/25/mateusz-lelyk/</loc> <lastmod>2020-09-25T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2020/10/09/benno-van-den-berg/</loc> <lastmod>2020-10-09T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2020/10/23/stefan-hetzl/</loc> <lastmod>2020-10-23T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2020/11/20/rajeev-gore/</loc> <lastmod>2020-11-20T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2020/12/18/rasmus-blanck/</loc> <lastmod>2020-12-18T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2021/02/12/bahareh-afshari/</loc> <lastmod>2021-02-12T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2021/02/26/barlucchi-and-fokkens/</loc> <lastmod>2021-02-26T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2021/03/12/lance-rips/</loc> <lastmod>2021-03-12T16:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2021/03/22/dag-prawitz/</loc> <lastmod>2021-03-22T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2021/03/26/carlo-nicolai/</loc> <lastmod>2021-03-26T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2021/04/26/jouko-v%C3%A4%C3%A4n%C3%A4nen-nol/</loc> <lastmod>2021-04-26T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2021/05/07/sonia-marin/</loc> <lastmod>2021-05-07T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2021/05/21/mattias-granberg-olsson/</loc> <lastmod>2021-05-21T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2021/05/24/wilfrid-hodges/</loc> <lastmod>2021-05-24T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2021/06/04/juliette-kennedy/</loc> <lastmod>2021-06-04T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2021/06/18/victor-lisinki/</loc> <lastmod>2021-06-18T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2021/06/21/dag-normann/</loc> <lastmod>2021-06-21T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2021/09/17/nachiappan-valliappan/</loc> <lastmod>2021-09-17T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2021/09/27/anupam-das/</loc> <lastmod>2021-09-27T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2021/10/01/mateusz-%C5%82e%C5%82yk/</loc> <lastmod>2021-10-01T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2021/10/15/joao-pedro-paulos/</loc> <lastmod>2021-10-15T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2021/10/25/erich-gr%C3%A4del/</loc> <lastmod>2021-10-25T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2021/10/29/fredrik-engstr%C3%B6m/</loc> <lastmod>2021-10-29T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2021/11/12/graham-leigh/</loc> <lastmod>2021-11-12T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2021/11/22/sara-l-uckelman/</loc> <lastmod>2021-11-22T17:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2021/11/26/paula-quinon/</loc> <lastmod>2021-11-26T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2021/12/10/dominik-wehr/</loc> <lastmod>2021-12-10T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2021/12/20/lars-birkedal/</loc> <lastmod>2021-12-20T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2022/01/24/johanvanbenthem/</loc> <lastmod>2022-01-24T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2022/01/28/josephine-dik/</loc> <lastmod>2022-01-28T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2022/02/11/sebastian-enqvist/</loc> <lastmod>2022-02-11T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2022/02/28/thierry-coquand/</loc> <lastmod>2022-02-28T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2022/03/11/marianna-girlando/</loc> <lastmod>2022-03-11T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2022/03/25/abhishek-de/</loc> <lastmod>2022-03-25T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2022/03/28/juliette-kennedy/</loc> <lastmod>2022-03-28T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2022/04/08/paul-gorbow/</loc> <lastmod>2022-04-08T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2022/04/25/michael-rathjen/</loc> <lastmod>2022-04-25T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2022/05/06/rasmus-blanck/</loc> <lastmod>2022-05-06T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2022/05/20/daichi-hayashi/</loc> <lastmod>2022-05-20T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2022/05/30/%C3%B8ystein-linnebo/</loc> <lastmod>2022-05-30T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2022/06/03/mauricio-martel/</loc> <lastmod>2022-06-03T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2022/2022/06/20/sara-negri-public/</loc> <lastmod>2022-06-20T18:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2022/2022/06/22/sara-negri-research/</loc> <lastmod>2022-06-22T10:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2022/09/02/helmut-schwichtenberg/</loc> <lastmod>2022-09-02T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/2022/09/16/clasp-conference/</loc> <lastmod>2022-09-16T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2022/09/26/jan-van-plato/</loc> <lastmod>2022-09-26T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/2022/09/30/departmental-conference/</loc> <lastmod>2022-09-30T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2022/10/14/guilermo-menendez-turata/</loc> <lastmod>2022-10-14T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2022/10/24/melvin-fitting/</loc> <lastmod>2022-10-24T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2022/10/28/thomas-studer/</loc> <lastmod>2022-10-28T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2022/11/11/lukas-zenger/</loc> <lastmod>2022-11-11T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2022/11/25/lide-grotenhuis/</loc> <lastmod>2022-11-25T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2022/11/28/laura-crosilla/</loc> <lastmod>2022-11-28T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2022/12/09/dag-westersh%C3%A5hl/</loc> <lastmod>2022-12-09T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2022/12/16/julseminarium/</loc> <lastmod>2022-12-16T15:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2022/12/19/alexandru-baltag/</loc> <lastmod>2022-12-19T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/2022/12/20/barlucchi-licentiate/</loc> <lastmod>2022-12-20T09:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/wld/2023/01/13/world-logic-day/</loc> <lastmod>2023-01-13T17:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2023/01/27/vlad-lazar/</loc> <lastmod>2023-01-27T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2023/01/30/vann-mcgee/</loc> <lastmod>2023-01-30T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2023/02/10/graham-leigh/</loc> <lastmod>2023-02-10T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/2023/02/27/fokkens-licentiate/</loc> <lastmod>2023-02-27T10:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2023/02/27/sven-ove-hansson/</loc> <lastmod>2023-02-27T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2023/03/10/orvar-lorimer-olsson/</loc> <lastmod>2023-03-10T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2023/03/27/ali-enayat/</loc> <lastmod>2023-03-27T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2023/04/03/anouk-oudshoorn/</loc> <lastmod>2023-04-03T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2023/04/21/johannes-klubhofer/</loc> <lastmod>2023-04-21T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2023/04/24/neil-tennant/</loc> <lastmod>2023-04-24T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/wofpip</loc> <lastmod>2023-04-28T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/2023/04/28/wehr-licentiate/</loc> <lastmod>2023-04-28T14:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2023/2023/05/11/rineke-verbrugge-public/</loc> <lastmod>2023-05-11T18:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2023/2023/05/12/rineke-verbrugge-research/</loc> <lastmod>2023-05-12T10:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2023/05/22/magdalena-ortiz/</loc> <lastmod>2023-05-22T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2023/05/26/david-cerna/</loc> <lastmod>2023-05-26T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2023/05/26/raheleh-jalali/</loc> <lastmod>2023-05-26T13:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2023/08/28/thomas-agotnes/</loc> <lastmod>2023-08-28T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/2023/09/12/learning-with-small-data/</loc> <lastmod>2023-09-12T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2023/09/15/gianluca-curzi/</loc> <lastmod>2023-09-15T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2023/09/25/thomas-bolander/</loc> <lastmod>2023-09-25T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2023/09/29/graham-leigh/</loc> <lastmod>2023-09-29T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2023/10/13/ivan-di-liberti/</loc> <lastmod>2023-10-13T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2023/10/27/giacomo-barlucchi/</loc> <lastmod>2023-10-27T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2023/10/30/dag-westerstahl/</loc> <lastmod>2023-10-30T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2023/11/27/sonia-smets/</loc> <lastmod>2023-11-27T15:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2023/12/08/tjeerd-fokkens/</loc> <lastmod>2023-12-08T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2023/12/18/goran-sundholm/</loc> <lastmod>2023-12-18T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/wld/2024/01/14/world-logic-day/</loc> <lastmod>2024-01-14T17:30:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2024/01/29/peter-pagin/</loc> <lastmod>2024-01-29T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2024/03/04/lauri-hella/</loc> <lastmod>2024-03-04T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2024/03/13/lingyaun-ye/</loc> <lastmod>2024-03-13T09:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2024/03/22/daniel-hausmann/</loc> <lastmod>2024-03-22T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2024/03/25/albert-visser/</loc> <lastmod>2024-03-25T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2024/2024/04/15/phokian-kolaitis-public/</loc> <lastmod>2024-04-15T18:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2024/2024/04/17/phokion-kolaitis-research/</loc> <lastmod>2024-04-17T10:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2024/05/03/ivan-di-liberti/</loc> <lastmod>2024-05-03T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2024/05/17/orvar-lorimer-olsson/</loc> <lastmod>2024-05-17T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2024/05/27/ana-maria-mora-marquez/</loc> <lastmod>2024-05-27T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2024/06/03/ivano-ciardelli/</loc> <lastmod>2024-06-03T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2024/06/17/dominik-kirst/</loc> <lastmod>2024-06-17T14:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/2024/06/28/logic-colloquium/</loc> <lastmod>2024-06-28T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2024/08/26/eric-pacuit/</loc> <lastmod>2024-08-26T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2024/08/30/daniel-otten/</loc> <lastmod>2024-08-30T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2024/09/06/zach-mckenzie/</loc> <lastmod>2024-09-06T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2024/09/13/lide-grotenhuis/</loc> <lastmod>2024-09-13T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2024/09/30/nina-gierasimczuk/</loc> <lastmod>2024-09-30T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2024/10/04/lide-grotenhuis/</loc> <lastmod>2024-10-04T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2024/10/18/mattias-granberg-olsson/</loc> <lastmod>2024-10-18T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2024/10/21/asa-hirvonen/</loc> <lastmod>2024-10-21T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2024/11/01/paaras-padhiar/</loc> <lastmod>2024-11-01T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2024/11/25/wes-holliday/</loc> <lastmod>2024-11-25T17:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2024/11/29/pietro-brocci/</loc> <lastmod>2024-11-29T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2024/12/23/balder-ten-cate/</loc> <lastmod>2024-12-23T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2025/01/10/guillermo-badia/</loc> <lastmod>2025-01-10T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/wld/2025/01/12/world-logic-day/</loc> <lastmod>2025-01-12T17:30:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2025/01/24/lukas-melgaard/</loc> <lastmod>2025-01-24T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2025/01/27/fredrik-engstrom/</loc> <lastmod>2025-01-27T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2025/02/07/freek-geerligs/</loc> <lastmod>2025-02-07T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2025/02/24/elaine-pimentel/</loc> <lastmod>2025-02-24T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2025/03/07/ivan-di-liberti/</loc> <lastmod>2025-03-07T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2025/03/21/errol-yuksel/</loc> <lastmod>2025-03-21T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2025/03/24/peter-emde-boas-ghica-van-emde-boas/</loc> <lastmod>2025-03-24T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2025/04/04/paula-quinon/</loc> <lastmod>2025-04-04T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2025/04/28/yde-venema/</loc> <lastmod>2025-04-28T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2025/05/16/giovanni-varricchioni/</loc> <lastmod>2025-05-16T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/2025/05/23/tjeerd-fokkens-final-seminar/</loc> <lastmod>2025-05-23T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2025/05/26/hannes-leitgeb/</loc> <lastmod>2025-05-26T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2025/05/28/luca-reggio/</loc> <lastmod>2025-05-28T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2025/06/03/makoto-fujiwara/</loc> <lastmod>2025-06-03T13:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/2025/06/05/mattias-granberg-olsson/</loc> <lastmod>2025-06-05T13:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/2025/08/25/krister-segerberg-memorial/</loc> <lastmod>2025-08-25T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2025/08/25/segeberg-seminar-johan-van-benthem/</loc> <lastmod>2025-08-25T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2025/08/25/segeberg-seminar-john-cantwell/</loc> <lastmod>2025-08-25T16:45:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2025/08/29/stephen-mackereth/</loc> <lastmod>2025-08-29T15:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2025/09/05/lachlan-mcpheat/</loc> <lastmod>2025-09-05T15:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2025/09/12/martino-lupini/</loc> <lastmod>2025-09-12T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2025/09/12/paaras-padhiar/</loc> <lastmod>2025-09-12T15:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/cyclothon25</loc> <lastmod>2025-09-26T13:30:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2025/09/29/peter-lafanu-lumsdaine/</loc> <lastmod>2025-09-29T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2025/10/10/bahareh-afshari/</loc> <lastmod>2025-10-10T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2025/10/24/gabriel-saadia/</loc> <lastmod>2025-10-24T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2025/10/27/david-makinson/</loc> <lastmod>2025-10-27T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/2025/11/07/tjeerd-fokkens-defence/</loc> <lastmod>2025-11-07T13:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2025/2025/11/17/jouko-vaananen-public/</loc> <lastmod>2025-11-17T18:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/2025/2025/11/18/jouko-vaananen-research/</loc> <lastmod>2025-11-18T10:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2025/11/21/sam-van-gool/</loc> <lastmod>2025-11-21T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/2025/12/05/giacomo-barlucchi-final-seminar/</loc> <lastmod>2025-12-05T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/2025/12/12/dominik-wehr-defence/</loc> <lastmod>2025-12-12T13:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2025/12/15/phokion-kolaitis/</loc> <lastmod>2025-12-15T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2026/01/09/guillermo-badia/</loc> <lastmod>2026-01-09T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/wld/2026/01/17/world-logic-day/</loc> <lastmod>2026-01-17T18:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2026/01/23/ivan-di-liberti/</loc> <lastmod>2026-01-23T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2026/01/26/henry-towsner/</loc> <lastmod>2026-01-26T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2026/02/06/gianluca-curzi/</loc> <lastmod>2026-02-06T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2026/02/20/zach-mckenzie/</loc> <lastmod>2026-02-20T10:15:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2026/02/23/fan-yang/</loc> <lastmod>2026-02-23T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2026/03/16/yiannis-moschovakis/</loc> <lastmod>2026-03-16T16:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2026/04/17/graham-leigh/</loc> <lastmod>2026-04-17T10:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2026/04/27/ana-ozaki/</loc> <lastmod>2026-04-27T16:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2026/05/25/wang-yanjing/</loc> <lastmod>2026-05-25T15:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2026/05/26/umberto-tarantino/</loc> <lastmod>2026-05-26T13:15:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/2026/06/11/giacomo-barlucchi-defence/</loc> <lastmod>2026-06-11T13:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2026/06/22/leon-horsten/</loc> <lastmod>2026-06-22T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/slss26</loc> <lastmod>2026-08-23T17:30:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2026/08/31/ian-pratt-hartmann/</loc> <lastmod>2026-08-31T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2026/09/04/carolos-lameris/</loc> <lastmod>2026-09-04T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2026/09/18/stella-mahler/</loc> <lastmod>2026-09-18T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2026/09/28/nordic-logic/</loc> <lastmod>2026-09-28T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2026/10/02/logic-seminar/</loc> <lastmod>2026-10-02T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2026/10/16/logic-seminar/</loc> <lastmod>2026-10-16T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2026/10/23/dominik-wehr/</loc> <lastmod>2026-10-23T00:00:00+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2026/10/26/kit-fine/</loc> <lastmod>2026-10-26T00:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2026/10/30/logic-seminar/</loc> <lastmod>2026-10-30T00:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2026/11/13/logic-seminar/</loc> <lastmod>2026-11-13T00:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2026/11/27/logic-seminar/</loc> <lastmod>2026-11-27T00:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2026/11/30/nordic-online/</loc> <lastmod>2026-11-30T00:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2026/12/11/logic-seminar/</loc> <lastmod>2026-12-11T00:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/seminars/2026/12/18/logic-seminar/</loc> <lastmod>2026-12-18T00:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/nol/2026/12/21/nordic-online/</loc> <lastmod>2026-12-21T00:00:00+01:00</lastmod> </url> <url> <loc>https://logic-gu.se/ciss19/</loc> <lastmod>2026-09-01T02:40:20+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/activities/</loc> </url> <url> <loc>https://logic-gu.se/events/2005-2013</loc> </url> <url> <loc>https://logic-gu.se/events/2014-2019</loc> </url> <url> <loc>https://logic-gu.se/_pages/dropdown/</loc> </url> <url> <loc>https://logic-gu.se/</loc> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/</loc> </url> <url> <loc>https://logic-gu.se/resources/learning-latex</loc> </url> <url> <loc>https://logic-gu.se/announcements/</loc> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/per-lindstrom/</loc> </url> <url> <loc>https://logic-gu.se/poster/</loc> </url> <url> <loc>https://logic-gu.se/group/</loc> </url> <url> <loc>https://logic-gu.se/resources/</loc> </url> <url> <loc>https://logic-gu.se/seminars/</loc> </url> <url> <loc>https://logic-gu.se/teaching/</loc> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/the-lindstrom-lectures-2013/</loc> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/the-lindstrom-lectures-2014/</loc> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/the-lindstrom-lectures-2017/</loc> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/the-lindstrom-lectures-2018/</loc> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/the-lindstrom-lectures-2019/</loc> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/the-lindstrom-lectures-2022/</loc> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/the-lindstrom-lectures-2023/</loc> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/the-lindstrom-lectures-2024/</loc> </url> <url> <loc>https://logic-gu.se/lindstrom-lectures/the-lindstrom-lectures-2025/</loc> </url> <url> <loc>https://logic-gu.se/events/2013/</loc> </url> <url> <loc>https://logic-gu.se/events/2014/</loc> </url> <url> <loc>https://logic-gu.se/events/2017/</loc> </url> <url> <loc>https://logic-gu.se/events/2018/</loc> </url> <url> <loc>https://logic-gu.se/events/2019/</loc> </url> <url> <loc>https://logic-gu.se/events/2020/</loc> </url> <url> <loc>https://logic-gu.se/events/2021/</loc> </url> <url> <loc>https://logic-gu.se/events/2022/</loc> </url> <url> <loc>https://logic-gu.se/events/2023/</loc> </url> <url> <loc>https://logic-gu.se/events/2024/</loc> </url> <url> <loc>https://logic-gu.se/events/2025/</loc> </url> <url> <loc>https://logic-gu.se/events/2026/</loc> </url> <url> <loc>https://logic-gu.se/events/</loc> </url> <url> <loc>https://logic-gu.se/events/2/</loc> </url> <url> <loc>https://logic-gu.se/events/3/</loc> </url> <url> <loc>https://logic-gu.se/wld/</loc> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/beklemishev-abstract.pdf</loc> <lastmod>2026-09-01T02:40:14+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/beklemishev-slides.pdf</loc> <lastmod>2026-09-01T02:40:14+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/blanck-abstract.pdf</loc> <lastmod>2026-09-01T02:40:14+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/blanck-slides.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/d-aquino-abstract.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/d-aquino-slides.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/dimitracopoulos-abstract.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/dimitracopoulos-slides.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/esbelin-abstract.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/esbelin-slides.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/ferreira-lecture-abstract.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/ferreira-lecture-slides.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/ferreira-tutorial-abstract.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/ferreira-tutorial1-slides.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/ferreira-tutorial2-slides.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/jaf33-programme.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/ko%C5%82odziejczyk-abstract.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/ko%C5%82odziejczyk-slides.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/lara-martin-abstract.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/lara-martin-slides.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/marquer-abstract.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/marquer-slides.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/schmerl-abstract.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/schmerl-slides.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/wong-abstract.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/wong-slides.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/yokoyama-abstract.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/14-jaf33/yokoyama-slides.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/18-sls/book_of_abstracts_sls2018.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/events/assets/18-sls/programme_sls2018.pdf</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/unused/assets/plotly/demo.html</loc> <lastmod>2026-09-01T02:40:15+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/_static_sites/ciss19/programme.html</loc> <lastmod>2026-09-01T02:40:14+02:00</lastmod> </url> <url> <loc>https://logic-gu.se/_static_sites/ciss19/programme_blank.html</loc> <lastmod>2026-09-01T02:40:14+02:00</lastmod> </url> </urlset>