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

国際会議 FLOPS2016 -- Functional and Logic Programming -- の early registration の締切が 2/10 (水) となりましたので， 参加募集を，再度お送りします。

FLOPS2016 は 関数型および論理型プログラミングに関する国際会議で， PPL2016 の直前の 3/4-6 に、比較的近い場所で開催されます。今回の プログラムは，上田和紀先生と Atze Dijkstra さんによる招待講演， 3件のチュートリアル，そして一般講演から構成されていて，この分野 の最新の情報を入手することができます．

多くの皆様の参加をお待ちしています。

--------------------------------------------------------------------- Call for Participation ---------------

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

Early registration deadline is Monday, Feb 10, 2016. (extended)

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.

INVITED TALKS

Kazunori Ueda The exciting time and hard-won lessons of the Fifth Generation Computer Project

Atze Dijkstra UHC: Coping with Compiler Complexity

TUTORIALS

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

PROGRAMME

Mar 4

09:45 Opening, best-paper award 10:00 Invited talk (1h10)

Kazunori Ueda: The exciting time and hard-won lessons of the Fifth Generation Computer Project

11:10 Break (0h30) 11:40 Sess 1: From proofs to programs (2x0h30)

Arthur Blot, Pierre-Evariste Dagand and Julia Lawall: From Sets to Bits in Coq Wouter Swierstra and Joao Alpuim: From proposition to program: embedding the refinement calculus in Coq

12:40 Lunch (1h50) 14:30 Sess 2: Systems (2x0h30)

Markus Triska: The Boolean Constraint Solver of SWI-Prolog: System Description Praveen Narayanan, Jacques Carette, Wren Romano, Chung-Chieh Shan and Robert Zinkov: Probabilistic inference by program transformation in Hakaru: System description

15:30 Break (0h30) 16:00 Sess 3: Pearls (2x0h30)

Ian Mackie and Shinya Sato: An interaction net encoding of Godel's System T Taus Brock-Nannestad: Space-efficient Planar Acyclicity Constraints

17:00 Break and Posters

Mar 5

09:30 Invited talk (1h10 min)

Atze Dijkstra: UHC: Coping with Compiler Complexity

10:40 Break (0h30) 11:10 Sess 4: Logic Programming for type systems (2x0h30)

Ki Yung Ahn and Andrea Vezzosi: Executable Relational Specifications of Polymorphic Type Systems using Prolog Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers and Andrew Pond: Proof Relevant Corecursive Resolution

12:10 Lunch (1h50) 14:00 Sess 5: Reasoning about performance (2x0h30)

Jay McCarthy, Burke Fetscher, Max New, Daniel Feltey, and Robert Bruce Findler: A Coq Library For Internal Verification of Running-Times Remy Haemmerle, Pedro Lopez-Garcia, Umer Liqat, Maximiliano Klemen, John Gallagher and Manuel V. Hermenegildo: A Transformational Approach to Parametric Accumulated-cost Static Profiling

15:00 Break (0h30) 15:30 Tutorial 1 (1h30)

Neng-Fa Zhou, on programming in Picat

17:00 End 18:30 Banquet

Mar 6

09:30 Sess 6: Generic specifications (2x0h30)

Francisco Javier Lopez-Fraguas, Manuel Montenegro and Juan Rodriguez-Hortala: Polymorphic Types in Erlang Function Specifications Jeremy Yallop, David Sheets and Anil Madhavapeddy: Declarative foreign function binding through generic programming

10:30 Break (0h30) 11:00 Sess 7: Declarative programming with algebra (2x0h30)

Akimasa Morihata: Incremental Computing with Abstract Data Structures Andre Van Delft and Anatoliy Kmetyuk: Declarative Programming with Algebra

12:00 Excursion and Lunch, 2h00 14:00 Tutorial 2 (1h30)

Atze Dijkstra, on Attribute Grammars

15:30 Break (0h30) 16:00 Tutorial 3 (1h30)

Andreas Abel, on Agda

SPONSOR

Japan Society for Software Science and Technology (JSSST), Special Interest Group on Programming and Programming Languages (SIG-PPL)

IN COOPERATION WITH

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

CONTACT ADDRESS

flops2016 at logic.cs.tsukuba.ac.jp ---------------------------------------------------------------------