Presented papers:
- “Case of (quite) painless dependently typed programming: fully certified merge sort in Agda” by Ernesto Copello, M.Sc., Research Assistant and Lecturer in Computer Science at the School of Engineering, Dr. Álvaro Tasistro, Professor of Computer Science and Academic Coordinator of the Master’s in Engineering (Research Track), and Bruno Bianchi, Engineer, Research Assistant for the “Programming Languages and Methods in Type Theory” project funded by the Clemente Estable Fund of the School of Engineering.
Presented by Dr. Tasistro.
- “Model-driven engineering in the heterogeneous tool set” by Daniel Calegari, Assistant Professor at the Institute of Computing, Faculty of Engineering, University of the Republic; Dr. Till Mossakowski, Professor of Theoretical Computer Science, Faculty of Computer Science, Otto-von-Guericke-Universität Magdeburg (Germany); and Dr. Nora Szasz, Academic Coordinator of Systems Engineering, who presented the article.