The results obtained in the research project have been presented at major conferences in the field, and appear as publications in the proceedings of these conferences, as well as in major journals of the field (see Publications).

In addition, the PI and the coPI have undertaken the following dissemination and outreach activities:


  • Invited talk at the 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, in July 2016.
  • Invited talk at the Logic Seminar of the Computer Science Department of Stanford University in June 2016.
  • Invited talk at the Computer Science Department of the University of Marseille, France, in July 2016.


  • Invited lecture on “Logics of Dependence and Independence” at the Dagstuhl Seminar in June 2015 and at the 10th International Computer Science Symposium in Russia (CSR 2015) in July 2015.
  • Invited lecture at the 4th CSLI Workshop on Logic, Rationality & Intelligent Interaction (May 2015).
  • Invited lecture at the  Bogazici University Logic Seminar, Istanbul, Turkey in  August 2015.
  • Co-chaired the program committee of the 9th International Conference on Web Reasoning and Rule Systems (RR 2015), which took place in August 2015. This conference, together with the associated Reasoning Web (RW 2015) summer school, offers a venue for dissemination and education in the area of rule based systems and web data management.