[Agda] CALL FOR PARTICIPATION: FLOPS 2012
Peter Thiemann
thiemann at informatik.uni-freiburg.de
Thu Mar 29 06:13:57 CEST 2012
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)
More information about the Agda
mailing list