8. 9. 2003
FM2003
Representatives of the Laboratory of Microcomputer Systems participated on the International Symposium of Formal Methods Europe in Pisa, Italy in September 2003.
Pictures from our tourist part of the trip are divided to the Pisa and Lucca area where we visited the exhibition of the Leonardo da Vinci's work. The rest of the pictures are from the FM 2003 tutorials and the symposium and are not available to the general public.