The second Florence - Vienna workshop on Logic and Computation was held in the mathematics department “Ulisse Dini” of the University of Florence from November 2-5, 2005. Program