The information for participant
Mission
Computer Assisted Mathematics conference is a forum for scientists and teachers developing the direction of algorithmic mathematics and interested in promoting of important discrete mathematics and theoretical informatics ideas into education in technical universities and schools, including through the development of computer tools for supporting research and productive thinking.
Date
22-24 July 2019
Venue
Saint-Petersburg, St. Petersburg State Electrotechnical University "LETI"
(see Contacts)
PROGRAM CAM-2019
Sections
Section 1
Algorithmic Mathematics and Mathematical Modeling
Section 2
Training in algorithmic mathematics and mathematical modeling
Section 3
Computer tools to support teaching and studying of mathematics and computer science
The conference topics include but are not restricted to:
- Algorithmic mathematics
- Mathematical modeling
- Discrete analysis
- Control theory
- Theoretical computer science
- Symbolic computations
- Unsolved problems in theoretical and applied computer science
- Software engineering
- Computer aided education
- Software in math education and research
- Training in algorithmic mathematics and mathematical modeling
- Computer tools and teaching technologies to support productive thinking in mathematics and computer science
History
The Computer Assisted Mathematics conference is supported by Computer Tools in Education journal (CTE), Computer Tools in Science and Education journal and Computer Assisted Mathematics journal which will open in 2019 as successors of CTE journal and will be publishing in English. Computer Tools in Education journal was founded at 1998 and before 2016 was published only on Russian language. The significant contribution to coming-to-be of the journal was made by two great scientists. One of them - Svjatoslav S. Lavrov - was one of the founders of computer science in USSR. Another - Seymour Papert – created a LOGO language to study interaction between students and computers.
Computer Tools in Education journal is indexed in Russian Science Citation Index and is in the list of the Higher Attestation Commission of priority Russian scientific journals.
Publications
All the accepted papers will be published in journals listed above.
Packages
|
|