[TYPES/announce] Workshop DaLí === New deadline ====

2017-05-26 Thread Alexandre Madeira
[ 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í

2017-02-03 Thread Alexandre Madeira
[ 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