BASES HACKSPACE x ATOPILE: SMT-SOLVER HACKATHONDate2025-02-20LocationConference Room E401!!, Stanford, CA, USAHostbases hackspace at stanfordSpeakersDevAlex GuMarkIoannis PapamanoglouDarrow HartmanBenjamin Boltebases hackspace at stanfordEmi SorokaRyan RongPratham HombalTopicsotherhackathontechcommunitynetworkingRegistrationRegister / Get tickets