Gomes, Luis (ed.) et al., Application and theory of Petri nets and concurrency. 44th international conference, Petri NETS 2023, Lisbon, Portugal, June 25–30, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13929, 369-392 (2023).
Basold, Henning (ed.) et al., 27th international conference on types for proofs and programs, TYPES 2021, Leiden, The Netherlands, virtual conference, June 14–18, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 239, Article 1, 25 p. (2022).
Lierler, Yuliya (ed.) et al., Proceedings of the 38th international conference on logic programming, ICLP 2022, Haifa, Israel, July 31 – August 6, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 364, 93-106 (2022).
Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 737-750 (2022).
Liao, Beishui (ed.) et al., Logics for new-generation AI. Second international workshop, Zhuhai, China, June 10–12, 2022. London: College Publications. 24-35 (2022).
Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6390-8/hbk; 978-1-4704-6835-4/ebook; 978-1-4704-5164-6/ebook). xxi, 604 p. (2022).
Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 7 p. (2021).
Hähnle, Reiner (ed.) et al., Fundamental approaches to software engineering. 22nd international conference, FASE 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11424, 282-298 (2019).
Liao, Beishui (ed.) et al., Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16–17, 2018. Singapore: Springer. Log. Asia: Stud. Log. Libr., 21-43 (2019).
Cornejo, María Eugenia (ed.) et al., Trends in mathematics and computational intelligence. Selected papers based on the presentations at the 9th European symposium on computational intelligence and mathematics, ESCIM 2017, Faro, Portugal, October 4–7, 2017. Cham: Springer. Stud. Comput. Intell. 796, 43-51 (2019).
van Bevern, René (ed.) et al., Computer science – theory and applications. 14th international computer science symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11532, 80-92 (2019).
Rusu, Vlad (ed.), Rewriting logic and its applications. 12th international workshop, WRLA 2018, held as a satellite event of ETAPS, Thessaloniki, Greece, June 14–15, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11152, 164-183 (2018).
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 26, 11 p. (2017).
Malpass, Alex (ed.) et al., The history of philosophical and formal logic. From Aristotle to Tarski. New York, NY: Bloomsbury Academic (ISBN 978-1-4725-1350-2/hbk). 143-161 (2017).
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 232-245 (2017).
Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 131-147 (2017).
Omodeo, Eugenio G. (ed.) et al., Martin Davis on computability, computational logic, and mathematical foundations. Cham: Springer. Outst. Contrib. Log. 10, 363-370 (2016).
Adorni, Giovanni (ed.) et al., AI*IA 2016: advances in artificial intelligence. XVth international conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 – December 1, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10037, 334-348 (2016).