Ekstra talk Thursday_澳门葡京手机版app下载

michakt
2024-04-20T11:03:43.047Z
type:structured-message
www.uio.no

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 importan...