Modern Approaches and Tools for Teaching Classes at the University Level in Theoretical Computer Science Courses of Logic, Types, and Semantics

Project Number: FBR-PDI-025
Project Title: Modern Approaches and Tools for Teaching Classes at the University Level in Theoretical Computer Science Courses of Logic, Types, and Semantics
Program: Fund for Bilateral Relations
Region of the Project Implementation:
District of the Project Implementation:
Estimated Date of Project Completion: 14.09.2024
Project Promoter: Technická univerzita v Košiciach
Website of the project:
Status: Initiative completed