Program/Schedule announced - TLA+ Conference September 30, 2021 in St. Louis, MO, USA

14 views
Skip to first unread message

Markus Kuppe

unread,
Jul 16, 2021, 1:26:59 PM (9 days ago) Jul 16
to tla...@googlegroups.com

The program of TLA+ Conf is now up at http://conf.tlapl.us/2021/

Markus
Reply all
Reply to author
Forward
0 new messages