'Program Your Own Castle' - Developing a Self-Guided Tutorial for the Hour of Code
Automating Non-Formalized Testing Techniques via Quantification and Optimisation: The Case of Boundary Value Testing
Automated Verification of Blockchain Technologies with Correctness Guarantees
Informatics and computational thinking, cross-skills in school
Geometric Assignment and Geometric Bottleneck
XXVIII Dies academicus