This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020. Due to COVID-19 related travelling restrictions the conference had to be switched to online format. The 12 full papers presented together with 4 short papers were carefully reviewed and selected from 57 submissions. They are organized in 2 topical sections named: state of research and best practice, country, and experience reports.As in our school education subjects like "digital literacy" or "media literacy" are making their way in, complementing or partially replacing computer science education. The current ISSEP conference reacted to this trend and therefore invited computer scientists, media didactics, and representatives of politics, media and industry to a discussion round on the topic "Media Education or Computer Science? Quo Vadis, School Teaching?".

Die entscheidenden Argumente fA1/4r die Korrektheit eines Programms kAnnen am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung fA1/4hrt, werden in diesem Buch beschrieben. Die Programme und die Informationen fA1/4r die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind unabhAngig von einer bestimmten Programmiersprache. Das Buch wendet sich nicht nur an die an Programmverifikation interessierten Leser, sondern an alle, die ein tieferes VerstAndnis von Programmen erreichen wollen. Der Leser soll die vorgestellten Methoden und Denkweisen bei der Entwicklung seiner eigenen Programme anwenden lernen, um so effizientere und sicherere Software zu erzeugen.