Events and news relevant to the Laboratory for Foundations of Computer Science

[Chris Heunen <Chris.Heunen@ed.ac.uk>]

I hope everyone who came to last week's CATNIP in Edinburgh enjoyed it. If 
you enjoyed it and want more, or if you didn't enjoy it and want a nicer 
experience, please consider attending the next CATNIP in Aberdeen! It's on 
Friday next week. Details below.


Dear All,

  there will be a meeting of the Categories Networking Project (CATNIP) at 
the University of Aberdeen on Friday 17 October 2025.

Invited speakers will include:

Adrián Doña Mateo (University of Edinburgh)
Imma Galvez Carrillo (University of Malaga)
Andy Tonks (University of Malaga)

Further details can be found on the CATNIP website
https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsites.google.com%2Fview%2Fcatniporg%2Fmeetings%3Fauthuser%3D0&data=05%7C02%7C%7C8738b6d7c77342bd6ec708de07f93743%7C2e9f06b016694589878910a06934dc61%7C0%7C0%7C638956964103263474%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=FVWdUH98iURrUOe5DZ1WhswmSXDYz8W%2BJ4UoWmDpxLM%3D&reserved=0<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsites.google.com%2Fview%2Fcatniporg%2Fmeetings%3Fauthuser%3D0&data=05%7C02%7C%7C8738b6d7c77342bd6ec708de07f93743%7C2e9f06b016694589878910a06934dc61%7C0%7C0%7C638956964103281237%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=Mm2Nk4xuleCl6ul7I3CI2EIl969mqwZbZhLodlWTlh4%3D&reserved=0>

To register, please fill in the following form
https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fdocs.google.com%2Fforms%2Fd%2Fe%2F1FAIpQLSdiG74oRCEnG7GkzyO41YckA8xs8HaJvjfwyhVUUvkkpcDuOQ%2Fviewform&data=05%7C02%7C%7C8738b6d7c77342bd6ec708de07f93743%7C2e9f06b016694589878910a06934dc61%7C0%7C0%7C638956964103296273%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=Lq1rluKtI5ypjqs5hHnHHwooRJprf5TElGiwZsWkBc0%3D&reserved=0<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fdocs.google.com%2Fforms%2Fd%2Fe%2F1FAIpQLSdiG74oRCEnG7GkzyO41YckA8xs8HaJvjfwyhVUUvkkpcDuOQ%2Fviewform&data=05%7C02%7C%7C8738b6d7c77342bd6ec708de07f93743%7C2e9f06b016694589878910a06934dc61%7C0%7C0%7C638956964103311218%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=Ez4SZwSFzdwSsQwjGwEjZJKRRYqQoZHJkGqwXdPSdbk%3D&reserved=0>

We hope to see you in Aberdeen!
Best wishes,
Simona (on behalf of the CATNIP organizers)