Nie jesteś zalogowany | Zaloguj się

PL /
EN

Prelegent(ci): Jędrzej Fulara
Afiliacja: Uniwersytet Warszawski
Termin: 15 listopada 2010 10:15
Pokój: p. 4790
Seminarium: Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

Opowiem o aktualnych pracach związanych z dziedziną abstrakcyjną 'Weighted Hexagons'.
Pokażę jak rozszerzyć WH, aby obsługiwały również ostre nierówności. Opowiem o (dotychczas nieudanych) próbach zaadaptowania WH do przypadku całkowitoliczbowego (gdzie wartości zmiennych są liczbami całkowitymi).
Powiem też jakie były główne uwagi do tej dziedziny na prezentacji na NSAD2010.