Content
News Archive
2009
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.
AAIP 09 deadline extension
The submission deadline for AAIP 09 has been extended to May 25th, 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).
Repository Online
Thanks to our project student Thomas Hieber we are glad to announce further progress iat 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.
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.
2008
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.
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.
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.
2007
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.
People Section finished
The 'People' section has been finished. There an overview of researchers working in the fieled of IP can be found.
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.
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.