f(0)	=	1
f(1)	=	1
f(x)	=	f(x-1)+ f(x-2)

1 , 1 , 2 , 3 , 5 , 8 , 1 3 , 2 1 , 3 4 , 5 5 , 8 9 , 1 4 4 , 2 3 3 , 3 7 7 , 6 1 0 , 9 8 7 , 1 5 9 7 , 2 5 8 4 , 4 1 8 1 , 6 7 6 5 , 1 0 9 4 6 , 1 7 7 1 1 , 2 8 6 5 7 , 4 6 3 6 8 , 7 5 0 2 5 , 1 2 1 3 9 3 , 1 9 6 4 1 8 , 3 1 7 8 1 1 , 5 1 4 2 2 9 , 8 3 2 0 4 0 , 1 3 4 6 2 6 9 , 2 1 7 8 3 0 9 , 3 5 2 4 5 7 8 , 5 7 0 2 8 8 7 , 9 2 2 7 4 6 5 , 1 4 9 3 0 3 5 2 , 2 4 1 5 7 8 1 7 , 3 9 0 8 8 1 6 9 , 6 3 2 4 5 9 8 6 , 1 0 2 3 3 4 1 5 5 , 1 6 5 5 8 0 1 4 1 , 2 6 7 9 1 4 2 9 6 , 4 3 3 4 9 4 4 3 7 , 7 0 1 4 0 8 7 3 3 , 1 1 3 4 9 0 3 1 7 0 , 1 8 3 6 3 1 1 9 0 3 , 2 9 7 1 2 1 5 0 7 3 , 4 8 0 7 5 2 6 9 7 6 , 7 7 7 8 7 4 2 0 4 9 , 1 2 5 8 6 2 6 9 0 2 5 , 2 0 3 6 5 0 1 1 0 7 4 , 3 2 9 5 1 2 8 0 0 9 9 , 5 3 3 1 6 2 9 1 1 7 3 , 8 6 2 6 7 5 7 1 2 7 2 , 1 3 9 5 8 3 8 6 2 4 4 5 , 2 2 5 8 5 1 4 3 3 7 1 7 , 3 6 5 4 3 5 2 9 6 1 6 2 , 5 9 1 2 8 6 7 2 9 8 7 9 , 9 5 6 7 2 2 0 2 6 0 4 1 , 1 5 4 8 0 0 8 7 5 5 9 2 0 , 2 5 0 4 7 3 0 7 8 1 9 6 1 , 4 0 5 2 7 3 9 5 3 7 8 8 1 , 6 5 5 7 4 7 0 3 1 9 8 4 2 , 1 0 6 1 0 2 0 9 8 5 7 7 2 3 , 1 7 1 6 7 6 8 0 1 7 7 5 6 5 , 2 7 7 7 7 8 9 0 0 3 5 2 8 8 , 4 4 9 4 5 5 7 0 2 1 2 8 5 3 , 7 2 7 2 3 4 6 0 2 4 8 1 4 1 , 1 1 7 6 6 9 0 3 0 4 6 0 9 9 4 , 1 9 0 3 9 2 4 9 0 7 0 9 1 3 5 , 3 0 8 0 6 1 5 2 1 1 7 0 1 2 9 , 4 9 8 4 5 4 0 1 1 8 7 9 2 6 4 , 8 0 6 5 1 5 5 3 3 0 4 9 3 9 3 , 1 3 0 4 9 6 9 5 4 4 9 2 8 6 5 7 , 2 1 1 1 4 8 5 0 7 7 9 7 8 0 5 0 3 4 1 6 4 5 4 6 2 2 9 0 6 7 0 7 , 5 5 2 7 9 3 9 7 0 0 8 8 4 7 5 7 , 8 9 4 4 3 9 4 3 2 3 7 9 1 4 6 4 , 1 4 4 7 2 3 3 4 0 2 4 6 7 6 2 2 1 2 3 4 1 6 7 2 8 3 4 8 4 6 7 6 8 5 , 3 7 8 8 9 0 6 2 3 7 3 1 4 3 9 0 6 6 1 3 0 5 7 9 0 7 2 1 6 1 1 5 9 1 , 9 9 1 9 4 8 5 3 0 9 4 7 5 5 4 9 7 , 1 6 0 5 0 0 6 4 3 8 1 6 3 6 7 0 8 8 , 2 5 9 6 9 5 4 9 6 9 1 1 1 2 2 5 8 5 , 4 2 0 1 9 6 1 4 0 7 2 7 4 8 9 6 7 3 , 6 7 9 8 9 1 6 3 7 6 3 8 6 1 2 2 5 8 , 1 1 0 0 0 8 7 7 7 8 3 6 6 1 0 1 9 3 1 , 1 7 7 9 9 7 9 4 1 6 0 0 4 7 1 4 1 8 9 , 2 8 8 0 0 6 7 1 9 4 3 7 0 8 1 6 1 2 0 , 4 6 6 0 0 4 6 6 1 0 3 7 5 5 3 0 3 0 9 , 7 5 4 0 1 1 3 8 0 4 7 4 6 3 4 6 4 2 9 , 1 2 2 0 0 1 6 0 4 1 5 1 2 1 8 7 6 7 3 8 , 1 9 7 4 0 2 7 4 2 1 9 8 6 8 2 2 3 1 6 7 , 3 1 9 4 0 4 3 4 6 3 4 9 9 0 0 9 9 9 0 5 , 5 1 6 8 0 7 0 8 8 5 4 8 5 8 3 2 3 0 7 2 , 8 3 6 2 1 1 4 3 4 8 9 8 4 8 4 2 2 9 7 7 , 1 3 5 3 0 1 8 5 2 3 4 4 7 0 6 7 4 6 0 4 9 , 2 1 8 9 2 2 9 9 5 8 3 4 5 5 5 1 6 9 0 2 6 , 3 5 4 2 2 4 8 4 8 1 7 9 2 6 1 9 1 5 0 7 5 , . . . .

