CFPs in Mathematics and Statistics

This page displays all currently active CFPs in Mathematics and Statistics.

### Areas

Click on an area below to view all CFPs in this area.

### CFPs

CFPs in Mathematics and Statistics are shown in the table below. Newer CFPs are displayed first.

| ||||||||

Acronym | Name | Location | Submission deadline | Start date | Topics | |||
---|---|---|---|---|---|---|---|---|

CL-2018 | Continual Learning Workshop NIPS 2018 | Montreal, Canada | Oct 19, 2018 | Dec 7, 2018 | deep learning reinforcement learning meta learning continual learning | |||

ICCS19 | 24th International Conference on Conceptual Structures | Marburg, Germany | Dec 7, 2018 | Jul 1, 2019 | formal concept analysis graph based models and tools existential and conceptual graphs knowledge architecture and management | |||

JISIC2018 | IX Jornadas de Ingeniería en Sistemas Informáticos y de Computación - JISIC | Quito, Ecuador | Sep 18, 2018 | Oct 17, 2018 | big data e learning sistemas de información decission support systems | |||

C2SI-2019 | 3rd International Conference on Codes, Cryptology and Information Security | Rabat,, Morocco | Apr 22, 2019 | codes cryptology information security | ||||

ROADEF2019 | 20ème Congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision | Le Havre, France | Nov 14, 2018 | Feb 18, 2019 | operational research metaheuristics mathematical programming algorithms | |||

CRACT 2018 | Critiquing and Correcting Trends in Machine Learning NIPS 2018 Workshop | Montreal, Canada | Oct 23, 2018 | Dec 7, 2018 | machine learning | |||

WESGAI-18 | NIPS Workshop on Ethical, Social and Governance Issues in AI | Montreal, Canada | Oct 11, 2018 | Dec 7, 2018 | machine learning ethics ai fairness | |||

DSSE2018 | Data Science Summit 2018 | Eindhoven, Belgium | Oct 15, 2018 | Nov 27, 2018 | health analytics and quantified self internet of data customer journey smart manufacturing | |||

iFUZZY2018 | 2018 International Conference on Fuzzy Theory and Its Applications | Daegu, South Korea | Sep 9, 2018 | Nov 14, 2018 | intelligent systems fuzzy theory and applications machine learning and data mining robotics and sensors | |||

FWCG 18 | Fall Workshop on Computational Geometry 2018 | Flushing, NY, United States | Sep 28, 2018 | Oct 26, 2018 | geometry issues in geometric algorithms application of geometric algorithms | |||

MCS-ICMS2018 | Mathematics in Computer Science Special Issue from ICMS 2018 | South Bend, IN, United States | Oct 31, 2018 | mathematical software numerical computing symbolic computing | ||||

CoNGA'19 | Conference for Next Generation Arithmetic 2019 | Singapore, Singapore | Nov 15, 2018 | Mar 13, 2019 | next generation arithmetic unum and posit | |||

WISTP2018 | International Conference on Information Security Theory and Practice | Brussels, Belgium | Oct 1, 2018 | Dec 10, 2018 | smart devices networks cryptography | |||

PPML18 | Privacy Preserving Machine Learning - NIPS 2018 Workshop | Montréal, Canada | Oct 8, 2018 | privacy machine learning cryptography | ||||

NIPSCL2018 | NIPS 2018 Workshop on Causal Learning | Montréal, Canada | Oct 28, 2018 | Dec 7, 2018 | ||||

NACOMSE 2018 | National Conference on Mathematic, Science, and Education | Pamekasan, Indonesia | Sep 15, 2018 | Sep 22, 2018 | ||||

6th Sendikmad | Seminar Nasional Pendidikan Matematika | Yogyakarta, Indonesia | Oct 25, 2018 | Nov 3, 2018 | mathematics education applied mathematics mathematics physics mathematics learning using technology | |||

AAERS 2018 | Australasian Actuarial Education & Research Symposium 2018 | Sydney, Australia | Oct 15, 2018 | Dec 5, 2018 | data analytics actuarial science | |||

ASIT-JOURNAL2018 | การประกวดบทความวิจัย สาขาสถิติประยุกต์และเทคโนโลยีสารสนเทศ ประจำปี พ.ศ. 2561 | Bangkok, Thailand | ||||||

