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

October 2024 - UDIT 2024 - Article Accepted for Conference Presentation

Our article titled “OnlineProver: First Experience with Teaching Formal Proofs” has been accepted for presentation at the international scientific conference UDIT 2024 - The Norwegian Conference on Didactics in IT Education as part of NIKT 2024 - Norwegian ICT Conference for Research and Education.

October 2024 - OnlineProver in the Media

The Norwegian journal Forskning, which publishes articles in the fields of science and technology, featured an article where Joachim Tilsted Kristensen and Michael Kirkedal Thomsen describe OnlineProver and its applications (in Norwegian):
Det finst konsept som sjølv IT-studentar har måtta ty til penn og papir for å forstå

September 2024 - OnlineProver in the Media

The journal TITAN of the University of Oslo published an article where Joachim Tilsted Kristensen and Michael Kirkedal Thomsen describe the software we developed (in Norwegian):
Programmet som hjelper studentane akkurat passe

August 2024 - Deployment of OnlineProver at IT University of Copenhagen

The tool we developed has been deployed in teaching at the IT University of Copenhagen, Denmark in the discrete mathematics course in the Bachelor level.

August 2024 - Release of the Second Prototype of the OnlineProver Educational Tool

  • The second version of the OnlineProver prototype includes a set of exercises for natural deduction in propositional and first order logic.
  • It is available at: onlineprover.com/.

July 2024 - Presentation of Research Results at a Conference

Team members Ján Perháč and Joachim Tilsted Kristensen participated in the prestigious international scientific conference IJCAR 2024 International Joint Conference on Automated Reasoning in Nancy, France. They presented the paper “OnlineProver: First Experience with Teaching Formal Proofs” during the workshop 13th International Workshop on Theorem proving components for Educational software.

June 2024 - Presentation of Research Results at a Conference

Team members Ján Perháč and Joachim Tilsted Kristensen participated in the prestigious international scientific conference TYPES 2024: 30th International Conference on Types for Proofs and Programs in Copenhagen, Denmark. They presented the paper “OnlineProver: A proof assistant for online teaching of formal logic and semantics.”

June 2024 - COST STSM

From May 29, 2024, to October 9, 2024, Ján Perháč visited the University of Oslo. The team continued work on the prototype of the teaching tool and prepared presentations of results for scientific conferences.

The stay was supported by the European project European Research Network on Formal Proofs, COST action CA20111, under STSM (Short-Term Scientific Missions) grants, titled “Proof Theory for Programmers: Promoting Output of Theorem Provers to Formative Feedback for Computer Science Students”.

May 2024 - IJCAR 2024 - Extended Abstract Accepted for Conference Presentation

Our extended abstract titled “OnlineProver: First Experience with Teaching Formal Proofs” was accepted for presentation at the international scientific conference IJCAR 2024 International Joint Conference on Automated Reasoning as part of the workshop 13th International Workshop on Theorem proving components for Educational software.

Fourth Meeting - April 22, 2024 - April 26, 2024

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

April 2024 - Release of the First Prototype of Our Educational Tool onlineprover.com/

  • The first prototype of the OnlineProver tool includes a set of exercises for natural deduction in propositional logic.
  • It is available at: onlineprover.com/.
  • The tool was tested as part of the course “Logic for Computer Scientists” at the Technical University of Košice.

May 2024 - TYPES 2024 - Extended Abstract Accepted for Conference Presentation

Our extended abstract titled “OnlineProver: A proof assistant for online teaching of formal logic and semantics” was accepted for presentation at the international scientific conference 30th International Conference on Types for Proofs and Programs.

Third Meeting - February 26, 2024 - March 1, 2024

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

Second Meeting - November 13, 2023 - November 17, 2023

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

First Meeting - October 14, 2023 - October 20, 2023

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