このワークショップは， Leicester 大学の Irek Ulidowski さんの来日にあわせて企画しました．  Irek さんは以前京都大学に在籍されたコンピュータ・サイエンティストで，並列システム (concurrency)，特に reversible process calculi や true concurrency の数理的モデルの分野で精力的に活躍されています．

今回はさらに立命館大学の山下茂さんをお招きし，量子計算に関するご講演をお願いしました．(並列) process や (量子) operation のさまざまな数学的な定式化の中から，新たな統一的視点が浮かび上がってくるのを期待しています．

みなさまのご参加をお待ちしております．

オーガナイザー：

結縁祥治(名古屋大学)，蓮尾一郎(京都大学)