NCRDM18 | First National Conference on Recent Developments in Mathematics | Islamabad, Pakistan | Oct 15, 2018 | Oct 25, 2018 | dynamical systems mathematical modeling functional analysis and operator theory nonlinear and complex systems | |||

ICMSA 2018 | IMT-GT International Conference on Mathematics, Statistics and Their Applications | Songkhla, Thailand | Sep 14, 2018 | Dec 8, 2018 | mathematics statistics their applications | |||

ICCSAM 2018 | International Conference On Computer Science and Applied Mathematics | Parapat, Indonesia | Sep 15, 2018 | Oct 10, 2018 | operational research machine vision intelligent system | |||

QFW2019 | Quantitative Finance Workshop 2019 | Zurich, Switzerland | Dec 28, 2018 | Jan 23, 2019 | economics econometrics mathematical finance quantitative risk management | |||

SocProS 2018 | 8th International Conference on Soft Computing for Problem Solving 2018 | Vellore, India | Dec 17, 2018 | |||||

ITCS 2019 | 10th Innovations in Theoretical Computer Science Conference | San Diego, CA, United States | Sep 7, 2018 | Jan 10, 2019 | theoretical computer science theory of computing | |||

NeSy'18 | 13th International Workshop on Neural-Symbolic Learning and Reasoning | Prague, Czechia | Aug 1, 2018 | Aug 23, 2018 | knowledge extraction knowledge representation neural symbolic intergration | |||

ModRef 2018 | The 17th workshop on Constraint Modelling and Reformulation | Lille, France | Jul 17, 2018 | Aug 27, 2018 | constraint programming modelling | |||

ICAPM 2019 | 2019 9th International Conference on Applied Physics and Mathematics | Bangkok, Thailand | Sep 30, 2018 | Jan 21, 2019 | nanotechnology biomedical engineering physics | |||

IPCS'18 | Information Processing in Complex Systems | Thessaloniki, Netherlands | Jul 31, 2018 | Sep 25, 2018 | information theory complex systems complex networks emergent phenomena | |||

ALT 2019 | International Conference on Algorithmic Learning Theory | Chicago, IL, United States | Mar 22, 2019 | learning algorithms statistical and computational learning theory optimization methods for learning high dimensional statistics | ||||

CyDeR2019 | J.UCS Special Issue on Cyberattack Detection and Response | Graz, Austria | Feb 15, 2019 | cybersecurity cyber attack detection response | ||||

STACS 2019 | 36th International Symposium on Theoretical Aspects of Computer Science | Berlin, Germany | Oct 1, 2018 | Mar 13, 2019 | algorithms and data structures automata and formal languages complexity and computability logic in computer science | |||

ACCT 2018 | Sixteenth International Workshop on Algebraic and Combinatorial Coding Theory | Svetlogorsk, Russia | Jul 16, 2018 | Sep 2, 2018 | algebraic codes combinatorics of codes and sequences cryprography via coding and lattices codes for mac | |||

WEPA2018 | Second Workshop on Enumeration Problems and Applications | Pisa, Italy | Sep 10, 2018 | Nov 5, 2018 | algorithms listing enumeration counting | |||

Nemesis2018 | Recent Advances in Adversarial Machine Learning | Dublin, Ireland | Jul 16, 2018 | machine learning deep neural networks information security adversarial machine learning | ||||

UEBA 2018 | IEEE Intelligence and Security Informatics 2018, Workshop on User and Entity Behavior Analytics | Miami, FL, United States | Aug 17, 2018 | Nov 9, 2018 | security analytics machine learning data science insider threat | |||

SOFL+MSVL 2018 | The 8th International Workshop on SOFL + MSVL for Reliability and Security | Gold Coast, Australia | Jul 31, 2018 | Nov 16, 2018 | formal methods software tools formal engineering methods testing and vferification | |||

BDC 2018 | Big Data Conference 2018 | Moscow, Russia | Aug 24, 2018 | Sep 14, 2018 | ||||

PSE2018 | Second Workshop Perspectives on Scientific Error | Groningen, Netherlands | Aug 17, 2018 | Oct 29, 2018 | replicability of research findings statistical reforms to address error social reforms to address error evidence aggregation | |||

ANALCO19 | Analytic Algorithmics and Combinatorics | San Diego, CA, United States | Aug 3, 2018 | Jan 4, 2019 | data structures combinatorics algorithm analysis | |||

