This program is tentative and subject to change.
Thu 27 Feb 2025 10:45 - 11:03 at Meeting Rooms 302-303 - Improving Student Success [Online]
Computational reductions are an important and powerful concept in computer science. However, they are difficult for many students to grasp. In this paper, we outline a concept for how the learning of reductions can be supported by educational support systems. We present an implementation of the concept within such a system, concrete web-based and interactive learning material for reductions, and report on our experiences using the material in a large introductory course on theoretical computer science.
This program is tentative and subject to change.
Thu 27 FebDisplayed time zone: Eastern Time (US & Canada) change
Thu 27 Feb
Displayed time zone: Eastern Time (US & Canada) change
10:45 - 12:00 | |||
10:45 18mTalk | Tool-Assisted Learning of Computational ReductionsOnlineGlobal Papers Tristan Kneisel Ruhr University Bochum, Elias Radtke Ruhr University Bochum, Marko Schmellenkamp Ruhr University Bochum, Fabian Vehlken Ruhr University Bochum, Thomas Zeume Ruhr University Bochum | ||
11:03 18mTalk | Towards Integrating Behavior-Driven Development in Mobile Development: An Experience ReportOnline Papers | ||
11:22 18mTalk | Evaluation of Systems Programming Exercises through Tailored Static AnalysisOnline Papers Roberto Natella Federico II University of Naples |