Conferences

CP: International Conference on Principles and Practice of Constraint Programming

CP 2009, Lisbon, Portugal, 20-24 September 2009

CPAI 2009

CP 2008, Sydney, Australia, 14-18 September 2008

CPAI 2008

ICLP: International Conference on Logic Programming

ICLP 2009

ICLP 2008, December 9-13 2008, Udine, Italy, Abstract deadline: June 2nd, Paper deadline: June 9th

CICLOPS 2008, December 2008, Udine, Italy, Abstract deadline: Sep 1st, Paper deadline: Sep 8th

AAAI:

AAAI 2010

IJCAI 2009

IAAI 2009, deadline:December 1, 2008 -- January 20, 2009

SAT: International Conference on Theory and Applications of Satisfiability Testing

SAT 2009, June 30 - July 3, 2009, Swansea, Wales, United Kingdom

SAT 2008, May 12 - 15 2008, Guangzhou, P. R. China, Abstract Submission: Jan. 11, 2008, Paper Submission: Jan. 18, 2008

ICAPS: International Conference on Automated Planning and Scheduling

ICAPS 2009

CPAIOR: International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

CPAIOR 2009, Tepper School of Business, Carnegie Mellon University, May 27-31, 2009

CPAIOR 2008, May 20-23, 2008, Paris, France, Long Paper Submission: Dec. 17, 2007

ERCIM Working Group on Constraints

CSCLP 2009, June 15-17, 2009, Barcelona, Spain

CSCLP 2008, June 18 - 20, 2008, Rome, Italy

PADL: International Symposium on Practical Aspects of Declarative Languages

PADL 2009, Savannah, Georgia, USA, January 19-20, 2009, Paper Submission:September 8, 2008

LPAR: International Conference on Logic for Programming Artificial Intelligence and Reasoning

LPAR 2008, Doha Qatar, Nov. 22-27 2008

PPDP: International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

PPDP 2009,

PPDP 2008, Valencia, Spain, 15-17 July 2008, Submission of paper: April 10, 2008

CLIMA: International Workshop on Computational Logic in Multi-Agent Systems

CLIMA IX (2008), Dresden, Germany, 29th-30th September, 2008, Deadline for submission:9th July 2008

FLOPS: International Symposium on Functional and Logic Programming

FLOPS 2008, Ise, Japan, April 14-16, 2008, Submission deadline: October 10, 2007

JELIA: European Conference on Logics in Artificial Intelligence

JELIA 2008, Dresden, Germany, Sep.28 - Oct. 1, 2008, Deadline for submission: June 2, 2008

The International Conference on Computer Aided Verification

CAV 2009

Annual International Conference on Combinatorial Optimization and Applications

COCOA 2009

APLAS: ASIAN Symposium on Programming Languages and Systems

APLAS 2008, Bangalore, India, Dec. 9 - Dec. 11, 2008, Submission Deadline: June 27, 2008

会議

日本ソフトウェア科学会 大会・研究会

日本ソフトウェア科学会第26回大会， 2009年9月16日(水)〜18日(金)，島根大学・松江キャンパス， 登壇申込締切: 6月26日(金)，予稿原稿締切: 8月3日(月)

日本ソフトウェア科学会第25回大会， 2008年9月10日(水)〜12日(金)，筑波大学・東京キャンパス， 登壇申込締切: 6月27日(金)，予稿原稿締切: 8月4日(月)

プログラミングおよびプログラミング言語ワークショップ (PPL)

PPL2009， 2009年3月9日(月)〜3月11日(水)，岐阜県高山市 高山グリーンホテル， 発表申込締切:2008年12月22日(月)，論文提出締切:2009年1月5日(月)

情報処理学会・プログラミング研究会

近況

2009年9月19日(土) 〜 10月1日(木)

リスボンで開催されたCP2009に参加． 第４回制約ソルバー競技会において，田村研究室のSugarが7部門中3部門で優勝．

マラガ大学のLopez教授を訪問し，研究意見交換を行った．

2009年9月16日(水)

日本ソフトウェア科学会第26回大会において， 学生さんが「グラフ彩色問題に対するSAT符号化」に関する発表を行った．

2009年8月2日(日)

休暇をいただき，家族旅行で石垣島へ．楽しかったぁ〜．

2009年7月28日(火)〜30日(木)

淡路島で開催された第4回CSPSAT研究会が無事終了．

2009年5月16日(土)--22(金)

神戸市の新型インフルエンザ患者発生にともない休講

2009年4月8日(水)

息子の小学校の入学式．ともだち100人でっきるっかなぁ〜．

2009年4月7日(火)

田村研究室に新しい4年生が二人加わった．楽しく勉強しましょう．

2009年3月31日(火)

いよいよ明日から新学期．

2009年3月12日(木)〜14日(土)

博多で開催された第３回CSPSAT研究会に参加．楽しかったぁ〜．

2009年3月11日(水)

我が偉大なる奥様の誕生日．いつもありがとう．

2009年3月10日(火)

38歳の誕生日．しっかりオジサンです...

2009年3月9日(月)〜11日(水)

岐阜県高山市で開催されたPPL2009に参加．

僕はSugarについて発表．学生のT君はProlog Cafeについて発表

2009年3月9日(月)

子供の卒園式．おめでとう．親バカな父より

2009年3月7日(土)

恩師である角田先生の退職記念研究会およびパーティの幹事

角田先生，本当にありがとうございました．今後ともご指導よろしくお願い致します．

2009年1月26日(月)

父上様の誕生日．

2008年1月19-23日(月)

インフルエンザで完全ダウン．かなりしんどかったです．

2009年1月6日(火)

外国の学生さんからProlog Cafeのバグ報告が届く． 1.0E-3のような浮動小数点の表現がコンパイルできないとのこと． 新年早々，縁起が悪いので早速修正．リリースは後日．

2009年1月2日(水)

母上様の誕生日．おめでとう!

2009年1月1日(火)

新年あけましておめでとうございます． 今年のテーマは，ずばりダイエット． はい，そこぉー！ 無理ィって言わない!