University of Illinois Urbana-Champaign

The Grainger College of Engineering

Siebel School of Computing and Data Science

2025 Festschrift Symposium Schedule

The Festschrift Symposium schedule
October 6 & 7, 2025, 200 S. Wacker Drive, Chicago, IL
This is a tentative schedule and is subject to change.

Monday, October 6, 2025

8:50-9:20 am	Welcome & Introduction
9:20-10:40 am	Session 1: Actors and Concurrent Programming
	Joeri De Koster and Wolfgang De Meuter A Formal Specification For Half a Century of Actor Systems Carlos A. Varela The AMST Language: Formal Verification and Execution of Actor Systems Colin S. Gordon Actor Capabilities for Message Ordering Jonas Spenger, Paris Carbone and Philipp Haller Failure-Transparent Actors
10:40-11:00 am	Coffee break
11:00 am-12:00 pm	Session 2: Actors and Concurrent Programming
	Olaf Owe On the Development of the Active Object Paradigm: A Personal Account Dominik Charousset, Raphael Hiesgen and Thomas C. Schmidt The C++ Actor Framework: A Scalable Fundament for Research and Applications Luke Cheeseman, Elias Castegren, Sophia Drossopoulou, Tobias Wrigstad, Sylvan Clebsch and Matthew Parkinson Decoupling Isolation and Concurrency: An Actor-Centric View of Behaviour-Oriented Concurrency
12:00-1:30 pm	Lunch
1:30-2:00 pm	Session P: Personal Notes Paolo Ciancarini A Personal Tribute to Gul Agha's Research Work Xudong He A Role Model and Mentor Shangping Ren Hakuna Matata and Beyond: Life Lessons from Gul Agha Jean-Pierre Briot Gul Agha, A Natural Born Actor Mani Chandy Gul Agha's Influence
2:00-3:40 pm	Session 3: Open Systems and Applications
	Marjan Sirjani, Edward Lee, Zahra Moezkarimi, Bahman Pourvatan, Bjarne Johansson, Stefan Marksteiner and Alessandro Papadopoulos Actors for Timing Analysis of Distributed Redundant Controllers Xiaohong Chen and Grigore Rosu FastSet: Parallel Claim Settlement Eva Kühn Decentralizing University Governance: A Coordination Challenge Michael Papazoglou, Bernd Krämer and Amal Elgammal Industry 4.0 & Digital Twins: The Route towards Customizable Self-Describing Products Nalini Venkatasubramanian, Fangqi Liu and Yusuf Sarwar Experiences with Composability For Resilient IoT Systems
3:40-4:00 pm	Coffee break
4:00-5:30 pm	Panel: Industry Impact of Prof. Gul Agha's Open Systems Lab Moderator: Nalini Venkatasubramanian Panelists: Rajesh Karmani, Vijay Anand Korthikanti, Anna Patterson, Daniel Sturman, Sandeep Uttamchandani
6:00-9:30 pm	Dinner

Tuesday, October 7, 2025

9:00-9:30 am	Gul Agha's talk
9:30-10:30 am	Session 4: Concurrency Theory, Types, Formal Methods
	Edward A. Lee. Logical Time in Actor Systems Marco Giunti and Nobuko Yoshida Type Congruence, Duality and Iso-Recursive Binary Session Types Farhad Arbab and Carolyn Talcott Open CPS : a Symbolic Model
10:30-10:50 am	Coffee break
10:50-11:50 am	Session 5: Concurrency Theory, Types, Formal Methods
	Jose Meseguer Programming and Verifying Actor Systems in Rewriting Logic Rubén Rubio, Adrian Riesco and Narciso Marti-Oliet PMaude revisited through probabilistic strategies Kyungmin Bae, Carlos Olarte and Peter Ölveczky Modeling and Analyzing Real-Time Systems in Rewriting Logic
12:00-1:30 pm	Lunch
1:30-2:50 pm	Session 6: Open Systems and Applications Youngmin Kwon and Gul Agha Hamiltonian formulation of a Finite-state Automaton Tavonput Luangphasy and Xinghui Zhao Decentralized Machine Learning with Asynchronous Communication Nadeem Jamali, Aditya Phadke and Zhe Chen Learning with Hypothesis Formation and Curiosity: An Actors Approach Munindar Singh Building Scalable Multiagent Systems Using Virtual Actors
3:00-4:00pm	Panel: Future Directions for Concurrent Programming, Open Systems, and Formal Methods Moderator: Carlos Varela Panelists: Phillip Haller, David Padua, Koushik Sen, Carolyn Talcott, Mahesh Viswanathan
4:00-4:30 pm	Coffee and Farewell