VL/HCC 2024
Mon 2 - Fri 6 September 2024
Liverpool, L3 5TR, United Kingdom
Toggle navigation
Attending
Venue: University of Liverpool
Registration
Accommodation
Travel
Discover Liverpool
Program
Complete Program
Your Program
Sponsorship
Mon 2 Sep
Tue 3 Sep
Wed 4 Sep
Thu 5 Sep
Fri 6 Sep
Tracks
VL/HCC 2024
Keynotes
Research Papers
Posters and Showpieces
Graduate Consortium
Workshops and Tutorials
PPIG papers
Organization
VL/HCC 2024 Committees
Organizing Committee
Program Committee
Contributors
People Index
Awards
Search
Series
Series
vlhcc-2025
VL/HCC 2024
VL/HCC 2023
VL/HCC 2022
VL/HCC 2021
VL/HCC 2020
VL/HCC Series Charter
VL/HCC 2019
VL/HCC 2018
VL/HCC 2017
VL/HCC 2016
VL/HCC 2015
VL/HCC 2014
VL/HCC 2013
VL/HCC 2012
VL/HCC 2011
VL/HCC 2010
VL/HCC 2009
VL/HCC 2008
VL/HCC 2007
VL/HCC 2006
VL/HCC 2005
VL/HCC 2004
HCC 2003
HCC 2002
HCC 2001
VL 2000
VL 1999
VL 1998
VL 1997
VL 1996
VL 1995
VL 1994
VL 1993
VL 1992
VL 1991
VL 1990
VL 1989
VL 1988
VL 1987
VL 1986
VL 1984 (1st)
Sign in
Sign up
VL/HCC 2024
(
series
) /
Posters and Showpieces
/
Exploring consequences of statutory law through lightweight modeling
Who
Joshua Alele-Beals
,
Nathan Englehart
,
Ishaq Kothari
,
Ali Ebnenasir
,
Charles Wallace
Track
VL/HCC 2024 Posters and Showpieces
Joshua Alele-Beals
Michigan Technological University
United States
Nathan Englehart
Oberlin College
United States
Ishaq Kothari
Oberlin College
United States
Ali Ebnenasir
Michigan Technological University
United States
Charles Wallace
Michigan Technological University, USA
United States
x
Fri 8 Nov 16:28