DTL2018 | The First International Workshop on Deep and Transfer Learning | Valencia, Spain | Jul 15, 2018 | Oct 15, 2018 | deep learning transfer learning deep reinforcement learning machine learning | |||

DDA-2018 | International Conference on Data and Decisions Analysis | Moscow, Russia | Jul 20, 2018 | Oct 4, 2018 | ||||

ICMMC-2018 | International Conference on Mathematical Modeling and Computations | New Delhi, India | Oct 30, 2018 | Dec 1, 2018 | dynamical systems mathematical biology applications of odes and pdes computational optimization, graph theoretic modeling | |||

ICITAM 2019 | 2nd International Conference on Information Technology and Applied Mathematics | Haldia, India | Mar 7, 2019 | intelligent systems image and video processing fuzzy logic and neural networks optimization modelling and simulation | ||||

KTUBDS2018 | KTU big data school | KAUNAS, Lithuania | Sep 3, 2018 | decision trees for bigdata analytics big data preprocessing big data and financial analytics bigdata analytics methods (machine learning) | ||||

IWANN 2019 | 15th International Work-Conference on Artificial Neural Networks | Gran Canaria, Spain | Feb 1, 2019 | Jun 12, 2019 | neural networks deep learning machine learning computational intelligence | |||

IWCIA'18 | International Workshop on Combinatorial Image Analysis | Porto, Portugal | Jun 15, 2018 | Nov 21, 2018 | digital/combinatorial geometry and topology image representation/segmentation/grouping/reconstruction computational geometry and imaging sciences integer/linear programming and graph theory | |||

DSEA2018 | The Second International Workshop on Data Science Engineering and its Applications | Valencia, Spain | Jul 15, 2018 | Oct 15, 2018 | data science big data mining knowledge management data driven scientific research | |||

AI^3 | Advances In Argumentation In Artificial Intelligence (Workshop of the conference AI*IA 2018 - 17th International Conference of the Italian Association for Artificial Intelligence) | Trento, Italy | Aug 18, 2018 | Nov 20, 2018 | argumentation theory argumentation mining reasoning under uncertainty | |||

NWPT'18 | 30th Nordic Workshop on Programming Theory | Oslo, Norway | Sep 10, 2018 | Oct 24, 2018 | programming languages programming logics formal specification language based security | |||

ICoMPAC 2018 | 4th International Conference on Mathematics: Pure, Applied and Computation | Palu, Indonesia | Aug 17, 2018 | Oct 20, 2018 | applied mathematics education pure mathematics computational mathematics | |||

ICRAPAM-2018 | Internationl Conference on Recent Advances in Pure and Applied Mathematics | New Delhi, India | Oct 23, 2018 | |||||

ICAG 2018 | International Conference on Algebra and Geometry 2018 | Krabi, Thailand | Oct 31, 2018 | Dec 14, 2018 | algebra geometry analysis mathematics education | |||

INOC 2019 | International Network Optimization Conference | Avignon, France | Feb 15, 2019 | Jun 10, 2019 | network optimization integer programming algorithms combinatorial optimization | |||

DLDay'18 | The ACM KDD 2018 Deep Learning Day | London, UK | Jul 1, 2018 | Aug 20, 2018 | deep learning neural networks representation learning data mining | |||

DMLE'18 | Workshop on Decentralized Machine Learning on the Edge in Conjunction with ECMLPKDD 2018 | Dublin, Ireland | Jul 2, 2018 | distributed learning parallelization decentralized machine learning | ||||

ETCPS18 | Education Technology and Computational Psychometrics Symposium | Iowa City, IA, United States | Sep 14, 2018 | Oct 3, 2018 | classroom implementation emerging technology novel research | |||

RCCS+SPIDTEC2 2018 | Regional Consortium for Computing Sciences and their Foundations + SPIDTEC2 2018 | Juarez, Mexico | Jul 22, 2018 | Nov 8, 2018 | mathematics of computing computational medicine and healthcare computing methodologies information systems | |||

LIDTA2018 | Learning with Imbalanced Domains: Theory and Applications | Dublin, Ireland | Jul 2, 2018 | Sep 10, 2018 | machine learning data science data mining imbalanced learning | |||

