Software languages are any arti cial languages used in software development: for programming, markup, pretty-printing, modelling, transformation, data description, formal speci cation, evolution, requirements, etc. Software language engineering (SLE) is a research domain of systematic, disciplined and measurable approaches of development, evolution and maintenance of such languages. Many concerns of software language engineering are acknowledged by both forward and reverse software engineers: robust parsing of language cocktails, fact extraction from heterogeneous codebases, tool interfaces and interoperability, renovation of legacy systems, static and dynamic code analysis, language feature usage analysis, mining repositories and chrestomathies, library versioning and wrapping, etc. The SLE eld is relatively new (its agship conference existing since 2011) and has not yet produced a list of acknowledged open problems, like the Hilbert's problems [8] or the POPLmark Challenge [9]. This workshop is meant to expose hidden expertise in coping with unsolvable or unsolved problems which commonly remain unexposed in academic publications. The main focus of the workshop lies in identifying and formulating challenges in the software language engineering eld | these challenges could be addressed later at venues of SPLASH, STAF, MoDELS, SANER, ICSME, ICSE, ESEC/FSE and others. It is by design a discussion platform, not a mini-conference. The fth international workshop on Open and Original Problems in Software Language Engineering (OOPSLE'20) followed the rst four editions held at WCRE 2013 [1], CSMR-WCRE 2014 [2], SANER 2015 [3] and SANER 2016. Since OOPSLE also aims to serve as a think tank in contributing to the SLE Body of Knowledge (SLEBoK, http://slebok.github.io) [26], it can be seen related to and/or continuing the tradition of the SLEBoK workshops at GTTSE 2009 [6], SoTeSoLa 2012 [5], SLE 2012 [7] and SPLASH 2018 [25] and the initiatives planned at the Dagstuhl seminars 17342 [4] and 20343 [21].
The core contributors of the 2020 edition of OOPSLE were: { Friedrich Steimann (Fernuniversitat Hagen, Germany) { Alfonso Pierantonio (Universita degli Studi dell'Aquila, Italy) { Federico Tomassetti (Strumenta, Italy) { Mikhail Barash (University of Bergen, Norway) { Eric Van Wyk (University of Minnesota, USA) { Eleni Constantinou (TU/Eindhoven, The Netherlands) { Bernd Fischer (Stellenbosch University, South Africa) { Jurriaan Hage (Universiteit Utrecht, The Netherlands)
The workshop was held at the Zoom platform (creating a whole-day event there generously supported by Raincode Labs), with about 30 participants throughout the day, peaking at 35 and dropping to 20 around planned lunch breaks and co ee breaks. There was a mix of researchers, practitioners, educators and students.
The following people served as reviewers for the post-proceedings submissions: { Mikhail Barash (University of Bergen, Norway) { Jurriaan Hage (Universiteit Utrecht, The Netherlands) { Friedrich Steimann (Fernuniversitat Hagen, Germany) { Federico Tomassetti (Strumenta, Italy) { Markus Volter (independent, Germany) { Vadim Zaytsev (Universiteit Twente, The Netherlands)
Each submission was reviewed by three PC members. The discussion panel paper was assigned to participants who were the most active and vocal during the discussion.
http://grammarware.net Associate Professor in software evolution at UTwente, previously a Chief Science O cer at Raincode Labs (the largest independent compiler company in the world), a Lecturer of software engineering at UvA, and a Researcher on grammars in a broad sense, model transformation and megamodelling at CWI, VU Amsterdam and Universitat Koblenz. Favourite topics include convergence of grammars with di erent technological background, inconsistency management, improving maintainability of legacy systems, generative and transformational techniques, various forms of modelling. Founder and active contributor of SLPS, Grammar Zoo, BibSLEIGH, etc. Principal investigator of INTiMALS and CodeDi NG.
Has acted as an editor in chief of SLEBoK (2017{2020), member of IFIP TC 2 WG 2.11 (since 2020), workshop co-organiser at OOPSLE/SLEBoK (2013{20) at WCRE/SANER/SPLASH, CoCoDo (2016{2020) at hProgrammingi, MMMDE (2015) at MoDELS; Chair of PC or AEC at ICPC (2020), SLE (2016), SATToSE (2014), WCRE (2013), WCN (2011{12); awardee at ICSME (2016), SCAM (2009, 2016, 2018), WCRE (2013), WLM (2011); a member of various committees for ASE, BX, DADA, DYLA, ECMFA, FlexMDE, GPCE, GTTSE, ICMT, ICPC, ICSE, ICSME, ITSLE, LDTA, MoDELS, MSR, PAME, SAC, SANER, SATToSE, SCAM, SLE, SQM, SRC, TechDebt, WCN, XM; keynote speaker at MLE (2019), BENEVOL (2019), SATToSE (2018), ICSME (2016); and a hackathon / publicity / social media chair at a number of events.
https://www.uib.no/en/persons/Anya.Helene.Bagge Research interests covering tools and formalisms for manipulating programs, integrating (lightweight) speci cation with programming, design, speci cation and implementation of programming languages. Her PhD on design of language constructs for increased exibility and reliability, was followed with work on language description and implementation, and on speci cation-based testing. Current e orts are concentrated on developing the Magnolia programming language, on speci cation and composition of reusable program components, and on integrated programming environments, both for programming in new languages, and to support development of the languages themselves. She has recently also explored a novel tree-walking approach to model transformation (Nuthatch).
She has recently been co-organiser of OOPSLE (2013{16), NWPT (2012), LDTA (2012), program chair of SATToSE (2015), publicity chair of SLE (2015), poster co-chair of SLE (2012), tutorialist of SATToSE (2014), and PC member of WGP (2012{13), SLE (2011,15), WCRE (2013), LDTA (2011{12), etc.
https://www.fernuni-hagen.de/ps/team/friedrich.steimann.shtml Full Professor in Fernuniversitat Hagen, a well-known expert in programming languages, object-oriented programming, software modelling and programming systems. Graduated in 1991 in Universitat Karlsruhe, earned a doctoral degree in 1995 at Technische Universitat Wien, habilitated in 2000 at Universitat Hannover. Worked as an external professor and substitute professor at Universitat Hannover and Heinrich-Heine-Universitat Dusseldorf, since 2004 at his present position of a PL/OOP Professor in Hagen.
A long standing contributor to the SLE community, a steering committee
member of the SLE conference, he is known not only for his seminal works on
aspect-oriented programming [