Impact of the COVID-19 outbreak on SIGOPS activities

Updated: Mars 23, 2020 Due to the ongoing COVID-19 pandemic, several SIGOPS sponsored events are making changes. ASPLOS 2020 – the physical conference is canceled EuroSys 2020 – the physical conference is canceled VEE 2020 – the physical conference is canceled SIGOPS Summer School (SATIS) 2020 – canceled Systor 2020 – the conference is postponed … Read more Impact of the COVID-19 outbreak on SIGOPS activities

Mechanized Proofs for PL: Past, Present, and Future

The POPLmark Challenge helped stir lasting excitement about mechanized proofs within the PL community. Despite the advances and successes, there is a lot more to do. This post reflect on the state of affairs of mechanized proof in PL, organized around the topics and discussions that arose in the POPLmark 15 Year Retrospective Panel.