Información de la conferencia

SAS 2026: International Static Analysis Symposium

Por favor Iniciar sesión para ver el sitio web de la conferencia
Cuenta gratuita: consulta los sitios oficiales, sigue las fechas límite y recibe recordatorios por correo.
Iniciar sesión Registrarse

Día de Entrega:
2026-05-01
Fecha de Notificación:
2026-06-26
Fecha de conferencia:
2026-10-03
Ubicación:
Oakland, California, USA
Ediciones:
33
CCF: b   CORE: a   QUALIS: a2   Vistas: 33349   Seguidores: 31   Asistentes: 0

Solicitud de Artículos

SAS 2026 (International Static Analysis Symposium) is a CCF B / CORE A / QUALIS A2 conference held in Oakland, California, USA on 2026-10-03. The paper submission deadline is 2026-05-01. Acceptance notifications are sent on 2026-06-26.

Static Analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The series of Static Analysis Symposia has served for over 30 years as the primary venue for the presentation of theoretical, practical, and application advances in the area. Topics The technical program for SAS 2026 will consist of invited lectures and presentations of refereed papers. Contributions are welcomed on all aspects of program analysis, including, but not limited to: Abstract interpretation Automated deduction Data flow analysis Debugging techniques Deductive methods Emerging applications Model-checking Data science Program optimizations and transformations Program synthesis Program verification Machine learning and verification Security analysis Tool environments and architectures Theoretical frameworks Type checking Distributed or networked systems
Última actualización por Dou Sun el

Tasa de aceptación

Tasa de aceptación media: 35.9% en 12 años (1995–2007).

AñoEnviadosAceptadosAceptados(%)
2007852630.6%
2005662233.3%
2004632336.5%
2003822530.5%
2002863237.2%
2001622133.9%
2000522038.5%
1999421842.9%
1998482041.7%
1997612337.7%
1996792227.8%
1995552240%

Las personas que vieron esto también vieron

CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
baa1ISWCInternational Semantic Web Conference2026-05-022026-07-162026-10-25
baa1ICNPInternational Conference on Network Protocols2026-05-152026-07-212026-10-05
ba*a1ICDMInternational Conference on Data Mining2026-06-062026-08-162026-11-12
baa1ACSACAnnual Computer Security Applications Conference 2026-05-262026-07-132026-12-07
baa1EMNLPConference on Empirical Methods in Natural Language Processing2026-05-272026-08-202026-10-24
bab1CoNEXTInternational Conference on emerging Networking EXperiments and Technologies2026-05-292026-09-112026-12-07
baa1CIKMACM International Conference on Information and Knowledge Management2026-05-162026-08-072026-11-07
baa2ICSOCInternational Conference on Service Oriented Computing2026-07-052026-09-132026-12-01
cbb1MASSInternational Conference on Mobile Ad-hoc and Smart Systems2026-05-032026-08-062026-10-21
cbb1SEKEInternational Conference on Software Engineering and Knowledge Engineering2026-05-012026-06-202026-10-01

Conferencias Relacionadas

CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
SAS'IEEE Sensors Applications Symposium2024-02-052024-03-252024-07-23
bba1ICRAInternational Conference on Robotics and Automation2025-09-152026-06-01
bba1ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-01-132027-05-16
ba*a1PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-03-012027-06-13
bba1ICMEInternational Conference on Multimedia and Expo2025-12-312026-03-132026-07-05
bb4BIBMInternational Conference on Bioinformatics & Biomedicine2026-07-052026-09-252026-12-01
ba*a1ICDMInternational Conference on Data Mining2026-06-062026-08-162026-11-12
baa1ECCVEuropean Conference on Computer Vision2026-03-062026-05-092026-09-08
bba1DATEDesign, Automation and Test in Europe2025-09-152025-11-192026-04-20
ba*a1SIGMETRICSInternational Conference on Measurement and Modeling of Computer Systems2027-01-112027-03-102027-06-07

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
bIEEE Transactions on Multimedia9.7IEEE1520-9210
bSoftware & Systems Modeling3.2Springer1619-1366
bPattern Recognition7.6Elsevier0031-3203
bIEEE Transactions on Neural Networks and Learning Systems8.9IEEE1045-9227
bInformation Sciences6.8Elsevier0020-0255
bComputer Networks4.6Elsevier1389-1286
bComputers & Security5.4Elsevier0167-4048
bIEEE Transactions on Intelligent Transportation Systems8.4IEEE1524-9050
bJournal of Systems and Software4.1Elsevier0164-1212
bIEEE Transactions on Robotics10.5IEEE1552-3098

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario

Publicidad