학회 정보

SYNASC 2021: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

학회 웹사이트를 보려면 로그인해 주세요
무료 가입으로 공식 사이트 조회, 마감 추적, 이메일 리마인더를 이용할 수 있습니다.
로그인 회원가입
마감 카운트다운 배지 삽입
SYNASC
투고 마감일:
2021-08-31
통보일:
2021-09-30
개최일:
2021-12-07
개최지:
Timisoara, Romania
개최 횟수:
23
조회: 25933   팔로우: 0   참가: 0

논문 모집

SYNASC 2021 (International Symposium on Symbolic and Numeric Algorithms for Scientific Computing) is an academic conference held in Timisoara, Romania on 2021-12-07. The paper submission deadline is 2021-08-31. Acceptance notifications are sent on 2021-09-30.

=== Tracks === * Symbolic Computation + computer algebra + symbolic techniques applied to numerics + hybrid symbolic and numeric algorithms + numerics and symbolics for geometry + programming with constraints, narrowing * Numerical Computing + iterative approximation of fixed points + solving systems of nonlinear equations + numerical and symbolic algorithms for differential equations + numerical and symbolic algorithms for optimization + parallel algorithms for numerical computing + scientific visualization and image processing * Logic and Programming + automatic reasoning + formal system verification + formal verification and synthesis + software quality assessment + static analysis + timing analysis * Artificial Intelligence + knowledge discovery, representation, and management + automated reasoning, uncertain reasoning, and constraint strategies + recommender and expert systems + intelligent systems, agents, and networks + agent-based complex systems + AI-based systems for scientific computing + machine learning, including deep learning models and technologies + explainable and trustworthy AI + information retrieval, data mining, text mining and web mining + computational intelligence - including fuzzy, neural and evolutionary computing + AI applications: natural language processing, computer vision, signal processing, stock market, computational neuroscience, robotics, autonomous vehicles, medical diagnosis, cybersecurity, digital design, online education * Distributed Computing + modelling of parallel and distributed systems + parallel and distributed algorithms + architectures for parallel and distributed systems. + applications for parallel and distributed systems, + acceleration of AI or Big Data applications using distributed and parallel computing + networked intelligence and Internet of Things * Theory of Computing + data structures and algorithms + combinatorial optimization + formal languages and combinatorics on words + graph-theoretic and combinatorial methods in computer science + algorithmic paradigms, including distributed, online, approximation, probabilistic, game-theoretic algorithms + computational complexity theory, including structural complexity, boolean complexity, communication complexity, average-case complexity, derandomization and property testing + logical approaches to complexity, including finite model theory + algorithmic and computational learning theory + aspects of computability theory, including computability in analysis and algorithmic information theory + proof complexity + computational social choice and game theory + new computational paradigms: CNN computing, quantum, holographic and other non-standard approaches to computability + randomized methods, random graphs, threshold phenomena and typical-case complexity + automata theory and other formal models, particularly in relation to formal verification methods such as model checking and runtime verification + applications of theory, including wireless and sensor networks, computational biology and computational economics + experimental algorithmics
최종 수정: Dou Sun ()

관련 학회

CCFICORE약칭정식 명칭투고 마감통보일개최일
AA*SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
AA*AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
AA*CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
BA*ICRAInternational Conference on Robotics and Automation2027-05-24
BA*IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
AA*STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
CICCInternational Conference on Communications2026-10-022027-01-152027-05-30
CBIJCNNInternational Joint Conference on Neural Networks2027-01-312027-03-152027-06-14
BICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-01-132027-05-16
BA*PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-03-012027-06-13

관련 저널

CCF정식 명칭영향력 지수출판사ISSN
Journal of Scientific Computing3.3Springer0885-7474
Scientific Data6.9Springer2052-4463
AIEEE Transactions on Multimedia9.7IEEE1520-9210
CKnowledge-Based Systems7.2Elsevier0950-7051
BSoftware & Systems Modeling3.2Springer1619-1366
AIEEE Transactions on Computers3.8IEEE0018-9340
CFuture Generation Computer Systems6.1Elsevier0167-739X
CNeurocomputing6.5Elsevier0925-2312
CPattern Recognition Letters3.9Elsevier0167-8655
BPattern Recognition7.6Elsevier0031-3203

댓글 0

아직 댓글이 없습니다.

댓글을 작성하려면 로그인해 주세요