Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

Cotygodniowe seminarium badawcze

Plan referatów/Talks schedule

Lista referatów

  • 2011-02-21, godz. 10:15, 4790

    Aleksy Schubert (Uniwersytet Warszawski)

    Co będzie na ETAPSie

  • 2011-02-14, godz. 10:15, 4790

    Andrzej Tarlecki (Uniwersytet Warszawski)

    Another old story: compositional property-oriented semantics for structured specifications

    Abstract: Working in an arbitrary institution, we discuss property-orientedsemantics of specifications built using some collection ofspecification-building operations. As a typical example we consider thestructured specifications built from flat specifications using union,translation and hiding. For...

  • 2011-01-17, godz. 10:15, 4790

    Jędrzej Fulara (Uniwersytet Warszawski)

    Abstrakcyjne dziedziny do modelowania tablic

    Przedstawię swoje prace nad dziedzinami do reprezentowania zawartości tablic. Zaprezentuję dwa rozwiązania: - wydajne, ale mało precyzyjne, oparte o dziedzinę przedziałową (wykorzystujące drzewa przedziałowe), - mniej wydajne, ale dokładniejsze, oparte o pentagony....

  • 2011-01-10, godz. 10:15, 4790

    Patryk Czarnik (Uniwersytet Warszawski)

    Bajtkod Javy w 12 instrukcjach - założenia implementacji

    Przypomnienie idei bajtkodu Javy w 12 instrukcjach oraz założenia co do implementacji jego semantyki w Coqu....

  • 2010-12-20, godz. 10:15, 5850

    Grzegorz Marczyński (Uniwersytet Warszawski)

    Konstrukcje architekturalne w kategorii fragmentów

    Na seminarium opowiem o kowariantnych sygnaturach i modelach konstrukcji architekturalnych oraz o ich składaniu. Pokażę też przykłady takich konstrukcji w kategorii fragmentów sygnatur algebraicznych z zależnościami. ...

  • 2010-12-13, godz. 10:15, 5850

    Andrzej Tarlecki (Uniwersytet Warszawski)

    Perspectives Workshop: Formal Methods - Just a Euro-Science?

    Opowiesci o spotkaniu w Schloss Daghstul, 1-3.12.2010. Przypominamy, że do końca grudnia seminarium odbywa się w ZMIENIONEJ SALI: 5850 ...

  • 2010-12-06, godz. 10:15, 4790

    Aleksy Schubert (Uniwersytet Warszawski)

    Oparte o dedukcję narzędzia sprawdzania poprawności kodu

  • 2010-11-29, godz. 10:15, 4790

    Maciej Zielenkiewicz (Uniwersytet Warszawski)

    Generatory niezmienników i automatyczna weryfikacja

    Przedstawię przegląd dostępnych gotowych programów umożliwiających automatyczną (z podaniem jedynie warunków początkowych i końcowych) weryfikację programów, ze szczególnym uwzględnieniem problemu odnajdywania niezmienników dla pętli. Jako przykład ciekawego i trudnego zagadnieni...

  • 2010-11-22, godz. 10:15, 4790

    Krzysztof Jakubczyk (Uniwersytet Warszawski)

    Dziedzina abstrakcyjna opisująca mnożenie zmiennych

    Opowiem o pracy nad nową abstrakcyjną dziedziną numeryczną pozwalającą obsłużyć mnożenie zmiennych - będą to nierówności postaci xy <= c lub xy >=c, gdzie c może być liczbą ujemną lub dodatnią. Zaprezentuję bardziej szczegółowo podstawową wersję dziedziny oraz opowie...

  • 2010-11-15, godz. 10:15, 4790

    Jędrzej Fulara (Uniwersytet Warszawski)

    Dziedzina abstrakcyjna 'Weighted Hexagons'

    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ą l...

Strony