Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 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. 11423, 783-813 (2019).
Chattopadhyay, Arkadev (ed.) et al., 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 150, Article 43, 14 p. (2019).
Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 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. 11425, 207-223 (2019).
Lindahl, Karl-Olof (ed.) et al., Analysis, probability, applications, and computation. Proceedings of the 11th ISAAC congress, Växjö, Sweden, August 14–18, 2017. Cham: Birkhäuser. Trends Math., 47-55 (2019).
Baginski, Paul (ed.) et al., Infinite group theory. From the past to the future. Collected papers of the confernece in honor of the 70th birthdays of Gerhard Rosenberger and Dennis Spellman, Fairfield, CT, USA, April 23, 2015 and New York, NY, USA, April 24, 2015. Hackensack, NJ: World Scientific. 81-93 (2018).
Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 7, 15 p. (2018).
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 190-203 (2018).