News

Publication of an article in Leibniz International Proceedings in Informatics

July 27, 2015
The article “Dependent types for nominal terms with atom substitutions,” co-authored by Dr. Nora Szasz, academic coordinator of Systems Engineering, and Dr. Álvaro Tasistro, professor of Computer Science at the School of Engineering and academic coordinator of the Master’s in Engineering (Research Track), was published in Leibniz International Proceedings in Informatics, which contains the papers presented at the International Conference on Rewriting, Deduction, and Programming: 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015), held July 1–3, 2015, in Warsaw, Poland. The publication is edited by Thorsten Altenkirch.
TLCA 2015 is a peer-reviewed conference organized by the Warsaw Center of Mathematics and Computer Science and the Faculty of Mathematics, Informatics, and Mechanics at the University of Warsaw.

The paper was co-authored by:
- Dr. Elliot Fairweather, research associate in the Department of Computer Science at King’s College London
- Dr. Maribel Fernandez, who presented the paper at the conference, professor of Computer Science in the Department of Computer Science at King’s College London, United Kingdom.