SeonghunPark

Name: Marek Sokołowski, Strongly Polynomial Parallel Work-Depth Tradeoffs for Directed SSSP
Start: 2026-02-24T16:30:00+09:00
End: 2026-02-24T17:30:00+09:00
Location: Room B332

S	M	T	W	T	F	S
0 events 1 0 events, 1	0 events 2 0 events, 2	0 events 3 0 events, 3	0 events 4 0 events, 4	0 events 5 0 events, 5	0 events 6 0 events, 6	0 events 7 0 events, 7
0 events 8 0 events, 8	0 events 9 0 events, 9	1 event 10 1 event, 10 4:30 PM - 5:30 PM Seonghun Park (박성훈), Formalizing Flag Algebras in the Lean Theorem Prover February 10 Tuesday @ 4:30 PM - 5:30 PM KST Seonghun Park (박성훈), Formalizing Flag Algebras in the Lean Theorem Prover Flag algebras are a mathematical framework introduced by Alexander Razborov in 2007, which has been used to resolve a wide range of open problems in extremal graph theory in the past twenty years. This framework provides an algebraic setup where one can express relationships between induced subgraph densities symbolically. It also comes with mathematical techniques … Continue Reading	0 events 11 0 events, 11	0 events 12 0 events, 12	0 events 13 0 events, 13	0 events 14 0 events, 14
0 events 15 0 events, 15	0 events 16 0 events, 16	0 events 17 0 events, 17	0 events 18 0 events, 18	0 events 19 0 events, 19	0 events 20 0 events, 20	0 events 21 0 events, 21
0 events 22 0 events, 22	0 events 23 0 events, 23	0 events 24 0 events, 24	0 events 25 0 events, 25	0 events 26 0 events, 26	0 events 27 0 events, 27	0 events 28 0 events, 28

There are no events on this day.

February 10 Tuesday

February 10 Tuesday @ 4:30 PM - 5:30 PM KST

Seonghun Park (박성훈), Formalizing Flag Algebras in the Lean Theorem Prover

There are no events on this day.

DIMAG on YouTube

We use YouTube Live to broadcast seminar talks live if the speaker agrees.

Calendar of Events

1 event 10

1 event, 10

Seonghun Park (박성훈), Formalizing Flag Algebras in the Lean Theorem Prover