CSL 2020. Proceedings

This volume contains the papers presented at CSL 2020, the 28th edition in the series of Computer Science Logic (CSL), the annual conference of the European Association for Computer Science Logic (EACSL). CSL 2020 was held in Barcelona, Spain, 13-16 January 2020. Until 2018 CSL took place in August/September, and CSL 2020 is the first conference in the series scheduled in January. CSL started as a series of international workshops, and became an international conference in 1992. Previous editions of CSL were held in Birmingham (2018), Stockholm (2017), Marseille (2016), Berlin (2015), Vienna (2014), Torino (2013), Fontainebleau (2012), Bergen (2011), Brno (2010), Coimbra (2009), Bologna (2008), Lausanne (2007), Szeged (2006), Oxford (2005), Karpacz (2004), Vienna (2003), Edinburgh (2002), Paris (2001), Munich (2000), Madrid (1999), Brno (1998), Aarhus (1997), Utrecht (1996), Paderborn (1995), Kazimierz (1994), Swansea (1993) and San Miniato (1992). CSL is an interdisciplinary conference, spanning across both basic and application-oriented research in mathematical logic and computer science. It is a forum for the presentation of research on all aspects of logic and applications, including automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and games, game semantics, modal and temporal logic, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, domain theory, categorical logic and topological semantics, database theory, specification, extraction and transformation of programs, logical aspects of quantum computing, logical foundations of programming paradigms, verification and program analysis, linear logic, higher-order logic, non-monotonic reasoning.