BOOM! 2018 | Big Data Meets Formal Methods | Beijing, China | Jun 10, 2018 | Sep 8, 2018 | big data formal methods machine learning verification | |||

AADECA 2018 | 26º Congreso Argentino de Control Automático | Buenos Aires, Argentina | Aug 13, 2018 | Nov 7, 2018 | automatic control signal processing electrical engineering electronics engineering | |||

CAPNS2018 | Compositional Approaches in Physics, NLP, and Social Sciences | Nice, France | Jun 30, 2018 | Sep 3, 2018 | computational linguistics cognitive science game theory physics | |||

CCS18: Physics of Self-Organization | Conference on Complex Systems, 2018 | Thessaloniki, Greece | Jun 15, 2018 | Sep 23, 2018 | non equilibrium thermodynamics entropy information variational principles self organization positive and negative feedback | |||

FAACS 2018 | 2nd Workshop on Formal Approaches for Advanced Computing Systems | Madrid, Spain | Jun 11, 2018 | Sep 25, 2018 | formal methods software architecture | |||

sydneyalgebra2019 | Asia-Australia Algebra Conference | Sydney, Australia | Oct 16, 2018 | Jan 21, 2019 | algebra algebraic geometry representation theory k theory | |||

IFCS2019 | 16th Conference of the International Federation of Classification Societies | Thessaloniki, Greece | Aug 26, 2019 | statistics computer science data science | ||||

MIKE 2018 | 6th International Conference on Mining Intelligence and Knowledge Exploration | Cluj-Napoca, Romania | Sep 7, 2018 | Dec 20, 2018 | knowledge exploration evolutionary computation machine intelligence computer vision | |||

SFC 2018 | XXVèmes Rencontres de la Société Francophone de Classification | Paris, France | May 31, 2018 | Sep 5, 2018 | ||||

CETL-MSOR 2018 | CETL-MSOR 2018: Evidencing Excellence in the Mathematical Sciences | Glasgow, UK | Jun 18, 2018 | Sep 5, 2018 | ||||

CMDM2018 | The Third Workshop on Computer Modelling in Decision Making | Saratov, Russia | Aug 15, 2018 | Nov 15, 2018 | decision making computer modeling operations research econometrics | |||

DD-LAC 2018 | Dynamics Days Latin America and the Caribbean 2018 | Punta Del Este, Uruguay | Oct 31, 2018 | Nov 26, 2018 | complex systems complex networks non linear dynamics chaos and fractals | |||

DA2PL'2018 | From Multiple Criteria Decision Aid to Preference Learning | Poznań, Poland | Sep 8, 2018 | Nov 22, 2018 | preference learning preference elicitation learning to rank multiple criteria decision aid | |||

CIBB2018 | 15th International Conference on Computational Intelligence methods for Bioinformatics and Biostatistics | Lisbon, Portugal | Jul 15, 2018 | Sep 5, 2018 | bioinformatics | |||

Climathnet 2018 | Climathnet 2018 | Reading, UK | Aug 15, 2018 | Sep 19, 2018 | numerical modelling mathematics of climate ordinary and partial differential equations statistics and data assimilation | |||

CI2018 | The 8th International Workshop on Climate Informatics | Boulder, CO, United States | Jul 7, 2018 | Sep 19, 2018 | earth science climate informatics statistics machine learning | |||

JDSE2018 | Paris-Saclay Junior Conference on Data Science and Engineering | Orsay, France | May 25, 2018 | Sep 13, 2018 | data science data engineering | |||

NCMA 2018 | 10th International Workshop on Non-Classical Models of Automata and Applications | Kosice, Slovakia | May 25, 2018 | Aug 21, 2018 | automata descriptional complexity bio computing decision problems | |||

ICoDIS 2018 | International Conference on Data and Information Science 2018 | Bandung, Indonesia | Sep 10, 2018 | Nov 15, 2018 | data science computational linguistics information science | |||

CP 2018 | Principles and Practice of Constraint Programming | Lille, France | Apr 18, 2018 | Aug 28, 2018 | constraint programming | |||

CGT 2018 | The 3rd Combinatorics and Graph Theory Conference | Chongqing, China | Aug 17, 2018 | Sep 15, 2018 | combinatorics graph theory | |||

DMCM 2018 | International Conference on Discrete Mathematics and Computer Mathematics | Chongqing, China | Aug 15, 2018 | Sep 15, 2018 | discrete mathematics computer mathematics | |||

