• Kubra Aksoy
• Alain Aoun
• Oumaima Barhoumi
• Asieh Izadi

Group B: "PVS", "DREAM"

• Divyaa Mahalakshmi Guruswamy
• Chirag Jhamb
• Abdul Rahman Koleilat
• Anu Peediackal Mathew

Group C: "HOL4", "UPPAAL"

• Naveen Kumar Gopagani
• Benazir Mustafa
• Mitali Verma

Group D: "Twelf", "NuSMV"

• Sanjeevan Goswami
• Shree Avinash Mehta
• Media Nakhjavan
• Poorva Vadgama

Group E: "LEAN", "CADP"

• Nazanin Akbari
• Nina Farzamfar
• Farid Jamialahmadi
• Mohammadreza Zonnar

Group F: "Coq", "LTSmin"

• Mohammad Anas
• Kartik Bauskar
• Venkata Naga Srivalli Dronamraju
• Raynard Omongbale

Group G: "Mizar", "TAPAAL"

• Azzam Al-Safar
• Alireza Gerdabi
• Shaoxia Yang
• Sleiman Younes

Group H: "Isabelle", "PRISM"

• Ranjitha Arumugam
• Rama Krishna Desineni
• Sai Sriharsha Patibandla