会议信息
IWLS 2012: International Workshop on Logic & Synthesis
http://www.iwls.org/截稿日期: |
|
通知日期: |
2012-04-02 |
会议日期: |
2012-06-01 |
会议地点: |
Berkeley, California, USA |
届数: |
21 |
QUALIS: b2 浏览: 14187 关注: 0 参加: 0
征稿
相关会议
| CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
|---|---|---|---|---|---|---|---|
| a | a* | a2 | LICS | IEEE Symposium on Logic in Computer Science | 2026-01-15 | 2026-04-16 | 2026-07-20 |
| c | a1 | ISCAS | International Symposium on Circuits and Systems | 2025-10-12 | 2026-01-19 | 2026-05-24 | |
| a | a* | a1 | RTSS | IEEE Real-Time Systems Symposium | 2025-05-22 | 2025-07-25 | 2025-12-02 |
| c | b | b3 | LOPSTR | International Symposium on Logic-Based Program Synthesis and Transformation | 2025-05-09 | 2025-06-27 | 2025-09-09 |
| b | a | a2 | SAS | International Static Analysis Symposium | 2024-05-05 | 2024-07-07 | 2024-10-20 |
| a | b1 | ICLP | International Conference on Logic Programming | 2022-01-14 | 2022-03-14 | 2022-07-31 | |
| a* | RSS | Robotics: Science and Systems Conference | 2019-02-01 | 2019-05-01 | 2019-06-22 | ||
| a* | ICIS | International Conference on Information Systems | 2017-05-05 | 2017-08-07 | 2017-12-10 | ||
| c | NordSec | Nordic Conference on Secure IT Systems | 2016-06-23 | 2016-08-15 | 2016-11-02 | ||
| b2 | IWLS | International Workshop on Logic & Synthesis | 2012-04-02 | 2012-06-01 |
| 简称 | 全称 | 会议日期 |
|---|---|---|
| LICS | IEEE Symposium on Logic in Computer Science | 2026-07-20 |
| ISCAS | International Symposium on Circuits and Systems | 2026-05-24 |
| RTSS | IEEE Real-Time Systems Symposium | 2025-12-02 |
| LOPSTR | International Symposium on Logic-Based Program Synthesis and Transformation | 2025-09-09 |
| SAS | International Static Analysis Symposium | 2024-10-20 |
| ICLP | International Conference on Logic Programming | 2022-07-31 |
| RSS | Robotics: Science and Systems Conference | 2019-06-22 |
| ICIS | International Conference on Information Systems | 2017-12-10 |
| NordSec | Nordic Conference on Secure IT Systems | 2016-11-02 |
| IWLS | International Workshop on Logic & Synthesis | 2012-06-01 |
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| a | ACM Transactions on Information Systems | 9.1 | ACM | 1046-8188 |
| IEEE Transactions on Power Systems | 7.2 | IEEE | 0885-8950 | |
| Journal of Medical Systems | 5.7 | Springer | 0148-5598 | |
| b | Information Systems | 3.4 | Elsevier | 0306-4379 |
| b | IEEE Transactions on VLSI Systems | 2.800 | IEEE | 1063-8210 |
| a | ACM Transactions on Computer Systems | 2.000 | ACM | 0734-2071 |
| International Journal of Communication Systems | 1.700 | Wiley-Blackwell | 1074-5351 | |
| Biological Cybernetics | 1.700 | Springer | 0340-1200 | |
| Journal of Biomedical Semantics | 1.600 | Springer | 2041-1480 | |
| Queueing Systems | 0.700 | Springer | 0257-0130 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| ACM Transactions on Information Systems | 9.1 | ACM |
| IEEE Transactions on Power Systems | 7.2 | IEEE |
| Journal of Medical Systems | 5.7 | Springer |
| Information Systems | 3.4 | Elsevier |
| IEEE Transactions on VLSI Systems | 2.800 | IEEE |
| ACM Transactions on Computer Systems | 2.000 | ACM |
| International Journal of Communication Systems | 1.700 | Wiley-Blackwell |
| Biological Cybernetics | 1.700 | Springer |
| Journal of Biomedical Semantics | 1.600 | Springer |
| Queueing Systems | 0.700 | Springer |