ACL2 Workshop 2020 Venue

Workshop Location GDC 4.304
Gates Dell Complex
University of Texas
Austin, TX

The ACL2 Workshop 2020 will be held in the Gates Dell Complex, home to the Department of Computer Sciences at the University of Texas at Austin. Guest WiFi will be provided. Limited parking will be available on campus, though the venue is within distance of the workshop hotels.