[logic-ml] 「プロセスとしての証明に関するワークショップ」について

各位

北陸先端科学技術大学院大学プライニング・ノルベルトです。

「プロセスとしての証明に関するワークショップ」　開催のご案内

この度、１月２０日（月）～２１日（火）に、 金沢市石川四高記念文化交流館において、 「プロセスとしての証明に関するワークショップ」 （Workshop on Proofs as Processes) を開催する運びになりました。

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

参加を希望される方はプライニングへご連絡下さい。

プライニング　ノルベルト

------------------------------------------------------------------------ PREINING, Norbert http://www.preining.info JAIST, Japan TeX Live & Debian Developer DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094 ------------------------------------------------------------------------