[logic-ml] FLOPS2016 募集募集 (早期登録締切 2/10 (水))

[Yukiyoshi Kameyama]

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

国際会議 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
---------------------------------------------------------------------