203 - MO2RE 2025

VenueRogers Centre, Ottawa (formerly Shaw Centre)

Room name203

Floor2

Room number203

Capacity102

Room Information

See map. 203 entrance is on the second floor around the corner from the North end of the Rideau Canal Atrium, in the prefunction corridor (RCN) leading to the Rideau Centre entrance.

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Invited Speaker 1FormaliSE Research Track at 203

09:00 90m Keynote		Assuring AI in Autonomous Driving: Challenges and Emerging Approaches FormaliSE Research Track K: Krzysztof Czarnecki University of Waterloo, Canada

11:00 - 12:30	Session 1 - Formal Methods and Autonomous Systems FormaliSE Research Track at 203

11:00 30m Talk		CPS Falsification using Autoencoded Input Models FormaliSE Research Track Youssef Zahar University of Minnesota, Sanjai Rayadurgam University of Minnesota
11:30 30m Talk		Modeling Language for Scenario Development of Autonomous Driving Systems FormaliSE Research Track Toshiaki Aoki JAIST, Takashi Tomita JAIST, Tatsuji Kawai Kochi University, Daisuke Kawakami Mitsubishi Electric Corporation, Nobuo Chida Mitsubishi Electric Corporation
12:00 30m Talk		Robustness Verification of Video Classification Neural Networks FormaliSE Research Track Samuel Sasaki Vanderbilt University, Preston K. Robinette Vanderbilt University, Diego Manzanas Lopez Vanderbilt University, Taylor T Johnson Vanderbilt University

14:00 - 15:30	Session 2 – Theorem Proving and Probabilistic Model CheckingFormaliSE Research Track at 203

14:00 30m Talk		The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs FormaliSE Research Track Chengsong Tan Imperial College London, Kaihong, Alastair F. Donaldson Imperial College London, Jonathan Julian Huerta y Munive Czech Technical University, John Wickerson Imperial College London
14:30 30m Talk		A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B FormaliSE Research Track Christophe Chen INPT-ENSEEIHT/IRIT, Peter Rivière INPT-ENSEEIHT / IRIT, University of Toulouse, France, Neeraj Kumar Singh INPT-ENSEEIHT/IRIT, Guillaume Dupont INPT–ENSEEIHT, Yamine Ait Ameur IRIT/INPT-ENSEEIHT, Marc Frappier Université de Sherbrooke, Canada
15:00 30m Talk		Probabilistic Model Checking of Disaster Resource Distribution Strategies FormaliSE Research Track Kenneth Johnson Auckland University of Technology, Meena Kumari Auckland University of Technology

16:00 - 17:30	Session 3 - Temporal Logic and ContractsFormaliSE Research Track at 203

16:00 30m Talk		Specifying Distributed Hash Tables with Allen Temporal Logic FormaliSE Research Track Nuno Policarpo Instituto Superior Técnico, University of Lisbon, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal , Alcino Cunha University of Minho; INESC TEC, João Leitão NOVA LINCS & FCT, NOVA University of Lisbon, Pedro Ákos Costa NOVA LINCS & DI-FCT-UNL
16:30 30m Talk		Temporal Logics Meet Real-World Software Requirements: A Reality Check FormaliSE Research Track Roman Bögli University of Bern, Atefeh Rohani University of Bern, Thomas Studer University of Bern, Christos Tsigkanos University of Athens, Greece, Timo Kehrer University of Bern
17:00 30m Talk		Detecting Redundant Preconditions FormaliSE Research Track Nicola Thoben University of Oldenburg, Heike Wehrheim Carl von Ossietzky Universität Oldenburg / University of Oldenburg

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Invited Speaker 2FormaliSE Research Track at 203

09:00 90m Keynote		Adversarial Perturbations and Self-Defenses for Large Language Models on Coding Task FormaliSE Research Track K: Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center

11:00 - 12:30	Session 4 – Generative AI and Fuzzy LogicFormaliSE Research Track at 203

11:00 30m Talk		LLM-based Generation of Weakest Preconditions and Precise Array Invariants FormaliSE Research Track Daragh King Trinity College Dublin, Vasileios Koutavas Trinity College Dublin, Laura Kovács TU Wien
11:30 30m Talk		VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models FormaliSE Research Track Merlijn Sevenhuijsen Scania CV, AB & KTH Royal Institute of Technology, Khashayar Etemadi KTH Royal Institute of Technology, Mattias Nyberg Scania CV, AB & KTH Royal Institute of Technology
12:00 30m Talk		Embracing Uncertainty: A Fuzzy Theoretical Model for Goal Fulfillment Assessment FormaliSE Research Track Vincenzo Grassi University of Roma "Tor Vergata", Raffaela Mirandola Karlsruhe Institute of Technology (KIT), Diego Perez-Palacin Linnaeus University

14:00 - 15:30	Session 5 - Formal Specification and Verification:FormaliSE Research Track at 203

14:00 30m Talk		Refining Alloy-Based Mutation Operators to Reflect Common Mistakes FormaliSE Research Track Ana Jovanovic The University of Texas at Arlington, Mohammad Nurullah Patwary The University of Texas at Arlington, Allison Sullivan University of Texas at Arlington
14:30 30m Talk		Verifying Multiple TLA+ Configurations with Blast FormaliSE Research Track Paul Somson INESC TEC, Alcino Cunha University of Minho; INESC TEC
15:00 30m Talk		Typestates Specification and Verification in Frama-C FormaliSE Research Track Sébastien Patte Université Paris-Saclay, CEA, List, Virgile Prevosto Université Paris-Saclay, CEA, List

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change

	19:00 - 22:00	Cybersecurity Body of Knowledge BOFICSE Meetings and BOFs at 203

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30	Technical Briefing 1ICSE Tutorials and Technical Briefings at 203

11:00 90m Talk		Technical Briefing 1: Qualitative Research and Qualitative Data AnalysisResearch MethodsHuman/Social ICSE Tutorials and Technical Briefings

	12:30 - 14:00	FSE Steering Committee MeetingICSE Meetings and BOFs at 203

16:00 - 17:30	Technical Briefing 2ICSE Tutorials and Technical Briefings at 203

16:00 90m Talk		Technical Briefing 2 : Using Mixed Methods Research in Software EngineeringResearch Methods ICSE Tutorials and Technical Briefings

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30	Design for AIICSE New Ideas and Emerging Results (NIER) / ICSE SE In Practice (SEIP) / ICSE Research Track at 203

11:00 15m Talk		A Large-Scale Study of Model Integration in ML-Enabled Software Systems ICSE Research Track Yorick Sens Ruhr University Bochum, Henriette Knopp Ruhr University Bochum, Sven Peldszus Ruhr University Bochum, Thorsten Berger Ruhr University Bochum
11:15 15m Talk		Are LLMs Correctly Integrated into Software Systems? ICSE Research Track Yuchen Shao East China Normal University, Yuheng Huang the University of Tokyo, Jiawei Shen East China Normal University, Lei Ma The University of Tokyo & University of Alberta, Ting Su East China Normal University, Chengcheng Wan East China Normal University
11:30 15m Talk		Patch Synthesis for Property Repair of Deep Neural Networks ICSE Research Track Zhiming Chi Institute of Software, Chinese Academy of Sciences, Jianan Ma Hangzhou Dianzi University, China; Zhejiang University, Hangzhou, China, Pengfei Yang Institute of Software at Chinese Academy of Sciences, China, Cheng-Chao Huang Nanjing Institute of Software Technology, ISCAS, Renjue Li Institute of Software at Chinese Academy of Sciences, China, Jingyi Wang Zhejiang University, Xiaowei Huang University of Liverpool, Lijun Zhang Institute of Software, Chinese Academy of Sciences
11:45 15m Talk		Optimizing Experiment Configurations for LLM Applications Through Exploratory Analysis ICSE New Ideas and Emerging Results (NIER) Nimrod Busany Accenture Labs, Israel, Hananel Hadad Accenture Labs, Israel, Zofia Maszlanka Avanade, Poland, Rohit Shelke University of Ottawa, Canada, Gregory Price University of Ottawa, Canada, Okhaide Akhigbe University of Ottawa, Daniel Amyot University of Ottawa
12:00 15m Talk		AI-Assisted SQL Authoring at Industry Scale ICSE SE In Practice (SEIP) Chandra Sekhar Maddila Meta Platforms, Inc., Negar Ghorbani Meta Platforms Inc., Kosay Jabre Meta Platforms, Inc., Vijayaraghavan Murali Meta Platforms Inc., Edwin Kim Meta Platforms, Inc., Parth Thakkar Meta Platforms, Inc., Nikolay Pavlovich Laptev Meta Platforms, Inc., Olivia Harman Meta Platforms, Inc., Diana Hsu Meta Platforms, Inc., Rui Abreu Meta, Peter C Rigby Meta / Concordia University
12:15 15m Talk		Automating ML Model Development at Scale ICSE SE In Practice (SEIP) Kaiyuan Wang Google, Yang Li Google Inc, Junyang Shen Google Inc, Kaikai Sheng Google Inc, Yiwei You Google Inc, Jiaqi Zhang Google Inc, Srikar Ayyalasomayajula Google Inc, Julian Grady Google Inc, Martin Wicke Google Inc

	12:30 - 14:00	ICSE 2026 Organizing Committee MeetingICSE Meetings and BOFs at 203

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30	Technical Briefing 4ICSE Tutorials and Technical Briefings at 203

