FLOPS 2012

FLOPS 2012: Eleventh International Symposium on Functional and Logic Programming
May 23 Wednesday – May 25 Friday, 2012
Takikawa Memorial Hall, Kobe University,
1-1 Rokkodai-cho, Nada-ku, Kobe 657-8501 JAPAN

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. Previous FLOPS meetings were held in Fuji Susono (1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo (2001), Aizu (2002), Nara (2004), Fuji Susono (2006), Ise (2008), and Sendai (2010).

FLOPS solicits original papers in all areas of functional and logic programming, including (but not limited to):

• Declarative Pearls: new and excellent declarative programs with illustrative applications.
• Language issues: language design and constructs, programming methodology, integration of paradigms, interfacing with other languages, type systems, constraints, concurrency and distributed computing.
• Foundations: logic and semantics, rewrite systems and narrowing, type theory, proof systems.
• Implementation issues: compilation techniques, memory management, program analysis and transformation, partial evaluation, parallelism.
• Applications: case studies, real-world applications, graphical user interfaces, Internet applications, XML, databases, formal methods and model checking.

The proceedings will be published as LNCS 7294.

Conference venue (Takikawa Memorial Hall) is located in the Rokkodai Campus of Kobe University.

• Google Map of FLOPS 2012
• Google Map of FLOPS 2012 other locations
• Rokkodai Campus Map

Free shuttle bus will be available for symposium attendees between the FLOPS 2012 main hotel (Kobe Tokyu Inn) located in Sannomiya area and the conference venue.

eduroam wireless LAN service is avaiable at many places in the campus. Please get your eduroam account at your university in prior.

• eduroam wireless LAN service at Kobe university
• http://eduroam.jp (eduroam in Japan)

• JPY stands for Japanese Yen (100 JPY is roughly equal to 1.23 USD and 0.93 EUR on March 6th).
• On-site Registration
  • After May 9, please make a payment of the registration fee at the reception of the conference. We accept cash only.
• The followings are provided for each participant.
  • One copy of the FLOPS 2012 proceedings
  • Free Excursion & Banquet for one person (optional)
• Excursion and Banquet fee of an accompanying person is 8,000 JPY for each.

Excursion and Banquet are free and optional for each participant, but please do not forget to select "Participant" option at the registration site if you want to participate.

On Thursday afternoon, the excursion bus will leave the conference venue, and take you to Hyoe Koyokaku hotel which is the location of the conference dinner. After arriving the hotel, you can walk around Arima Onsen town for sightseeing, or take Onsen (Hot SPA) in the hotel. Please enjoy Japanese culture during the free time before dinner. After the Banquet, the bus will take you back to Sannomiya.

• Feel Kobe: Arima Onsen Book
• Feel Kobe: Guide Maps

Kansai International Airport (KIX) is the most convenient airport getting to Kobe from abroad. There is a limousine bus from KIX to Kobe Sannomiya departing every 20 minutes. It takes about 75 minutes and costs 3,000 JPY for a round trip. Location of the bus stop is marked on Google Map of FLOPS 2012.

• Access to Takikawa Memorial Hall by Bus or Taxi
• Getting to Rokkodai Campus, Kobe University
  • From Kansai International Airport
  • From Other Main Transportation Terminals
• Kansai Airport Limousine to Kobe Sannomiya
• Feel Kobe: Access to Kobe
• Japan Rail Pass
  Japan Rail Pass provides almost unlimited travel on the national JR (train) network. It has to be purchased outside Japan.

• Google Map of FLOPS 2012
• Google Map of FLOPS 2012 other locations
• Feel Kobe Guide Maps

Please check the Program page.

• Tachio Terauchi (Graduate School of Information Science, Nagoya University)
  • Title : Automated Verification of Higher-order Functional Programs
  • Abstract : Recently, motivated by the success of software model checkers for automated first-order program verification, researchers have proposed "model checkers" for automated verification of higher-order functional programs. Following the first-order methods, the higher-order verifiers employ a framework that separates control from data, allowing a smooth migration of tools and techniques such as predicate abstraction, CEGAR, SMT solving, and interpolation that have proven effective in first-order program verification.
    In this talk, we report on the state of the art in this emerging area of research, and discuss some future issues. In particular, we show that, in contrast to the automated methods for first-order programs, the current approaches lack relative completeness, and present our on-going research toward that end.
• Michael Codish (Department of Computer Science, Ben-Gurion University of the Negev)
  • Title : Programming with Boolean Satisfaction
  • Abstract : In recent years, research on Boolean satisfiability (SAT) is generating remarkably powerful SAT solvers capable of handling larger and larger SAT instances. With the availability of progressively stronger SAT solvers, an accumulating number of applications have been developed which demonstrate that real world problems can often be solved by encoding them into SAT. Tailgating the success of SAT technology are a variety of tools which can be applied to help specify and then compile problem instances to corresponding SAT instances. Typically, a constraint based modeling language is introduced and used to model instances. Then encoding techniques are applied to compile constraints to the language of an underlying solver such as SAT, SMT, or others. In this talk I advocate the need for "optimizing compilers" for SAT encoding and present BEE ("Ben-Gurion University Equi-propagation Encoder"). Using BEE eases the encoding process and performs optimizations to simplify constraints prior to their encoding to CNF. I will describe these optimizations: equi-propagation, partial evaluation, and decomposition, and demonstrate their application. BEE is written in Prolog, and integrates directly with a SAT solver through a suitable Prolog interface, or else it outputs a DIMACS file.
• Stephanie Weirich (School of Engineering and Applied Science, University of Pennsylvania)
  • Title: Dependently-typed programming in GHC
  • Abstract: Is Haskell a dependently-typed programming language? GHC's type-system extensions, such as Generalized Algebraic Datatypes (GADTs), multiparameter type classes and type families, give programmers the ability to encode domain-specific invariants in types. Clever Haskell programmers have used these features to enhance the reasoning capabilities of static type checking. But really, how far have we come?
    In this talk, I will (attempt to) answer the question "Is it Dependent Types Yet?", through examples, analysis and comparisons with modern full-spectrum dependently-typed languages, such as Agda and Coq. What sorts of dependently-typed programming can be done? What sorts of programming do these languages support that Haskell cannot? What should GHC learn from these languages, and conversely, what lessons can GHC offer in return?

• The 23rd International Conference on Rewriting Techniques and Applications (RTA 2012) and satellite workshops including The 21st International Workshop on Functional and (Constraint) Logic Programming (WFLP 2012) will be held from May 28 (Monday) to June 2 (Friday) at Nagoya University, Japan. Nagoya city is located about 200km east from Kobe city, and it will take about 2 hours by Shinkansen train.
• Annular Solar Eclipse can be watched in the morning around 07:30 of May 21 (Mon) at Kobe.

Please check the following information whether you need a visa. If you are an invited speaker, an author of an accepted paper, or a PC member and need a visa, please contact us as soon as possible. Otherwise, we cannot issue any document.

• Exemption of Visas
• Guide to Japanese Visas

Please make registration at the FLOPS 2012 registration site.

• JPY stands for Japanese Yen (100 JPY is roughly equal to 1.23 USD and 0.93 EUR on March 6th).
• Early Registration
  • Payment Due: April 25 (Wed), 2012 24:00 JST (GMT+9)
  • Payment of the registration should be completed before the due date.
• Regular Registration
  • Payment Due: May 9 (Wed), 2012 24:00 JST (GMT+9)
  • Payment of the registration should be completed before the due date.
• On-site Registration
  • After May 9, please make a payment of the registration fee at the reception of the conference. We accept cash only.
• NO REFUND will be made for cancellation after May 10, 2012 00:00 JST (GMT+9).
• The followings are provided for each participant.
  • One copy of the FLOPS 2012 proceedings
  • Free Excursion & Banquet for one person (optional)
• Excursion and Banquet fee of an accompanying person is 8,000 JPY for each.

If you have some special requirements (food requirements, etc.), please inform us through the Comments section in the registration site.

Several hotels in Sannomiya area will be offered at the FLOPS 2012 registration site. The price ranges between 7,500 JPY to 11,025 JPY per night for single room. Locations of the hotels are marked on Google Map of FLOPS 2012.

Please make reservation from the FLOPS 2012 registration site.

• Kobe Tokyu Inn (FLOPS 2012 main hotel, 2-minute walk from Sannomiya Station)
• APA Hotel Kobe Sannomiya (3-minute walk from Sannomiya Station)
• Hotel Sunroute Sopra Kobe (7 minutes walk from Sannomiya station)
• Kobe Sannomiya Union Hotel (7-minute walk from Sannomiya Station)
• Kobe Plaza Hotel (1 minute walk from Motomachi Station)

If you have some special requirements (extra stay, etc.), please inform us through the Comments section in the registration site.

Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. Submissions should fall into one of the following categories:

• Regular research papers: they should describe new results and will be judged on originality, correctness, and significance.
• System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design.

Submissions must be written in English and can be up to 15 pages long, though pearls are typically considerably shorter. Authors are required to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html.

Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a web page, or an appendix). Papers should be submitted electronically at https://www.easychair.org/conferences/?conf=flops2012.

