International Symposium on Symbolic and Algebraic Computation
Academic conferences
1,721 series
ISSAC
CORE A 2023
ISSCC
CORE A 2018
ISSRE
CORE A 2023
ISSTA
CORE A 2023
ISWC
CORE A 2023
ITCS
CORE A 2023
ITP
CORE A 2023
Conference on Interactive Theorem Proving (previously TPHOLs, changed in 2009)
IUI
CORE A 2023
JELIA
CORE A 2023
LAK
CORE A 2023
International Conference on Learning Analytics and Knowledge
MassPar
CORE A 2018
MATES ENASE
CORE A 2018
MFCS
CORE A 2023
International Symposium on Mathematical Foundations of Computer Science
MICCAI
CORE A 2023
Middleware
CORE A 2023
MMCN
CORE A 2018
MOBIHOC
CORE A 2023
Mobisys
CORE A 2023
ACM SIGMOBILE International Conference on Mobile Systems, Applications and Services
MODELS
CORE A 2023
MSR
CORE A 2023
IEEE International Working Conference on Mining Software Repositories
MSWIM
CORE A 2023
NAACL
CORE A 2023
NetStore
CORE A 2018
OCIS
CORE A 2018