[TYPES/announce] Berkeley summer seminar series on programming systems

[Alvin Cheung]

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)