Participants, ACL2 Developer's Workshop (Nov. 7, 2018)

Chau, Cuong             The University of Texas at Austin
Coglio, Alessandro      Kestrel Institute
Cowles, John            University of Wyoming
Gamboa, Ruben           University of Wyoming
Greve, David            Rockwell Collins
Hardin, David           Rockwell Collins
Hunt, Jr., Warren A.    UT Austin
Kaufmann, Matt          University of Texas at Austin
Kini, Keshav            Oracle
McCarthy, Eric          Kestrel Institute
Mehta, Mihir            University of Texas at Austin
Smith, Eric             Kestrel Institute
Swords, Sol             Centaur Technology, Inc.
Westfold, Stephen       Kestrel Institute