[logic-ml] FLOPS 2012 : Call For Participation

[Naoyuki Tamura]

神戸大学の田村です．

FLOPS 2012 の Early registration の〆切が 4月25日(水)となっております．
皆様のご参加をお待ちしております．

From: Naoyuki Tamura <tamura at 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 at 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 at sato.kuis.kyoto-u.ac.jp
> http://www.sato.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml