[Iris] [reminder] CFA: Workshop on Truth, Definability and Quantification into Sentence Position