×
By using our services, you accept the use of cookies.
more infos.
SPIN 2021 — 27th International SPIN Symposium on Model Checking of Software
ExpiredBook your hotel
Organizer :
Topic : Informática; Software Engineering
Matemática e Estatística; Ciências da Engenharia; Keywords: Analysis, Engineering
Description :
SPIN 2021 is the 27th edition of the SPIN symposium, which aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation of both concurrent and sequential software.
SPIN 2021 — 27th International SPIN Symposium on Model Checking of Software to be held in Aarhus University, Dinamarca between 14 julho 2021 and 15 julho 2021. It covers specific areas of Informática such as Software Engineering. Visit the website of the conference for more detailed information or contact the organizer for specific questions.
Related sections :
Conferences and seminars in DinamarcaConferences and seminars in Dinamarca in 2021
Conferences and seminars in Informática
Conferences and seminars in Informática in 2021
Conferences and seminars in Informática in Dinamarca
Conferences and seminars in Informática in Dinamarca in 2021
Todos os eventos
Events by country
Disclaimer : Temos como objectivo proporcionar informações precisas e confiáveis sobre os próximos eventos, mas não podemos aceitar a responsabilidade para o texto de anúncios ou boa-fé dos organizadores do evento. Por favor, não hesite em contactar-nos se você observar informações incorretas ou enganosas e vamos tentar corrigi-lo.We are not involved in the organization of any of the events listed and we do not handle registration payments on behalf of the organizers.
