Basic Information
Name: Sun Sun
Institution: University
Registration: 2018-10-23
Score: 1327
Tracked Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ba*a2COLTAnnual Conference on Learning Theory2024-02-092024-05-102024-06-30
aa*a1CAVInternational Conference on Computer Aided Verification2024-01-192024-03-262024-07-22
aa*a1ICCVInternational Conference on Computer Vision2023-03-082022-07-132023-09-30
NFMNASA Formal Methods Symposium2022-12-092023-02-202023-05-16
ShortFull NameSubmissionConference
COLTAnnual Conference on Learning Theory2024-02-092024-06-30
CAVInternational Conference on Computer Aided Verification2024-01-192024-07-22
ICCVInternational Conference on Computer Vision2023-03-082023-09-30
NFMNASA Formal Methods Symposium2022-12-092023-05-16
Attend Conferences
CCFCOREQUALISShortFull NameConferenceLocation
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2021-10-18Gold Coast, Australia
caAISTATSInternational Conference on Artificial Intelligence and Statistics2021-04-13San Diego, California, USA
ab1FMInternational Symposium on Formal Methods2019-10-07Porto, Portugal
Full NameConferenceLocation
International Symposium on Automated Technology for Verification and Analysis2021-10-18Gold Coast, Australia
International Conference on Artificial Intelligence and Statistics2021-04-13San Diego, California, USA
International Symposium on Formal Methods2019-10-07Porto, Portugal
Followed Researchers
NameInstitutionRegistrationScore
No results found.
NameInstitutionScore
No results found.
Tracked Jobs
Job TitleEmployerJob Location
No results found.
Job TitleEmployerJob Location
No results found.
Viewed Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
No results found.
ShortFull NameSubmissionConference
No results found.
Viewed Journals
CCFFull NameImpact FactorPublisherISSN
No results found.
Full NameImpact FactorPublisher
No results found.