皆様、(重複して受け取られた場合は、御容赦ください。)

国際会議FLOPS2016 -- Functional and Logic Programming -- の

ポスターおよびデモ発表 の募集 & 参加募集

をお送りします。

FLOPS2016 は PPL2016 の直前に、比較的近い場所で開催されます。2件の招待講演:

Kazunori UEDA (Waseda University) The exciting time and hard-won lessons of the Fifth Generation Computer Project

Atze Dijkstra (Utrecht University) UHC: Coping with Compiler Complexity

のほか、興味深い話題でのチュートリアル3件も予定されています。

Andreas Abel, on Agda Atze Dijkstra, on Attribute Grammars Neng-Fa Zhou, on programming in Picat

FLOPS2016でポスターもしくはデモを行えば、招待講演者を含む参加者の方々 からのコメントを多く得られることと思います。

なお、これまで、日程は「2016/3/3-6 のうち 3日間程度」という曖昧な書き方を していましたが、「2016/3/4-6」に確定させました。(PPL2016 は 3/7-9 です。)

多くの皆様のポスター/デモ発表、参加をお待ちしています。 -- 亀山幸義 (筑波大学) http://logic.cs.tsukuba.ac.jp/~kam

---------------------------------------------------------------------

Call for Participation and Posters/Demos ---------------

FLOPS 2016: 13th International Symposium on Functional and Logic Programming March 4-6, 2016, Kochi, Japan http://www.info.kochi-tech.ac.jp/FLOPS2016/

Registration will be open on Monday, Dec 21, 2015. Early registration deadline is Monday, Feb 8, 2016. Poster/Demo abstract submission deadline is Monday, Jan 11, 2016.

FLOPS aims to bring together practitioners, researchers and implementers of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming.

In addition to the presentations of regular research papers, the FLOPS program includes tutorials, as well as the poster/demo session for demonstrating the tools and systems described during the talks and for presenting works-in-progress and getting the feedback.

FLOPS has established a Best Paper award. The winner will be announced at the symposium.

CALLS FOR POSTERS AND DEMONSTRATIONS

If you wish to present a poster at FLOPS, please send the plain text abstract by e-mail to flops2016@easychair.org -- by January 11, 2016. The abstract should include the title, the names of the authors and their affiliation, along with enough details to judge its scope and relevance. We will announce the accepted submissions on January 25, 2016. The format of the poster will be announced at that time. Important Dates * Submission due: January 11, 2016 (Monday), any time zone * Notification: January 25, 2016 (Monday)

INVITED TALKS

Kazunori UEDA (Waseda University) The exciting time and hard-won lessons of the Fifth Generation Computer Project

Atze Dijkstra (Utrecht University) UHC: Coping with Compiler Complexity

TUTORIALS

Andreas Abel, on Agda Atze Dijkstra, on Attribute Grammars Neng-Fa Zhou, on programming in Picat

ACCEPTED PAPERS

Ki Yung Ahn and Andrea Vezzosi. Executable Relational Specifications of Polymorphic Type Systems using Prolog

Markus Triska. The Boolean Constraint Solver of SWI-Prolog: System Description

Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers and Andrew Pond. Proof Relevant Corecursive Resolution

Jay McCarthy, Burke Fetscher, Max New and Robert Bruce Findler. A Coq Library For Internal Verification of Running-Times

Akimasa Morihata. Incremental Computing with Abstract Data Structures

Wouter Swierstra and Joao Alpuim.

From proposition to program: embedding the refinement calculus in Coq

Andre Van Delft and Anatoliy Kmetyuk. Declarative Programming with Algebra

Ian Mackie and Shinya Sato. An interaction net encoding of Godel's System T

Arthur Blot, Pierre-Evariste Dagand and Julia Lawall.

From Sets to Bits in Coq

Jeremy Yallop, David Sheets and Anil Madhavapeddy. Declarative foreign function binding through generic programming

Praveen Narayanan, Jacques Carette, Wren Romano, Chung-Chieh Shan and Robert Zinkov. Probabilistic inference by program transformation in Hakaru: System description

Francisco Javier Lopez-Fraguas, Manuel Montenegro and Juan Rodriguez-Hortala. Polymorphic Types in Erlang Function Specifications

Remy Haemmerle, Pedro Lopez-Garcia, Umer Liqat, Maximiliano Klemen, John Gallagher and Manuel V. Hermenegildo. A Transformational Approach to Parametric Accumulated-cost Static Profiling

Taus Brock-Nannestad. Space-efficient Planar Acyclicity Constraints: A Declarative Pearl