Forum 15 - ASE 2026

VenueHoliday Inn Munich – City Center

Room nameForum 15

Capacity70

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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 12 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00	RASE OpeningRASE at Forum 15 Chair(s): RASE Chairs and AI4I-IAS (Valeria Morra)

09:00 15m Day opening		Workshop Opening RASE
09:15 45m Keynote		Combining Large-Scale Datasets, Program Analysis, and AI for Reliable and Trustworthy Software Analysis: Lessons from Android Apps RASE Jacques Klein University of Luxembourg

10:30 - 12:30	RASE Session 1 - Building Trust in AI-Driven Software EngineeringRASE at Forum 15

10:30 15m Paper		Toward Defensible System Behavior for AI-Generated Software Artifacts RASE Radoslaw Klimek AGH University of Krakow
10:45 20m Paper		TaxVerif: Verification-Oriented COBOL Tax-Code Migration via Invariant Extraction and Semantic Validation RASE Vadim Tynchenko Bauman Moscow State Technical University, Igor Masich Bauman Moscow State Technical University, Dmitry Martysyuk Bauman Moscow State Technical University, Yury Kostromin Bauman Moscow State Technical University, Aleksei Borodulin Bauman Moscow State Technical University, Ivan Malashin Bauman Moscow State Technical University, Vladimir Nelyub Bauman Moscow State Technical University, Andrei Gantimurov Bauman Moscow State Technical University
11:05 15m Paper		NORMA: Automated AI Act Compliance Assessment for AI Training Datasets RASE Elisabetta Arba Sapienza Università di Roma, Allegra Berardi Sapienza Università di Roma, Bedilia Estrada Torres University of Seville, Francesco Leotta Dipartimento di Informatica e Sistemistica (DIS) "A. Ruberti", Univerità "Sapienza" Roma, Flavia Monti Sapienza Università di Roma, Rome, Italy, Massimo Mecella Università di Roma Sapienza
11:20 20m Paper		Can We Trust Strong Teachers? Auditing Knowledge Distillation for Binary Code Similarity Detection RASE Minh Khang Van LMU Munich, Yunru Wang LMU Munich, Johannes Kinder LMU Munich
11:40 15m Paper		Whose Specification Did You Test? The Hidden Interpretation Bias in LLM-Generated Test Suites RASE Md Mainul Islam United International University, Dhaka, Bangladesh
11:55 20m Paper		How Grammar-Based Synthetic Data Shapes Behavior Learning: An Empirical Study of Input Generation Strategies RASE Tural Mammadov CISPA Helmholtz Center for Information Security, Alireza Kheradmand CISPA Helmholtz Center for Information Security, Marius Smytzek CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security

14:00 - 16:00	RASE Session 2 - Software Assurance: Governance, Security, and DependabilityRASE at Forum 15

14:00 20m Paper		Software Engineering Governance: Foundations for Trustworthy Automated Software Engineering RASE Carlos Mario Braga Ortuño Universidad de Castilla-La Mancha, Manuel Serrano University of Castilla-La Mancha, Eduardo Fernandez-Medina Universidad de Castilla La Mancha
14:20 15m Paper		HermesAngler: Enabling Dynamic Instrumentation of iOS React Native Apps RASE Martin Renze Fraunhofer SIT \| ATHENE, Fabian Scherf Fraunhofer SIT \| ATHENE
14:35 15m Paper		Formal Analysis of Software Bills of Materials with Alloy RASE Sabato Nocera University of Salerno, Giuseppe Scanniello University of Salerno Pre-print
14:50 20m Paper		Minimizing Vulnerability Prevalence in Maven Dependencies via Answer Set Programming RASE Christian Macho University of Klagenfurt, Laura Hofer University of Klagenfurt, Martin Pinzger Universität Klagenfurt
15:10 15m Paper		When Log Parsing Removes What Matters: Detecting Failures in Distributed GPU Workloads RASE Boyuan Cui University of Toronto, Yuyang Zeng University of Toronto, Yifang Tian University of Toronto, Hans-Arno Jacobsen University of Toronto
15:25 20m Paper		When Do Inference-Cost Stress Tests Generalize? A Cross-Model and Cross-Configuration Measurement Study RASE Arman Chhetri Rochester Institute of Technology, Yinxi Liu Rochester Institute of Technology

16:30 - 17:30	RASE ClosingRASE at Forum 15

16:30 50m Panel		Discussion Panel RASE
17:20 10m Awards		Awards & Workshop Closing - chaired by RASE Chairs and AI4I-IAS (Valeria Morra) RASE

Tue 13 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30	Security and Other Non-Functional Properties: Reliability and Availability 1Industry Showcase / Research Papers at Forum 15 Chair(s): Abhishek Tiwari University of Southern Denmark

