https://valvestate.github.io/portfolio/eve/ https://valvestate.github.io/portfolio/sevia/ https://valvestate.github.io/posts/2013/08/blog-post-2/ 2013-08-14T00:00:00+01:00 https://valvestate.github.io/posts/2014/08/blog-post-3/ 2014-08-14T00:00:00+01:00 https://valvestate.github.io/posts/2012/08/blog-post-4/ 2015-08-14T00:00:00+01:00 https://valvestate.github.io/posts/2024/11/math-gen/ 2024-11-01T00:00:00+00:00 https://valvestate.github.io/posts/2012/08/blog-post-4/ 2199-01-01T00:00:00+00:00 https://valvestate.github.io/publication/atva18 2018-10-01T00:00:00+01:00 https://valvestate.github.io/publication/2019-08-14-ijcai19 2019-08-14T00:00:00+01:00 https://valvestate.github.io/publication/2019-08-29-concur19 2019-08-29T00:00:00+01:00 https://valvestate.github.io/publication/aij20 2020-06-26T00:00:00+01:00 https://valvestate.github.io/publication/aplas20 2020-12-01T00:00:00+00:00 https://valvestate.github.io/publication/apin21 2021-08-03T00:00:00+01:00 https://valvestate.github.io/publication/kr21 2021-12-01T00:00:00+00:00 https://valvestate.github.io/publication/amai22 2022-07-05T00:00:00+01:00 https://valvestate.github.io/publication/csl24a 2024-02-21T00:00:00+00:00 https://valvestate.github.io/publication/csl24b 2024-02-21T00:00:00+00:00 https://valvestate.github.io/publication/ijcai24 2024-08-08T00:00:00+01:00 https://valvestate.github.io/publication/ecai24 2024-10-17T00:00:00+01:00 https://valvestate.github.io/publication/lmcs24 2024-12-04T00:00:00+00:00 https://valvestate.github.io/publication/aaai25 2025-04-11T00:00:00+01:00 https://valvestate.github.io/talks/radical17 2017-09-04T00:00:00+01:00 https://valvestate.github.io/talks/radical19 2019-08-26T00:00:00+01:00 https://valvestate.github.io/talks/logicandgames 2020-01-01T00:00:00+00:00 https://valvestate.github.io/talks/sr20 2020-09-08T00:00:00+01:00 https://valvestate.github.io/talks/ijcai21 2021-08-23T00:00:00+01:00 https://valvestate.github.io/talks/whitemech 2021-11-04T00:00:00+00:00 https://valvestate.github.io/talks/icamsac23 2023-11-21T00:00:00+00:00 https://valvestate.github.io/talks/glasgow23 2023-12-06T00:00:00+00:00 https://valvestate.github.io/talks/aberdeen23 2024-04-17T00:00:00+01:00 https://valvestate.github.io/talks/easss24 2024-08-22T00:00:00+01:00 https://valvestate.github.io/teaching/2016-IS 2016-10-11T00:00:00+01:00 https://valvestate.github.io/teaching/2017-IS 2017-10-11T00:00:00+01:00 https://valvestate.github.io/teaching/2018-LP 2018-01-11T00:00:00+00:00 https://valvestate.github.io/teaching/2018-CGT 2018-10-11T00:00:00+01:00 https://valvestate.github.io/teaching/2019-CGT-AIMS 2019-01-11T00:00:00+00:00 https://valvestate.github.io/teaching/2019-logic19w 2019-10-26T00:00:00+01:00 https://valvestate.github.io/teaching/2021-gt21w 2021-10-26T00:00:00+01:00 https://valvestate.github.io/teaching/2022-pda 2022-09-12T00:00:00+01:00 https://valvestate.github.io/teaching/2024-ai 2024-09-09T00:00:00+01:00 https://valvestate.github.io/teaching/2024-rmse 2024-09-09T00:00:00+01:00 https://valvestate.github.io/ https://valvestate.github.io/archive-layout-with-content/ https://valvestate.github.io/categories/ https://valvestate.github.io/collection-archive/ https://valvestate.github.io/cv/ https://valvestate.github.io/markdown/ https://valvestate.github.io/misc/ https://valvestate.github.io/non-menu-page/ https://valvestate.github.io/page-archive/ https://valvestate.github.io/portfolio/ https://valvestate.github.io/publications/ https://valvestate.github.io/sitemap/ https://valvestate.github.io/tags/ https://valvestate.github.io/talkmap.html https://valvestate.github.io/talks/ https://valvestate.github.io/teaching/ https://valvestate.github.io/terms/ https://valvestate.github.io/year-archive/ https://valvestate.github.io/_pages/about_old/ https://valvestate.github.io/markdown_generator/ https://valvestate.github.io/files/aberdeen23.pdf 2025-12-23T21:30:31+00:00 https://valvestate.github.io/files/aij20.pdf 2025-12-23T21:30:31+00:00 https://valvestate.github.io/files/amai22.pdf 2025-12-23T21:30:31+00:00 https://valvestate.github.io/files/aplas20.pdf 2025-12-23T21:30:31+00:00 https://valvestate.github.io/files/atva18.pdf 2025-12-23T21:30:31+00:00 https://valvestate.github.io/files/concur19.pdf 2025-12-23T21:30:31+00:00 https://valvestate.github.io/files/csl24a.pdf 2025-12-23T21:30:31+00:00 https://valvestate.github.io/files/csl24b.pdf 2025-12-23T21:30:31+00:00 https://valvestate.github.io/files/easss24.pdf 2025-12-23T21:30:31+00:00 https://valvestate.github.io/files/ijcai19.pdf 2025-12-23T21:30:31+00:00 https://valvestate.github.io/files/ijcai21.pdf 2025-12-23T21:30:32+00:00 https://valvestate.github.io/files/kr21.pdf 2025-12-23T21:30:32+00:00 https://valvestate.github.io/files/logicandgames.pdf 2025-12-23T21:30:32+00:00 https://valvestate.github.io/files/ociamthesismain.pdf 2025-12-23T21:30:32+00:00 https://valvestate.github.io/files/radical17.pdf 2025-12-23T21:30:32+00:00 https://valvestate.github.io/files/radical17_slides.pdf 2025-12-23T21:30:32+00:00 https://valvestate.github.io/files/radical19.pdf 2025-12-23T21:30:32+00:00 https://valvestate.github.io/files/radical19_slides.pdf 2025-12-23T21:30:32+00:00 https://valvestate.github.io/files/slides_glasgow.pdf 2025-12-23T21:30:32+00:00 https://valvestate.github.io/files/slides_icamsac.pdf 2025-12-23T21:30:32+00:00 https://valvestate.github.io/files/sr20.pdf 2025-12-23T21:30:32+00:00 https://valvestate.github.io/files/sr20_slides.pdf 2025-12-23T21:30:32+00:00 https://valvestate.github.io/files/whitemech.pdf 2025-12-23T21:30:32+00:00 https://valvestate.github.io/talkmap/map.html 2025-12-23T21:30:32+00:00