Workshop on Proofs as Processes

Workshop on Proofs as Processes

2014/01/20 (Mon) to 2014/01/21 (Tue)
Kanazawa, Ishikawa, Japan
Logic Unit
Research Center for Software Verification

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.

For details and the program see the Workshop Website

Norbert Preining