11:00 90m Talk		Technical Briefing 4: Architecting Digital Twin-Based SystemsDesign/ArchDigital twins ICSE Tutorials and Technical Briefings

14:00 - 15:30	Real-Time SEICSE SE In Practice (SEIP) / ICSE Demonstrations / ICSE Journal-first Papers / ICSE New Ideas and Emerging Results (NIER) at 203

14:00 15m Talk		Closing the Gap between Sensor Inputs and Driving Properties: A Scene Graph Generator for CARLA ICSE Demonstrations Trey Woodlief University of Virginia, Felipe Toledo , Sebastian Elbaum University of Virginia, Matthew B Dwyer University of Virginia
14:15 15m Talk		LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements ICSE Demonstrations Kevin Kolyakov University of Toronto, Lina Marsso École Polytechnique de Montréal, Nick Feng University of Toronto, Junwei Quan University of Toronto, Marsha Chechik University of Toronto
14:30 15m Talk		MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems ICSE Journal-first Papers Jon Ayerdi Mondragon University, Asier Iriarte Mondragon University, Pablo Valle Mondragon University, Ibai Roman Mondragon University, Miren Illarramendi Mondragon University, Aitor Arrieta Mondragon University
14:45 15m Talk		Automatically Generating Content for Testing Autonomous Vehicles from User Descriptions ICSE New Ideas and Emerging Results (NIER) Benedikt Steininger IMC FH Krems, Chrysanthi Papamichail BeamNG GmbH, David Stark BeamNG GmbH, Dejan Nickovic Austrian Institute of Technology, Alessio Gambi Austrian Institute of Technology (AIT)
15:00 15m Talk		BSODiag: A Global Diagnosis Framework for Batch Servers Outage in Large-scale Cloud Infrastructure Systems ICSE SE In Practice (SEIP) Tao Duan Xi'an Jiaotong University, Runqing Chen Alibaba, Pinghui Wang Xi'an Jiaotong University, Junzhou Zhao Xi'an Jiaotong University, Jiongzhou Liu Alibaba, Shujie Han Northwestern Polytechnical University, Yi Liu Alibaba, Fan Xu Alibaba
15:15 15m Talk		On Large Language Models in Mission-Critical IT Governance: Are We Ready Yet? ICSE SE In Practice (SEIP) Matteo Esposito University of Oulu, Francesco Palagiano Multitel di Lerede Alessandro & C. s.a.s., Valentina Lenarduzzi University of Oulu, Davide Taibi University of Oulu DOI Pre-print

16:00 - 17:30	ProcessICSE New Ideas and Emerging Results (NIER) / ICSE Journal-first Papers / ICSE Research Track / ICSE SE In Practice (SEIP) at 203

16:00 15m Talk		Full Line Code Completion: Bringing AI to Desktop ICSE SE In Practice (SEIP) Anton Semenkin JetBrains, Vitaliy Bibaev JetBrains, Yaroslav Sokolov JetBrains, Kirill Krylov JetBrains, Alexey Kalina JetBrains, Anna Khannanova JetBrains, Danila Savenkov JetBrains, Darya Rovdo JetBrains, Igor Davidenko JetBrains, Kirill Karnaukhov JetBrains, Maxim Vakhrushev JetBrains, Mikhail Kostyukov JetBrains, Mikhail Podvitskii JetBrains, Petr Surkov JetBrains, Yaroslav Golubev JetBrains Research, Nikita Povarov JetBrains, Timofey Bryksin JetBrains Research Pre-print
16:15 15m Talk		Automated Accessibility Analysis of Dynamic Content Changes on Mobile Apps ICSE Research Track Forough Mehralian University of California at Irvine, Ziyao He University of California, Irvine, Sam Malek University of California at Irvine
16:30 15m Talk		Qualitative Surveys in Software Engineering Research: Definition, Critical Review, and Guidelines ICSE Journal-first Papers Jorge Melegati Free University of Bozen-Bolzano, Kieran Conboy University of Galway, Daniel Graziotin University of Hohenheim
16:45 15m Talk		VulNet: Towards improving vulnerability management in the Maven ecosystem ICSE Journal-first Papers Zeyang Ma Concordia University, Shouvick Mondal IIT Gandhinagar, Tse-Hsun (Peter) Chen Concordia University, Haoxiang Zhang Centre for Software Excellence at Huawei Canada, Ahmed E. Hassan Queen’s University, Zeyang Ma Concordia University
17:00 15m Talk		Energy-Aware Software Testing ICSE New Ideas and Emerging Results (NIER) Roberto Verdecchia University of Florence, Emilio Cruciani University of Salzburg, Antonia Bertolino National Research Council, Italy, Breno Miranda Centro de Informática at Universidade Federal de Pernambuco Pre-print
17:15 7m Talk		SusDevOps: Promoting Sustainability to a First Principle in Software Delivery ICSE New Ideas and Emerging Results (NIER) Istvan David McMaster University / McMaster Centre for Software Certification (McSCert)

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) 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
203	FormaliSE Research Track Invited Speaker 1																								FormaliSE Research Track Session 1 - Formal Methods and Autonomous Systems																																				FormaliSE Research Track Session 2 – Theorem Proving and Probabilistic Model Checking																								FormaliSE Research Track Session 3 - Temporal Logic and Contracts

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) 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
203	FormaliSE Research Track Invited Speaker 2																								FormaliSE Research Track Session 4 – Generative AI and Fuzzy Logic																																				FormaliSE Research Track Session 5 - Formal Specification and Verification:																								FormaliSE Research Track

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) 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						18:00						30						19:00						30						20:00						30						21:00						30
203	GREENS																								GREENS																																				GREENS																								GREENS																																				ICSE Meetings and BOFs Cybersecurity Body of Knowledge BOF

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
203	ICSE Tutorials and Technical Briefings Technical Briefing 1																		ICSE Meetings and BOFs FSE Steering Committee Meeting																																										ICSE Tutorials and Technical Briefings Technical Briefing 2

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00						30						12:00						30						13:00						30
203	ICSE New Ideas and Emerging Results (NIER) + ICSE SE In Practice (SEIP) + ICSE Research Track Design for AI																		ICSE Meetings and BOFs ICSE 2026 Organizing Committee Meeting

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
203	ICSE Tutorials and Technical Briefings Technical Briefing 4																		ICSE Meetings and BOFs																		ICSE SE In Practice (SEIP) + ICSE Demonstrations + ICSE Journal-first Papers + ICSE New Ideas and Emerging Results (NIER) Real-Time SE																								ICSE New Ideas and Emerging Results (NIER) + ICSE Journal-first Papers + ICSE Research Track + ICSE SE In Practice (SEIP) Process

