Initially, the students met a simple language for writing parallel programs. UNITY (syntax and semantics) Fundamental parallel and distributed architectures as a way for them to map UNITY programs. The list is the logic of allowing express safety and progress of programs and formally prove the correctness of programs. Subsequently they learn the solution of selected problems in parallel and distributed programming (eg. The shortest way, reader-writers problem dinning philosophers, coordination meetings, drinkers philosophers, sorting, Faulty channels, Global snapshots, detected a stable qualities, Byzantine Agreement). Their zones can optionally be spread based on the development in this area.

Type of methodology: Combination of lecture and hands-on

Participants receive the certificate of attendance: Yes

Paid training activity for participants: Yes, for all

Participants prerequisite knowledge: Numerical methods (linear algebra, statistics) Domain-specific background knowledge