You are not logged in | Log in
Return to the list of active seminars

Seminar Semantics, Logic, Verification and its Applications

Weekly research seminar

Homepage: https://www.mimuw.edu.pl/~alx/piatek.html


Organizers

Information

Fridays, 12:15 p.m. , room: 5450

Research fields

List of talks

  • Nov. 22, 2010, 10:15 a.m.
    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ą …

  • Nov. 15, 2010, 10:15 a.m.
    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ą liczbami całkowitymi).Powiem też …

  • Nov. 8, 2010, 10:15 a.m.
    Tadeusz Sznuk (Uniwersytet Warszawski)
    Co ja robię tu?
    Opiszę projekt nowego BML-a. Na razie jest to tylko projekt projektu, więc nic konkretnego raczej nie powiem.

  • Oct. 11, 2010, 10:15 a.m.
    Patryk Czarnik (Uniwersytet Warszawski)
    RiTS - środowisko do testowania klientów protokołów RCS
    RiTS to wewnętrzna nazwa jednego z projektów realizowanych w ramach współpracy UW z firmą Samsung. Głównym celem projektu jest zbudowanie systemu wspierającego testowanie klientów zestawu protokoów "Rich Communication Suite". Na najbliższym seminarium opowiem pobieżnie o …

  • Oct. 4, 2010, 10:15 a.m.
    - (Uniwersytet Warszawski)
    Ustalanie listy referatów
    Po wakacyjnej przerwie zapraszamy na seminarium SLIWOWICA.W poniedziałek 4 października przewidujemy spotkanie organizacyjne, na którym ustalimy wstępną listę referatów (lub co najmniej prelegentów) na semestr zimowy. Gorąco prosimy o zgłaszanie propozycji. Osoby, które nie będą …

  • May 17, 2010, 10:15 a.m.
    Patryk Czarnik (Uniwersytet Warszawski)
    RiTS - Rich Communication Suite Network Test Server
    Projekt RiTS jest realizowany w ramach współpracy Uniwersytetu Warzawskiego z firmą Samsung Electronics. Głównym celem projektu jest zbudowanie testowego serwera zestawu usług Rich Communication Suite. W ramach projektu poznajemy i analizujemy technologie i protokoły komunikacyjne, …

  • May 10, 2010, 10:15 a.m.
    Andrzej Tarlecki (Uniwersytet Warszawski)
    SOME NUANCES OF MANY-SORTED UNIVERSAL ALGEBRA
    It has been a common belief that the standard results of universalalgebra as developed since the work of Birkhoff and others in thethirties carry over without much change to the framework ofmany-sorted algebras. Perhaps the …

  • April 26, 2010, 10:15 a.m.
    Artur Zawłocki (Uniwersytet Warszawski)
    truly-concurrent) semantyka dla wariantu CS (Prawdziwie współbieżna)
    Na seminarium przedstawię (w zarysie) semantykę operacyjną idenotacyjną rachunku procesów, nad którym ostatnio pracuję. Rachunekprzypomina CSP Hoare'a, ma jednak kilka nietypowych cech:- Alfabety procesów podzielone są na akcje wejściowe i wyjściowe.- Semantyka uwzględnia obliczenia nieskończone …

  • April 19, 2010, 10:15 a.m.
    Jędrzej Fulara i Krzysztof Jakubczyk (Uniwersytet Warszawski)
    Abstrakcyjna interpretacja nad dziedziną Weighted Hexagons
    Opowiemy jak zwykle o abstrakcyjnej interpretacji. Tym razem będziemy opisywać naszą abstrakcyjną dziedzinę numeryczną - Weighted Hexagons. Pozwala ona reprezentować: zależności postaci x <= a*y, gdzie x,y są zmiennymi oraz a jest stałą dodatnią, zależności …

  • April 12, 2010, 10:15 a.m.
    Michał R. Przybyłek (Uniwersytet Warszawski)
    Kategoryjna teoria instytucji
    Na seminarium opowiem o swoich najnowszych pracach związanych z kateogryjnym podejściem do połączenia, zmieniających się wzdłuż ustalonego języka, świata teorii i świata modeli. Będzie o modułach, prorozwłóknieniach i kategoryzacji pojęcia instytucji.

  • March 29, 2010, 10:15 a.m.
    Tadeusz Sznuk (Uniwersytet Warszawski)
    Generatory obligacji dowodowych
    Zamierzam zacząc od powiedzenia, co to jest vcgen i jaką ma rolę w systemach weryfikacji. Potem omówię kilka takich systemów, w szczególności Vcc, Code contracts, KeY, Why, może też SPARK i Eiffel.

  • March 22, 2010, 10:15 a.m.
    Maciej Zielenkiewicz (Uniwersytet Warszawski)
    Teoria kategorii w Naturze
    Na seminarium pokazane zostanie, jak w naturalny sposób teoria kategorii (i topologia) znajdują zastosowanie w kwantowej teorii pola, pozwalając zarówno na ułatwienie obliczeń, jak i na budowę "uogólnionych" teorii. Przedstawione zagadnienia zostaną zilustrowane analogiami do …

  • March 15, 2010, 10:15 a.m.
    Patryk Czarnik (Uniwersytet Warszawski)
    A dozen instructions make Java bytecode
    Prerun przed Bytecode 2010.Abstrakt pracy: One of the biggest obstacles in the formalisation of the Java bytecode is that the language consists of 200 instructions. However, a rigorous handling of a programming language in the …

  • March 8, 2010, 10:15 a.m.
    Aleksy Schubert (Uniwersytet Warszawski)
    Mały bajtkod
    Aleksy opowie o wspólnej z Jackiem i Patrykiem pracy - sprowadzeniu całej funkcjonalności i wszystkich instrukcji Maszyny Wirtualnej Javy (JVM) do 12 instrukcji i zapisaniu operacyjnej semantyki małych kroków w postaci 23 reguł. Oczywiście instrukcje …

  • March 1, 2010, 10:15 a.m.
    Grzegorz Marczyński (Uniwersytet Warszawski)
    O granicach w kategorii praporządków z morfizmami słabo odbijającymi domknięcia w dół
    Podczas seminarium opowiem o moich zmaganiach z pokazaniem istnienia wszystkich granic w kategorii Preord!, której obiekty to praporządki, zaś morfizmy spełniają dwa warunki:(1) są monotoniczne(2) słabo odbijają domknięcia w dół, czyli dla f : A …