Workshop Selection Committee ICFP/SPLASH

Ben Greenman Workshops Co-Chair

University of Utah, USA

Jeff Huang Workshops Co-Chair

Texas A&M University

United States

Sasa Misailovic Workshops Co-Chair

University of Illinois at Urbana-Champaign

United States

Chandrakana Nandi Workshops Co-Chair

Certora

United States