http://www.jaist.ac.jp/~preining/wpp/

The Workshop on Proofs as Processes will be held with the support of the School of Information Science, Logic Group, Japan Advanced Institute of Science and Technology (JAIST) and a Royal Society Daiwa Anglo-Japanese Foundation International Exchanges Award, at the building of the Modern Literature Museum (石川四高記念文化交流館) in Kanazawa on 20th and 21st January, 2014.

The workshop’s aim is to function as a kick-off meeting for a long-term project on extending the classical Curry-Howard correspondence to hypersequent calculus and parallel processes. It will bring together scientists working on the various related fields who are interested in collaborating in the project.