[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hi all,
The students of the Berkeley programming systems group have organized an
online summer seminar series. We will be hosting students from different
institutions working on various exciting topics in programming
languages, software engineering, formal methods, etc. All are invited to
attend! We ask you to sign up on our mailing list as we will be posting
the zoom link to each week's seminar.
For more info please visit: http://ps.berkeley.edu/seminar.html
Stay healthy and stay safe!
Alvin (on behalf of the seminar series student organizers)
