The best way to learn something is to try teaching it to others, so I'm giving an introduction to dependent types at Manchester's Lambda Lounge; provisionally on the 19th August :)