Milan Workshop in Categorical algebra, second announcement