Ekstra talk Thursday

Following the guest lecture Wednesday there will be no exercises. Instead there is be a talk (Thu from 10:15 in Java; where we have exercises). The talk will be

Title: Perspectives of Semantic Modeling in Categories
Speaker: William Steingartner, assoc. prof., PhD.,
Techical University of Kosice, Slovakia

The talk will be much related to the material of the course, but take it to the next level.

Abstract:
The reliability of programs and program systems is a very topical issue, especially due to the rapidly evolving technologies present in all areas of daily life. Different approaches are used to achieve reliability in the development of programs and program systems. All these techniques are based on formal models of system functionality and these models are grounded in the formal semantics of the programming languages used.

In this talk, we show the most important results of our research, in which we focused on categorical models and semantic methods in theoretical computer science. The main achieved results are constructions of categorical models for denotational semantics of imperative languages and operational semantics of imperative languages.

Other results discussed in this talk are the results focused on categorical modeling of various other problems in theoretical computer science: semantic modeling of some computations, categorical relationships between functions, properties of categorical models of components and relationships between them and formulation of denotation semantics for a new compositional/concatenative language.