The 7th International Workshop in Sequential Methodologies