Upcoming seminars:
04.10.2023 16:15 Avi Widgerson Institute for Advanced Study, Princeton |
Theoretical computer science The Value of Errors in Proofs |
11.10.2023 16:15 TBA |
Theoretical computer science TBA - 2023.10.11 |
18.10.2023 16:15 Marcelo Campos University of Oxford |
Theoretical computer science An exponential improvement for diagonal Ramsey |
25.10.2023 16:15 Torsten Mütze University of Warwick |
Theoretical computer science A book proof of the middle levels theorem |
08.11.2023 16:15 TBA |
Theoretical computer science TBA - 2023.11.08 |
15.11.2023 16:15 TBA |
Theoretical computer science TBA - 2023.11.15 |
News
28.11.2022 Paweł Idziak |
Studenci Informatyki Analitycznej mistrzami Europy Środkowej w Programowaniu Zespołowym |
29.07.2022 Paweł Idziak |
Adam Polak uzyskał stypendium Ministra Edukacji i Nauki dla wybitnych młodych naukowców |
- Home
- Algorithmics Research Group
- Foundations of Computer Science
- Faculty of Mathematics and Computer Science
- Contact
- Satori
- Reports on Mathematical Logic
- Forum TCS
- UsosWeb
- Informatyka na szlaku
- Photos
- People
- Bartłomiej Bosek
- Marcin Briański
- Iwona Cieślik
- Jan Derbisz
- Andrzej Dorobisz
- Lech Duraj
- Monika Gillert
- Katarzyna Grygiel
- Grzegorz Gutowski
- Grzegorz Herman
- Pawel M. Idziak
- Piotr Kawałek
- Marcin Kozik
- Jakub Kozik
- Tomasz Krawczyk
- Jacek Krzaczkowski
- Xuân La
- Agnieszka Łupińska
- Piotr Micek
- Jonathan Narboni
- Andrzej Pezarski
- Bartosz Podkanowicz
- Adam Polak
- Krzysztof Potępa
- Wojciech Szpankowski
- Maciej Ślusarek
- Jan Tułowiecki
- Krzysztof Turowski
- Bartosz Walczak
- Michał Wrona
- Marek Zaionc
- Former colleagues