Speaker: Gergo Erdí
Title: "Free monoids take a price HIT"
- a HOTT approach to free algebraic structures
(Note the Red Hat venue:)
Venue: AXA Tower, Tanjong Pagar
Level 11 Training room
Access: from Tanjong Pagar MRT take exit D and enter from the Anson Street entrance. Alternatively use the main entrance on Shenton Way.
Bring ID & check-in at the security desk in the lobby saying you are visiting the Red Hat office for the meetup. Then proceed as a visitor to level 11.