Basic Information
Name: Zhaok Li
Institution: North Minzu University
Registration: 2021-11-08
Score: 163
Tracked Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
No results found. |
Short | Full Name | Submission | Conference |
---|---|---|---|
No results found. |
Attend Conferences
CCF | CORE | QUALIS | Short | Full Name | Conference | Location |
---|---|---|---|---|---|---|
a | b1 | FM | International Symposium on Formal Methods | 2021-11-20 | Beijing, China |
Full Name | Conference | Location |
---|---|---|
International Symposium on Formal Methods | 2021-11-20 | Beijing, China |
Tracked Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
No results found. |
Full Name | Impact Factor | Publisher |
---|---|---|
No results found. |
Followed Researchers
Name | Institution | Registration | Score |
---|---|---|---|
No results found. |
Name | Institution | Score |
---|---|---|
No results found. |
Tracked Jobs
Job Title | Employer | Job Location |
---|---|---|
No results found. |
Job Title | Employer | Job Location |
---|---|---|
No results found. |
Viewed Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
c | b3 | ICTAC | International Colloquium on Theoretical Aspects of Computing | 2025-06-14 | 2025-08-30 | 2025-11-24 | |
b | a* | a1 | AAMAS | International Joint Conference on Autonomous Agents and Multi-agent Systems | 2025-10-01 | 2025-12-22 | 2026-05-25 |
b | b | a1 | DATE | Design, Automation and Test in Europe | 2025-09-15 | 2025-11-19 | 2026-04-20 |
a | a | a2 | EuroSys | European Conference on Computer Systems | 2025-09-18 | 2026-01-30 | 2026-04-13 |
a | b1 | FM | International Symposium on Formal Methods | 2024-04-05 | 2024-06-03 | 2024-09-09 |
Short | Full Name | Submission | Conference |
---|---|---|---|
ICTAC | International Colloquium on Theoretical Aspects of Computing | 2025-06-14 | 2025-11-24 |
AAMAS | International Joint Conference on Autonomous Agents and Multi-agent Systems | 2025-10-01 | 2026-05-25 |
DATE | Design, Automation and Test in Europe | 2025-09-15 | 2026-04-20 |
EuroSys | European Conference on Computer Systems | 2025-09-18 | 2026-04-13 |
FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
Viewed Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
No results found. |
Full Name | Impact Factor | Publisher |
---|---|---|
No results found. |