inductive-programming.org

Content

News

CfP: PEPM'10 at POPL'10

ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM'10) co-located with POPL'10 in Madrd Spain - January 18-19 2010 - welcomes contributions on techniques for program synthesis and inductive programming. See the Call for Papers at http://www.program-transformation.org/PEPM10.

[more]

19.06.2009

AAIP 09 deadline extension

>The submission deadline for AAIP 09 has been extended to May 25th, 2009.

[more]

12.05.2009

Mailing List problems fixed

Due to an Apache bug our mailing list didn't work properly. This should be fixed now. If you still encounter problems, please let us know (contact the admin).

[more]

12.03.2009

Repository Online

Thanks to our project student Thomas Hieber we are glad to announce further progress at one of our construction sites. He as updated the systems' section and started to build up a repository of example problems. A first set of systems is already compared in a uniform framework. Everybody who is missing a/his/her system is highly encouraged to contribute.

[more]

19.02.2009

AAIP '09 accepted

The next workshop on Approaches and Applications of Inductive Programming 2009 (AAIP'09) will be held in conjunction with the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009). Detailed information can be found at the workshop homepage.

[more]

07.01.2009

AAIP '09 --- Call for Sites

Call for Sites for the Workshop on Approaches and Applications of Inductive Programmin 2009 is open. Comments and suggestions can be posted at the bulletin board.

[more]

11.07.2008

Bulletin Board online

We set up a blog as bulletin board for our homepage. You can access it under inductive-programming.org/IPblog. We will post announcements and discussions there.

[more]

11.07.2008

New IP Logo

We are proud to present our new IP logo. It depicts the stylised acronym for Inductive Programming, with the letters I and P overlay on their stems. Circles emerging from the bottom to the top of the stem symbolise the induction from examples. The bowl of the P is an arrow pointing backwards to the first emerging circle representing recursion and loops.

We also adjusted the whole appearence of our site. Thanks to Sanne Grabisch http://ideal.istik.de helping with the layout and especially for designing this fantastic logo.

[more]

19.03.2008

Welcome

Welcome to inductive-programming.org, the online platform of the Inductive Programming community. At the workshop for "Approaches and Applications of Inductive Programming" at ECML 2007 in Warsaw, its participants agreed in the need for an online inductive programming portal to promote the research field of IP at large and create a contact point for everybody interested in IP in particular.

This page went online on 16th October 2007 and will continually be updated. Finally it will contain information about researchers working in the field of inductive programming, IP systems and their applications, IP related publications, challenge problems, news, and events.

The aim of this page is to represent the work and achievements of the whole community and therefore please feel free to contribute! Proposals for improvements, constructive criticisms, suggestions, wishes, complaints as well as any kind of helpful input are always welcome. Just contact the admin.

This file was last modified on Thursday March 20, 2008