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

[Norbert Preining]

各位

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

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

この度、１月２０日（月）～２１日（火）に、
金沢市石川四高記念文化交流館において、
「プロセスとしての証明に関するワークショップ」
（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
------------------------------------------------------------------------