Sat 3 May
Displayed time zone: Eastern Time (US & Canada) 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
203	WSESE																								WSESE																																				WSESE																								WSESE

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) 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
203	FormaliSE Research Track Assuring AI in Autonomous Driving: Challenges and Emerging Approaches 09:00 - 10:30																								FormaliSE Research Track CPS Falsification using Autoencoded Input Models 11:00 - 11:30						FormaliSE Research Track Modeling Language for Scenario Development of Autonomous Driving Systems 11:30 - 12:00						FormaliSE Research Track Robustness Verification of Video Classification Neural Networks 12:00 - 12:30																								FormaliSE Research Track The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mec ... 14:00 - 14:30						FormaliSE Research Track A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B 14:30 - 15:00						FormaliSE Research Track Probabilistic Model Checking of Disaster Resource Distribution Strategies 15:00 - 15:30												FormaliSE Research Track Specifying Distributed Hash Tables with Allen Temporal Logic 16:00 - 16:30						FormaliSE Research Track Temporal Logics Meet Real-World Software Requirements: A Reality Check 16:30 - 17:00						FormaliSE Research Track Detecting Redundant Preconditions 17:00 - 17:30

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) 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
203	FormaliSE Research Track Adversarial Perturbations and Self-Defenses for Large Language Models o ... 09:00 - 10:30																								FormaliSE Research Track LLM-based Generation of Weakest Preconditions and Precise Array Invariants 11:00 - 11:30						FormaliSE Research Track VeCoGen: Automating Generation of Formally Verified C Code with Large L ... 11:30 - 12:00						FormaliSE Research Track Embracing Uncertainty: A Fuzzy Theoretical Model for Goal Fulfillment A ... 12:00 - 12:30																								FormaliSE Research Track Refining Alloy-Based Mutation Operators to Reflect Common Mistakes 14:00 - 14:30						FormaliSE Research Track Verifying Multiple TLA+ Configurations with Blast 14:30 - 15:00						FormaliSE Research Track Typestates Specification and Verification in Frama-C 15:00 - 15:30

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) 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
203	ICSE Tutorials and Technical BriefingsResearch MethodsHuman/Social Technical Briefing 1: Qualitative Research and Qualitative Data Analysis 11:00 - 12:30																																																												ICSE Tutorials and Technical BriefingsResearch Methods Technical Briefing 2 : Using Mixed Methods Research in Software Engineering 16:00 - 17:30

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00			15			30			45			12:00			15			30			45
203	ICSE Research Track A Large-Scale Study of Model Integration in ML-Enabled Software Systems 11:00 - 11:15			ICSE Research Track Are LLMs Correctly Integrated into Software Systems? 11:15 - 11:30			ICSE Research Track Patch Synthesis for Property Repair of Deep Neural Networks 11:30 - 11:45			ICSE New Ideas and Emerging Results (NIER) Optimizing Experiment Configurations for LLM Applications Through Explo ... 11:45 - 12:00			ICSE SE In Practice (SEIP) AI-Assisted SQL Authoring at Industry Scale 12:00 - 12:15			ICSE SE In Practice (SEIP) Automating ML Model Development at Scale 12:15 - 12:30

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) 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
203	ICSE Tutorials and Technical BriefingsDesign/ArchDigital twins Technical Briefing 4: Architecting Digital Twin-Based Systems 11:00 - 12:30																																				ICSE Demonstrations Closing the Gap between Sensor Inputs and Driving Properties: A Scene G ... 14:00 - 14:15			ICSE Demonstrations LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements 14:15 - 14:30			ICSE Journal-first Papers MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems 14:30 - 14:45			ICSE New Ideas and Emerging Results (NIER) Automatically Generating Content for Testing Autonomous Vehicles from U ... 14:45 - 15:00			ICSE SE In Practice (SEIP) BSODiag: A Global Diagnosis Framework for Batch Servers Outage in Large ... 15:00 - 15:15			ICSE SE In Practice (SEIP) On Large Language Models in Mission-Critical IT Governance: Are We Read ... 15:15 - 15:30									ICSE SE In Practice (SEIP) Full Line Code Completion: Bringing AI to Desktop 16:00 - 16:15			ICSE Research Track Automated Accessibility Analysis of Dynamic Content Changes on Mobile Apps 16:15 - 16:30			ICSE Journal-first Papers Qualitative Surveys in Software Engineering Research: Definition, Criti ... 16:30 - 16:45			ICSE Journal-first Papers VulNet: Towards improving vulnerability management in the Maven ecosystem 16:45 - 17:00			ICSE New Ideas and Emerging Results (NIER) Energy-Aware Software Testing 17:00 - 17:15			ICSE New Ideas and Emerging Results (NIER) SusDevOps: Promoting Sustainability to a First Principle in Software De ... 17:15 - 17:22

Room information: 203

This program is tentative and subject to change.

Program Display Configuration

Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change

Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change

Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change

Wed 30 AprDisplayed time zone: Eastern Time (US & Canada) change

Thu 1 MayDisplayed time zone: Eastern Time (US & Canada) change

Fri 2 MayDisplayed time zone: Eastern Time (US & Canada) change

Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change

FormaliSE Research Track

FormaliSE Research Track

FormaliSE Research Track

FormaliSE Research Track

Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change

FormaliSE Research Track

FormaliSE Research Track

FormaliSE Research Track

FormaliSE Research Track

Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change

GREENS

GREENS

GREENS

GREENS

ICSE Meetings and BOFs

Wed 30 AprDisplayed time zone: Eastern Time (US & Canada) change

ICSE Tutorials and Technical Briefings

ICSE Meetings and BOFs

ICSE Tutorials and Technical Briefings

Thu 1 MayDisplayed time zone: Eastern Time (US & Canada) change

ICSE New Ideas and Emerging Results (NIER) + ICSE SE In Practice (SEIP) + ICSE Research Track

ICSE Meetings and BOFs

Fri 2 MayDisplayed time zone: Eastern Time (US & Canada) change

ICSE Tutorials and Technical Briefings

ICSE Meetings and BOFs

ICSE SE In Practice (SEIP) + ICSE Demonstrations + ICSE Journal-first Papers + ICSE New Ideas and Emerging Results (NIER)

ICSE New Ideas and Emerging Results (NIER) + ICSE Journal-first Papers + ICSE Research Track + ICSE SE In Practice (SEIP)

Sat 3 MayDisplayed time zone: Eastern Time (US & Canada) change

WSESE

WSESE

WSESE

WSESE

Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change

Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change

Wed 30 AprDisplayed time zone: Eastern Time (US & Canada) change

Thu 1 MayDisplayed time zone: Eastern Time (US & Canada) change

Fri 2 MayDisplayed time zone: Eastern Time (US & Canada) change

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change

Sat 3 May
Displayed time zone: Eastern Time (US & Canada) change

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change