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.
Dagstuhl Seminar "Approaches and Applications of Inductive Programming"
Ute Schmid (University of Bamberg), Emanuel Kitzelmann (University of Duisburg-Essen), Sumit Gulwani (Microsoft Research) and (Austrian National University) organize Dagstuhl Seminar 46-0113 "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.
4th Workshop AAIP 2011
Ute Schmid and Emanuel Kitzelmann organize the 4th Workshop on Approaches and Applications of Inductive Programming. It will take place on July 19, 2011, in Odense, Denmark. Co-located events are the 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011) and the 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011).
Details can be found on the AAIP 2011 Homepage.
To subscribe to the mailing list, please enter your e-mail address and press the 'Subscribe' button. You will be added to the mailing list soon!
If you wish to unsubsribe from the mailing list fill in the form below. You will not recieve any mails form 'www.inductive-programming.org'. Naturally, you can sign in again if you change your mind later.
Write to the list
If you wish to send a message to this mailing just send your message to the list moderator. Note, that the administrator of 'inductive-programming.org' reserve the right to not forward your message to the list if the message is not of interest to the whole IP community.