Service
Member of the Editorial Board of Archive for Mathematical Logic (2024-?).
Member of the Editorial Board of the Journal of Multiple-Valued Logic and Soft Computing (2020− ?).
Reviewer of grants for the Czech Science Foundation and the National Science Centre Poland.
Member of the Committee on Logic in Australasia, Association for Symbolic Logic, 2022-2025, 2025-2028.
Member of the Executive of the Australasian Association of Philosophy (2025−?).
Convenor of the Undergraduate Committee of the Australasian Association of Philosophy (2020−2025).
Co-President, Australasian Association for Logic, 2021-2025.
Conferences
Local organizer, 2025 Australasian Association of Philosophy Conference, July 2025, University of Queensland, Brisbane, Australia.
Organizer (with Martin Wirsing), YuriFest 2025 (conference in honour of Yuri Gurevich), Ludwig Maximilian University, Munich, June 2025, Germany.
PC member, CALCO25, 11th Conference on Algebra and Coalgebra in Computer Science, Glasgow, UK, June 2025.
Co-organizer (with Manfred Droste, Phokion Kolaitis, and Carles Noguera), Dagstuhl Seminar "Semirings in Databases, Automata and Logic", Schloss Dagstuhl, February 2025, Germany.
Organizer, Southern Summer Logic Day (World Logic Day Event), January 14 2025, on Zoom.
Organizer (with Sasha Rubin and Shawn Standefer), Australasian Association for Logic 2024 Conference, November 26-28 2024, Hybrid (Zoom and University of Sydney, Australia).
Organizer, Southern Summer Logic Day (World Logic Day Event), January 12 2024, on Zoom.
PC member, WoLLIC 2024, 30th Workshop on Logic, Language, Information and Computation, June 10 to 13, 2024, Bern, Switzerland.
Organizer (with Nick JJ Smith, Shawn Standefer, Koji Tanaka and Zach Weber), Australasian Association for Logic 2023 Conference, November 9-10 2023, Hybrid (Zoom and University of Queensland, Australia). [BSL meeting report]
Organizer (with Sasha Rubin), Australasian Logic Colloquium 2023, November 6-8 2023, Hybrid (Zoom and University of Queensland, Australia) [BSL meeting report].
Organizer, Southern Summer Logic Day (World Logic Day Event), January 13 2023, on Zoom.
Organizer (with Carles Noguera and Lluis Godo), Workshop Finite Model-Theory and Many-Valued Logic: Challenges and Interactions, November 10-12 2022, on Zoom [BSL meeting report].
Organizer (with Nick JJ Smith, Shawn Standefer, Koji Tanaka and Zach Weber), Australasian Association for Logic 2022 Conference, June 22-24 2022, on Zoom.
Organizer, Crossley Festschrift Logic Colloquium, June 14-15 2022, on Zoom.
Organizer (with Nick J J Smith, Shawn Standefer and Zach Weber), Southern Summer Logic Day (World Logic Day Event), January 14 2022, on Zoom.
Organizer (with Shawn Standefer), Australasian Association for Logic 2021 Conference, June 23-25 2021, on Zoom.