[logic-ml] AWPL-TPLC 2016 and Workshop on Williamson’s Philosoph