Speaker: Thomas Tan
Title: "Induction is not derivable in second order dependent type theory"
Presenting Herman Geuvers' paper (2000)  showing the non-derivability of any induction principles in weaker type theories such as λP2 or the Calculus of Constructions.
The meeting is at Red Hat:
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.