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

  • 2009-11-09, godz. 10:15, 4790

    Aleksy Schubert (Uniwersytet Warszawski)

    Co się działo na drugim światowym kongresie Formal Methods

    Duże konferencje wyznaczają zwykle trendy w badaniach nad danym tematem. Zwłaszcza dotyczy to zaproszonych wykładów. Na referacie zaprezentuję streszczenie zaproszonych wykładów: + Formal Methods for Privacy, Jeanette Wing + What can Formal Methods bring do Systems Biology?, Wan Fokkink +...

  • 2009-11-02, godz. 10:15, 4790

    Patryk Czarnik (Uniwersytet Warszawski)

    O weryfikacji bajtkodu Javy

    Weryfikacja bajtkodu to operacja wykonywana przez większość impementacji Maszyny Wirtualnej Javy podczas ładowania klas, której celem jest sprawdzenie poprawności bajtkodu, ze szczególnym uwzględnieniem zgodności typów argumentów dla poszczególnych instruckji JVM. Na seminarium opowiem ...

  • 2009-10-26, godz. 10:15, 4790

    Aleksy Schubert (Uniwersytet Warszawski)

    Prerun wystąpień w Eindhoven

  • 2009-10-19, godz. 10:15, 4790

    Aleksy Schubert i Jacek Chrząszcz (Uniwersytet Warszawski)

    Weryfikacja skompilowanych klas Javy w oparciu o specyfikację w BML - studium przypadku

    W ramach zakończonego niedawno projektu Mobius powstało szereg narzędzi do specyfikacji i weryfikacji własności programów w Javie. Jednym z narzędzi jest generator obligacji dowodowych BMLVCGen, który na podstawie pliku ze skompilowaną klasą Javy wzbogaconą o binarne specyfikacje w język...

  • 2009-10-12, godz. 10:15, 4790

    Patryk Czarnik (Uniwersytet Warszawski)

    Szkoła letnia ISS-AiPL

    W sierpniu miałem przyjemność w Edynburgu brać udział w szkole International Summer School on Advances in Programming Languages http://www.macs.hw.ac.uk/~greg/ISS-AiPL/ Na seminarium postaram się streścić 10 wykładów Szkoły :), a tak naprawdę zapewne uda się nieco dokładniej omówić...

  • 2009-10-05, godz. 10:15, 4790

    (Uniwersytet Warszawski)

    Spotkanie organizacyjne, ustalanie tematów referatów.

    ...

  • 2009-05-04, godz. 10:15, 4790

    Patryk Czarnik (Uniwersytet Warszawski)

    Abstrakcyjne podejście do weryfikacji bajtkodu Javy

    Weryfikacja bajtkodu to czynność przeprowadzana przez większość implementacji maszyny wirtualnej Javy podczas ładowania bajtkodu, w celu sprawdzenia poprawności programu przed jego uruchomieniem. W trakcie weryfikacji, w celu sprawdzenia poprawności typowej, przeprowadzana jest m.in. statycz...

  • 2009-04-27, godz. 10:15, 4790

    Grzegorz Marczyński i Artur Zawłocki (Uniwersytet Warszawski)

    A Heterogeneous Approach to Service-Oriented Systems Specification: Two Months Later

    Service-oriented architecture (SOA) is a relatively new ap- proach to software system development. It divides system functionality to independent, loosely coupled, interoperable services. In this paper we propose a new heterogeneous specification approach of SOA systems where a heterogeneous struct...

  • 2009-03-30, godz. 10:15, 4790

    Artur Zawłocki (Uniwersytet Warszawski)

    Formalizm do specyfikacji komponentów w oparciu o logikę liniowo-temporalną -- work in progress

  • 2009-03-23, godz. 10:15, 4790

    prof. Andrzej Tarlecki (Uniwersytet Warszawski)

    Heterogeniczne środowiska logiczne - spojrzenie instytucyjne

Strony