Time: 2017 Oct. 28-29
Description: Computing today is a complex process of information flow between communicating devices, entangled with humans. To advance our understanding of this complex reality, we need to bring together ideas from computer science and logic, and even from philosophy and the social sciences. This means connecting the study of computation with that of human agency, at the right conceptual level. It also means connecting scientific communities.
This workshop brings together Chinese and international researchers working in logic and computation with those working in agency, with logic serving as a red thread.
We hope to display, and strengthen, the many lines that connect computation and agency.
Organizers: Fenrong Liu, Johan van Benthem, and Junhua Yu