10:30 15m Talk		TELLER: Non-intrusive Cross-Layer Root-Cause Analysis for LLM Inference Research Papers Ruilin Xu Sun Yat-sen University, Junyi Li Sun Yat-sen University, Pengfei Chen Sun Yat-sen University, Zongxuan Xie Sun Yat-sen University
10:45 15m Talk		When Does AI Actually Help in Incident Response? Identifying Good First Messages in Cloud Service Incidents Research Papers Minghua Ma Microsoft, Rujia Wang Microsoft, Chetan Bansal Microsoft Research, Saravan Rajmohan Microsoft, Yingnong Dang Microsoft Azure, Hongyu Zhang Chongqing University
11:00 15m Talk		Expanding Guard Reach: Online Learning-Driven Incremental Kernel Panic Diagnosis Industry Showcase Yicheng Sui Nankai University, Xiaotian Wang Nankai University, Hailin Zhang Nankai University, Shenglin Zhang Nankai University, Binhong Jiang Nankai University, Heng Zheng Nankai University, Yongqian Sun Nankai University, Yuzhi Zhang Nankai University, Yang Zhang ByteDance Inc., Xin Wu ByteDance Inc., Liangyan Peng ByteDance, Linlin Han ByteDance, Feng Wang ByteDance Inc., Xiaozhou Liu ByteDance Inc., Yu Zhang ByteDance Inc.
11:15 15m Talk		GALA: Graph-Augmented LLM Agents for Root Cause Analysis and Incident Response in Microservices Research Papers Yifang Tian University of Toronto, Yaming Liu University of Toronto, Zichun Chong University of Toronto, Zihang Huang University of Toronto, Yiran Li University of Toronto, Hans-Arno Jacobsen University of Toronto Pre-print
11:30 15m Talk		OpsAgent: An Evolving Multi-agent System for Incident Management in Microservices Industry Showcase Yu Luo Nankai University, Jiamin Jiang Nankai University, Jingfei Feng Nankai University, Lei Tao Nankai University, Qingliang Zhang Nankai University, Xidao Wen Alibaba Cloud, Yongqian Sun Nankai University, Shenglin Zhang Nankai University, Tong Liu Lenovo (TianJin) Co., Ltd., Wenjie Zhang Lenovo, Dan Pei Tsinghua University, China
11:45 15m Talk		ActionNex: A Production-Grade System for Next-Best-Action Recommendation in Cloud Outage Management Industry Showcase Zhenfeng Lin Microsoft, Haoji Hu Microsoft, Ming Hao Microsoft, Xuchao Zhang Microsoft, Yudi He Microsoft, Oleg Kulygin Microsoft, Hatay Tuna Microsoft, Chetan Bansal Microsoft Research, Ze Li Microsoft Azure, Murali Chintalapati Microsoft Azure, Sheila Jiang Microsoft, Salman Zafar Microsoft, Angie Anderson Microsoft, Ryan zhang
12:00 15m Talk		ReLog: Execution-Aware Logging with Runtime Feedback for LLM-Oriented Debugging Research Papers Xin Wang The Hong Kong University of Science and Technology (Guangzhou), Yang Feng The Hong Kong University of Science and Technology (Guangzhou), Xiaoqian Jiao Hong Kong University of Science and Technology, Yang Zhang Hebei University of Science and Technology, Zhenhao Li York University, Zishuo Ding The Hong Kong University of Science and Technology (Guangzhou) Pre-print
12:15 15m Talk		Towards Reliable Alarm Flood Reduction in Data Center via Grammar-Guided Verifiable LLM Reasoning Industry Showcase Jiacheng Liu Peking University; Institute for AI Industry Research (AIR), Tsinghua University, Guocong Lin Tsinghua University, Jichao Yan Tsinghua University, Huiwen Zheng GDS Holdings, Hongli Ma GDS Holdings, Changhao Zhou GDS Holdings, Zhiyi Yu GDS Holdings, Yuanchun Li Institute for AI Industry Research (AIR), Tsinghua University, Yunxin Liu Tsinghua University, Ding Li Peking University, Tao Xie Peking University, Yao Guo Peking University

14:00 - 16:00	Formal Aspects of Software Engineering: Specification Languages 1NIER / Research Papers / Industry Showcase / Journal First / Tools and Datasets at Forum 15 Chair(s): Thomas Vogel Humboldt-Universtität zu Berlin

14:00 15m Talk		RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents using Continuous LLM Feedback Research Papers Guozhen Ding University of Toronto, Kexin Li University of Toronto, Ilya Grishchenko University of Toronto, David Lie University of Toronto, Canada DOI Pre-print
14:15 15m Talk		Exploring Development Methods for Reactive Synthesis Specifications Journal First Dor Ma'ayan Tel Aviv University, Shahar Maoz Tel Aviv University, Jan Oliver Ringert Bauhaus-University Weimar DOI
14:30 10m Talk		TLCrafter: Peeling the Layers of Natural Language to Reveal Temporal Logic Specifications Tools and Datasets Cheng Wen Xidian University, Wenjun Ke Xidian University, Xiao Liang Xidian University, Zhi Ma Xidian University, Xiaoyong Xue Fermat Labs, Shengchao Qin Xidian University, Cong Tian Xidian University DOI
14:40 10m Talk		ACSLBench: A Verified C/ACSL Corpus and Benchmark with Compositional Call Chains for Formal Specification Synthesis Tools and Datasets Hu Junjie Xidian University, Cheng Wen Xidian University, Bin Yu Xidian University, Jialun Cao Hong Kong University of Science and Technology, Dugang Liu Shenzhen University, Weidi Sun Peking University, Haokun Li Peking University, Shengchao Qin Xidian University, Cong Tian Xidian University DOI
14:50 10m Talk		Can Formal Specifications Be Synthesized from Tests Alone? NIER Tianhai Liu Karlsruhe Institute of Technology (KIT), and aicas GmbH, Maximilian Müller KIT, Tobias Hey Karlsruhe Institute of Technology (KIT), Vitus Lüntzel KIT, Muhammad Minhas KIT, Anne Koziolek Karlsruhe Institute of Technology, Bernhard Beckert Karlsruhe Institute of Technology DOI
15:00 15m Talk		Formula Completion Suggestions for Alloy Models with Selection Guidance Research Papers Mohammad Nurullah Patwary University of Texas at Arlington, Allison Sullivan University of Texas at Arlington
15:15 15m Talk		Beyond Benchmarks: A Case Study of LLM-Generated Verus Specification Failures on Asterinas Vostd Industry Showcase Dugang Liu Shenzhen University, Ding Wang Shenzhen University, Chao Jiang Shenzhen University, Shenzhen, China, Cheng Wen Xidian University, Zhiwu Xu Shenzhen University, Zhong Ming Shenzhen University, Yuwei Liu Ant Group, Xinyi Wan , Lin Huang Ant Group
15:30 15m Talk		All or Nothing: How Library Type Annotations Affect Client-Side Errors in Python Research Papers Eric Asare New York University Abu Dhabi, Luca Di Grazia University of St. Gallen, Sarah Nadi New York University Abu Dhabi Pre-print
15:45 15m Research paper		MiniPoly: Automatic Extraction of Efficient JavaScript Polyfill from Language Specification Research Papers Jungwoong Kim Korea University, Youngmin Cho Korea University, Jihyeok Park Korea University DOI Pre-print

