You are invited to the group Iowa Type Theory Commute. Click above to join.