The first Florence - Vienna workshop on Logic and Computation was held in the mathematics department “Ulisse Dini” of the University of Florence from 27 - 30 January, 2004. Program