Nie jesteś zalogowany |
Zaloguj się
PL
/
EN
studia
Kandydat
Student
Doktorant
Wykładowca
Erasmus
Cтуденти з України
wydział
dojazd i plan
struktura i organizacja
Rada Wydziału
pracownicy i doktoranci
formularze, dokumenty
zamówienia publiczne
badania
dziedziny badań
seminaria
publikacje
granty
Rada Dyscyplin
Sekcja Obsługi Badań
IDUB
popularyzacja
zajęcia dla uczniów
materiały online
dla studentów i matematyków
dla wszystkich
konkursy, projekty
inne materiały
USOSweb
SRS
APD
Moodle
Lab. komputerowe
Poczta studencka
Poczta pracownicza
Plany
Biblioteka
Wspomnienia
Kariera
Powrót do listy seminarów
Seminarium „Logika i teoria typów”
Cotygodniowe seminarium badawcze
Organizatorzy
dr hab.
Aleksy Schubert
, prof. UW
prof. dr hab.
Paweł Urzyczyn
Informacje
piątki, 12:15 , sala:
5450
Strona domowa
https://www.mimuw.edu.pl/~alx/piatek.html
Dziedziny badań
Logika w informatyce
Teoria automatów
Lista referatów
Termin
Wszystko
2024
2023
2022
2021
2020
2019
2018
Przed 2018
Prelegent
1