SMMA 2018 | International Conference on Statistics, Mathematical Modelling and Analysis | Chongqing, China | Aug 15, 2018 | Sep 15, 2018 | statistics mathematical modelling analysis | |||

CMIS2018 | Conference on Mathematics, Informatics and Statistics | Kuala Terengganu, Malaysia | Oct 29, 2018 | computer science mathematics statistics | ||||

Ural-PDC 2018 | 4th Ural Workshop on Parallel, Distributed, and Cloud Computing for Young Scientists | Yekaterinburg, Russia | Jul 1, 2018 | Oct 19, 2018 | high performance computing cloud computing | |||

AAG2018 | Advances in Architecural Geometry 2018 | Gothenburg, Sweden | Jul 30, 2018 | Sep 22, 2018 | architecture engineering geometry computational design | |||

CNCG2018 | IX Conferência Nacional de Cartografia e Geodesia | Amadora, Portugal | Jul 31, 2018 | Oct 25, 2018 | geodesy hidrography surveying photogrammetry | |||

SNMAM 2018 | Track on Social Network and Media Analysis and Mining | Lima, Peru | Jun 7, 2018 | Sep 3, 2018 | social network analysis data mining machine learning big data | |||

SAMSA2018 | Southern African Mathematical Science Association Annual Conference 2018 | Palapye, Botswana | Aug 31, 2018 | Nov 19, 2018 | algebra and analysis industrial and financial mathematics mathematical biology probability and statistics | |||

SBMF 2018 | 21st Brazilian Symposium on Formal Methods | Salvador, Brazil | Jul 20, 2018 | Nov 26, 2018 | theoretical computer science formal methods software verification | |||

RECPAD 2018 | Portuguese Conference on Pattern Recognition | Coimbra, Portugal | Sep 17, 2018 | Oct 26, 2018 | pattern recognition machine learning data mining statistical methods | |||

RANDOM 2018 | 22nd International Conference on Randomization and Computation | Princeton, NJ, United States | Apr 20, 2018 | Aug 20, 2018 | ||||

HFFE 2018 | Frontiers in High-Frequency Financial Econometrics | Pisa, Italy | Jun 18, 2018 | Sep 28, 2018 | high frequency finance econometric modeling volatility and liquidity market microstructure analysis | |||

CIKM2018 | ACM International Conference on Information and Knowledge Management | Turin, Italy | May 22, 2018 | Oct 23, 2018 | databases information retrieval knowledge management | |||

ISMI-ICTAS 2018 | International Seminar on Mathematics in Industry & International Conference on Theoretical and Applied Statistics 2018 | Kuala Lumpur, Malaysia | Aug 15, 2018 | Sep 4, 2018 | applied mathematics operational research theoretical and applied statistics computational mathematics | |||

OMNeT Summit 2018 | 5th International OMNeT++ Community Summit 2018 | Pisa, Italy | Jul 16, 2018 | Sep 5, 2018 | simulation modeling omnet++ | |||

CAMAI 2018 | The 13th Conference on Applied Mathematics and Informatics | Bucharest, Romania | Oct 17, 2018 | Nov 9, 2018 | applied mathematics applied informatics mathematical biology information technology | |||

TIME 2018 | TIME International Symposium on Temporal Representation and Reasoning | Warsaw, Poland | May 24, 2018 | Oct 15, 2018 | ||||

HPCMASPA 2018 | Workshop on Monitoring and Analysis for HPC Systems Plus Applications | Belfast, UK | Jul 18, 2018 | Sep 10, 2018 | data collection application monitoring system operations system monitoring | |||

formphil2018 | International Conference "Formal Philosophy" | Moscow, Russia | Apr 30, 2018 | Oct 1, 2018 | logic formal ontology formal philosophy formal epistemology | |||

LeGO2018 | 14th Int. Workshop on Global Optimization | Leiden, Netherlands | Jun 1, 2018 | Sep 18, 2018 | ||||

WAOA2018 | 16th Workshop on Approximation and Online Algorithms | Helsinki, Finland | Jun 24, 2018 | Aug 23, 2018 | competitive analysis approximation algorithms | |||

LSFA 2018 | 13th Workshop on Logical and Semantic Frameworks with Applications | Fortaleza, Brazil | Jun 10, 2018 | Sep 26, 2018 | automated deduction logic semantics | |||

