[logic-ml] Talk by Kohei Suenaga, Thursday next week (2011.07.21 11:00-)

[Shinya Katsumata]

京都大学数理解析研究所の勝股です。

来週7月21日木曜午前11時から、京都大学の末永 幸平さんに以下の
講演をしていただくことになりましたので、ご連絡いたします。
どうぞお気軽にお越しください。
==========
Speaker:
	Kohei Suenaga
	JSPS Research Fellow (PD), Kyoto University

Title:
	Programming with Infinitesimals: A WHILE-Language for Hybrid System Modeling
	(Joint work with Ichiro Hasuo)

Date and time:
	11:00-12:00, 21 Jul, 2011

Place:
	Room 478, Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan), Kyoto university
	  http://www.kyoto-u.ac.jp/en/access/campus/main.htm
	京都大学 総合研究2号館 4階 478
	  http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm

Abstract:

We add, to the common combination of a WHILE-language and a
Hoare-style program logic, a constant dt that represents an
infinitesimal (i.e. infinitely small) value. The outcome is a
framework for modeling and verification of hybrid systems: hybrid
systems exhibit both continuous and discrete dynamics and getting them
right is a pressing challenge.We rigorously define the semantics of
programs in the language of nonstandard analysis, on the basis of
which the program logic is shown to be sound and relatively complete.