Seminaria ogólnoinstytutowe:

Informacje:

Poniedziałki, o godz. 12:00
Miejsce seminarium: sala seminaryjna IPI PAN
ul. Jana Kazimierza 5
e-mail: seminarium@ipipan.waw.pl

Archiwum Seminarium Ogólnoinstytutowego

09.01.2017 - Seminarium Instytutowe - godz. 13:00, Wojciech Jamroga (IPI PAN) 

20170109 Jamroga

W moim referacie opowiem o niektórych zagrożeniach, jakie dla procedur wyborczych stwarza (bądź zwiększa) użycie nowoczesnych technologii informacyjnych. Przedstawię również pewne pomysły, jak odporność na te zagrożenia może być specyfikowana i weryfikowana w logice temporalnej czasu alternującego z elementem epistemicznym. Tematyka referatu związana jest z rozpoczętym niedawno projektem VoteVerif w ramach polsko-luksemburskiego programu PolLux.


© 2021 INSTYTUT PODSTAW INFORMATYKI PAN | Polityka prywatności | Deklaracja dostępności