prof. Steinbach came for a short visit (12/03 till 16/13). He presented his latest result on Boolean Differential Calculus as well as he introduced some of the details and advanced features of his XBoole software.