ACL2 PROGRAM COMMITTEE
The program committee of ACL2’14 is shown below.
- John Cowles (University of Wyoming)
- Warren Hunt (University of Texas at Austin)
- Matt Kaufmann (University of Texas at Austin)
- Panagiotis Manolios (Northeastern University)
- Magnus O. Myreen (University of Cambridge)
- Lee Pike (Galois, Inc.)
- David Rager (Oracle, Inc.)
- Sandip Ray (Intel Corporation)
- Jose Luis Ruiz Reina (University of Seville)
- David Russinoff (Intel Corporation)
- Julien Schmaltz (University of Technology, Eindhoven) - chair
- Eric Smith (Kestrel Institute)
- Sol Swords (Centaur Technology, Inc.)
- Laurent Théry (INRIA)
- Freek Verbeek (Open University of The Netherlands) - chair
- Makarius Wenzel (Université Paris-Sud 11)
- Freek Wiedijk (Radboud University Nijmegen)