Create 2024-03-12-nondeterministic-worklist-decidability.md

cu1ch3n · web-flow · commit b0b285b8aaff · 2024-03-11T15:12:30.000+08:00
diff --git a/_posts/2024-03-12-nondeterministic-worklist-decidability.md b/_posts/2024-03-12-nondeterministic-worklist-decidability.md
@@ -0,0 +1,9 @@
+--- 
+layout:  post 
+title:   Decidability of Nondeterministic Worklist Algorithms
+authors: Chen Cui
+date:    2024-03-12 10:10:00 +0800
+venue:   CB308
+--- 
+
+In this talk, I will share the hard journey we experienced in proving the decidability of certain nondeterministic worklist algorithms.
