Proceedings 12th International Workshop on Verification of Infinite-State Systems: Preface