https://www.fos.kuis.kyoto-u.ac.jp/mailman3/hyperkitty/list/logic-ml@fos.kuis.kyoto-u.ac.jp/thread/F7FNIFWGHAUHLIJRGY7FMJ7WVJGM4GQL/
PEPM 2018: Final CfP - Logic-ml - fos.kuis.kyoto-u.ac.jp
https://www.fos.kuis.kyoto-u.ac.jp/mailman3/hyperkitty/list/logic-ml@fos.kuis.kyoto-u.ac.jp/thread/CYFOJAJSG3JW5AVFFQFVEKDFLXJHPOIE/
PEPM 2017: Second Call for Papers - Logic-ml - fos.kuis.kyoto-u.ac.jp
second call for papers
https://www.pepmgroup.com/
PEPM Group | Engineering Consultants | Licensed in 49 States | Oklahoma & Arkansas
engineering consultantspepmgrouplicensedstates