Información de la conferencia
IWLS 2012: International Workshop on Logic & Synthesis
Por favor Iniciar para ver el sitio web del congreso
Día de Entrega:
Fecha de Notificación:
2012-04-02
Fecha de Conferencia:
2012-06-01
Ubicación:
Berkeley, California, USA
Años:
21
QUALIS: b2 Vistas: 17722 Seguidores: 0 Asistentes: 0
Solicitud de Artículos
Conferencias Relacionadas
| CCF | CORE | QUALIS | Abreviación | Nombre Completo | Entrega | Notificación | Conferencia |
|---|---|---|---|---|---|---|---|
| c | b | b3 | LOPSTR | International Symposium on Logic-Based Program Synthesis and Transformation | 2026-05-30 | 2026-06-26 | 2026-08-24 |
| a | a* | a1 | RTSS | IEEE Real-Time Systems Symposium | 2026-05-21 | 2026-12-09 | |
| b | a | a2 | SAS | International Static Analysis Symposium | 2026-05-01 | 2026-06-26 | 2026-10-03 |
| a | b1 | ICLP | International Conference on Logic Programming | 2026-01-31 | 2026-03-12 | 2026-07-20 | |
| 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* | 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 |
Revistas Relacionadas
| CCF | Nombre Completo | Factor de Impacto | Editor | 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 | 3.1 | IEEE | 1063-8210 |
| Journal of Biomedical Semantics | 2.0 | Springer | 2041-1480 | |
| International Journal of Communication Systems | 1.8 | Wiley-Blackwell | 1074-5351 | |
| a | ACM Transactions on Computer Systems | 1.8 | ACM | 0734-2071 |
| Biological Cybernetics | 1.6 | Springer | 0340-1200 | |
| Queueing Systems | 0.700 | Springer | 0257-0130 |