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

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 helping with the layout and especially for designing this fantastic logo.

[more]

19.03.2008

Publications updated

The list of publications has been updated. Thanks to Ute Schmid for providing the ip-related part of her bibliography. If you want to contribute or you think papers are missing then please send a message with the BibTex entries to the admin.

[more]

21.11.2007

People Section finished

The 'People' section has been finished. There an overview of researchers working in the fieled of IP can be found.

[more]

30.10.2007

AAIP Mailing List transferred

The old AAIP mailing list has now been transferred to ip [HYPHEN] list [AT] inductive [HYPHEN] programming [DOT] org. If you registered to the the old AAIP list, you should have recieved a mail from listserv.uni-bamberg.de's postmaster (postmaster [AT] listserv [DOT] uni [HYPHEN] bamberg [DOT] de). If not, please have a look in your spam folder or use the subscription form to subscribe manually.

[more]

29.10.2007

Mailing List installed

The mailing list of this site is now working. Everybody interested in the latest news of the IP community can sign in here. To post to the list send a message to ip [HYPHEN] list [AT] inductive [HYPHEN] programming [DOT] org.

[more]

24.10.2007

Homepage online

This site is now online as the web portal of the IP community.

[more]

16.10.2007

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