IWSEC 2018 | The 13th International Workshop on Security | Sendai, Japan | Apr 2, 2018 | Sep 3, 2018 | information security cybersecurity cryptography privacy preserving | |||

PROOFS 2018 | 7th International Workshop on Security Proofs for Embedded Systems | Amsterdam, Netherlands | Jul 6, 2018 | Sep 13, 2018 | physical security (automated) security proofs formal methods in security synergy between security and reliability | |||

SYNASC 2018 | 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | Timisoara, Romania | Jun 24, 2018 | Sep 20, 2018 | symbolic computation scientific computing algorithms numeric computation | |||

GandALF 2018 | Ninth International Symposium on Games, Automata, Logics, and Formal Verification | Saarbrücken, Germany | Jun 15, 2018 | Sep 26, 2018 | automata theory games verification | |||

PATAT 2018 | 12th International Conference on the Practice and Theory of Automated Timetabling | Vienna, Austria | Aug 28, 2018 | |||||

PPSN 2018 | The Fifteenth International Conference on Parallel Problem Solving from Nature | Coimbra, Portugal | Apr 3, 2018 | Sep 8, 2018 | evolutionary computation natural computing artificial life | |||

ADG2018 | 12th International Conference on Automated Deduction in Geometry | Nanning, China | May 25, 2018 | Sep 11, 2018 | polynomial algebra algebraic methods for geometric computation geometry software applications to computer science | |||

GameSec 2018 | Conference on Decision and Game Theory for Security 2018 | Seattle, WA, United States | Jun 22, 2018 | Oct 29, 2018 | game theory security and privacy control for security risk assessment | |||

SMADES 2018 | Smart Delivery Systems: Optimizing Complex Vehicle Routing Problems (Elsevier) | Amsterdam, Netherlands | Jun 30, 2018 | optimization operations research smart delivery and routing machine learning | ||||

iFM 2018 | 14th International Conference on integrated Formal Methods | Maynooth, Ireland | May 2, 2018 | Sep 5, 2018 | formal methods verification program synthesis runtime analysis | |||

IJCRS'2018 | International Joint Conference on Rough Sets 2018 | Quy Nhon, Viet Nam | Mar 31, 2018 | Aug 20, 2018 | applications rough set models and methods related methods and hybridization | |||

RCAI2018 | Russian Conference on Artificial Intelligence | Moscow, Russia | May 15, 2018 | Sep 24, 2018 | artificial intelligence robotics planning machine learning | |||

RAMiCS 2018 | 17th International Conference on Relational and Algebraic Methods in Computer Science | Groningen, Netherlands | Apr 20, 2018 | Oct 28, 2018 | computer science mathematics algebra logic | |||

Trends2018 | Trends in Logic XVIII | Milan, Italy | Sep 24, 2018 | modal logic epistemic logic deontic logic hyperintensional semantics | ||||

AIMSA 2018 | The 18th International Conference on Artificial Intelligence: Methodology, Systems, Applications | Varna, Bulgaria | May 31, 2018 | Sep 12, 2018 | ||||

DEA40 | International conference of Data Envelopment Analysis | Birmingham, UK | Feb 15, 2018 | Apr 16, 2018 | data envelopment analysis efficiency and productivity stochastic frontier analysis | |||

UKCI-2018 | The 18th Annual UK Workshop on Computational Intelligence | Nottingham, UK | Apr 30, 2018 | Sep 5, 2018 | computational intelligence soft computing machine learning artificial intelligence | |||

EUCCO18 | European Conference on Computational Optimization | Trier, Germany | Sep 10, 2018 | |||||

SETA 2018 | Sequences and Their Applications (SETA) 2018 | Hong Kong, China | May 22, 2018 | Oct 1, 2018 | ||||

ALG-ROUGH'2018 | Algebraic Methods in General Rough Sets : Trends in Mathematics Series | Feb 15, 2018 | algebraic approaches to rough sets logics of approximate reasoning formal approaches to vagueness constructive algebras of rough sets | |||||

JSC-DG&AR-SI 2018 | Special Issue of the Journal of Symbolic Computation on Dynamic Geometry and Automated Reasoning | Feb 1, 2018 | automated reasoning dynamic geometry applications |