Upcoming seminars:
20.01.2021 12:15 Weronika Loreńczyk |
Computer science foundations The Fractal Dimension of SAT Formulas by Carlos Ansotegui, Maria Bonet , Jesus Giraldez-Cru and Jordi Levy |
21.01.2021 16:15 Artur Kasymov |
Combinatorial Optimization Machine learning in Combinatorial Optimization |
21.01.2021 17:00 Bartosz Wodziński |
Combinatorial Optimization Graph Removal Lemma |
01.07.2021 16:15 Grzegorz Gutowski |
Theoretical computer science TBA - Gutowski |
01.07.2021 16:15 Bartosz Walczak |
Theoretical computer science TBA - Walczak |
01.07.2021 16:15 Paweł Idziak |
Theoretical computer science Modular circuits satisfiability of intermediate complexity |
News
10.12.2020 Paweł Idziak |
Mgr Krzysztof Kleiner laureatem XXXVII Ogólnopolskiego Konkursu PTI na najlepsze prace magisterskie z informatyki |
24.10.2020 Marek Zaionc |
Krzysztof Maziarz laureatem konkursu na najlepszą pracę prace magisterskią w dziedzinie uczenia maszynowego |
30.05.2020 Marek Zaionc |
Granty NCN dla Bartosza Walczaka i Bartłomieja Boska. |
Granty NCN w konkursach SONATA BIS-9 oraz OPUS 18. |
- 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
- Iwona Cieślik
- Jan Derbisz
- Andrzej Dorobisz
- Lech Duraj
- Monika Gillert
- Katarzyna Grygiel
- Grzegorz Guśpiel
- Grzegorz Gutowski
- Grzegorz Herman
- Pawel M. Idziak
- Piotr Kawałek
- Marcin Kozik
- Jakub Kozik
- Tomasz Krawczyk
- Jacek Krzaczkowski
- Agnieszka Łupińska
- Marcin Mazur
- Piotr Micek
- Andrzej Pezarski
- Adam Polak
- Michał Seweryn
- Maciej Ślusarek
- Krzysztof Turowski
- Bartosz Walczak
- Michał Wrona
- Marek Zaionc
- Former colleagues