News
End of project
The project expired with end of September 2010. The development of the Haskell Igor2 version was ceased.
Igor2 version 0.8.0 uploaded
The latest Igor2 version 0.8.0 for Haskell is online as Cabal package and Win32 binary.
AAIP09 Post-Proceedings at Springer
The AAIP Workshop Post-Proceedings have been published as Springer Lecture Notes in Computer Science (LNCS) volume 5812 (LNCS)
PEPM@POPL 2010
Two appers have been accepted for oral presentation at the PEPM workshop on the POPL conference 2010 in Madrid.
Article in HCAR 08
An article about IgorII appeared in the fifteenth edition of the "Haskell Communities and Activities Report"
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.
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.
Igor2 in Haskell
A first Haskell version of IgorII is available as cabal package in the Download section
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.
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.
AAIP'09
Our group, together with Rinus Plasmeijer, is organising the next workshop on Approaches and Applications of Inductive Programming 2009 (AAIP'09).
Article in HCAR 08
An article about IgorII appeared in the fifteenth edition of the "Haskell Communities and Activities Report"
Major Overhaul
The page has been updated, especially the Download and the Members section. New section Activities added.
New example data
New example data for various IP systems (as used in AGI-09 paper submission) is now available in the download section.
Publications updated
The list of publications has been updated
Homepage online
This site is now online as official project homepage.
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)