Skip to Content
Theoretical Computer Science
Faculty of Mathematics and Computer Science
high contrast version
log in
pl
menu
Theoretical Computer Science
Faculty of Mathematics and Computer Science
Jagiellonian University
O nas
News
Pracownicy
Computer Science - IT Analyst
For candidates
General Information
Programs of studies (pl)
Schedule
Diploma exams
Scholarships
Student Societies
Technical support (servers, sites, Intranet, @uj.edu.pl)
Satori
Teaching
Seminars
Graduates: PhD theses
Granty
Papers
Libraries
Warsztaty i konferencje
Events
Seminars - Instytut Informatyki Analitycznej
Uniwersytet Jagielloński
Wydział Matematyki i Informatyki
Instytut Informatyki Analitycznej
Teaching
Seminars
Seminars
Theoretical computer science Seminar
Combinatorial Optimization Seminar
Computer science foundations Seminar
Graduates: PhD theses
Granty
Papers
Libraries
Warsztaty i konferencje
Events
Seminaria
SOFSEM2026
09.02.2026 - 13.02.2026
Encoding Dependently-Typed Constructions into Simple Type Theory by Anthony Bordg and Adrián Dona Mateo
28.01.2026
The spanning tree spectrum
28.01.2026
Alon-Tarsi number and choosability of line graphs
22.01.2026
Recognizability in the Simply Typed Lambda-Calculus by Sylvain Salvati
21.01.2026
Cycle bases with low congestion in minor-excluded graphs
21.01.2026
Decremental Strongly-Connected Components and Single-Source Reachability in Near-Linear Time
15.01.2026
An O(log n) fully dynamic algorithm for maximum matching in a tree
15.01.2026
Lambda calculus with patterns by Jan Klop, Vincent van Oostromd and Roel de Vrijer
14.01.2026
Cycle lengths in graphs of given minimum degree
14.01.2026
Strona
1
...
Strona
3
Strona
4
Aktualna strona
5
Strona
6
Strona
7
...
171
Previous
Next
Hidden
Menu
O nas
News
Pracownicy
Computer Science - IT Analyst
For candidates
General Information
Authorities and competences (pl)
Deadlines (pl)
Academic Calendar
Sample documents (pl)
UsosWeb
Regulations and fees (pl)
Erasmus
Programs of studies (pl)
Bachelor Degree
Master Degree
Syllabuses
Schedule
Diploma exams
The conduct of the final exam for bachelor studies (pl)
Conditions for admission to the final exam for bachelor studies (pl)
The conduct of the final exam for master studies (pl)
Conditions for admission to the final exam for master studies (pl)
Scholarships
Student Societies
Technical support (servers, sites, Intranet, @uj.edu.pl)
Satori
Teaching
Seminars
Theoretical computer science Seminar
Combinatorial Optimization Seminar
Computer science foundations Seminar
Graduates: PhD theses
Granty
Papers
Libraries
Warsztaty i konferencje
Events
