FLOPS 2012

Eleventh International Symposium on Functional and Logic Programming


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

The symposium was finished with 73 participants from 12 countries.
Thank you for your cooperation, and see you again at the next FLOPS.


  • May 28, 2012 :
    Photos of FLOPS 2012 is now available (authentication is required). ID and password will be informed to the participants.
  • May 23, 2012 :
    There is a smartphone site of FLOPS 2012 http://flops2012.agrafix.net by Peter Thiemann and his student.
  • May 23, 2012 :
    Shuttle bus will depart from Kobe Tokyu Inn Hotel at 08:30AM. Two buses will be run, and the first bus departs punctually. If you miss the first bus, please take the second bus which leaves in several (or more) minutes later.
  • May 21, 2012 :
    Each participant is allowed to download PDF version of the proceedings. Please follow the instruction included in the conference bag.
  • April 29, 2012 :
    Places of Interest page is created.
  • April 28, 2012 :
    Schedule of shuttle buses between hotel and conference venue is added to the Program page.
  • April 28, 2012 :
    Google Map of FLOPS 2012 other locations shows the locations of university cafeterias and some places in Kobe.
  • March 28, 2012 :
    FLOPS 2012 registration site is now opened. You need to create your ID at first to make registration. Please make FLOPS 2012 registration, hotel reservation, and application to Excursion and Banquet.

NEW Participants

Invited Speakers3
Student [Early]20
Standard [Early]40
Student [Regular]1
Standard [Regular]1
Student [On-site]2
Standard [On-site]0
Local Staffs6
United Kingdom1
United States6

Important Dates

  • Submission deadline : December 9, 2011
    Extended submission deadline : December 16, 2011
  • Author notification : February 3, 2012
  • Camera-ready copy : March 2, 2012
  • Early registration payment due: April 25, 2012
  • Regular registration payment due: May 9, 2012
  • Conference: May 23–25, 2012


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.

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.

Kobe City

The Kobe University is located in Kobe City, which, together with Osaka (second largest city in Japan) and Kyoto (ancient capital of Japan, founded in 794), is a principal city in Kansai area, about 550km west of Tokyo (the capital city of Japan). Kobe is an international city which has prospered mainly through the heavy industries and foreign trade, with the population of about 1.5 million. Sandwiched between Rokko mountains and Seto Inland Sea, the city offers comfortable circumstances of living and various ways of enjoying leisure.

On-site Registration

Standard50,000 JPY
Student40,000 JPY
  • 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

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.


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.



Please check the Program page.

Invited Speakers

  • 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?

Related Events


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.

CLOSED Online Registration

Please make registration at the FLOPS 2012 registration site.

Standard30,000 JPY40,000 JPY50,000 JPY
Student20,000 JPY30,000 JPY40,000 JPY
  • 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.

CLOSED Accommodation

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.

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

CLOSED Submission

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.


In Cooperation with

Supported by

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


Previous FLOPS

Inquiries to

  • General Chair and Local co-Chairs:
    • flops2012-email.png


Date: 2012-05-28 16:26:28 JST

HTML generated by org-mode 6.34c in emacs 22