16:30 - 17:30	Requirements and Design: Software Architecture and DesignIndustry Showcase / Tools and Datasets / Research Papers at Forum 15 Chair(s): Nan Niu University of North Florida

16:30 15m Talk		MicroAgent: Context-Augmented Multi-agent Framework for Automatic Microservice Decomposition Research Papers Zishan Su Chinese University of Hong Kong, Junjie Huang The Chinese University of Hong Kong, Shiwen Shan Sun Yat-sen University, chenxingyan Sun Yat-sen University, Hui Zeng Sun Yat-sen University, Yuxin Su Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Michael Lyu CUHK, Hong Kong
16:45 15m Talk		MicroWeaver: A Constraint-Guided Structure–Semantic Aware Approach to Automated Microservice Decomposition Industry Showcase Huitian Xue Beihang University, Kairui Zhang Beihang University, Chenxi Zhang Xidian University, Zheng Li Queen's University Belfast, UK, Chuan Luo Beihang University, Yilong Yang Beihang University, Tianyu Wo , Chunming Hu Beihang University, Yanliang Li Independent Researcher, Zhou Yang University of Alberta; CIFAR AI Chair; Alberta Machine Intelligence Institute , Penghao Zhang Kuaishou Inc., Tiezi Zhang Kuaishou, Renyu Yang Beihang University
17:00 10m Talk		The ARDoCo Tool Landscape: REST API, TraceView, and TraceViz for Architecture Traceability Tools and Datasets Jan Keim Karlsruhe Institute of Technology (KIT), Dominik Fuchß Karlsruhe Institute of Technology (KIT), Sophie Corallo Karlsruhe Institute of Technology, Tobias Hey Karlsruhe Institute of Technology (KIT), Julian Winter KIT, Kevin Feichtinger Karlsruhe Institute of Technology (KIT) DOI Pre-print
17:10 10m Talk		DAL: Decoupled Aspect-Based Layering of I/O Processing for Automotive Software Industry Showcase Muhammet USLU CARIAD SE - Volkswagen Group, Atif Imran Penkar TU Dortmund, Robert Rasche Tensor embedded GmbH, Olaf Spinczyk Universität Osnabrück, Marc Fessler Cariad; Volkswagen Group, Michael Unterreiner Porsche AG DOI
17:20 10m Talk		CAS2UML: A Handwritten Sketch-to-PlantUML Dataset for Class and Activity Diagrams Tools and Datasets Simon Scholz University of Cologne, Mersedeh Sadeghi University of Cologne DOI

Wed 14 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30	Requirements and Design: Requirements and TraceabilityIndustry Showcase / Research Papers / NIER / Tools and Datasets at Forum 15 Chair(s): Maleknaz Nayebi York University

10:30 15m Talk		Can Large Language Models Decompose User Stories into Tasks? Exploring the Role of Prompting Strategies and Models Research Papers Delina Ly VX Company, Utrecht University , Fatma Başak Aydemir Utrecht University, Fabiano Dalpiaz Utrecht University DOI Pre-print
10:45 15m Talk		Bridging Stakeholder and Product Requirements: An Empirical Study of Requirement Engineering in the Automotive Industry Industry Showcase Zixu Wang Technical University of Munich (TUM) / Infineon Technologies AG, Shengcheng Yu Technical University of Munich, Zhenchang Xing CSIRO's Data61, Tobias Wenzel Infineon Technologies, Chunyang Chen TU Munich
11:00 15m Talk		From Backlog Items to Security Guidance: Towards Continuous Security Compliance Industry Showcase Ignacio García Núñez Technical University of Munich, Florian Angermeir fortiss, Fabiola Moyón Siemens Technology and Technical University of Munich DOI Pre-print
11:15 15m Talk		A Scalable Rule-Based Deep Reinforcement Learning Framework for the Next Release Problem Research Papers Hemanth Gudaparthi Governors State University, Nan Niu University of North Florida, Prem Swaroopaanda Ramalingam Governors State University, Laxman Chowdary Kakara Governors State University
11:30 15m Talk		Neuro-symbolic Requirements Elicitation: Utilizing Formal Verification Counterexamples as Contextual Prompts Research Papers Okba Tibermacine National School of Artificial Intelligence, Chouki Tibermacine IRISA, CNRS and University of Southern Brittany
11:45 15m Research paper		ReqEvolve: User-Oriented Software Self-Evolution through Automatic Requirement Interpretation Research Papers Md Asif Iqbal Fahim University College Dublin (UCD), Alessio Ferrari University College Dublin (UCD) and Consiglio Nazionale delle Ricerche (CNR) Pre-print File Attached
12:00 10m Talk		Specifying the Delegated-Autonomy Boundary: Requirements Engineering for Agentic AI NIER Chetan Arora Monash University, Andreas Vogelsang paluno – The Ruhr Institute for Software Technology, University of Duisburg-Essen, Abbi Sharma Monash University
12:10 10m Talk		End-to-End Regulatory Compliance Evolution Pipeline: From Legal Requirements to Developer Tests NIER Carolin Brandt Delft University of Technology, Sallam Abualhaija University of Luxembourg
12:20 10m Talk		Agent-HAnS: Maintaining Feature and Code Traceability in Agentic Development Tools and Datasets Johan Martinson Ruhr University Bochum, Jacob Bengtsson University of Gothenburg and Chalmers University of Technology, Moltas Hultin University of Gothenburg and Chalmers University of Technology, Kevin Hermann Ruhr University Bochum, Thorsten Berger Ruhr University Bochum DOI

