ISType (Istanbul Type Seminars) 2012 is over and here are my notes about it. Right at the…