[Hol-info] WiL 2018: Call for talks and papers, *deadline extension to 30 April*

2018-04-16 Thread Amy Felty
WiL 2018: Women in Logic Workshop Call for Talks and Papers WiL 2018: Second Women in Logic Workshop Oxford, UK 8 July 2018 https://sites.google.com/site/womeninlogic2018/welcome/ * NEW: Extended

[Hol-info] 2nd CfP: AISC 2018 - 13th Intl. Conference on Artificial Intelligence and Symbolic Computation

2018-04-16 Thread Petros Papapanagiotou
AISC 2018 2nd Call For Papers    13th International Conference on Artificial Intelligence and Symbolic Computation Suzhou, China, September 16-19, 2018 _http://aisc2018.cc4cm.org_