News

End of project

The project expired with end of September 2010. The development of the Haskell Igor2 version was ceased.

10.11.2010
Igor2 version 0.8.0 uploaded

The latest Igor2 version 0.8.0 for Haskell is online as Cabal package and Win32 binary.

10.11.2010
AAIP09 Post-Proceedings at Springer

The AAIP Workshop Post-Proceedings have been published as Springer Lecture Notes in Computer Science (LNCS) volume 5812 (LNCS)

03.03.2010
PEPM@POPL 2010

Two appers have been accepted for oral presentation at the PEPM workshop on the POPL conference 2010 in Madrid.

25.01.2010
Article in HCAR 08

An article about IgorII appeared in the fifteenth edition of the "Haskell Communities and Activities Report"

01.12.2009
Visiting Researcher O. Monakhov

Oleg Monakhov from the Russian Academy of Sciences, Siberian Branch is visiting our group from 19th of Sept. to 21st of Nov. 2009, funded by DAAD.

19.09.2009
Visiting Researcher S. Katayama

Susumu Katayama from Miyzaki University Japan is visiting from 7th to 10th September. He was the host of Martin Hofmann who spent a two month research visit at his department in summer 2009, funded by the Japan Society for the Promotion of Science.

07.09.2009
Igor2 in Haskell

A first Haskell version of IgorII is available as cabal package in the Download section

18.05.2009
JSPS Fellowship granted

A research fellowship of the Japan Society for the Promotion of Science has been granted to Martin Hofmann. He will spent two month as a visiting researcher in the department of Susumu Katayama at the University of Miyazaki in Japan in summer 2009.

09.04.2009
Ray Kurzweil Prize

The Best Paper Prize at AGI09 has been awarded to N. Crossley, E. Kitzelmann, M. Hofmann, and U. Schmid for their paper Combining Analytical and Evolutionary Inductive Programming.

12.03.2009
AAIP'09

Our group, together with Rinus Plasmeijer, is organising the next workshop on Approaches and Applications of Inductive Programming 2009 (AAIP'09).

08.01.2009
Article in HCAR 08

An article about IgorII appeared in the fifteenth edition of the "Haskell Communities and Activities Report"

01.12.2008
Major Overhaul

The page has been updated, especially the Download and the Members section. New section Activities added.

20.11.2008
New example data

New example data for various IP systems (as used in AGI-09 paper submission) is now available in the download section.

06.11.2008
Publications updated

The list of publications has been updated

03.11.2008
Homepage online

This site is now online as official project homepage.

09.10.2007

Activities, Talks, Conferences and the like


IFL - Sep. 2010
Paper accepted for oral presentation at the 22nd Symposium on Implementation and Application of Functional Languages in Alphen aan den Rijn, the Netherlands.
ECAI - Aug. 2010
Poster Presentaion at at the European Conference on Artificial Intelligence (ECAI) 2010 in Lissabon (pdf)
TFP - May 2010
Paper accepted for oral presentation at the Symposium on Trends in Functional Programming in Norman, Oklahoma, USA.
AAIP 09 - Post-Proceedings at Springer
The AAIP Workshop Post-Proceedings have been published as Springer Lecture Notes in Computer Science (LNCS) volume 5812 (LNCS)
Colloquium at University of Cottbus
Talk in the Group Programming Languages and Compiler Construction of Petra Hofstedt (pdf)
PEPM - January 2010
Two appers have been accepted for oral presentation at the PEPM workshop on the POPL conference 2010 in Madrid.
HCAR - Nov. 09
IgorII has been presented in the seventeenth edition of the "Haskell Communities and Activities Report - November 2009"
Visiting Researcher Oleg Monakhov
Oleg Monakhov from the Russian Academy of Sciences, Siberian Branch is visiting our group from 19th of September to 21st of November 2009, funded by DAAD. Oleg's research interest include template-based evolutionary programming, discovery of scientific equations and algorithms,graph and network algorithms,and parallel and distributed computing.
Oleg is accompanied by his wife Emilia Monakhova who is associate professor in the domain of computational mathematics.
Visiting Researcher Susumu Katayama
Susumu Katayama from Miyzaki University Japan is visiting from 7th to 10th September. He was the host of Martin Hofmann who spent a two month research visit at his department in summer 2009, funded by DAAD.
HCAR - May 09
IgorII has been presented in the sixteenth edition of the "Haskell Communities and Activities Report - May 2009"
AAIP 09
We are organising the next workshop on Approaches and Applications of Inductive Programming 2009 (AAIP'09), which will be held in conjunction with the 14th ACM SIGPLAN International Conference on Functional Programming (ICFP 2009).
AGI 09
Three of our papers have been accepted for oral presentation at the Second Conference on Artificial General Intelligence (AGI-09) Arlington, Virginia March 6-9 2009).
HCAR - Nov. 08
IgorII has been presented in the fifteenth edition of the "Haskell Communities and Activities Report - November 2008"
KI 08
Oral presentation of the paper "Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework" (pdf)
LOPSTR 08
Oral presentation of the paper "Analytical Inductive Functional Programming" (pdf)
ECAI 08
Oral presentation of the paper "Data-Driven Induction of Functional Programs" (pdf)
Colloquium at TU Berlin
Talk in Group Compiler Construction and Programming Languages (ÜBB)of Prof Peter Pepper (pdf)
Master Seminar "Inductive Programming" (Summer 2008)
see the teaching section of the CogSys Group
Colloquium at University of Bremen
Talk in the Group BKB of Prof Bernd Krieg-Brückner (pdf)
www.inductive-programming.org
We are maintaining inductive-programming.org, the online platform of the Inductive Programming community.
KI 07
Poster presentation "Inductive Synthesis of Recursive Functional Programs -- A Comparison of Three Systems" (pdf)
AAIP Warschau
Workshop talk (pdf)