Participation at Dagstuhl Seminar #13211

Daniel Varro participated at a Dagstuhl Seminar on Automated reasoning over Conceptual Schemas between May 20-24th.

During the seminar, he gave a lecture on validation and reasoning over advanced domain-specific languages with derived features and well-formedness constraints mapped to the Z3 SMT-solver.