Invited speakers at APLAS 2016 have been announced:
- Adam Chlipala (MIT) (http://adam.chlipala.net/)
- Frank Pfenning (CMU) (http://www.cs.cmu.edu/~fp/)
- Kazuaki Ishizaki (IBM Research Tokyo) (http://researcher.watson.ibm.
com/researcher/view.php? person=jp-ISHIZAKI)