14:00 - 16:00	Security and Other Non-Functional Properties: Reliability and Availability 3Research Papers / Industry Showcase / Journal First at Forum 15 Chair(s): Jingzhi Gong King's College London

14:00 15m Talk		HERO: Hypothesis-Centered Root-Cause Analysis for Microservice Incidents Research Papers Jiewei Lyu Sun Yat-sen University, Junquan Yi Tencent, Shu Liang Tencent, Pengfei Chen Sun Yat-sen University, Long Pan Tencent
14:15 15m Talk		Observability of web applications: an industrial case study Journal First Anas Shatnawi Berger-Levrault, Bachar Rima Université de Montpellier, LIRMM, France, Zakarea AL SHARA Associate Professor, Software Engineering Department, Jordan University of Science and Technology , Gabriel Darbord Berger-Levrault, Abdelhak-Djamel Seriai University of Montpellier, France, Christophe Bortolaso Berger-Levault, France DOI
14:30 15m Talk		Enhancing Trace-Based Root Cause Analysis for Microservice Systems via Code Change Understanding Research Papers Min Zhang Fudan University, Chenxi Zhang Xidian University, Senyu Xie Fudan University, Shihong Chen McDonald's, Lei Wu McDonald's China, Xin Peng Fudan University
14:45 15m Talk		Bifrost: Empowering Pretrained Language Model with Fallibility Representation for Log-Based Fault Diagnosis Research Papers Minghua He Peking University, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Lingzhe Zhang Peking University, China, Chiming Duan Peking University, Xinlong Zhao Peking University, Leyi Pan Tsinghua University, Cheng Wang Alibaba Group, Kangjin Wang Alibaba Group, Yinghao Yu Alibaba Group, Liping Zhang Alibaba Group, Yifan Wu Peking University, Ying Li School of Software and Microelectronics, Peking University, Beijing, China
15:00 15m Talk		LLM-Assisted Joint Ticket and Log Analysis for Incident Triage in Intelligent and Connected Vehicles Industry Showcase Ruowei Fu Nankai University, Shenglin Zhang Nankai University, Wenwei Gu Nankai University, Weiguo Li Huawei, Yongqian Sun Nankai University, Dan Pei Tsinghua University, China
15:15 15m Talk		AlarmClaw: Context-Enriched Alarm Management with Category-/Severity-Aware Incident Graphs Industry Showcase Siyu Yu Peking University, Meizhen Li ByteDance, Jiacheng Yang ByteDance, Yifan Wu Peking University, Ning Wang Bytedance, Zhaoxing Chen Bytedance, Ming Liu Bytedance, Xinchi Ren ByteDance, Xincheng Ren ByteDance, Chan Li Bytedance, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Xiang Zhang Bytedance, Ying Li School of Software and Microelectronics, Peking University, Beijing, China
15:30 15m Talk		Smart Brain: Semantic Anomaly Detection for Operational Time Series in Large Scale Service Systems Research Papers Hang Cui University of Chinese Academy of Sciences; Computer Network Information Center at Chinese Academy of Sciences, Zexin Wang Computer Network Information Center at Chinese Academy of Sciences, Jingjing Li Computer Network Information Center at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Juncheng Hu Jilin University, Haotian Si Independent Researcher, Cenjie Hu Shenyang Institute of Automation at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Quan Zhou Computer Network Information Center at Chinese Academy of Sciences, Yongchang Hu Huawei Technologies, Lei Han Huawei Technologies, Dan Pei Tsinghua University, China, Changhua Pei Computer Network Information Center at Chinese Academy of Sciences, Gaogang Xie Computer Network Information Center at Chinese Academy of Sciences
15:45 15m Talk		KRCA: An Efficient Root Cause Analysis System in Hyper-scale Microservice Systems via Agentic AI Industry Showcase Jiamin Jiang Nankai University, Jingfei Feng Nankai University, Yu Luo Nankai University, Qingliang Zhang Nankai University, Yongqian Sun Nankai University, Wenwei Gu Nankai University, Shenglin Zhang Nankai University, Tianyu Cui Kuaishou Technology, Yao Wu Kuaishou Technology, Jielong Huang Kuaishou Technology, Nan Qi Kuaishou Technology, Dan Pei Tsinghua University, China

Thu 15 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30	Formal Aspects of Software Engineering: Software Validation and VerificationResearch Papers / Tools and Datasets / Industry Showcase at Forum 15 Chair(s): Shahar Maoz Tel Aviv University

