Formal and mathematical methods

IME 2020 will be the most comprehensive conference focused on the various aspects of advances in IT-based Mathematical Education. Our Conference provides a chance for academic and industry professionals to discuss recent progress in the area of IT-based Mathematical Education. The goal of this conference is to bring together the researchers from academia and industry as well as practitioners to share ideas, problems and solutions relating to the multifaceted aspects IT-based Mathematical Education.