Xiaoyu CHEN   陈肖宇   my cv
Assistant Professor
School of Mathematics and Systems Science, Beihang University
Xueyuan Road No.37, Haidian District
Beijing 100191, China


E-mail: chenxiaoyu[at]buaa.edu.cn
             franknewchen[at]gmail.com
Talks

  1. The 4th International Congress on Mathematical Software (ICMS 2014), Seoul, Korea
    Title: OpenGeo: An Open Geometric Knowledge Base [slide]
  2. The 3rd International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2014), Vienna, Austria
    Title: RCK: A Software Toolkit for R-calculus
  3. The 5th Chinese Conference on Computer Mathematics (CM 2013), Changchun, China
    Title: An Open Platform for Sharing Mathematical Knowledge Resources (in Chinese) [slide]
  4. The 9th International Workshop on Automated Deduction in Geometry (ADG 2012), Edinburgh, UK
    Title: Interfacing Euclidean Geometry Discourse with Diverse Geometry Software [slide][demo]
  5. The 37th International Symposium on Symbolic and Algebraic Computation (ISSAC 2012), Software Presentation Track, Grenoble, France
    Title: GeoText: An Intelligent Dynamic Geometry Textbook [intro]
  6. Conferences on Intelligent Computer Mathematics (CICM 2012), System & Projects Track, Breman, Germany
    Title: Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence [poster] [intro]
  7. The 8th International Workshop on Automated Deduction in Geometry (ADG 2010), Munich, Germany
    Title: Formal Representation and Automated Transformation of Geometric Statements
  8. The 9th International Conference on Mathematical Knowledge Management (MKM 2010), Paris, France
    Title: Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
  9. RISC Colloquium (2010), Linz, Austria
    Title: Formalization and Management of Geometric Knowledge (with Dongming Wang)
  10. The 5th Asian Workshop on Foundations of Software (AWFS 2007), Xiamen, China
    Title: Towards a Dynamic Environment for Geometry Research & Education
  11. The 6th International Workshop on Automated Deduction in Geometry (ADG 2006), Vigo, Spain
    Title: Towards an Electronic Geometry Textbook
  12. International Seminar on Symbolic Computation in Education 2006 (SCE 2006), Beijing, China
    Title: The Electronic Geometry Textbook Project

Visits

  1. Hasso Plattner Institute, Potsdam, Germany, hosted by Prof. Christoph Meinel
    Saarland University, Saarbrücken, Germany, hosted by Prof. Reinhard Wilhelm, July 2014
  2. Web-based Mathematics Education (WME) group, Lanzhou University, China
    hosted by Dr. Wei Su, May 2013
  3. Computer Graphics and Geometry (IGG) group, University of Strasbourg, France
    hosted by Prof. Pascal Schreck and Dr. Julien Narboux, July 2012
  4. Knowledge Adaptation and Reasoning for Content (KWARC) group, Jacobs University, Bremen, Germany
    hosted by Prof. Michael Kohlhase, July 2012
  5. Research Institute for Symbolic Computation (RISC), Linz, Austria
    hosted by Prof. Franz Winkler, July 2010
  6. Discrete Algebra and Geometry (DAM) group, Eindhoven University of Technology, the Netherlands
    hosted by Prof. Arjeh M. Cohen and Dr. Hans Cuypers, September 2008 – September 2009
  7. Discrete Algebra and Geometry (DAM) group, Eindhoven University of Technology, the Netherlands
    hosted by Prof. Arjeh M. Cohen, June 2007
  8. Special Semester on Gröbner Bases and Related Methods, Research Institute for Symbolic Computation (RISC), Linz, Austria
    hosted by Prof. Bruno Buchberger, February – April 2006

Activities

  1. Local Co-organizer. The 4th International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2015), October 21–23, Beijing, China
  2. Local Co-organizer. The 2nd International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2013), October 23–25, Beijing, China
  3. Local Co-organizer. The 1st International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS 2012), October 10–12, Beijing, China
  4. Local Co-organizer. The 4th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2011), October 19–21, Beijing, China
  5. Local Co-organizer. The 8th International Conference in Artificial Intelligence and Symbolic Computation (AISC 2006), September 20–22, Beijing, China
  6. Participation. SSSC 2006, MACIS 2006, SCC 2008, RCA 2009, 2nd Asian-Pacific Coq Summer School, ADG 2014