a broad selection of talks and posters
about ongoing research and any other topics that may be of interest to
the PL community. There will be no formal proceedings, but abstracts
and slides will be distributed on the web after the workshop.
-Organizers of MWPLS 2023
Jean-Baptiste Jeannin
Max New
and
attendees will be provided with complimentary breakfast, lunch, and
coffee breaks. Travel support for students is available.
-Organizers of MWPLS 2023
Jean-Baptiste Jeannin
Max New
Cyrus Omar
Xinyu Wang
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
TL;DR
Deadline for HOPE 2024 abstracts is one week away on May 30, 2024.
Details below.
--