Instytut
Informatyki
English
Terminarz
Studia
Terminarz
Dla kandydatów
Co nas wyróżnia? Dlaczego my?
Dzień otwarty 2025
Dni adaptacyjne 2025
Kadra
Opisy wybranych wykładów
Sztuczna Inteligencja, Uczenie Maszynowe oraz Big Data
Dolnośląski Festiwal Nauki
Rekrutacja
Forum rekrutacji (nieoficjalne)
Dla studentów
Dla nowych studentów
Praktyczne informacje
Koło KSI
Koło Continuum
Projekt Helium
Projekt Mimiker
Projekt Kuźnia rdzeni
Samorząd studencki
Obsługa Studentów i Doktorantów z Niepełnosprawnością
Pełnomocnik ds. równego traktowania i przeciwdziałania dyskryminacji
Pełnomocnik dziekana ds. bezpieczeństwa
Programy stypendialne
Rzecznik akademicki
Informacje o studiach
Informatyka I st.
Informatyka II st.
ISIM
Kolegium Doktorskie Informatyki
Lektoraty
Prace dyplomowe
Egzaminy dyplomowe
Przepisy i formularze
Podania i formularze
Szczegółowe zasady zaliczania i powtarzania semestru
Zasady reaktywacji
Studia podyplomowe
Serwisy
Biblioteka wydziałowa
System KOmunikacji ze Studentami
System Zapisów
USOSWeb
Poczta
Archiwum prac dyplomowych
Prace i staże, praktyki
Wymiany studenckie
Wymiany studenckie
Pracownie i sieć
Konkursy
Wielka Przesmycka
AMPPZ
Olimpiada informatyczna
Pytania
Instytut
Serwisy
Biblioteka wydziałowa
Źródła on-line
System KOmunikacji ze Studentami
System Zapisów
USOSWeb
Archiwum prac dyplomowych
Biblioteka Uniwersytecka
Lokalizacja i kontakt
Struktura
Władze
Rady i komisje
Zakłady
Pracownia Grafiki Komputerowej
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Inteligencji Obliczeniowej
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Pracownicy niezależni
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Inżynierii Oprogramowania
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Języków Programowania
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Metod Numerycznych
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Optymalizacji Kombinatorycznej
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Teorii Informatyki i Baz Danych
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Złożoności Obliczeniowej i Algorytmów
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Jednostki nadrzędne
Terminy posiedzeń
Pracownicy
Sekretariat
Dziekanat
Akredytacje i certyfikaty
Projekty unijne
Badania
W skrócie
Zakłady
Pracownia Grafiki Komputerowej
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Inteligencji Obliczeniowej
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Pracownicy niezależni
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Inżynierii Oprogramowania
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Języków Programowania
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Metod Numerycznych
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Optymalizacji Kombinatorycznej
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Teorii Informatyki i Baz Danych
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Złożoności Obliczeniowej i Algorytmów
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Wyróżnienia
Granty
Seminaria
Publikacje
Oferty pracy
Aktywność naukowa
Aktualności
English
Studia
Instytut
Badania
Aktualności
Terminarz
Nagroda Lipskiego dla Piotra Ostropolskiego-Nalewai
Menu
badania
W skrócie
Zakłady
Pracownia Grafiki Komputerowej
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Inteligencji Obliczeniowej
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Pracownicy niezależni
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Inżynierii Oprogramowania
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Języków Programowania
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Metod Numerycznych
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Optymalizacji Kombinatorycznej
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Teorii Informatyki i Baz Danych
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Zakład Złożoności Obliczeniowej i Algorytmów
O zakładzie
Pracownicy
Granty
Seminaria
Publikacje
Wyróżnienia
Granty
Seminaria
Publikacje
Oferty pracy
Aktywność naukowa
Seminaria
16
Lis.
Maciej Piróg: „Diagramy sznurkowe i wolne monady”
05
Paź.
Piotr Polesiuk: Proving Soundness of Extensional Normal-Form Bisimilarities
11
Maj
Paweł Wieczorek: A Coq Formalization of Normalization-By-Evaluation for Martin-Löf Type Theory
30
Mar.
Hans de Nivelle: PHOLI-calculus, a Partial Higher-Order Logic with Interfaces
16
Mar.
Maciej Piróg: Syntax and Handlers for Operations with Scopes
02
Lut.
Klara Zielińska: Generalized Refocusing and its formalization in Coq
26
Sty.
Maciej Piróg: Unifying Guarded and Unguarded Iteration
19
Sty.
Małgorzata Biernacka: On the extraction of one-pass CPS transformations from normalization proofs
12
Sty.
Bartosz Bednarczyk: Extending Two-Variable Logic on Trees
24
Lis.
Dariusz Biernacki: Minimal classical logic and control operators
10
Lis.
Marek Materzok: Analyzing and manipulating source code with Rascal
20
Paź.
Filip Sieczkowski: Step-Indexed Kripke Models over Recursive Worlds
06
Paź.
Piotr Polesiuk: Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation
20
Maj
Subsumption Algorithms for Three-Valued Geometric Resolution