神戸大学の田村です．
FLOPS 2012 の Early registration の〆切が 4月25日(水)となっております． 皆様のご参加をお待ちしております．
From: Naoyuki Tamura tamura@kobe-u.ac.jp Subject: [logic-ml] FLOPS 2012 : Call For Participation Date: Wed, 04 Apr 2012 17:37:52 +0900 (JST)
# 重複の場合はご容赦ください．
神戸大学の田村と申します．
メーリングリストをお借りして，5月23〜25日に神戸大学で開催されます FLOPS 2012 の Call For Participation をお送りします．
日本で定期的に開催される(関数型と論理型を含む)宣言的プログラミング全般 の国際会議の一つです．
Early registration の〆切は 4月25日(水)となっております．皆様のご参加を お待ちしております．
-- 田村直之 (tamura@kobe-u.ac.jp) 神戸大学 情報基盤センター 〒657-8501 神戸市灘区六甲台町1-1 Phone: 078-803-5364, Fax: 078-803-5375
=======================================================================================
CALL FOR PARTICIPATION: FLOPS 2012 ==================================Eleventh International Symposium on Functional and Logic Programming May 23-25, 2012 Takikawa Memorial Hall, Kobe University, Kobe, Japan http://www.org.kobe-u.ac.jp/flops2012/ *Early Registration: April 25 (Wed)*
FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms.
The 23rd International Conference on Rewriting Techniques and Applications (RTA 2012) and satellite workshops including WFLP 2012 will be held in the week after FLOPS at Nagoya, Japan.
Invited Speakers @ FLOPS
- Tachio Terauchi (Graduate School of Information Science, Nagoya University). Automated Verification of Higher-order Functional Programs
- Michael Codish (Department of Computer Science, Ben-Gurion University of the Negev). Programming with Boolean Satisfaction
- Stephanie Weirich (School of Engineering and Applied Science, University of Pennsylvania). Dependently-typed programming in GHC
See the full program at http://www.org.kobe-u.ac.jp/flops2012/program.html
Register now at http://www.org.kobe-u.ac.jp/flops2012/index.html#REGISTRATION
CONFERENCE ORGANIZERS
GENERAL CHAIR
- Naoyuki Tamura (Kobe University, Japan)
PROGRAM CO-CHAIRS
- Tom Schrijvers (Ghent University, Belgium)
- Peter Thiemann (University of Freiburg, Germany)
CONFERENCE SPONSORS
- Japan Society for Software Science and Technology (JSSST) SIGPPL
- Information Science and Technology Center, Kobe University
IN COOPERATION WITH
- ACM SIGPLAN
- Asian Association for Foundation of Software (AAFS)
- Association for Logic Programming (ALP)
=======================================================================================
Logic-ml mailing list Logic-ml@sato.kuis.kyoto-u.ac.jp http://www.sato.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml