Room 103 - ICST 2026

VenueDaejeon Convention Center (DCC)

Room nameRoom 103

Floor1

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 18 May
Displayed time zone: Seoul change

09:00 - 10:30	Session IITEQS at Room 103 Chair(s): Mehrdad Saadatmand RISE Research Institutes of Sweden, Fitash Ul Haq Luxembourg Institute of Science and Technology

09:00 10m Day opening		ITEQS 2026 Opening ITEQS Mehrdad Saadatmand RISE Research Institutes of Sweden, Fitash Ul Haq Luxembourg Institute of Science and Technology
09:10 45m Keynote		Language in the Loop, Promise and Risk in Verifying Intelligent Cyber-Physical Systems ITEQS K: Khouloud Gaaloul University of Michigan - Dearborn
09:55 20m Talk		Do LLM and Human Reviewers Agree? Evaluation and Setup ITEQS Fitash Ul Haq Luxembourg Institute of Science and Technology

11:00 - 12:30	Session IIITEQS at Room 103 Chair(s): Sarmad Bashir RISE Research Institutes of Sweden, Ibéria Medeiros LaSIGE, Faculdade de Ciências da Universidade de Lisboa

11:00 22m Talk		Verifying an Elevator Scheduling Control System ITEQS A: HUAN ZHANG Maynooth university, A: Haoyang Lu Maynooth University, Long Cheng North China Electric Power University, A: Hao Wu Maynooth University
11:22 22m Talk		Efficient Software Security Evaluation: A Human-in-the-Loop Approach ITEQS A: Christian Banse Fraunhofer AISEC, A: Immanuel Kunz Fraunhofer AISEC, A: Alexander Küchler Fraunhofer AISEC, A: Shala Leutrim Fraunhofer AISEC, A: Konrad Weiss , A: Maximilian Kaul Fraunhofer AISEC
11:45 22m Talk		SafeBound: A Modular Toolchain for End-to-End Safety Evaluation of ADS ITEQS A: Fauzia Khan University of Tartu, Estonia, A: Ali Gullu University of Tartu, A: Hina Anwar University of Tartu, A: Dietmar Pfahl University of Tartu
12:07 22m Talk		Test Design and Review Argumentation in AI-Assisted Test Generation ITEQS A: Eduard Paul Enoiu Malardalen University, A: Robert Feldt Chalmers \| University of Gothenburg

14:00 - 15:30	Session IIIITEQS at Room 103 Chair(s): Mehrdad Saadatmand RISE Research Institutes of Sweden, Fitash Ul Haq Luxembourg Institute of Science and Technology

14:00 22m Talk		Friends or Foes? Combining Static Analysis Tools and LLMs for Vulnerability Detection ITEQS A: Rafael Ramires LASIGE, DI, Faculdade de Ciencias da Universidade de Lisboa, A: Sarmad Bashir RISE Research Institutes of Sweden, A: Muhammad Abbas Khan RISE Research Institutes of Sweden, A: Mehrdad Saadatmand RISE Research Institutes of Sweden, A: Ibéria Medeiros LaSIGE, Faculdade de Ciências da Universidade de Lisboa Pre-print
14:22 22m Talk		Comp-AFL: Towards Complete Fuzzing ITEQS A: Sangharatna Godboley NIT Warangal, A: Kanika Gupta National Institute of Technology, Warangal, A: Golla Monika Rani , A: P. Radha Krishna National Institute of Technology Warangal, Warangal
14:44 16m Day closing		ITEQS 2026 Workshop Closing ITEQS

Tue 19 May
Displayed time zone: Seoul change

11:00 - 12:30	Deep Learning Model VerificationJournal-First Papers / Research Papers / Education at Room 103 Chair(s): Hamid Parsazadeh University of Toronto

11:00 25m Talk		DeepNaqqal: Human-Aligned Automated Validation of Test Inputs for Deep Learning Research Papers Maryam Maryam Lero, University of Limerick, Matteo Biagiola University of St. Gallen and Università della Svizzera italiana, Paolo Tonella USI Lugano, Vincenzo Riccio University of Udine
11:25 25m Talk		How Effective Is Coverage-Guided Fuzzing to Test Deep Learning Library APIs?Best Student Award Research Papers Feiran Qin North Carolina State University, M M Abid Naziri North Carolina State University, Hengyu Ai ShanghaiTech University, Saikat Dutta Cornell University, Marcelo d'Amorim North Carolina State University Pre-print
11:50 25m Talk		An Empirical Study of Fault Localisation Techniques for Deep Neural Networks Journal-First Papers Nargiz Humbatova Università della Svizzera italiana, Jinhan Kim Università della Svizzera italiana, Gunel Jahangirova King's College London, Shin Yoo KAIST, Paolo Tonella USI Lugano DOI
12:05 25m Talk		Testing Literacy for the Era of Self-Software Systems: Rethinking Software Testing Education for AI-Mediated Development Education Nuno Pombo University of Beira Interior & Instituto de Telecomunicaçōes, Covilhã, Portugal

14:00 - 15:30	Mutation & Constrained-Based TestingResearch Papers / Industry at Room 103 Chair(s): Nargiz Humbatova Università della Svizzera italiana

14:00 25m Talk		Dynamic Mutation Scheduling: Highly Parallel, Efficient Evaluation of Mutations for Rust Programs through Program Splitting Research Papers Zalán Lévai University of Sheffield, Donghwan Shin University of Sheffield, Phil McMinn University of Sheffield
14:25 25m Talk		How Effective are Coverage- and Diversity-Based Test Selection at Killing Stubborn Mutants? Research Papers Islam Elgendy The University of Sheffield, Robert Hierons The University of Sheffield, Phil McMinn University of Sheffield
14:50 25m Talk		Combining Input Constraints with Execution Goals Research Papers Leon Bettscheider CISPA Helmholtz Center for Information Security, Marius Smytzek CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security Pre-print
15:15 15m Talk		Industrial Application of Deep Learning based Fault Localization with Mutation Features Industry Heechan Yang KAIST, Ahcheong Lee KAIST, Kyutae Cho LIG Nex1, Yunsam Kim VPlusLab Inc.

16:00 - 17:30	Machine Learning for Code Analysis & ReviewResearch Papers / Industry at Room 103 Chair(s): Dietmar Pfahl University of Tartu

16:00 25m Talk		Understanding and Improving ML-based Static Analysis Result Classification via Explainable AI Research Papers Sai Yerramreddy University of Maryland, Mohammad Rafieian The University of Texas at Dallas, Shiyi Wei University of Texas at Dallas, Adam Porter University of Maryland, College Park
16:25 25m Talk		Adaptive Mixing of Embeddings from Multiple Code Language Models for Fault Localization Research Papers Juyoung Yang Korea Advanced Institute of Science and Technology (KAIST), Eunchan Park Korea Advanced Institute of Science and Technology (KAIST), In-Young Ko Korea Advanced Institute of Science and Technology
16:50 25m Talk		Assessing the Impact of Code Changes on the Fault Localizability of Large Language Models Research Papers Sabaat Haroon Virginia tech, Ahmand Faraz Khan Virginia Tech, Ahmad Humayun Virginia Tech, Waris Gill Virginia Tech, Abdul Haddi Amjad Palo Alto Networks, Ali R. Butt Virginia Tech, Mohammad Taha Khan Carnegie Mellon University, Muhammad Ali Gulzar Virginia Tech
17:15 15m Talk		When Less Is More: Monolingual Fine-Tuning of Language Models for Industrial C# Code Review Industry Igli Begolli Technical University Dortmund, Lovion GmbH, Meltem Aksoy TU Dortmund University, Daniel Neider Technical University of Dortmund, Germany

Wed 20 May
Displayed time zone: Seoul change

10:30 - 12:00	Specification Inference & Model CheckingJournal-First Papers / Research Papers at Room 103 Chair(s): Eunkyoung Jee KAIST, South Korea

10:30 25m Talk		GRANDSLAM: Linearly Scalable Model Synthesis Research Papers Alexander Boll University of Bern
10:55 25m Talk		Improving Dynamic Specification Inference with LLM-Generated Counterexamples Research Papers Agustín Balestra University of Rio Cuarto, Argentina, Agustin Nolasco University of Rio Cuarto, Facundo Molina Complutense University of Madrid, Diego Garbervetsky Departamento de Computación, FCEyN, UBA, Renzo Degiovanni Luxembourg Institute of Science and Technology, Nazareno Aguirre University of Rio Cuarto/CONICET, Argentina, and Guangdong Technion-Israel Institute of Technology, China
11:15 25m Talk		Systematic API Testing Through Model Checking and Executable Contracts Research Papers Ana Catarina Ribeiro NOVA FCT, Margarida Mamede NOVA FCT, Carla Ferreira NOVA University Lisbon Pre-print
11:40 15m Talk		Simulation-based Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems Journal-First Papers Qi Pan Nanjing University of Aeronautics and Astronautics, Tiexin Wang Nanjing University of Aeronautics and Astronautics, Jianwei Ma Nanjing University of Aeronautics and Astronautics, Paolo Arcaini National Institute of Informatics, Tao Yue Beihang University Link to publication DOI

13:30 - 15:00	Complex System & Protocol ValidationShort Papers, Vision and Emerging Results / Research Papers at Room 103 Chair(s): Ajay Kumar Thapar Institute of Engineering and Technology

13:30 25m Talk		In Perfect Harmony: Orchestrating Causality in Actor-Based Systems Research Papers Vladyslav Mikytiv NOVA University Lisbon, Bernardo Toninho Instituto Superior Técnico - University of Lisbon, Carla Ferreira NOVA University Lisbon Pre-print
13:55 25m Talk		Isolating Feature Transition Errors in Dynamically Adaptive Systems Research Papers Pierre Martou UCLouvain / ICTEAM, Benoît Duhoux Université catholique de Louvain, Belgium, Kim Mens Université catholique de Louvain, ICTEAM institute, Belgium
14:20 25m Talk		Synthesizing Precise Protocol Specs from Natural Language for Effective Test Generation Research Papers Kuangxiangzi Liu Volkswagen AG / Saarland University, Alexander Liggesmeyer CISPA Helmholtz Center for Information Security, Dhiman Chakraborty Volkswagen AG, Andreas Zeller CISPA Helmholtz Center for Information Security File Attached
14:45 15m Talk		MT4DT: Metamorphic Testing for Digital Twins\ Short Papers, Vision and Emerging Results Philipp Zech University of Innsbruck, Austria, Sascha Hammes University of Innsbruck - Unit of Energy Efficient Building, Manuel Núñez Universidad Complutense de Madrid

15:30 - 17:00	Test Prioritization & Build OptimizationResearch Papers / Industry at Room 103 Chair(s): Na Meng Virginia Tech

15:30 25m Talk		FALCON: Efficient Test Case Prioritization via Submodular OptimizationDistinguished Paper Award Research Papers Twumasi Mensah-Boateng University of North Texas, Jing Yuan University of North Texas, Hyunsook Do University of North Texas
15:55 25m Talk		DANTE: Data-Driven Test Case Selection and Prioritization for Long-Running Test SuitesDistinguished Paper Award Research Papers Simone Reale Politecnico di Milano, Elisabeta di Nitto Politecnico di Milano, Luciano Baresi Politecnico di Milano, Massimiliano Di Penta University of Sannio, Italy, Giovanni Quattrocchi Politecnico di Milano
16:20 25m Talk		How Effectively Do Large Language Models Help with Build Conflict Resolution? Research Papers Sheikh Shadab Towqir Virginia Tech, Xiaoyan Zhang Virginia Tech, Todd Mytkowicz Google, Na Meng Virginia Tech Pre-print
16:45 15m Talk		Taming the Variants: Multi-Architecture Continuous Testing at Google Industry Tim A. D. Henderson Google, Sushmita Azad Google, Chandrakanth Chittappa Google, Ali Esmaeeli Google, Laura Macaddino Google, Sam Manfreda Google, David Margolin Google, Dharma Naidu Google, Sabuj Pattanayek Google LLC, USA, Sachin Sable Google, Ruslan Sakevych Google, Dushyant Acharya Google, Adrian Berding Google, Kevin Crossant Google, Wolff Dobson Google, Avi Kondareddy Google, Abhayendra Singh Google, Inc Pre-print

Thu 21 May
Displayed time zone: Seoul change

13:00 - 14:30	Continuous Integration & DependenciesIndustry / Research Papers at Room 103 Chair(s): Mattia Fazzini University of Minnesota

13:00 25m Talk		On the Freshness of Pinned Dependencies in Maven Research Papers Vasudev Vikram Carnegie Mellon University, Yuvraj Agarwal Carnegie Mellon University, Rohan Padhye Carnegie Mellon University
13:25 25m Talk		Android Instrumentation Testing in Continuous Integration: Practices, Patterns, and Performance Research Papers Hamid Parsazadeh University of Toronto, Taher A. Ghaleb Trent University, Safwat Hassan University of Toronto Pre-print
13:50 15m Talk		Predictive Pull Request Batching to Accelerate Merge Pipelines in Continuous Integration at Scale Industry Maximilian Jungwirth BMW Group, University of Passau, Martin Gruber BMW Group, Gordon Fraser University of Passau
14:05 15m Talk		Intelligent resource prediction for SAP HANA continuous integration build workloads Industry Stephan Kraft SAP SE, Torsten Mandel SAP SE, Jonathan Bader Technical University of Berlin, Hanyoung Yoo SAP Labs Korea

15:00 - 16:30	Quantum Computing Verification & AI SelectionResearch Papers / Short Papers, Vision and Emerging Results at Room 103 Chair(s): Ajay Kumar Thapar Institute of Engineering and Technology

15:00 25m Talk		An Adaptive Hybrid Quantum-Classical Framework for Test Suite Minimization via Quantum Approximate Optimization Algorithm Research Papers Lakksh Sharma Thapar Institute of Engineering and Technology, Krish Sharma Thapar Institute of Engineering and Technology, Ajay Kumar Thapar Institute of Engineering and Technology
15:25 25m Talk		XPJudge: Explanation-Aware Pairwise Judging for Cost-Effective Code LLM Selection Research Papers Yasmine Ben Braiek Polytechnique Montreal, Houssem Ben Braiek Polytechnique Montreal, Foutse Khomh Polytechnique Montréal
15:50 15m Talk		Quantum Circuit Repair by Gate Prioritisation Short Papers, Vision and Emerging Results Eñaut Mendiluze Usandizaga Simula Research Laboratory, Norway, Thomas Laurent Lero@Trinity College Dublin, Paolo Arcaini National Institute of Informatics, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
16:05 15m Talk		Noise Fingerprints for Cross-Platform Quantum Simulator Discrepancy Analysis Short Papers, Vision and Emerging Results Avner Bensoussan King's College London, Elena Chachkarova Kings College London, Karine Even-Mendoza King’s College London, Sophie Fortz Inria, Univ Rennes, CNRS, IRISA, Vasileios Klimis Queen Mary University of London, Mohammad Reza Mousavi King's College London Pre-print

Fri 22 May
Displayed time zone: Seoul change

09:00 - 10:30	Research papersSAFE-ML at Room 103 Chair(s): Alessio Mora Alma Mater Studiorum - Università di Bologna

09:00 22m Research paper		Fuzzing-Motivated Multilingual Jailbreak Testing of Large Language Models for Healthcare and Safety-Critical Applications SAFE-ML Yu-Chih Wei , Yu-Ren Wu , Yen-Yun Chen , Chuan-Tse Tsai
09:22 22m Research paper		TSV: Training Set Verification - Detection of Unauthorized Data Additions to the Training Set of Machine Learning Models Using Out-of-Distribution Technique SAFE-ML Ido Hersko , Edita Grolman , Yitschak Cahana , Asaf Shabtai Ben Gurion University of the Negev, Yuval Elovici Ben-Gurion University
09:45 22m Research paper		Feature Masking Isn't Enough: Auxiliary-Data Membership Inference on Tabular Models with Missing Features SAFE-ML Ido Hersko , Elran Oren , Yitschak Cahana , Asaf Shabtai Ben Gurion University of the Negev, Yuval Elovici Ben Gurion University of the Negev
10:07 22m Research paper		FATHOMS-RAG: A Framework for the Assessment of Thinking and Observation in Multimodal Systems that use Retrieval Augmented Generation SAFE-ML Samuel Hildebrand , Curtis Taylor , Sean Oesch , James Ghawaly , Amir Sadovnik , Ryan Shivers , Brandon Schreiber , Kevin Kurian

Mon 18 May
Displayed time zone: Seoul change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room 103	ITEQS Session I																								ITEQS Session II																																				ITEQS Session III																								ITEQS

Tue 19 May
Displayed time zone: Seoul change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room 103	Journal-First Papers + Research Papers + Education Deep Learning Model Verification																																				Research Papers + Industry Mutation & Constrained-Based Testing																								Research Papers + Industry Machine Learning for Code Analysis & Review

Wed 20 May
Displayed time zone: Seoul change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Room 103							Journal-First Papers + Research Papers Specification Inference & Model Checking																																				Short Papers, Vision and Emerging Results + Research Papers Complex System & Protocol Validation																								Research Papers + Industry Test Prioritization & Build Optimization

Thu 21 May
Displayed time zone: Seoul change


Room	13:00						30						14:00						30						15:00						30						16:00						30
Room 103	Industry + Research Papers Continuous Integration & Dependencies																								Research Papers + Short Papers, Vision and Emerging Results Quantum Computing Verification & AI Selection

Fri 22 May
Displayed time zone: Seoul change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room 103	SAFE-ML Research papers																								SAFE-ML																																				SAFE-ML																								SAFE-ML

Mon 18 May
Displayed time zone: Seoul change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45
Room 103	ITEQS ITEQS 2026 Opening 09:00 - 09:10		ITEQS Language in the Loop, Promise and Risk in Verifying Intelligent Cyber-P ... 09:10 - 09:55									ITEQS Do LLM and Human Reviewers Agree? Evaluation and Setup 09:55 - 10:15													ITEQS Verifying an Elevator Scheduling Control System 11:00 - 11:22				ITEQS Efficient Software Security Evaluation: A Human-in-the-Loop Approach 11:22 - 11:45					ITEQS SafeBound: A Modular Toolchain for End-to-End Safety Evaluation of ADS 11:45 - 12:07				ITEQS Test Design and Review Argumentation in AI-Assisted Test Generation 12:07 - 12:30																							ITEQS Friends or Foes? Combining Static Analysis Tools and LLMs for Vulnerabi ... 14:00 - 14:22				ITEQS Comp-AFL: Towards Complete Fuzzing 14:22 - 14:44					ITEQS ITEQS 2026 Workshop Closing 14:44 - 15:00

