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


Basic information

  • 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

Funding

  • Project Grant Approved: 27 146 €