We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 4dc1004 commit e70e582Copy full SHA for e70e582
1 file changed
cfp.txt
@@ -152,7 +152,7 @@ is reported on the ICE website.
152
153
=== INVITED SPEAKER ===
154
155
-Kirstin Peters (Augsburg University, Germany) -- On the Expressiveness of MPST
+Kirstin Peters (Augsburg University, 🇩🇪) -- On the Expressiveness of MPST
156
157
Multiparty session types (MPST) are a type discipline for enforcing the
158
structured, deadlock-free communication of concurrent and message-passing
@@ -224,3 +224,4 @@ or visit our series website
224
or the 2025 ICE website
225
226
https://www.discotec.org/2025/satellite/ice
227
+
0 commit comments