Tue 19 May
Displayed time zone: Seoul change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Room 103	ICST Research Papers DeepNaqqal: Human-Aligned Automated Validation of Test Inputs for Deep ... 11:00 - 11:25					ICST Research PapersBest Student Award How Effective Is Coverage-Guided Fuzzing to Test Deep Learning Library ... 11:25 - 11:50					ICST Journal-First Papers An Empirical Study of Fault Localisation Techniques for Deep Neural Net ... 11:50 - 12:15 ICST Education Testing Literacy for the Era of Self-Software Systems: Rethinking Softw ... 12:05 - 12:30																										ICST Research Papers Dynamic Mutation Scheduling: Highly Parallel, Efficient Evaluation of M ... 14:00 - 14:25					ICST Research Papers How Effective are Coverage- and Diversity-Based Test Selection at Killi ... 14:25 - 14:50					ICST Research Papers Combining Input Constraints with Execution Goals 14:50 - 15:15					ICST Industry Industrial Application of Deep Learning based Fault Localization with M ... 15:15 - 15:30									ICST Research Papers Understanding and Improving ML-based Static Analysis Result Classificat ... 16:00 - 16:25					ICST Research Papers Adaptive Mixing of Embeddings from Multiple Code Language Models for Fa ... 16:25 - 16:50					ICST Research Papers Assessing the Impact of Code Changes on the Fault Localizability of Lar ... 16:50 - 17:15					ICST Industry When Less Is More: Monolingual Fine-Tuning of Language Models for Indus ... 17:15 - 17:30

Wed 20 May
Displayed time zone: Seoul change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Room 103							ICST Research Papers GRANDSLAM: Linearly Scalable Model Synthesis 10:30 - 10:55					ICST Research Papers Improving Dynamic Specification Inference with LLM-Generated Counterexa ... 10:55 - 11:20 Systematic API Testing Through Model Checking and Executable Contracts 11:15 - 11:40									ICST Journal-First Papers Simulation-based Safety Assessment of Vehicle Characteristics Variation ... 11:40 - 11:55																						ICST Research Papers In Perfect Harmony: Orchestrating Causality in Actor-Based Systems 13:30 - 13:55					ICST Research Papers Isolating Feature Transition Errors in Dynamically Adaptive Systems 13:55 - 14:20					ICST Research Papers Synthesizing Precise Protocol Specs from Natural Language for Effective ... 14:20 - 14:45					ICST Short Papers, Vision and Emerging Results MT4DT: Metamorphic Testing for Digital Twins\ 14:45 - 15:00									ICST Research PapersDistinguished Paper Award FALCON: Efficient Test Case Prioritization via Submodular Optimization 15:30 - 15:55					ICST Research PapersDistinguished Paper Award DANTE: Data-Driven Test Case Selection and Prioritization for Long-Runn ... 15:55 - 16:20					ICST Research Papers How Effectively Do Large Language Models Help with Build Conflict Resol ... 16:20 - 16:45					ICST Industry Taming the Variants: Multi-Architecture Continuous Testing at Google 16:45 - 17:00

Thu 21 May
Displayed time zone: Seoul change


Room	13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Room 103	ICST Research Papers On the Freshness of Pinned Dependencies in Maven 13:00 - 13:25					ICST Research Papers Android Instrumentation Testing in Continuous Integration: Practices, P ... 13:25 - 13:50					ICST Industry Predictive Pull Request Batching to Accelerate Merge Pipelines in Conti ... 13:50 - 14:05			ICST Industry Intelligent resource prediction for SAP HANA continuous integration bui ... 14:05 - 14:20											ICST Research Papers An Adaptive Hybrid Quantum-Classical Framework for Test Suite Minimizat ... 15:00 - 15:25					ICST Research Papers XPJudge: Explanation-Aware Pairwise Judging for Cost-Effective Code LLM ... 15:25 - 15:50					ICST Short Papers, Vision and Emerging Results Quantum Circuit Repair by Gate Prioritisation 15:50 - 16:05			ICST Short Papers, Vision and Emerging Results Noise Fingerprints for Cross-Platform Quantum Simulator Discrepancy Ana ... 16:05 - 16:20

Fri 22 May
Displayed time zone: Seoul change


