Nie jesteś zalogowany | Zaloguj się

Dziedzina abstrakcyjna 'Weighted Hexagons'

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.