Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 14, 23 p. (2019).
Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 83-100 (2019).
Martín-Vide, Carlos (ed.) et al., Theory and practice of natural computing. 6th international conference, TPNC 2017, Prague, Czech Republic, December 18–20, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10687, 281-293 (2017).