[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*********************************************** CALL FOR PARTICIPATION PPDP 2017 19th International Symposium on Principles and Practice of Declarative Programming Namur, Belgium, October 9-11 http://complogic.cs.mcgill.ca/ppdp2017 co-located with LOPSTR 2017 27th International Symposium on Logic-Based Program Synthesis and Transformation Namur, Belgium, October 10-12 https://www.sci.unich.it/lopstr17/ *********************************************** Registration is now open: https://events.info.unamur.be/ppdp-lopstr-2017/ ** Early registration deadline: September 15, 2017 ** INVITED TALKS: Marieke Huisman (Universiteit Twente) A Verification Technique for Deterministic Parallel Programs (joint PPDP/LOPSTR speaker) Sumit Gulwani (Microsoft) Programming by Examples: Applications, Algorithms, and Ambiguity Resolution (joint PPDP/LOPSTR speaker) Serge Abiteboul (INRIA) Ethical issues in data management (PPDP) Grigore Rosu (University of Illinois at Urbana-Champaign) K: A Logic-Based Framework for Program Transformation and Analysis (LOPSTR) Please consult the conferences' webpages for a list of accepted papers. Hope to see you in Namur !