The International Association for Computing and Philosophy (IACAP) announces that submissions are now being accepted for the IACAP 2019: Distributed Computing and Epistemic Logic Track, to be held at and sponsored by the Institute of Mathematics, Universidad Nacional Autónoma de México (UNAM). This special track is being organized by Alexandru Baltag (ILLC) and Sergio Rajsbaum (Institute of Mathematics, UNAM).
Overview. This year the IACAP Annual Meeting will include a special, one-day track on research related to computing and epistemic logic, with special interest in concurrency; computing systems where multiple sequential computers or microprocessors interact. Knowledge-theoretic tools have been applied to theoretical and practical problems in distributed and multi-agent systems, both to design solutions and to prove impossibility results. They have turned out to have interesting connections with topology. From the computability perspective, fault-tolerant distributed systems are of a very different nature than Turing machines. The special track aims at fostering further collaborations on these topics. The track will include introductory talks to the exciting new interconnections between computing, logic and philosophy.
Submission. Authors are invited to submit an extended abstract of 800-1200 words through this link.
Deadline for submission: March 24, 2019
Notification of acceptance: May 4, 2019
Date and venue: June 5, UNAM, Mexico City.
For more information please check the conference website at the following link: http://www.iacap.org/iacap-2019/.