Uniwersytet Warszawski Instytut Filozofii

Program warsztatów

  • 28 VI (poniedziałek)
    • 1700–1800OBIADOKOLACJA
    • 1800–2000 Filip Murlak - Logika w bazach danych: więzy i wymiana danych
  • 29 VI (wtorek)
    • 900–1000 ŚNIADANIE
    • 1000–1200 Paweł Parys - Ewaluacja wyrażen rachunku mu – ograniczenia dolne i górne
    • 1200–1400 Filip Murlak - Logika w bazach danych: więzy i wymiana danych
    • 1400–1600 Filip Murlak - Logika w bazach danych: więzy i wymiana danych
    • 1700–1800 OBIADOKOLACJA
    • 1800–2000 Michał Skrzypczak - Topologia a logika - języki definiowalne w MSO+U
  • 30 VI (środa)
    • 900–1000 ŚNIADANIE
    • 1000–1200 Paweł Parys - Ewaluacja wyrażen rachunku mu – ograniczenia dolne i górne
    • 1200–1400 Adam Trybus - Logiki przestrzeni
    • 1400–1600 Zenon Sadowski - O pojeciu syntaktycznej klasy zlozonosci obliczeniowej
    • 1700–1800 OBIADOKOLACJA
    • 1800–2000 CZAS WOLNY
  • 1 VII (czwartek)
    • 900–1000 ŚNIADANIE
    • 1000–1800 CZAS WOLNY - MOŻLIWA WYCIECZKA - DO USTALENIA
  • 2 VII (piątek)
    • 900–1000 ŚNIADANIE
    • 1000–1200 Michał Krynicki - Kwantyfikatory rozgałęzione
    • 1200–1400 Marek Czarnecki - Osiąganie punktów stałych w rachunku mu
    • 1400–1600 Cezary Cieśliński - Arytmetyki z predykatem prawdy
    • 1700–1800 OBIADOKOLACJA
    • 1800–2000 Leszek Kołodziejczyk - Logiki dla P i optymalne systemy dowodowe dla rachunku zdań
  • 3 VII (sobota)
    • 900–1000 ŚNIADANIE
    • 1000–1200 Leszek Kołodziejczyk - Logiki dla P i optymalne systemy dowodowe dla rachunku zdań
    • 1200–1400 Leszek Kołodziejczyk - Logiki dla P i optymalne systemy dowodowe dla rachunku zdań
    • 1400–1600 Cezary Cieśliński - Arytmetyki z predykatem prawdy
    • 1730–1800 OBIADOKOLACJA
    • 1800–2000 Damian Niwiński - Rachunek mu
  • 4 VII (niedziela)
    • 900–1000 ŚNIADANIE
    • 1000–1200 Marcin Mostowski - TBA