10月9日——10月17日，波兰华沙大学Andrzei Trybulec教授、日本信州大学Yatsuka Nakamura教授在崂山校区数理学院（南区2号楼）302室就数学问题的计算机证明对数理学院的在校研究生进行为期九天的讲学。

两位专家的这次讲学，给数理学院的在校研究生及部分年轻教师提供了一次非常好的交流机会。相信通过这次学习交流会会使他们的专业水平得到很大程度上提高。

Professor Andrzei Trybulec.University of Bialystor，（1946年3月出生）现年60岁，华沙大学信息科学研究院院长，是国际著名的数学家与计算机科学专家，是Mizar语言的开拓者与数学问题的计算机证明的创始人，他所领导的信息科学研究院与计算机科学研究所在人工智能、微型机器人、音像识别等研究领域处于世界先进水平。Professor Yatsuka Nakamura,日本国立信州大学教养部部长，58岁，现为我校客座教授，在人工智能、机器人、音像识别、数学问题的计算机证明研究领域等方面有国际领先的科研成果。