Submissions should follow ICSE formatting guidelines and should be submitted through EasyChair (https://easychair.org/conferences/?conf=serp4iot).