Co się działo na drugim światowym kongresie Formal Methods

Prelegent(ci)

Aleksy Schubert

Afiliacja

Uniwersytet Warszawski

Termin

9 listopada 2009 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Duże konferencje wyznaczają zwykle trendy w badaniach nad danym tematem. Zwłaszcza dotyczy to zaproszonych wykładów. Na referacie zaprezentuję streszczenie zaproszonych wykładów: + Formal Methods for Privacy, Jeanette Wing + What can Formal Methods bring do Systems Biology?, Wan Fokkink + Guess and Verify - Back to the Future, Colin O'Halloran + Verification Testing and Statistics, Sriram Rajamani + Security, Probability and Nearly Fair Con in the Cryptographers' Cafe, Carroll Morgan Oprócz tego będzie trochę informacji o trendach, wyzwaniach dla weryfikacji itp.

---