Prof. Dix is PC chair, jointly with Prof. Guillermo Simari, of ISAIM 2018, International Symposium on Artificial Intelligence and Mathematics,

Fort Lauderdale, January 2018, isaim2018.cs.<wbr></wbr>virginia.edu