Sonia Permigiani
53 posts
Durante la apertura #ECI2024 se realizó un muy lindo y merecido homenaje al "profe" Jorge Aguirre, figura central de la computación científica argentina. La charla estuvo a cargo de Raúl Carnota (Investigador en Historia FCEyN) e Irene Loiseau (Prof. Consulta referente del DC).
Facundo Molina @molinaf17 presented the work “Abstraction-Aware Inference of Metamorphic Relations" (by A. Nolasco, F. Molina, R. Degiovanni, A. Gorla, D. Garbervetsky, M. Papadakis, S. Uchitel, N. Aguirre and M. Frias) , at FSE 2024 @FSEconf , Porto de Galinhas, Brazil!
Sonia Permigiani gave a talk about "An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding" at #ABZ2024 #ABZ #Conference #Bergamo #FormalMethods #Alloy
📢The article “A Study of the Electrum and DynAlloy Dynamic Behavior Notations” (by César Cornejo, Germán Regis, Nazareno Aguirre and Marcelo Frias) has been accepted for publication at IEEE Transactions on Software Engineering. @ieeetse Congratulations to the authors!
📢 Earlier this year, IEEE TSE was delighted to welcome the addition of: 🔹 Nazareno Aguirre (Universidad Nacional de Rio Cuarto) nmaguirre.github.io 🔹 Christoph Treude (University of Melbourne) ctreude.ca to our Editorial Board! 🎉 #EditorialTeam
📢 Río 2023, del 13 al 17 de febrero! Cursos: - Routing in the Space Internet, Juan Fraire, UNC. - Modeling and Analyzing Concurrent Systems, Thomas Noll, RWTH University, Alemania. - Formal Approaches to Decision-Making under Uncertainty, Arnd Hartmanns, U of Twente, Holanda.