10:30 15m Talk		Generating Loop Invariants for Deductive Verification Using Iterator Profiles Research Papers Keisuke Nishimura Inria, Jean-Pierre Lozi Inria, Julia Lawall Inria
10:45 15m Talk		Clarity: From Formal System Designs to Verified RL Controllers Research Papers Austin O'Quinn Ohio State University, Conor Snedeker Ohio State University, Max Taylor Boise State University, Lance Joneckis Idaho National Lab, Christopher Stewart The Ohio State University, USA
11:00 15m Talk		ControlsDSL: A Language for Verifiable Cloud Configuration Controls Industry Showcase Miyriee Alair Amazon Web Services, Shrutarshi Basu Amazon Web Services, Sean Cai Amazon Web Services, Loris D'Antoni University of California at San Diego, Julio Delgado Jr. Amazon Web Services, Antonio Filieri AWS and Imperial College London, Andrew Gacek Amazon, USA, Anand Goyal Amazon Web Services, Sebastiaan Joosten Amazon Web Services, Varad Panch Amazon Web Services, Sorawee Porncharoenwase Amazon Web Services, Vishwanath Raman Amazon Web Services, Niloofar Razavi Amazon Web Services, Neha Rungta Amazon Web Services, Mike Schliep Amazon Web Services, Preethi Sekaran Amazon Web Services, Chase Johnson University of Minnesota
11:15 15m Talk		Certified Program Synthesis with a Multi-modal Verifier Research Papers Yueyang Feng National University of Singapore, Dipesh Kafle National University of Singapore, Vladimir Gladshtein National University of Singapore, Vitaly Kurin Neapolis University Pafos, George Pîrlea National University of Singapore, Singapore, Qiyuan Zhao National University of Singapore, Peter Müller ETH Zurich, Ilya Sergey National University of Singapore Pre-print
11:30 15m Talk		KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code Industry Showcase Yuwei Liu Ant Group, Xinyi Wan , Yanhao Wang Independent Researcher, Minghua Wang Ant Group, Lin Huang Ant Group, Tao Wei Ant Group Link to publication Pre-print
11:45 15m Talk		Automated Lemma Discovery in Agentic Program Verification Research Papers Huan Zhao National University of Singapore, Haoxin Tu National University of Singapore, Zhengyao Liu National University of Singapore, Martin C. Rinard Massachusetts Institute of Technology, Abhik Roychoudhury National University of Singapore
12:00 10m Talk		ProofPulse: Interactive Proof Coverage Analysis for Dafny Tools and Datasets Álvaro F. Silva INESC TEC; University of Porto, Ruben Martins Carnegie Mellon University, Alexandra Mendes Faculty of Engineering, University of Porto, Portugal DOI
12:10 10m Talk		DSpec2Test: Specification-Driven Test Generation in Dafny Tools and Datasets Sofia Vieira Pinto INESC TEC; University of Porto, Álvaro F. Silva INESC TEC; University of Porto, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC, Alexandra Mendes Faculty of Engineering, University of Porto, Portugal DOI
12:20 10m Talk		QUTest: A Native Testing Framework for Quantum Programs Tools and Datasets José Campos Faculty of Engineering of the University of Porto, Portugal DOI

14:00 - 16:00	Formal Aspects of Software Engineering: Formal Methods and Model Checking 1Research Papers / Journal First / Tools and Datasets / Industry Showcase / NIER at Forum 15 Chair(s): Antonio Filieri AWS and Imperial College London

14:00 15m Talk		Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models Research Papers Yang Li University of Oxford, Ping Hou University of Oxford, Nobuko Yoshida University of Oxford DOI Pre-print
14:15 15m Talk		Kani: A Model Checker for Rust Industry Showcase Remi Delmas Amazon Web Services, Zyad Hassan Amazon Web Services, Qinheping Hu Amazon Web Services, Rahul Kumar Amazon Web Services, Felipe R. Monteiro Amazon, Thanh Nguyen Amazon Web Services, Adrian Palacios Amazon Web Services, Celina Val Amazon Web Services, Michael Tautschnig Amazon Web Services, Justus Adam Brown University, Daniel Schwartz-Narbonne Datadog, Carolyn Zech Massachusetts Institute of Technology DOI Pre-print Media Attached
14:30 15m Talk		Leveraging System-Level Observations to Inform Bayesian Learning of Model Parameters for Quantitative Verification Research Papers Simos Gerasimou Cyprus University of Technology, Xingyu Zhao Wuhan University Pre-print
14:45 15m Talk		Visual Consistency in Formal Modeling: An Empirical Evaluation Journal First Yiliang Liang Carnegie Mellon University, Avinash Palliyil Georgia Institute of Technology, Eunsuk Kang Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University DOI
15:00 15m Talk		Mining Tactics for Automated Theorem Proving Research Papers Jian Fang Peking University, Yixun Yao Peking University, Yingfei Xiong Peking University
15:15 15m Talk		Quick Bug Detection through Black-Box Checking: A Systematic Evaluation Research Papers Bram Pellen Radboud University, María Belén Rodríguez University of Twente, Frits Vaandrager Radboud University, Petra van den Bos University of Twente, The Netherlands
15:30 10m Talk		Towards Diagnostic Explainability in Workflow Verification via Shapley Attribution NIER Radoslaw Klimek AGH University of Krakow, Jakub Błażowski AGH University of Krakow
15:40 10m Talk		VerusSeek: Retrieval-Augmented LLM-Based Proof Synthesis for Rust Programs Tools and Datasets Yuchen Zhang Xidian University, Cheng Wen Xidian University, Jialun Cao Hong Kong University of Science and Technology, Dugang Liu Shenzhen University, Zhiwu Xu Shenzhen University, Yuwei Liu Ant Group, Shengchao Qin Xidian University DOI
15:50 10m Talk		MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded Systems Tools and Datasets Wang Yi , Chengzi Huang Uppsala University, Behnam Khodabandeloo Uppsala University, Duc Anh Nguyen Uppsala University DOI

16:30 - 17:30	Formal Aspects of Software Engineering: Formal Methods and Model Checking 2Research Papers / Industry Showcase at Forum 15 Chair(s): Antonio Filieri AWS and Imperial College London

16:30 15m Talk		VARIES: Verification Harness Synthesis and Efficient Scheduling for Unsoundness Detection in Rust Libraries Research Papers Huan Li Zhejiang University, Xing Hu Zhejiang University, Xin Xia Zhejiang University, Xinyu Wang Zhejiang University
16:45 15m Talk		Sound and Efficient Statistical Model Checking for Probabilities and Bounded Rewards Research Papers Hao Bu Ant Group; Zhejiang University, Lin Huang Ant Group, Tao Wei Ant Group, Jingyi Wang Zhejiang University
17:00 15m Talk		FlowChecker: One Command to Model Check Control-Flow Rules in Industrial Java Industry Showcase Qiuye Wang Alibaba Cloud Computing, Liqing Cao Alibaba Cloud Computing, Wei Hu Alibaba Cloud Computing, Dengcheng He Alibaba Cloud Computing
17:15 15m Talk		Inferring the Shape of Data Frames in R Programs using Abstract Interpretation Research Papers Oliver Gerstl Ulm University, Florian Sihler Ulm University, Matthias Tichy Ulm University DOI Pre-print

