- Speaker(s)
- Jędrzej Fulara
- Affiliation
- Uniwersytet Warszawski
- Date
- Nov. 15, 2010, 10:15 a.m.
- Room
-
room 4790
- Seminar
- Seminar Semantics, Logic, Verification and its Applications
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.
You are not logged in |
