Drugie warsztaty na temat gier, logiki i bezpieczeństwa, Rennes, Francja :: Wydarzenia / Polski Serwis Naukowy

Polecamy również:

Warsztaty nt. bezpieczeństwa i prywatności w sieciach współpracy, Cardiff, Wlk. Brytania

Dziesiąta konferencja na temat logiki oraz podstaw teorii gier i podejmowania decyzji, Sewilla, Hiszpania

Szósta międzynarodowa konferencja nt. bezpieczeństwa i prywatności w sieciach komunikacyjnych, Singapur

W kierunku światowej inicjatywy w zakresie interakcji geny-środowisko w cukrzycy/otyłości w konkretnych populacjach, Bruksela, Belgia

Warsztaty nt. interakcji i dostępu do multimediów społecznych, adaptacyjnych i spersonalizowanych, Florencja, Włochy

Czwarte międzynarodowe warsztaty nt. teorii gier w sieciach komunikacyjnych, Cachan, Francja

W dniach 25-27 października 2011 r. we francuskim Rennes odbędą się drugie warsztaty na temat gier, logiki i bezpieczeństwa.

Problemy dotyczące bezpieczeństwa i prywatności w sieciach komputerowych i mobilnych mogą wynikać z interakcji między agentami w sieci (mogą to być osoby, jak i urządzenia lub oprogramowanie). Stworzenie modelu interakcji pomiędzy takimi agentami jest niezbędne dla rozwiązania problemów w zakresie bezpieczeństwa.

Teoria gier i logika są głównymi ramami dla formalnego ujęcia tych interakcji. Nie tylko pozwalają one na stworzenie modelu i przedstawienie interakcji pomiędzy agentami, ale także umożliwiają opracowanie odpowiednich algorytmów i procedur decyzyjnych. W ostatnich dwóch dziesięcioleciach zaproponowano szereg metod opartych na logice i teorii gier, służących do modelowania i analizowania sieci komputerowych z punktu widzenia bezpieczeństwa, czasami uciekając się do logiki nieklasycznej (np. logika epistemiczna czy intuicjonistyczna).

Wydarzenie zgromadzi naukowców zainteresowanych grami, logiką i bezpieczeństwem (w szerokim rozumieniu) i będzie stanowić forum współpracy i wymiany pomysłów.

Za: CORDIS

komentuj publikację

Czy wiesz że...?

wersja BETA

Logika modalna teoria logiczna, która bada pojęcia możliwości, konieczności i ich wariantów. Niekiedy termin "logika modalna" rozumie się szerszej, włączając w jego obręb logiki epistemiczne, logiki temporalne, logiki deontyczne i logiki programów niniejszy artykuł omawia jedynie logiki modalne w sensie wąskim (logiki modalne aletyczne) na przykładzie systemu S5. pełny tekst

Archidiecezja Rennes (pełna nazwa: archidiecezja Rennes (,Dol, e Saint-Malo)) - archidiecezja Kościoła rzymskokatolickiego w północno-zachodniej Francji. Ordynariusz diecezji jest jednocześnie metropolitą Rennes. Diecezja Rennes powstała w III wieku. W 1801 zostały do niej włączone dawne stolice biskupie Dol oraz Saint-Malo. W 1859 została podniesiona do rangi archidiecezji, a w 1880 uzyskała obecną nazwę. pełny tekst

Rennes Volley 35 - francuski klub siatkarski z Rennes (Ille-et-Vilaine) założony w 1946 roku. Od sezonu 2001/2002 występuje w najwyższej klasie rozgrywek klubowych we Francji. pełny tekst

Moduł "Czy wiesz że...?" (wersja testowa, beta): definicje/pojęcia wygenerowane w obrębie tego modułu pochodzą z Wikipedii i udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń. Dostęp do pełnej wersji każdego hasła (oraz dokładnch informacji na temat licencji, autora oraz edycji) możliwy jest po kliknięciu w odnośnik opisany jako "pełny tekst".