Fri 16 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00	ASYDEASYDE at Forum 15 Chair(s): Gianluca Filippone Gran Sasso Science Institute

09:00 15m Day opening		Opening ASYDE
09:15 14m Talk		Refinement for Correct Iterative Model-Based Systems Engineering of Cyber-Physical Systems ASYDE Luca Brodo Hochschule Hamm-Lippstadt, Giuseppe Scalora Hamm-Lippstadt University of Applied Sciences, Stefan Henkler Hochschule Hamm-Lippstadt
09:29 14m Talk		Systematic evaluation of security flaws in low-level code generated by LLMs ASYDE Fynn Janson Technische Hochschule Mannheim, Peter Barth Technische Hochschule Mannheim, Eric Heim Technische Hochschule Mannheim
09:43 17m Talk		Towards a Vertically Integrated Compiler Infrastructure to Improve Solver Time during Symbolic Execution ASYDE Sören Tempel Technische Universität Braunschweig, Christian Dietrich Technische Universität Braunschweig

10:30 - 12:30	ASYDEASYDE at Forum 15 Chair(s): Gianluca Filippone Gran Sasso Science Institute

10:30 17m Talk		Constrained Automated Requirements Formalization for Rigorous Analysis with Alloy ASYDE Viktoria Koscinski Colorado State University, Mehdi Mirakhorli University of Hawaii at Manoa
10:47 17m Talk		Dead-End Ratio: A Behavioral Model Quality Metric for Constraint-Aware Runtime Verification ASYDE Natalia Dybczak AGH University of Krakow, Jagoda Flejmer AGH University of Krakow, Radoslaw Klimek AGH University of Krakow
11:04 17m Talk		STAFF: Towards Translating Formal Verification Benchmarks Between Formal Specification Languages ASYDE Merlijn Sevenhuijsen Scania CV, AB & KTH Royal Institute of Technology
11:21 17m Talk		Controller Mimicking for On-The-Fly DES Reachability Control ASYDE Florencia Zanollo University of Buenos Aires and CONICET, Argentina, Fuyuki Ishikawa National Institute of Informatics, Sebastian Uchitel Universidad de Buenos Aires / Imperial College, Víctor Braberman ICC (UBA-CONICET)
11:38 17m Talk		From Statistical Code Generation to Correct-by-Construction AI Programming: A Basis-Function Composition Framework ASYDE Yu Wu Chengdu University of Information Technology, Yuchen Yang School of Computation, Information and Technology, Technical University of Munich, Munich, Germany
11:55 17m Talk		WanderVision: Scenario-Based GUI Testing for Smart TVs via Vision-Language Models ASYDE Sihyun Ahn Korea Advanced Institute of Science and Technology, Juyeon Yoon Korea Advanced Institute of Science and Technology, Taehyoung Kim LG Electronics, Eunki Song LG Electronics, Shin Yoo KAIST
12:12 17m Day closing		Discussion and closing ASYDE

	14:00 - 16:00	ASYDEASYDE at Forum 15

	16:30 - 17:30	ASYDEASYDE at Forum 15

Mon 12 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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
Forum 15	RASE RASE Opening																		RASE RASE Session 1 - Building Trust in AI-Driven Software Engineering																																										RASE RASE Session 2 - Software Assurance: Governance, Security, and Dependability																														RASE RASE Closing

Tue 13 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Forum 15							Industry Showcase + Research Papers Security and Other Non-Functional Properties: Reliability and Availability 1																																										NIER + Research Papers + Industry Showcase + Journal First + Tools and Datasets Formal Aspects of Software Engineering: Specification Languages 1																														Industry Showcase + Tools and Datasets + Research Papers Requirements and Design: Software Architecture and Design

Wed 14 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Forum 15							Industry Showcase + Research Papers + NIER + Tools and Datasets Requirements and Design: Requirements and Traceability																																										Research Papers + Industry Showcase + Journal First Security and Other Non-Functional Properties: Reliability and Availability 3

Thu 15 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Forum 15							Research Papers + Tools and Datasets + Industry Showcase Formal Aspects of Software Engineering: Software Validation and Verification																																										Research Papers + Journal First + Tools and Datasets + Industry Showcase + NIER Formal Aspects of Software Engineering: Formal Methods and Model Checking 1																														Research Papers + Industry Showcase Formal Aspects of Software Engineering: Formal Methods and Model Checking 2

Fri 16 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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
Forum 15	ASYDE ASYDE																		ASYDE ASYDE																																										ASYDE ASYDE																														ASYDE ASYDE

