As an international informatics contest, or challenge, Bebras has started the second decade of its existence. The contest attracts more and more countries every year, recently there have been over 40 participating countries. From a single contest-focused annual event Bebras developed to a multifunctional challenge and an activities-based…

There are many important issues in informatics and many agree that algorithms and programming are most important issues that need to be included in informatics education (Dagiene and Jevsikova, 2012). In this paper, we propose how some of these issues can be easily taught using the notion of a formal system which consists of axioms and inference…

Service modelling has become an increasingly important area in today's telecommunications and information systems practice. We have adapted a Network Design course in order to teach service modelling to a mixed class of both the telecommunication engineering and information systems backgrounds. An integrated approach engaging mathematics teaching…

The Lithuanian Informatics Olympiads (LitIO) is a problem solving programming contest for students in secondary education. The work of the student to be evaluated is an algorithm designed by the student and implemented as a working program. The current evaluation process involves both automated (for correctness and performance of programs with the…