Special Seminar by Fields Medal Recipient (2002) Prof. Vladimir Voevodsky
"Computer proof assistants – the future of mathematics".
August 4, 2015 16.00 - 17.00, at Meeting Room, Stang Mongkolsuk Building, Faculty of Science, Mahidol University.
DSC7950 DSC7954 DSC8017 DSC7959 DSC7966 DSC7967 DSC7973 DSC7981 DSC7984 DSC7985 DSC7988 DSC7989 DSC7990 DSC7991 DSC7992 DSC7993 DSC7994 DSC7995 DSC7997 DSC7998 DSC7999 DSC8001 DSC8003 DSC8004 DSC8005 DSC8014 DSC8016 DSC8021 DSC8022 DSC8029 DSC8030 DSC8046 DSC8052 DSC8059 DSC8062 DSC8068 DSC_6490 mootools gallery lightboxby VisualLightBox.com v5.9