News

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.

19.06.2009
AAIP 09 deadline extension

The submission deadline for AAIP 09 has been extended to May 25th, 2009.

12.05.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).

12.03.2009
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.

19.02.2009
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.

07.01.2009

People

Below you find a list of researchers working in the field of Inductive Programming worldwide.

Your name is missing? A link is dead? Something is wrong? Contact the admin!

Australia

University of Tasmania

Canada

University of Ottawa

Czech Republic

Institute: ???

France

Université de Paris Sud, Laboratoire de Recherche en Informatique
Université Jean Monnet Saint-Étienne

Germany

University of Bamberg, Cognitive Systems Group
Technical University Berlin
Technical College Darmstadt

Hong Kong

Lingnan University

Israel

Technicon - Israel Institute of Technology

Italy

University of Bari
University of Firenze

Japan

Univerisity of Miyazaki, School of Engineering

The Netherlands

University of Nijmegen
Utrecht University

Norway

Østfold University College
Norsk Regnesentral (Norwegian Computing Center)

Russia

Institute of Computational Mathematics and Mathematical Geophysics SB RAS

Saudi Arabia

King Fahd University of Petroleum and Minerals

Serbia

University of Novi Sad

Slovenia

Jozef Stefan Institute

Spain

Universidad Carlos III de Madrid
Technical University of Valencia

Sweden

Uppsala University

Swiss

IDSIA - Dalle Molle Institute for Artificial Intelligence
University of Geneva

United Kingdom

The Robert Gordon University, Aberdeen
Imperial College London
University of Kent
University of Salford

United States

Carnegie Mellon University
Duke University
University of Rhode Island
Google Research, Mountain View
Stanford University
 

This file was last modified on Thursday July 08, 2010