Unifying Logical and Statistical AI (with Daniel Lowd, Stanley Kok, Aniruddh Nath, Hoifong Poon, and Parag Singla)
Duality in Computer Science
Blockchains and the Logic of Accountability (with Mark Moir, Oracle Labs).
The Probabilistic Model Checking Landscape
|Titles and Short Abstracts Due||January 11,||2016|
|Full Papers Due||January 18,||2016|
|Author Feedback/Rebuttal Period||March 14-18,||2016|
|Author Notification||April 4,||2016|
|Final Versions Due for Proceedings||May 2,||2016|
|Early Registration Deadline||June 3,||2016|
The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing, in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science.