References

1. Type Theory
• Important books & articles on Martin-Löf Type Theory (aka Intuitionistic Type Theory)
• Most authoritative presentation of Martin-Löf’s type theory.
• Programming in Martin-Löf’s type theory
• Type Theory etc.
• Series of lectures given in 1980 on Intuitionstic/Dependent Type Theory (1984)

Relevant News

• Indian Supreme Court on Right to Privacy
• Discussion 1 on why Attorney General may not be right on Right to Privacy.
• Discussion 2 on why Attorney General may not be right on Right to Privacy.
• Consequences of Ashley Madison privacy breach.
• Why Using WhatsApp for Work Is a Terrible Idea
• Facebook Gaydar Emerges From Breakthrough MIT Project
• What are you revealing online?

List of Conferences

• WikiCFP: All Categories
• Impact Factor
• Formal Methods (Verification, Model Checking, Logics, etc.)

Music I like (lyrics not counted always)

• Indila - Dernière Danse
• Indila - S.O.S
• Shakira - Gypsy
• One Direction - What Makes You Beautiful
• Ashlee Simpson - Pieces Of Me
• Imagine Dragons - Demons
• Enrique Iglesias - Bailando
• Jagjit Singh - Bazeecha-e-atfaal
• Keira Knightley - "Like A Fool"
• Stromae - Formidable
• Kishor Kumar & Aasha Bhonsle - Ye Raatein Ye Mausam
• Ronan Keating - When You Say Nothing At All
• Bruno Mars - Just The Way You Are
• Justin Timberlake - Cry Me A River
• Shakira - Te Aviso, Te Anuncio