. . "The FM-Elsewhere workshop, co-located with FORTE-PSTV-2000 in Pisa, was a forum for researchers interested in the application of formal methods to virtually any area of research, except communication protocols and software engineering." . . .