News

Papers presented at a conference organized by the European Association for Computer Science Logic

July 25, 2014

Two papers authored by faculty members from the School of Engineering were presented at the “Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science.” The event, organized by the European Association for Computer Science Logic, took place from July 14 to 18, 2014, in Vienna, Austria.

The article “Gentle Formalization of Stoughton’s Lambda Calculus Substitution” was presented at the “9th International Workshop on Logical Frameworks and Meta-languages. Theory and Practice.”

The authors are:
- Dr. Álvaro Tasistro, Professor of Computer Science and Academic Coordinator of the Master’s in Engineering (Research Track), who presented the article at the event.
- Ernesto Copello, M.Eng., Research Assistant and Lecturer in Computer Theory at the School of Engineering.
- Dr. Nora Szasz, Academic Coordinator of Systems Engineering.

Additionally, Dr. Tasistro presented his article “On a style of presentation of type systems” at the “Dependently Typed Programming” workshop during the event.