日時：２００３年１月１０日（金）、１１日（土）
場所：九州大学システム情報科学研究院新講義棟講義室
        （http://www.kyushu-u.ac.jp/info/access-j.html#hakozaki
         の工学部防音講義室の右隣）
         
申し込み先： 小野廣隆 ono@csce.kyushu-u.ac.jp

==========================（プログラム概要）================================
 
  １月１０日（金）      
     １２：５０ 頃までに集合
     １３：００〜１６：００ 
  			理論各班（萩谷班、山下班、横森班）
  			の研究／方針の紹介
  			　　　　　　　　　（各班およそ１時間を予定）
  
    １６：００〜１６：３０    休 憩
    １６：３０〜１８：３０    研究発表・話題提供
    　　（発表予定者：順不同）
  　　　*  有田　正規(産総研)　..... 30分
        「シフトと連結を含めてミスハイブリダイゼーションを防ぐＤＮＡ配列の設計」
        * 梶田睦（東京工業大学（山村研）／国遺伝研（小原研））..... 15分
          「力学モデルによる線虫初期胚の細胞配置シミュレーション」

        * 山田陸裕（京都大学（金久研Ｍ２））..... 15分
          「生物モデル解析におけるBifurcation Analysis と G.A.の可能性」

        * 萩谷昌己・上嶋裕樹（東京大学大学院）..... 30分
　　　　　「状態遷移系と様相論理の展開、他　」

    １９：００〜                懇親会
                             
  
 １月１１日（土）
       ９：３０〜１０：００   招待講演 ： Hybrid Petri Net （仮題）
     （質疑時間を含む）     松野浩嗣 先生
                            （山口大学理学部自然情報科学科）

     １０：００〜１０：３０  休 憩  
     １０：３０〜１２：００  自由討議／研究打ち合わせ
     １２：００              解 散

==========================================================================