inductive-programming.org

Dagstuhl Seminar on Inductive Programming

The 7th AAIP Workshop on Approaches and Applications of Inductive Programming is accepted as Dagstuhl Seminar 17382 and will take place September 17 to 20, 2017. The workshop is jointly organized by Ute Schmid (University of Bamberg), Stephen Muggleton (Imperial College London), and Rishabh Singh (MIT and Microsoft Research).

For more information, see the Dagstuhl Seminar Page.

RuleML Blog Report about Dagstuhl Seminar AAIP'16

AAIP'16 in the RuleML Blog
http://via.aayo.ws/YmI4J

CACM on Inductive Programming

The review article “Inductive programming meets the real world” by Gulwani, Hernández-Orallo, Kitzelmann, Muggleton, Schmid, and Zorn has been published in the Communications of the ACM, Vol. 58 No. 11, Pages 90-99. 10.1145/2736282
see fulltext

Wikipedia Page on Inductive Programming

José Hernández-Orallo and Ute Schmid created Wikipedia articles for Inductive Programming and Inductive Functional Programming.

Dagstuhl Seminar "Approaches and Applications of Inductive Programming"

José Hernández-Orallo (Polytechnic University of Valencia, ES), Stephen H. Muggleton (Imperial College London, GB), Ute Schmid (Universität Bamberg, DE) and Benjamin Zorn (Microsoft Research - Redmond, US) organize Dagstuhl Seminar 15442 "Approaches and Applications of Inductive Programming" scheduled for October 25 to 30, 2015.

The seminar is a continuation of the AAIP workshop series.

Please visit the AAIP 15 Homepage.

Report of Dagstuhl Seminar

We're pleased to inform you that the report of Dagstuhl Seminar 13502 is now published as part of the periodical Dagstuhl Reports.

The report is available online at the DROPS Server.

Dagstuhl Seminar "Approaches and Applications of Inductive Programming"

Ute Schmid (University of Bamberg), Emanuel Kitzelmann (University of Duisburg-Essen), Sumit Gulwani (Microsoft Research) and Marcus Hutter (Austrian National University) organize Dagstuhl Seminar 13502 "Approaches and Applications of Inductive Programming" scheduled for Monday, December 09 to December 11, 2013. The seminar is a continuation of the AAIP workshop series.

Please visit the AAIP 13 Homepage.

Report of Dagstuhl Seminar

We're pleased to inform you that the report of Dagstuhl Seminar 13502 is now published as part of the periodical Dagstuhl Reports.

The report is available online at the DROP Server.

PhD Position: Automatic Programming

Östfold University College, Halden, Norway invites applications for a Ph. D. position in automatic programming, which is an area of machine learning where algorithms are synthesized by computers. To find out more about automatic programming, please look at http://www.inductive-programming.org The scholarship covers three years of full time research or alternatively four years with 25% teaching. The Ph. D. candidate is expected to work on applications of automatic programming, in particular automatic improvement of algorithms that have been well designed but still have substantial room for improvement. Here are some examples of algorithm design areas where automatic programming has been successfully applied at Östfold University College during the last three years.

• Segmentation of images using pulse-copuled neural networks.
• Controlling steering, gas and breaking for an autonomous vehicle.
• Improving tabu search for combinatorial optimization.
• Pruning of decision trees for data mining.

• Automatic adaption of physical models and simulations to measurement data.
• Optimization of control algorithms.
• Automatic improvement of algorithms for NP hard problems.

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.

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.

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.