Arne Meier
Community Services
Program Committee Member
(AAAI) AAAI Conference on Artificial Intelligence (2021, 2023, 2024, 2025) (AAMAS) International Conference on Autonomous Agents and Multi-Agent Systems (2024) (FCAI) Workshop on Foundations and Future of Change in Artificial Intelligence (2025) (FoIKS) International Symposium on Foundations of Information and Knowledge Systems (2024 Co-Chair, 2026) (IJCAI) International Joint Conference on Artificial Intelligence (2021, 2022, 2023, 2024, 2025, 2026),
Distinguished PC Member (2021, 2022)(JELIA) European Conference on Logics in Artificial Intelligence (2025) (LLC) International Workshop on Logic and Computational Complexity (2019) (PRICAI) Pacific Rim International Conference Series on Artificial Intelligence (2024) (STACS) International Symposium on Theoretical Aspects of Computer Science (2023)
Steering Committee Member
(FoIKS) International Symposium on Foundations of Information and Knowledge Systems
Conference Reviewing
AAAI (2021, 2023, 2024, 2025)AAMAS (2024)AiML (2014)CiE (2018, 2021, 2022)CSL (2018, 2021, 2022, 2024, 2025, 2026)CSR (2019)ESA (2021, 2022)FoIKS (2024, 2026)FoSSaCS (2015)ICALP (2014, 2020, 2021, 2026)IJCAI (2021−2025)JELIA (2023, 2025)LICS (2022, 2023)LODE (2020, 2021)KR (2024)MFCS (2016, 2022, 2025)SAT (2012−2014, 2018, 2023)STACS (2012, 2014−2018, 2020, 2021, 2023, 2025, 2026)STOC (2022)TAMC (2011)WoLLIC (2016)
Journal Reviewing
ACM Transactions on Computational Logic (ACM ToCL) Algorithmica, Springer Annals of Mathematics and Artificial Intelligence (AMAI) Information Processing Letters (IPL) Journal of Artificial Intelligence Research (JAIR) Journal of Logic and Computation, Oxford Academic Journal of Logic, Language and Information, Springer Journal on Satisfiability, Boolean Modelling and Computation (JSAT) Mathematical Logic Quarterly (MLQ) Mathematical Reviews (MR) Theory of Computing Systems, Springer zbMATH Open
Project Application Reviewing
Powered by Jekyll and Minimal Light theme.