I награда: Анђела Стефановић, Гимназија „Исидора Секулић“, Нови Сад; ментор: Мирјана Јовановић; рад: Геометрија око нас - симетрије и облици
I награда: Јана Добријевић, Гимназија „Лаза Костић“, Нови Сад; ментор: Соња Медојевић; рад: Геометрија око нас - симетрије и облици
II награда: Наталија Милошевић, Четврта београдска гимназија; ментори: Миодраг Савовић и Ивана Здравковић; рад: Сањарење/Сан
II награда: Теодора Јанковић, Гимназија „Светозар Марковић“, Нови Сад; ментор: Љубица Дејановић; рад: Мика Петровић Алас у различитим стиловима
II награда: Јово Гужвић, Гимназија, Инђија; ментор: Марта Куљевацки; рад: 10 занимљивих примера симетрије у природи
III награда: Лука Јанковић, ССШ „Борислав Михајловић Михиз“, Ириг; ментор: др Маја Плавшић; рад: Мика Петровић Алас
III награда: Марија Дрљача, Техничка школа „Милева Марић Ајнштајн“, Нови Сад; ментор: Богданка Јаковљевић; рад: Михајло Петровић-Алас у сликама
III награда: Исидора Књегињић, Трећа београдска гимназија; ментор: Виолета Лазовић; рад: Наш математичар Мика Петровић Алас у сликама
In threshold-based distributed algorithms, a process has to wait until the number of messages it receives reaches a certain threshold, in order to perform an action. I will present an automated method for synthesizing these thresholds, given a sketch of a distributed algorithm and specifications. In this way we synthesize distributed algorithms that are correct for every number n of processes and every number t of faults, provided some resilience condition holds, e.g. n>3t.
This is joint work with Igor Konnov, Josef Widder and Roderick Bloem.
Josef Widder (TU Wien): Communication-closed layers as paradigm for distributed systems
Distributed computations are characterized by a partial order over events: two concurrent events at different processes may be re-ordered without changing the outcome of the computation. For systems that are composed of so-called communication-closed layers, this partial-order argument has been used to reduce the reasoning about distributed systems to a specific sequential form. I will discuss existing techniques for communication-closed layers, and applications to automated verification of state-of-the-art distributed systems.
