[logic-ml] NIIレクチャーシリーズのお知らせ(Thomas Agotnes)

[Ken Satoh]

NIIレクチャーシリーズのお知らせ

国立情報学研究所(NII)では、海外の情報学に関係する著名研究者を招聘し、レクチャーシリーズを行っております。
今回は、論理学によるマルチエージェントシステム、ゲーム理論の定式化を研究されているノルウェーのベルゲン大学のThomas Agostnes先生の連続レクチャーのお知らせです。

講師:Professor Thomas Agotnes from University of Bergen, Norway.
講義名 ：Social Laws for Multi-Agent Systems: Logic and Games
　　　　　詳しい講演の内容は、 http://www.nii.ac.jp/en/calendar/2011/121302/ 
　をご覧ください。
場所：国立情報学研究所 20階 2001 または2010室
講義日：2011年 12/13, 20, 27, 2012年1/10, 17, 24, 31
時間: 15:30-17:00

出席は無料で、どなたでも参加できます。
なお、CTL(computational tree logic)に興味をお持ちの方に対しては、本講義の中にこの論理の紹介およびマルチエージェントへの応用などが含まれており特に有用であると思います。

また、この連続講演の一部は、Ali Mili先生のソフトウェア工学関連の連続講演(http://www.nii.ac.jp/en/calendar/2011/1213/)
の後に行われるので、１日で２つの講演を連続して聞くことができます。

参加のご検討よろしくお願いします。

佐藤　健
国立情報学研究所および総研大
==========
- Lecture Series:
Social Laws for Multi-Agent Systems: Logic and Games

Lecturer:
Professor Thomas Agotnes, University of Bergen
Thomas Agotnes is a professor at the Department of Information Science and
Media Studies at the University of Bergen, Norway. Since his PhD in 2004
form University of Bergen, Agotnes has worked and published extensively in
multi-agent systems and related areas. In 2009, he won best paper award at
AAMAS 2009 on logical analysis of normative systems. Agotnes is an active
member of the international multi-agent systems community. He is a member of
the board of directors of the European Association for Multi-Agent Systems
(EURAMAS), was the general chair of STAIRS 2010, and has served on the
program committees of the main conferences and workshops in his field,
including the senior program committees of AAMAS and IJCAI.

Schdeule
Lecture 1: Specifying and verifying state-transition models for multi-agent
Systems
Place: National Institute of Informatics, Lecture room 2001, 20F
Date: 15:30-17:00, December 13, 2011

Lecture 2: Social laws for coordination
Place: National Institute of Informatics, Lecture room 2001, 20F
Date: 15:30-17:00, December 20, 2011

Lecture 3: Dealing with non-compliance
Place: National Institute of Informatics, Lecture room 2001, 20F
Date: 15:30-17:00, December 27, 2011

Lecture 4: Coordinating self-interested agents
Place: National Institute of Informatics, Lecture room 2001, 20F
Date: 15:30-17:00, January 10, 2012

Lecture 5: Social laws design as an optimisation problem, and as a mechanism
design problem
Place: National Institute of Informatics, Lecture room 2010, 20F
Date: 15:30-17:00, January 17, 2012

Lecture 6: Reasoning about social laws
Place: National Institute of Informatics, Lecture room 2010, 20F
Date: 15:30-17:00, January 24, 2012

Lecture 7: Strategic reasoning under imperfect information
Place: National Institute of Informatics, Lecture room 2010, 20F
Date: 15:30-17:00, January 31, 2012