Dagstuhl-Seminar — Sound Static Program Analysis in Modern Software Engineering


Dates : 12 octobre 2025 » 17 octobre 2025

Lieu : Schloss Dagstuhl – Wadern
Allemagne

Book your hotel


Organisateur : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Domaine : Informatique; Software Engineering
Mathématiques et Statistiques; Sciences de l'ingénieur; Informatique; Economie;
Mots-clé:: Analysis, Engineering, Internet of things, Internet, Business
Description :

Sound static program analysis (SSPA) can tackle real-world programs and effectively prove, for instance, that they do not expose some runtime errors and security vulnerabilities. Over the past half-century, many theories, all amenable to abstract interpretation, have been proposed and applied in practice: program analysis, program verification through SMT solvers, type systems, and model checking are just the most notable examples. SSPA has had a great impact on the analysis of safety-critical embedded software (where a single bug might cause catastrophic effects on the physical world) but has achieved so far limited interest in desktop applications (where bugs do not have relevant consequences). An exception is the revival of SSPA in Web applications, where a security vulnerability (such as a SQL injection) within them might have a relevant business impact. More recent developments, such as the Internet of Things, in the past decade, have bridged the realm of embedded software with Web applications.


Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH organise son événement intitulé Dagstuhl-Seminar — Sound Static Program Analysis in Modern Software Engineering se tiendra du 12 octobre 2025 au 17 octobre 2025 en Schloss Dagstuhl – Wadern, Allemagne. Il couvre divers domaines de Informatique, y compris Software Engineering. Pour plus d'informations, visitez le site web de la conférence ou contactez l'organisateur.
Ajouter au calendrier 2025-10-12 2025-10-17 Europe/London Dagstuhl-Seminar — Sound Static Program Analysis in Modern Software Engineering https://www.sciencedz.net/fr/conference/111875-dagstuhl-seminar-sound-static-program-analysis-in-modern-software-engineering Schloss Dagstuhl – Wadern - Allemagne Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

Trouver d'autres conférences connexes

Vous cherchez d'autres conférences scientifiques auxquelles participer ? Explorez un large éventail d'événements à venir dans divers domaines et lieux. Que vous recherchiez des sujets spécialisés, des lieux spécifiques ou des dates, nous avons un large éventail de conférences à vous proposer.
Conférences en Informatique en Allemagne 2025 : Découvrez les dernières tendances et recherches en Informatique en participant à des conférences en Allemagne en 2025. Créez des réseaux avec des professionnels, des chercheurs et des leaders de l'industrie pour rester à la pointe des avancées technologiques.
Conférences et séminaires en Allemagne
Conférences et séminaires en Allemagne en 2025
Conférences et séminaires en Informatique
Conférences et séminaires en Informatique en 2025
Conférences et séminaires en Informatique en Allemagne
Conférences et séminaires en Informatique en Allemagne en 2025
Tous les événements
Evénements par pays

Avertissement: Nous visons à fournir des informations exactes et fiables sur les événements à venir, mais nous ne pouvons pas accepter la responsabilité pour le texte des annonces ou de la bonne foi des organisateurs de l'événement.S'il vous plaît, n'hésitez pas à nous contacter si vous remarquez des informations incorrectes ou trompeuses et nous tenterons d'y remédier.Nous ne sommes impliqués dans l'organisation d'aucun des événements répertoriés et nous ne gérons pas les paiements d'inscription au nom des organisateurs.