UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO INSTITUTO DE INVESTIGACIONES FILOSÓFICAS

_{Second Joint Workshop IIFs-IMate}
Computational and Philosophical Applications of Epistemic Logic

_{An interdisciplinary workshop on logic, topology, probability, and distributed systems} 

Topics

• Abduction and dynamic epistemic logic
• Topological semantics for knowledge and belief
• Probabilistic reasoning in distributed systems
• Consensus, agreement, and impossibility results
• Knowledge-based analysis of distributed algorithms
• Learning, uncertainty, and belief revision
• Connections between logic, topology, and concurrency

PROGRAM