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

Speaker(s)

Aleksy Schubert

Affiliation

Uniwersytet Warszawski

Date

Nov. 9, 2009, 10:15 a.m.

Room

room 4790

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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.

---