add 1120 talk

slanterns · slanterns · commit 9d4a8ba0c0c4 · 2024-11-19T16:57:55.000+08:00
diff --git a/_posts/2024-11-20-semantic-merging.md b/_posts/2024-11-20-semantic-merging.md
@@ -0,0 +1,10 @@
+--- 
+layout:  post
+title:   Merges with semantic typing
+authors: Qianyong
+date:    2024-11-20 10:15:00 GMT+8
+venue:   CB308
+--- 
+
+
+In this talk, we will discuss some preliminary progress (and difficulties) on proving the type soundness of a merge system via semantic typing.
