*** 重複ご容赦ください．ご興味がありそうな方に，ご転送ください ***
みなさま，
こんにちは！ 京都大学数理解析研究所の蓮尾と申します． 11/8(月)に京都大学で開催するワークショップ
"Mathematical Theory of Processes and Operations: Concurrent, Quantum, and More" http://www.kurims.kyoto-u.ac.jp/~cs/mtpo
の宣伝をさせてください．
このワークショップは，Leicester 大学の Irek Ulidowski さん ( http://www.cs.le.ac.uk/people/iu3/ ) の来日にあわせて企画しました．Irek さんは以前京都大学に在籍されたコンピュータ・サイエンティストで，並列システム (concurrency)，特に reversible process calculi や mathematical model of true concurrency の分野で精力的に活躍されています．今回はさらに立命館大学の山下茂さんをお招きし，量子計算に関するご講演をお願いしました．(並列) process や (量子) operation のさまざまな数学的な定式化の中から，新たな統一的視点が浮かび上がってくるのを期待しています．
みなさまのご参加をお待ちしております．それでは！
オーガナイザー： 結縁祥治(名古屋大学)，蓮尾一郎(京都大学) http://www.kurims.kyoto-u.ac.jp/~cs/mtpo
===================================== - 日時： 2010/11/8 (月)，10:00-16:45 - 場所： 京都大学数理解析研究所 1階111号室 http://www.kurims.kyoto-u.ac.jp/ja/access-01.html http://www.kurims.kyoto-u.ac.jp/en/access-01.html - 参加費： 無料 - 講演は英語です． - 参加申し込みは必要ありませんが，夕食会に参加される方は以下のフォームからお知らせください． https://spreadsheets.google.com/viewform?formkey=dHNTTjlQeDhWdEpPUmtxZmE3Z08... - お問い合わせは，蓮尾 (ichiro[at]kurims.kyoto-u.ac.jp) までお気軽に お願いします．
==================================== プログラム （詳細は http://www.kurims.kyoto-u.ac.jp/~cs/mtpo%EF%BC%89
10.00-11.00 Shigeru Yamashita (Ritsumeikan U.) Verification of Quantum Circuits
11.15-12.15 Irek Ulidowski (U. Leicester, UK) Bisimulations and Logics for Reversibility
14.00-14.45 Shoji Yuen (Nagoya U.) Priority in the pi-calculus
15.00-15.45 Masahito Hasegawa (RIMS, Kyoto U.) A quantum double construction in the non-deterministic setting
16.00-16.45 Ichiro Hasuo (RIMS, Kyoto U.) Probabilistic Simulations Revisited from the Coalgebraic Point of View