Mar123PM Computer Science Speaking Skills Talk JUNXING WANG Min-degree algorithm Virtual Presentation - ET Remote Access - Zoom
Mar1912PM Computer Science Speaking Skills Talk KATHERINE CORDWELL A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm Virtual Presentation - ET Remote Access - Zoom