[TYPES/announce] Workshop DaLí === New deadline ====
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] DEADLINE EXTENSION= Workshop DaLí – Dynamic Logic: new trends and applications Brasília, 24 September, 2017 (co-located with
[TYPES/announce] Workshop DaLí
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Workshop DaLí – Dynamic Logic: new trends and applications Brasília, 24 September, 2017 (co-located with FROCOS TABLEAUX and ITP 2017