「PAT3セミナー開催案内」平成23年3月5日（土）

「第7回 CSP研究会」平成23年3月12日（土） 「産業界への普及に向けて」　開催プログラム

「第6回 CSP研究会」平成22年11月20日（土） 開催予定プログラム。

ベルギーのAltreonic社はインテル社のSCCチップ(48個のマルチコア)にOpenComRTOSを移植。OpenComRTOSはCSP/occamのモデルです。詳しくは以下のサイトをご覧になって下さい。　超並列コンピューティングで正しい結果が得られるのはCSPモデルだけです。
オーバートン��はNSL(Next Synthesis Language)と呼ばれます論理合成ツールの開発ならびに販売をしています。NSLはCSP/occamモデルが採用されています。詳しくはここをご覧になって下さい。
ここにＳａｒａｈ　Ｍｏｕｎｔ氏がEuropythonで発表されたpython-cspの資料があります。PyCSPの開発は近々デンマークのコペンハーゲン大学と合流するようです。

【イベント駆動型チップとXCプログラミング】 -- 完全に証明されたシステム設計に向けて
これ以上の解決方法はありません！！
（トリケップス・セミナー） 平成11月30日（火）予定

「第6回 CSP研究会」　開催予定日　平成22年11月20日（土）　モデル検証からアプリケーションまで公開！！
更に「正しいプログラミング言語とは？」と言った話題が議論されます。
興味をお持ちの方はご連絡下さい

日経エレクトロニクス誌9月6日号23ページにCSP, XMOSの記事が掲載されました！！
80年代生まれのプロセス代数「CSP」マルチコア化の時代に再び脚光か
【イベント駆動型チップとXCプログラミング技法】セミナー（平成22年10月2日終了）　

XMOS学習ボードの販売開始！！
組み込み技術が変わる！！
マルチコアによる楽しく学べる並列分散コンピューティングの入門編！！
XCプログラミングによるイベント駆動プログラミングが学べます。
【イベント駆動型チップとXCプログラミング技法】（平成22年9月4日）--終了
【主催】NPO法人 CSPコンソーシアム
【協力】CQ出版社
日経エレクトロニクス・ニュース(20100727)
「プレスプレスリリース」XMOS学習ボード（平成22年7月15日）

【お知らせ】事務局移転のお知らせ「第5回 CSP研究会」平成22年7月10日（土）東洋大学白山キャンパス内にて開催されました。「第4回 CSP研究会」平成22年3月10日（水）東洋大学白山キャンパス内にて開催されました。【並行システムの検証と実装(入門編)の発表12月14日開催】
トップエスイーチュートリアルシリーズ　「並行システムの検証と実装(入門編)」
主催：NPO法人 トップエスイー教育センター
協力：国立情報学研究所 GRACEセンター、NPO法人 CSPコンソーシアム【NEWS】Google’s Go Programming Language -Tutorial Video（Newsnidea.com記事　Goのチュートリアル・ビデオ）
Google’s Go Programming Language (golang.org)- Go is a compiled, concurrent programming language. It is being developed by Google with initial design by Robert Griesemer, Rob Pike and Ken Thompson. Currently ported to Linux and Mac OS X only. The syntax of Go is close to that of C except for the type declarations. The language supports include: garbage collection. The concurrency model of Go is modeled after Tony Hoare’s CSP. Missing features include: exception, type inheritance・・・【NEWS】Google社が新プログラミング言語「Go」を公開，並列プログラミング機能などを標準で装備 （Tech-On!記事）
Google GO　http://golang.org/
Language Design FAQ　http://golang.org/doc/go_lang_faq.html「第3回 CSP研究会」平成21年10月19日（月）」東洋大学白山キャンパス内にて開催されました「第2回 CSP研究会」平成21年6月30日（火）」東洋大学白山キャンパスにて開催されました「第1回 CSP研究会」平成21年3月6日（金）東京大学本郷キャンパスにて開催されました当コンソーシアムの入会はこちらから