征稿已开启

查看我的稿件

注册已开启

查看我的门票

已截止
活动简介

The search for sound principles for object-oriented languages has given rise to much work during the past two decades, leading to a better understanding of the key concepts of object-oriented languages and to important developments in type theory, semantics, program verification, and program development. FOOL 2014 will be held in October 2014 as part of SPLASH 2014. The conference venue is the Marriot Hotel in Portland, Oregon, United States. Submissions for this event are invited in the general area of foundations of object-oriented languages. Topics of interest include language semantics, type systems, memory models, program verification, formal calculi, concurrent and distributed languages, database languages, and language-based security issues. Papers are welcome to include formal descriptions and proofs, but these are not required; the key consideration is that papers should present novel and valuable ideas or experiences. The main focus in selecting workshop contributions will be the intrinsic interest and timeliness of the work, so authors are encouraged to submit polished descriptions of work in progress as well as papers describing completed projects.

征稿信息

重要日期

2014-08-15
摘要截稿日期
2014-08-23
初稿截稿日期
留言
验证码 看不清楚,更换一张
全部留言
重要日期
  • 10月20日

    2014

    会议日期

  • 08月15日 2014

    摘要截稿日期

  • 08月23日 2014

    初稿截稿日期

  • 10月20日 2014

    注册截止日期

主办单位
美国计算机学会
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询