Gde: Učionica NTP 317 i online (Zoom link u nastavku)
Kada: od 3.3.2026. do 12.3.2026 (sem subote i nedelje) od 17:00 do 19:00
Title: Formal Methods for Communication Protocols\\ (https://emwww.github.io/home/teaching/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.
Zoom link eM is inviting you to a scheduled Zoom meeting.
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
---