Sweeping in Abstract Interpretation

Prelegent(ci)

Krzysztof Jakubczyk

Afiliacja

Uniwersytet Warszawski

Termin

7 listopada 2011 10:15

Pokój

p. 4790

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Tym razem opowiem o swojej pracy którą prezentowałem na workshopie NSAD
2011 - "Sweeping in Abstract Interpretation", swoich wrażeniach oraz
innych pracach które były tam prezentowane.

---