Marek Sokołowski gave a talk on a new parallel algorithm computing single-source shortest paths in directed graphs at the Discrete Math Seminar
On February 24, 2026, Marek Sokołowski from the Max Planck Institute of Informatics gave a…
Seonghun Park (박성훈) gave a talk on formalizing the flag algebra in the lean theorem prover
On February 10, 2026, Seonghun Park (박성훈) from KAIST gave a talk on formalizing the…
Xiaofan Yuan gave a talk on the minimum color-degree condition for having a rainbow path at the Discrete Math Seminar
On February 3, 2026, Xiaofan Yuan from the IBS Extremal Combinatorics and Probability Group gave…
Welcome Hyunsung Choi (최현성), a new graduate student of the IBS Discrete Mathematics Group
The IBS Discrete Mathematics Group welcomes Hyunsung Choi (최현성), a new graduate student of the Discrete…
Daniel Dadush gave a talk on a strongly polynomial-time algorithm to solve linear programming problems with at most two non-zero entries per each row or each column at the Discrete Math Seminar
On January 27, 2025, Daniel Dadush from CWI gave a talk at the Discrete Math…
Tomáš Masařík gave a talk at the Discrete Math Seminar on finding a balanced separator in an H-minor-free graph in linear time
On January 20, 2026, Tomáš Masařík from the University of Warsaw, Poland, gave a talk…