HomeResearch TopicsApplication DriveProjectsPublicationsPeoplePhD StudiesNewsEvents & CfPInfo & Contacts
CiTechCiWorkCISTER DSSjoin us!Enjoy Porto!
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       
Login
HomeEvents - Conferences and Workshops        <>

TACAS 2022

TACAS 2022

28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
2, Apr, 2022 to 7, Apr, 2022
Munich, Germany
Homepage: https://etaps.org/2022/tacasOutside Link

TACAS 2022 is one of the four conferences of ETAPS 2022



CISTER's main roles:
,
José Proença
Artifact Evaluation Committee Member




Short link for this page: www.cister-labs.pt/events/1937

PreviousNext