| Bapanapally, Jagadish | jbapanap@uwyo.edu | University of Wyoming |
| Bradley, Kirk | kirk.bradley@oracle.com | Oracle |
| Buday, Gergely | buday.gergely@uni-eszterhazy.hu | Eszterházy Károly University |
| Chau, Cuong | cuong.chau@arm.com | Arm, Inc. |
| Coglio, Alessandro | coglio@kestrel.edu | Kestrel Institute |
| Flowers, Jeff | flowersjeff@gmail.com | Kestrel Institute |
| Gamboa, Ruben | ruben@uwyo.edu | University of Wyoming |
| Gamboa, Woodrow | woodrowg@stanford.edu | Stanford University |
| Gilham, Limei | gilham@kestrel.edu | Kestrel Institute |
| Goel, Shilpi | shilpi@centtech.com | Centaur Technology |
| Greenstreet, Mark | mrg@cs.ubc.ca | University of British Columbia |
| Greve, David | TheBeaNerd@gmail.com | ACL2 University |
| Hardin, David | david.hardin@collins.com | Collins Aerospace |
| Harrison, John | jrh013@gmail.com | Automated Reasoning Group @ Amazon Web Services |
| Hunt, Warren | hunt@cs.utexas.edu | University of Texas |
| Kaufmann, Matt | matthew.j.kaufmann@gmail.com | University of Texas (retired) |
| Kini, Keshav | keshav.kini@gmail.com | Oracle |
| Kumar, Ankit | ankitkumar.itbhu@gmail.com | Northeastern University |
| Kwan, Carl | carlkwan@cs.utexas.edu | University of Texas at Austin |
| McCarthy, Eric | mccarthy@kestrel.edu | Kestrel Institute |
| McDonald, James | mcdonald@kestrel.edu | Kestrel Institute |
| Mehta, Mihir | mihir@cs.utexas.edu | UT Austin |
| Moniz, Daniel | daniel.moniz@oracle.com | Oracle |
| Moore, J | moore@cs.utexas.edu | University of Texas at Austin |
| Myreen, Magnus | myreen@chalmers.se | Chalmers University of Technology |
| Passmore, Grant | grant@imandra.ai | Imandra Inc. |
| Peng, Yan | yanpeng@cs.ubc.ca | University of British Columbia |
| QUARTEX_, QUARTEX_ | LZo_@men.marrived.com | |
| Quenon, James | jquenon@uwyo.edu | University of Wyoming |
| Rager, David | ragerdl@gmail.com | Oracle |
| Ramanathan, Vivek | vivekramanathan@utexas.edu | University of Texas at Austin |
| Ray, Sandip | sandip@ece.ufl.edu | University of Florida, Gainesville, FL 32611. |
| Russinoff, David | david@russinoff.com | Arm |
| Slobodova, Anna | anna@centtech.com | Centaur Technology |
| Smith, Douglas | smith@kestrel.edu | Kestrel Institute |
| Staley, Scott | smstaley@comcast.net | Ford Motor Company Research Labs (retired) |
| Sumners, Robert | rsumners@centtech.com | Centaur Technology |
| Swords, Sol | sswords@centtech.com | Centaur Technology, Inc. |
| Temel, Mertcan | mert@utexas.edu | University of Texas at Austin |
| Wallin, Josh | wallin.j@husky.neu.edu | Northeastern University |
| Walter, Andrew | walter.a@northeastern.edu | Northeastern University |
| Westfold, Stephen | westfold@kestrel.edu | Kestrel Institute |
| knutyc, knutyc | mbdyhhz@4serial.com | |