Room	9:00			15			30			45			10:00			15			30			45
Room 103	SAFE-ML Fuzzing-Motivated Multilingual Jailbreak Testing of Large Language Mode ... 09:00 - 09:22				SAFE-ML TSV: Training Set Verification - Detection of Unauthorized Data Additio ... 09:22 - 09:45					SAFE-ML Feature Masking Isn't Enough: Auxiliary-Data Membership Inference on Ta ... 09:45 - 10:07				SAFE-ML FATHOMS-RAG: A Framework for the Assessment of Thinking and Observation ... 10:07 - 10:30

Room information: Room 103

Mon 18 May
Displayed time zone: Seoul change

Tue 19 May
Displayed time zone: Seoul change

Wed 20 May
Displayed time zone: Seoul change

Thu 21 May
Displayed time zone: Seoul change

Fri 22 May
Displayed time zone: Seoul change

Mon 18 May
Displayed time zone: Seoul change

ITEQS

ITEQS

ITEQS

ITEQS

Tue 19 May
Displayed time zone: Seoul change

Journal-First Papers + Research Papers + Education

Research Papers + Industry

Research Papers + Industry

Wed 20 May
Displayed time zone: Seoul change

Journal-First Papers + Research Papers

Short Papers, Vision and Emerging Results + Research Papers

Research Papers + Industry

Thu 21 May
Displayed time zone: Seoul change

Industry + Research Papers

Research Papers + Short Papers, Vision and Emerging Results

Fri 22 May
Displayed time zone: Seoul change

SAFE-ML

SAFE-ML

SAFE-ML

SAFE-ML

Mon 18 May
Displayed time zone: Seoul change

Tue 19 May
Displayed time zone: Seoul change

Wed 20 May
Displayed time zone: Seoul change

Thu 21 May
Displayed time zone: Seoul change

Fri 22 May
Displayed time zone: Seoul change

Tracks

Workshops

Room information: Room 103

Program Display Configuration

Mon 18 MayDisplayed time zone: Seoul change

Tue 19 MayDisplayed time zone: Seoul change

Wed 20 MayDisplayed time zone: Seoul change

Thu 21 MayDisplayed time zone: Seoul change

Fri 22 MayDisplayed time zone: Seoul change

Mon 18 MayDisplayed time zone: Seoul change

ITEQS

ITEQS

ITEQS

ITEQS

Tue 19 MayDisplayed time zone: Seoul change

Journal-First Papers + Research Papers + Education

Research Papers + Industry

Research Papers + Industry

Wed 20 MayDisplayed time zone: Seoul change

Journal-First Papers + Research Papers

Short Papers, Vision and Emerging Results + Research Papers

Research Papers + Industry

Thu 21 MayDisplayed time zone: Seoul change

Industry + Research Papers

Research Papers + Short Papers, Vision and Emerging Results

Fri 22 MayDisplayed time zone: Seoul change

SAFE-ML

SAFE-ML

SAFE-ML

SAFE-ML

Mon 18 MayDisplayed time zone: Seoul change

Tue 19 MayDisplayed time zone: Seoul change

Wed 20 MayDisplayed time zone: Seoul change

Thu 21 MayDisplayed time zone: Seoul change

Fri 22 MayDisplayed time zone: Seoul change

Mon 18 May
Displayed time zone: Seoul change

Tue 19 May
Displayed time zone: Seoul change

Wed 20 May
Displayed time zone: Seoul change

Thu 21 May
Displayed time zone: Seoul change

Fri 22 May
Displayed time zone: Seoul change

Mon 18 May
Displayed time zone: Seoul change

Tue 19 May
Displayed time zone: Seoul change

Wed 20 May
Displayed time zone: Seoul change

Thu 21 May
Displayed time zone: Seoul change

Fri 22 May
Displayed time zone: Seoul change

Mon 18 May
Displayed time zone: Seoul change

Tue 19 May
Displayed time zone: Seoul change

Wed 20 May
Displayed time zone: Seoul change

Thu 21 May
Displayed time zone: Seoul change

Fri 22 May
Displayed time zone: Seoul change