• Special Interest Group on Programming and Programming Languages, Japan Society for Software Science and Technology (JSSST SIGPPL)
• Information Science and Technology Center, Kobe University
  FLOPS 2012 is held as one of the 110th anniversary events of Kobe University.

• ACM SIGPLAN
• Asian Association for Foundation of Software (AAFS)
• Association for Logic Programming (ALP)

• Portopia'81 Memorial Fund, Kobe Convention & Visitors Association
• Tsutomu Nakauchi Foundation

• Lecture Notes in Computer Science
• Nippon Travel Agency (official travel agency of FLOPS 2012)

• FLOPS 2010, Sendai: http://www.kb.ecei.tohoku.ac.jp/flops2010/
• FLOPS 2008, Ise: http://www.math.nagoya-u.ac.jp/~garrigue/FLOPS2008/
• FLOPS 2006, Fuji Susono: http://hagi.is.s.u-tokyo.ac.jp/FLOPS2006/
• FLOPS 2004, Nara: http://logic.cs.tsukuba.ac.jp/FLOPS2004/
• FLOPS 2002, Aizu: http://www.ipl.t.u-tokyo.ac.jp/FLOPS2002/
• FLOPS 2001, Tokyo: http://www.ueda.info.waseda.ac.jp/flops2001/
• FLOPS 1999, Tsukuba
• FLOPS 1998, Kyoto
• FLOPS 1996, Shonan
• FLOPS 1995, Fuji Susono
• DBLP: FLOPS

• General Chair and Local co-Chairs:
  •