Cetralną tematyką seminarium będzie modelowanie protokołów, ich specyfikacja, weryfikacja i implementacja, od modeli czysto teoretycznych, po protokoły stosowane w praktyce.

Protokoły stanowią odrebną klasę algorytmów, wyraźnie odróżniającą się od klasycznych algorytmów obliczeniowych, które dane przetwarzają na wynik. Dziedzina ta jest obecnie bardzo atrakcyjnym polem do prowadzenia badań i eksperymentów: protokoły są już teraz ogromnie ważne praktycznie, wystepują w wielu bardzo różnych dziedzinach zastosowań, które wymagają spełniania bardzo różnych krytriów jakości. Jednocześnie ich teoria oraz metody badania własności i weryfikacji są niedostatecznie znane. Daje to możliwość rozpoczęcia pracy w wielu bardzo różnych kierunkach - pole do popisu znajdą zarówno osoby o zainteresowaniach teoretycznych, jak też ci, którzy lubią i potrafią wymyślac i implementować ciekawe algorytmy. Dalekosiężnym celem jest stworzenie grupy badawczej zajmującej się badaniami teoretycznymi i praktycznymi nad różnymi aspektami systemów współbieżnych i rozproszonych. Zatem szczególnie serdecznie zapraszamy studentów myślących o podjęciu studiów doktoranckich.