Modern Approaches and Tools for Teaching Classes at the University Level in Theoretical Computer Science Courses of Logic, Types, and Semantics
Initiative no: FBR-PDI-025



Working together for a green, competitive and inclusive Europe

Modern Approach to Teaching Classes at the University Level in Theoretical Computer Science


Within this initiative, supported by Iceland, Liechtenstein, and Norway through the EEA Grants and Norwegian Grants, the Technical University of Košice (TUKE) Slovakia, and the University of Oslo (UiO) Norway, are collaborating to enhance and innovate the teaching of courses focused on theoretical computer science, using modern approaches and tools.

One of the main goals is the planned development of an interactive teaching tool through which users can study the fundamental principles of deduction and manipulation with proofs as programs. During in-person and regular online meetings, members of the research team will share their long-term experience in teaching courses related to logic, type theory, and semantics of programming languages.

Among the other objectives of the initiative are cooperation in the development of new teaching materials for both parties, research in the field of proof assistants’ development, with a focus on precise visualization of the proof process emulation and its use in teaching, as well as the possibilities of gamification of the teaching process. The results obtained from the initiative will be implemented in the teaching process, and innovative research findings will be presented at international scientific conferences.

Events/News

4th meeting - 22.04.2024 - 26.04.2024

Team members from the Technical University of Košice (Perháč, Steingartner, Chodarev, Novotný) visited the University of Oslo.

April 2024 - First prototype available online at onlineprover.com/

  • The first prototype of the tool with a set of exercises for natural deduction in propositional logic has been deployed. It is available at the onlineprover.com/.
  • The tool has been tested in the course Logic for Informaticians at TUKE.

Types 2024 - Extended abstract acceptance

Our extended abstract called “OnlineProver: A proof assistant for online teaching of formal logic and semantics” has been accepted for presentation at the 30th International Conference on Types for Proofs and Programs.

3rd meeting - 26.02.2024 - 01.03.2024

Team members from the University of Oslo (Joachim Tilsted Kristensen, Lars Vadgaard, and Michael Kirkedal Thomsen) visited the Technical University of Košice.

2nd meeting - 13.11.2023 - 17.11.2023

Team members from the University of Oslo (Eric Bartley Jul, Joachim Tilsted Kristensen, Lars Vadgaard, Michael Kirkedal Thomsen) visited the Technical University of Košice.

1st meeting - 14.10.2023 - 20.10.2023

Team members from the Technical University of Košice (Ján Perháč, William Steingartner, Sergej Chodarev, Samuel Novotný) visited the University of Oslo.