Theoretical Computer Science

Faculty of Mathematics and Computer Science Jagiellonian University

Seminaria

Hadwiger’s conjecture

12.12.2019

Linear-Space Data Structures for Range Mode Query in Arrays [Chan, Durocher, Larsen, Morrison, Wilkinson]

12.12.2019

Coloring planar graphs with 3 colors and no large monochromatic components

12.12.2019

Monochromatic triangles, intermediate matrix products, and convolutions

11.12.2019

A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic by Paul Wild, Lutz Schroder, Dirk Pattinson and Barbara Konig.

11.12.2019

The Return of Coppersmith’s Atack: Practical Factorization of Widely Used RSA Moduli

05.12.2019

Probably Half True: Probabilistic Satisfability over Lukasiewicz Infnitely-valued Logic by Marcelo Finger and Sandro Preto

04.12.2019

Parity Games: Zielonka’s Algorithm in Quasi-Polynomial Time [P. Parys]

28.11.2019

A Short Guide to Hackenbush

28.11.2019

Satisfiability in Strategy Logic can be Easier than Model Checking by Erman Acar, Massimo Benerecetti and Fabio Mogavero.

27.11.2019