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, June 5, 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 Amsterdam, The Netherlands
Sergio Rajsbaum: Institute of Mathematics, UNAM.
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 system, both to design solutions and to prove impossibility results. They and 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. We are looking to have interesting discussions, presentations, and foster further collaborations on these topics. The track will include introductory talks to the exciting new interconnections between computing, logic and philosophy. We invite submissions of extended abstracts for this track.
Paper Presentations (Extended Abstracts):
Submission: March 24, 2019
Notification of Acceptance: May 4, 2019
Alexandru Baltag, ILLC Amsterdam, The Netherlands
Armando Castañeda, Instituto de Matematicas, UNAM, Mexico
David Fernández-Duque, Universiteit Gent, Belgium
Sergio Rajsbaum, Instituto de Matemáticas, UNAM, Mexico
Aldo Iván Ramírez-Abarca, Utrecht University, The Netherlands
Sonja Smets, ILLC Amsterdam, The Netherlands
Ana Lucia Vargas-Sandoval, ILLC Amsterdam, The Netherlands
Fernando Velázquez-Quesada, Amsterdam University, The Netherlands
Paper submissions should be provided at:
Submissions for paper presentation should:
- Explicitly indicate (in the title or as the first sentence of the abstract) that it is a submission for the Distributed Computing and Epistemic Logic Track;
- Be prepared for blind review;
- Provide an extended abstract of 800-1200 words; and,
- Provide a short abstract of 150-250 words suitable for inclusion in a program.