logo
debugging

Resultados de Congresos (8)

International Conference on Software Testing, Verification and Validation (ICST)

Rank: AOffline
Naples, Italy
Mar 31, 2025 - Apr 4, 2025
AI-assisted software testingAutomated test generationFormal verification+35 más

Symposium on Networked Systems, Design and Implementation (NSDI)

Rank: National: USAOffline
Renton, WA, USA
May 4, 2026 - May 6, 2026
networked systemsdesign principlesimplementation+24 más

International Conference on Advanced Communications and Computation (INFOCOMP)

Rank: UnrankedOffline
Valencia, Spain
Apr 6, 2025 - Apr 10, 2025
Advanced CommunicationsComputationIntensive computing+226 más

International Conference on Principles of Practice in Multi-Agent Systems (PRIMA)

Rank: BOffline
Modena, Italy
Dec 16, 2025 - Dec 19, 2025
Logic and ReasoningLogics of AgencyLogics of Multi-Agent Systems+103 más

ACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems (LCTES)

Rank: BOffline
Seoul, South Korea
Jun 16, 2025 - Jun 17, 2025
Programming languagescompilerstools+75 más

Asia-Pacific Software Engineering Conference (APSEC)

Rank: COffline
Macao, China
Dec 2, 2025 - Dec 5, 2025
Software EngineeringAgile processesDevOps and Container+46 más

International Conference on Logic Programming (ICLP)

Rank: AOffline
University of Calabria, Rende (CS), Italy
Sep 12, 2025 - Sep 19, 2025
Logic ProgrammingFormal and operational semanticsNon-monotonic reasoning+26 más

International Conference on Reversible Computation (RC)

Rank: COffline
Odense, Denmark
Jul 3, 2025 - Jul 4, 2025
Reversible Computationlow power designcoding/decoding+14 más