日時：2012年6月13日（水）13:00-15:00
場所：国立情報学研究所(NII)（地図）
20階 ミーティングルーム1・2（2009・2010）

参加費：無料
お問い合わせ：石川冬樹(seminar-steering_AT_grace-center.jp)_AT_を＠に書き換えてください。

※今回のセミナーは英語で行われます。

参加ご希望の方は，下記よりご登録をお願いいたします:
http://form1.fc2.com/form/?id=489702

----------------------------------------
講演予定者：
Dino Destifano Monoidics Ltd. CEO

Title:
数学的にプログラム品質の正当性を静的に検証するソリューション -SeparationLogic による自動メモリセーフティ検証。

Abstract:
Monoidicsはメモリの安全性とセキュリティに直接フォーカスした先進的なコード解析技術を提供します。Separation Logicを基礎にした最初の商用ベース製品としての技術を確立し、コンピュータサイエンス分野に影響を与えたということで、2011年度POPLアワードを受賞しています。数学上の定理を証明する事と同様にソフトウェアにバグがないと検証できるINFERによる証明は、メモリ・リークや誤ったポインタ参照等を行っていない事が保証されたといえますが、自動化を確立できた背景にある推論技法とコンポジショナル解析を含めた概要を説明します。

本セミナーは定員に達しました。
多数のお申し込みありがとうございました。

4月27日に行われます、独立行政法人 情報処理推進機構主催の、Hadoop体験セミナーのご案内を差し上げます。
皆様の参加をお待ち申し上げております。

なお、本セミナーはGRACEセンターが協賛するセミナーとなっております。

どうぞよろしくお願いいたします。

GRACEセンター 事務局

==================================================
━━ Hadoop体験セミナーのご案内 ━━━━━━━━━━━━━━
■日　程：2012年4月27日(金) 10:00～17:00 (受付開始: 9:30)
■会　場：国立情報学研究所 20階　ミーティングルーム1・2（2009・2010）
　　　　　〒101-8430 東京都千代田区一ツ橋２－１－２
　　　　　http://www.nii.ac.jp/introduce/access1-j.shtml
■概　要：
　近年、大量データを高速に複数サーバで並列分散処理できる技術が「ビッグ・
データ」と呼ばれて注目されており、新たな並列分散処理アプリケーションが
登場しています。現状では並列分散処理アプリケーションを気軽に体験できる
環境は少なく、本格的な習得へと繋げるにあたっての障壁となっています。こ
のため、IPAでは、並列分散処理アプリケーションの開発・実行環境「Hadoop」
の体験型研修コンテンツを、オープン・ラボのコンテンツとして開発しました。

　今回、このHadoop体験型研修コンテンツの活用促進を目的としたデモ研修を

■日程および会場：
［東京会場］
2012年3月2日(金)　13:00～17:30　（受付開始　12:30～）
秋葉原UDX　4階 GALLERY NEXT-1 （東京都千代田外神田4-14-1）

［大阪会場］
2012年3月9日(金)　13:00～17:10　（受付開始　12：30～）
チサンホテル新大阪　2階 NO.1会議室 （大阪府大阪市淀川区西中島6-2-19）

■概　要：
本成果報告会では、過去2年間の産学連携IT人材育成プラトフォーム構築成果を踏まえて、平成23年度に実施した教育モデル拡大実証事業について報告します。
産学連携体制の構築プロセスをモデル化し、教育機関と支援企業等の連携、地域連携組織の運営について計画段階での教育モデル拡大実証成果を報告し、さらに本事業に参加された教育機関・地域連携団体の方によるプラットフォーム活用による今後の自立化展開へ向けての取り組みの方向性と課題の討論を行います。

※プログラムの詳細、お申込み等は、下記サイトをご覧ください。
http://www.ipa.go.jp/jinzai/renkei/event_2011/matching.html

■定　員：各100名

■参加費：無料

■主　催：独立行政法人 情報処理推進機構

■共　催：経済産業省

■後援(予定)：
文部科学省
大学共同利用機関法人 情報・システム研究機構 国立情報学研究所
特定非営利活動法人 高度情報通信人材育成支援センター
社団法人 コンピュータソフトウェア協会
一般社団法人 情報サービス産業協会
一般社団法人 情報処理学会
公益社団法人 私立大学情報教育協会
一般社団法人 電子情報技術産業協会
社団法人 電子情報通信学会
社団法人 日本情報システム・ユーザー協会

セミナーの資料をアップ致しました。
下記をご覧ください。

http://opencarf.org/?page_id=598

-------------------------------------------------------------------------------

定員に達しましたので、申し込みを締め切らせて頂きます。
多数のお申し込みありがとうございました。

今回は、クラウドに関するセミナーを開催します。具体的には、日本最大の学術クラウドとなる北海道大学の事例と、そこで採用されたCloudStackの最新動向を講演していただきます。さらに日本発のオープンソースのクラウド(Wakame-VDC)をハンズオン形式で体験いただけます。

☆☆☆ クラウドを学べて、体験できるＧＲＡＣＥセミナー ☆☆☆
日時：2012年2月21日（火）
　　　第１部 クラウド最前線：13:30-16:40 (13:00受付開始)
　　　第２部 クラウドハンズオン：17:00-19:00
場所：国立情報学研究所 ２０階ミーティングルーム１・２（2009,2010室）(地図）
参加費：無料
お問い合わせ：田辺良則(seminar-steering_AT_grace-center.jp)_AT_を＠に書き換えてください。

プログラム：
=== 第１部：クラウド最前線 ===
13:30-14:20 北海道大学アカデミッククラウドの設計、構築、サービスについて
講演者：北海道大学 情報基盤センター 棟朝 雅晴 准教授