[logic-ml] Workshop (Mon 2010.11.08) in Kyoto

[Ichiro Hasuo]

*** 重複ご容赦ください．ご興味がありそうな方に，ご転送ください ***

みなさま，

こんにちは！ 京都大学数理解析研究所の蓮尾と申します．
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=dHNTTjlQeDhWdEpPUmtxZmE3Z08tN2c6MQ
- お問い合わせは，蓮尾 (ichiro[at]kurims.kyoto-u.ac.jp) までお気軽に
 お願いします．

====================================
プログラム （詳細は http://www.kurims.kyoto-u.ac.jp/~cs/mtpo）

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