Fourth conference on foundations of software technology and theoretical computer science