Mon 12 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Forum 15	RASE Workshop Opening 09:00 - 09:15			RASE Combining Large-Scale Datasets, Program Analysis, and AI for Reliable a ... 09:15 - 10:00															RASE Toward Defensible System Behavior for AI-Generated Software Artifacts 10:30 - 10:45			RASE TaxVerif: Verification-Oriented COBOL Tax-Code Migration via Invariant ... 10:45 - 11:05				RASE NORMA: Automated AI Act Compliance Assessment for AI Training Datasets 11:05 - 11:20			RASE Can We Trust Strong Teachers? Auditing Knowledge Distillation for Binar ... 11:20 - 11:40				RASE Whose Specification Did You Test? The Hidden Interpretation Bias in LLM ... 11:40 - 11:55			RASE How Grammar-Based Synthetic Data Shapes Behavior Learning: An Empirical ... 11:55 - 12:15																									RASE Software Engineering Governance: Foundations for Trustworthy Automated ... 14:00 - 14:20				RASE HermesAngler: Enabling Dynamic Instrumentation of iOS React Native Apps 14:20 - 14:35			RASE Formal Analysis of Software Bills of Materials with Alloy 14:35 - 14:50			RASE Minimizing Vulnerability Prevalence in Maven Dependencies via Answer Se ... 14:50 - 15:10				RASE When Log Parsing Removes What Matters: Detecting Failures in Distribute ... 15:10 - 15:25			RASE When Do Inference-Cost Stress Tests Generalize? A Cross-Model and Cross ... 15:25 - 15:45													RASE Discussion Panel 16:30 - 17:20										RASE Awards & Workshop Closing - chaired by RASE Chairs and AI4I-IAS (Valer ... 17:20 - 17:30

Tue 13 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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			17:00			15			30			45
Forum 15							ASE Research Papers TELLER: Non-intrusive Cross-Layer Root-Cause Analysis for LLM Inference 10:30 - 10:45			ASE Research Papers When Does AI Actually Help in Incident Response? Identifying Good First ... 10:45 - 11:00			ASE Industry Showcase Expanding Guard Reach: Online Learning-Driven Incremental Kernel Panic ... 11:00 - 11:15			ASE Research Papers GALA: Graph-Augmented LLM Agents for Root Cause Analysis and Incident R ... 11:15 - 11:30			ASE Industry Showcase OpsAgent: An Evolving Multi-agent System for Incident Management in Mic ... 11:30 - 11:45			ASE Industry Showcase ActionNex: A Production-Grade System for Next-Best-Action Recommendatio ... 11:45 - 12:00			ASE Research Papers ReLog: Execution-Aware Logging with Runtime Feedback for LLM-Oriented D ... 12:00 - 12:15			ASE Industry Showcase Towards Reliable Alarm Flood Reduction in Data Center via Grammar-Guide ... 12:15 - 12:30																					ASE Research Papers RFC2TLA+: Extracting and Verifying Formal Models from RFC Documents usi ... 14:00 - 14:15			ASE Journal First Exploring Development Methods for Reactive Synthesis Specifications 14:15 - 14:30			ASE Tools and Datasets TLCrafter: Peeling the Layers of Natural Language to Reveal Temporal Lo ... 14:30 - 14:40		ASE Tools and Datasets ACSLBench: A Verified C/ACSL Corpus and Benchmark with Compositional Ca ... 14:40 - 14:50		ASE NIER Can Formal Specifications Be Synthesized from Tests Alone? 14:50 - 15:00		ASE Research Papers Formula Completion Suggestions for Alloy Models with Selection Guidance 15:00 - 15:15			ASE Industry Showcase Beyond Benchmarks: A Case Study of LLM-Generated Verus Specification Fa ... 15:15 - 15:30			ASE Research Papers All or Nothing: How Library Type Annotations Affect Client-Side Errors ... 15:30 - 15:45			ASE Research Papers MiniPoly: Automatic Extraction of Efficient JavaScript Polyfill from La ... 15:45 - 16:00									ASE Research Papers MicroAgent: Context-Augmented Multi-agent Framework for Automatic Micro ... 16:30 - 16:45			ASE Industry Showcase MicroWeaver: A Constraint-Guided Structure–Semantic Aware Approach to A ... 16:45 - 17:00			ASE Tools and Datasets The ARDoCo Tool Landscape: REST API, TraceView, and TraceViz for Archit ... 17:00 - 17:10		ASE Industry Showcase DAL: Decoupled Aspect-Based Layering of I/O Processing for Automotive S ... 17:10 - 17:20		ASE Tools and Datasets CAS2UML: A Handwritten Sketch-to-PlantUML Dataset for Class and Activit ... 17:20 - 17:30

Wed 14 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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
Forum 15							ASE Research Papers Can Large Language Models Decompose User Stories into Tasks? Exploring ... 10:30 - 10:45			ASE Industry Showcase Bridging Stakeholder and Product Requirements: An Empirical Study of Re ... 10:45 - 11:00			ASE Industry Showcase From Backlog Items to Security Guidance: Towards Continuous Security Co ... 11:00 - 11:15			ASE Research Papers A Scalable Rule-Based Deep Reinforcement Learning Framework for the Nex ... 11:15 - 11:30			ASE Research Papers Neuro-symbolic Requirements Elicitation: Utilizing Formal Verification ... 11:30 - 11:45			ASE Research Papers ReqEvolve: User-Oriented Software Self-Evolution through Automatic Requ ... 11:45 - 12:00			ASE NIER Specifying the Delegated-Autonomy Boundary: Requirements Engineering fo ... 12:00 - 12:10		ASE NIER End-to-End Regulatory Compliance Evolution Pipeline: From Legal Require ... 12:10 - 12:20		ASE Tools and Datasets Agent-HAnS: Maintaining Feature and Code Traceability in Agentic Develo ... 12:20 - 12:30																				ASE Research Papers HERO: Hypothesis-Centered Root-Cause Analysis for Microservice Incidents 14:00 - 14:15			ASE Journal First Observability of web applications: an industrial case study 14:15 - 14:30			ASE Research Papers Enhancing Trace-Based Root Cause Analysis for Microservice Systems via ... 14:30 - 14:45			ASE Research Papers Bifrost: Empowering Pretrained Language Model with Fallibility Represen ... 14:45 - 15:00			ASE Industry Showcase LLM-Assisted Joint Ticket and Log Analysis for Incident Triage in Intel ... 15:00 - 15:15			ASE Industry Showcase AlarmClaw: Context-Enriched Alarm Management with Category-/Severity-Aw ... 15:15 - 15:30			ASE Research Papers Smart Brain: Semantic Anomaly Detection for Operational Time Series in ... 15:30 - 15:45			ASE Industry Showcase KRCA: An Efficient Root Cause Analysis System in Hyper-scale Microservi ... 15:45 - 16:00

Thu 15 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna 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			17:00			15			30			45
Forum 15							ASE Research Papers Generating Loop Invariants for Deductive Verification Using Iterator Pr ... 10:30 - 10:45			ASE Research Papers Clarity: From Formal System Designs to Verified RL Controllers 10:45 - 11:00			ASE Industry Showcase ControlsDSL: A Language for Verifiable Cloud Configuration Controls 11:00 - 11:15			ASE Research Papers Certified Program Synthesis with a Multi-modal Verifier 11:15 - 11:30			ASE Industry Showcase KVerus: Scalable and Resilient Formal Verification Proof Generation for ... 11:30 - 11:45			ASE Research Papers Automated Lemma Discovery in Agentic Program Verification 11:45 - 12:00			ASE Tools and Datasets ProofPulse: Interactive Proof Coverage Analysis for Dafny 12:00 - 12:10		ASE Tools and Datasets DSpec2Test: Specification-Driven Test Generation in Dafny 12:10 - 12:20		ASE Tools and Datasets QUTest: A Native Testing Framework for Quantum Programs 12:20 - 12:30																				ASE Research Papers Specification-Guided Synthesis of Deadlock-Free Communication Protocol ... 14:00 - 14:15			ASE Industry Showcase Kani: A Model Checker for Rust 14:15 - 14:30			ASE Research Papers Leveraging System-Level Observations to Inform Bayesian Learning of Mod ... 14:30 - 14:45			ASE Journal First Visual Consistency in Formal Modeling: An Empirical Evaluation 14:45 - 15:00			ASE Research Papers Mining Tactics for Automated Theorem Proving 15:00 - 15:15			ASE Research Papers Quick Bug Detection through Black-Box Checking: A Systematic Evaluation 15:15 - 15:30			ASE NIER Towards Diagnostic Explainability in Workflow Verification via Shapley ... 15:30 - 15:40		ASE Tools and Datasets VerusSeek: Retrieval-Augmented LLM-Based Proof Synthesis for Rust Programs 15:40 - 15:50		ASE Tools and Datasets MIMOS-Tools: An Integrated Toolchain for Model-Based Design of Embedded ... 15:50 - 16:00								ASE Research Papers VARIES: Verification Harness Synthesis and Efficient Scheduling for Uns ... 16:30 - 16:45			ASE Research Papers Sound and Efficient Statistical Model Checking for Probabilities and Bo ... 16:45 - 17:00			ASE Industry Showcase FlowChecker: One Command to Model Check Control-Flow Rules in Industria ... 17:00 - 17:15			ASE Research Papers Inferring the Shape of Data Frames in R Programs using Abstract Interpr ... 17:15 - 17:30

Fri 16 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45
Forum 15	ASYDE Opening 09:00 - 09:15			ASYDE Refinement for Correct Iterative Model-Based Systems Engineering of Cyb ... 09:15 - 09:29			ASYDE Systematic evaluation of security flaws in low-level code generated by LLMs 09:29 - 09:43			ASYDE Towards a Vertically Integrated Compiler Infrastructure to Improve Solv ... 09:43 - 10:00									ASYDE Constrained Automated Requirements Formalization for Rigorous Analysis ... 10:30 - 10:47			ASYDE Dead-End Ratio: A Behavioral Model Quality Metric for Constraint-Aware ... 10:47 - 11:04				ASYDE STAFF: Towards Translating Formal Verification Benchmarks Between Forma ... 11:04 - 11:21			ASYDE Controller Mimicking for On-The-Fly DES Reachability Control 11:21 - 11:38				ASYDE From Statistical Code Generation to Correct-by-Construction AI Programm ... 11:38 - 11:55			ASYDE WanderVision: Scenario-Based GUI Testing for Smart TVs via Vision-Langu ... 11:55 - 12:12			ASYDE Discussion and closing 12:12 - 12:30

Room information: Forum 15

Mon 12 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 13 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 14 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 15 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 16 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 12 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

RASE

RASE

RASE

RASE

Tue 13 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Industry Showcase + Research Papers

NIER + Research Papers + Industry Showcase + Journal First + Tools and Datasets

Industry Showcase + Tools and Datasets + Research Papers

Wed 14 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Industry Showcase + Research Papers + NIER + Tools and Datasets

Research Papers + Industry Showcase + Journal First

Thu 15 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Research Papers + Tools and Datasets + Industry Showcase

Research Papers + Journal First + Tools and Datasets + Industry Showcase + NIER

Research Papers + Industry Showcase

Fri 16 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ASYDE

ASYDE

ASYDE

ASYDE

Mon 12 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 13 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 14 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 15 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 16 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

Room information: Forum 15

Program Display Configuration

Mon 12 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 13 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 14 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 15 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 16 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 12 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

RASE

RASE

RASE

RASE

Tue 13 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Industry Showcase + Research Papers

NIER + Research Papers + Industry Showcase + Journal First + Tools and Datasets

Industry Showcase + Tools and Datasets + Research Papers

Wed 14 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Industry Showcase + Research Papers + NIER + Tools and Datasets

Research Papers + Industry Showcase + Journal First

Thu 15 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Research Papers + Tools and Datasets + Industry Showcase

Research Papers + Journal First + Tools and Datasets + Industry Showcase + NIER

Research Papers + Industry Showcase

Fri 16 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ASYDE

ASYDE

ASYDE

ASYDE

Mon 12 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 13 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 14 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 15 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 16 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 12 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 13 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 14 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 15 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 16 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 12 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 13 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 14 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 15 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 16 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 12 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 13 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 14 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 15 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 16 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change