[institut] GSSI predavanja na FTN

[MI SANU]

Informacije o predavanjima na FTN-u za doktorande i mastere koje će 
održati Dr. Clemens Grabmayer i Prof. Emilio Tuosto sa Gran Sasso 
Science Institute.

Gde: Učionica NTP 317 i online (Zoom link u nastavku)
Kada: od 3.3.2026. do 12.3.2026 (sem nedelje) od 17:00 do 19:00

Title:  Models of Computation (https://clegra.github.io/moc/Novi-Sad.html)
Professor:  Clemens Grabmayer

*Description and topics of the course*.
Following the historical development, three classical models will be 
presented first: Turing machines, recursive functions, and Lambda 
Calculus. Subsequently, more recent models will be explained briefly. 
The focus will be on understanding underlying intuitions.
Lecture 1: Introduction, Motivation, and Overview Lecture 2: Machine Models
-- Post and Turing machines,
-- Turing's analysis of computability
-- Basic computability theory
Lecture 3: Partial-Recursive Functions
-- Basic computability theory (continued)
-- Partial-Recursive Functions
Lecture 4: Lambda Calculus
Lecture 5: Three More Models (Post's Correspondence Problem, Interaction 
Nets, Fractran)

Title:  Formal Methods for Communication Protocols
Professor: Emilio Tusoto

# Description and topics of the lectures
The course will be structured in 5 lectures.
- The first lecture will motivate the use of formal methods by surveying 
how communication errors have recently led to misbehaviour of 
cyber-physical systems and caused huge economic losses and even killed, 
injured, or impacted on citizens rights. The lecture will conclude with 
a lightweighed presentation of principles underpinning formal methods to 
avoid such problems.
- Lecture 2 will pick up from the final part of the first class to 
introduce examples of DbC approaches for communication protocols. 
Teaching will make of tools developed to support such approaches; the 
tools will be used to illustrate some concrete scenarios based on smart 
contracts with exercises developed during the class.
- Lecture 3 will present join patterns, a very high level constructus 
for concurrend and distributed programming. The lecture will also 
introduce a new library for Scala featuring a recently defined join 
pattern mechanism for developing actor-based.
- Lecture 4 will present a formal model for centralised online trading 
based on reaction systems. The lecture will also present an 
implementation of the model in Scala based on the library for join 
patterns introduced in the third lecture.
- Lecture 5 will review and give pointers to some recent developments in 
the area. The goal is to discuss open problems that require further 
research.


Topic: TNE-Desk courses in Novi Sad
Time: Mar 3, 2026 10:30 AM Rome
Join Zoom Meeting
https://gssi-it.zoom.us/j/81845275047?pwd=nttAaQoScC2VrcYstQMNqaENpQbWZo.1

Meeting ID: 818 4527 5047
Passcode: 908062

---

One tap mobile
+390200667245,,81845275047#,,,,*908062# Italy
+3902124128823,,81845275047#,,,,*908062# Italy

Join instructions
https://gssi-it.zoom.us/meetings/81845275047/invitations?signature=yf1_UyLOEAddTGctB48FqjrL1rTnN3dJgE5N2Qi69aY