News

Paper accepted for presentation at the International Conference on Rewriting, Deduction, and Programming

April 30, 2015

The article "Dependent types for nominal terms with atom substitutions," whose authors include faculty members from the School of Engineering, was accepted on April 1, 2015, for presentation at the International Conference on Rewriting, Deduction, and Programming: 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015), which will take place July 1–3, 2015, in Warsaw, Poland.

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 authors of the article are:

- Dr. Elliot Fairweather, Research Associate in the Department of Computer Science, King’s College London, United Kingdom.
- Dr. Maribel Fernandez, Lecturer in Computer Science in the Department of Computer Science, King’s College London, United Kingdom.
- Dr. Nora Szasz, Academic Coordinator of Systems Engineering.
- Dr. Álvaro Tasistro, Professor of Computer Theory and Academic Coordinator of the Master’s in Engineering (Research Track).