Diana Costa has left us to join the LASIGE project at the University of Lisbon, where she has a obtained a prestigious Fellowship. Diana will continue at UCL as an Honorary Research Fellow and will continue to work with David on proof-theoretic semantics, (associated with the ReLiC project) and with James, Aquinas, and David on pregraphs, compositionality,and local reasoning.
1
interfacereasoning.com 