Najnowsze


logo_glli

GLLI zaprasza na wykład prof. Pawła Urzyczyna (UW)

Zapraszamy na wykład pt. Formuły-typy-gry: izomorfizm Curry'ego-Howarda-Lorenzena, który wygłosi prof. Paweł Urzyczyn (Instytut Informatyki, Uniwersytet Warszawski). Wykład organizowany przez Grupę Logiki, Języka i Informacji oraz Instytut Matematyki i Informatyki Uniwersytetu Opolskiego odbędzie się 12 kwietnia (wtorek) 2016r. o godz. 12:30 w sali nr 15 w gmachu Collegium Civitas Uniwersytetu Opolskiego (ul. Katowicka 89).
Czytaj więcej →

Instytut Filozofii Uniwersytetu Opolskiego na mapie Opola

Siedziba