Summer conferences

Many conferences run on-line and free this Summer. LAIV is attending PLDI’20 and IJCAR’20, to name the two main venues in programming languages and automated reasoning.