In today's world, students have to analyze and solve problems creatively, collaborate with teammates, communicate clearly, adapt rapidly to new technologies, and deal with a flood of information. This forces education systems to adopt new teaching methods and tools. Many are already adopting the required changes, but there is still a long way to go. In 2017, researchers at the Weizmann Institute of Science, together with the Center for Educational Technologies (CET), joined forces to address this challenge and created Plethora, an online game-like environment, which helps improve complex problem-solving through algorithmic thinking skills. The authors are part of this endeavor and its implementation.

We present a model for the automatic semantic analysis of requirements elicitation documents.Our target semantic representation employs live sequence charts, a multi-modal visual language for scenariobased programming, which can be directly translated into executable code.The architecture we propose integrates sentencelevel and discourse-level processing in a generative probabilistic framework for the analysis and disambiguation of individual sentences in context.We show empirically that the discourse-based model consistently outperforms the sentence-based model when constructing a system that reflects all the static (entities, properties) and dynamic (behavioral scenarios) requirements in the document.

We present PlayGo, a comprehensive tool for scenario-based programming, built around the language of live sequence charts and the play-in/play-out approach [7], which includes a compiler into AspectJ code and means for debugging the execution. PlayGo is intended to be a full IDE that addresses major parts of the vision of Liberating Programming [3]. This paper presents the first version of PlayGo, which already includes several of the intended capabilities.