🎯 ¡No te lo pierdas!
🔗 Más información y registro en n9.cl/techtalent
Español
Departamento de Computación
168 posts
Departamento de Computación
@dcexaunrc
Cuenta oficial del Departamento de Computación, FCEFQyN - Universidad Nacional de Río Cuarto
Río Cuarto, Argentina Katılım Aralık 2019
107 Takip Edilen205 Takipçiler
Nuestro Departamento participará en este evento con 𝗰𝗵𝗮𝗿𝗹𝗮𝘀 𝘀𝗼𝗯𝗿𝗲 𝗽𝗿𝗼𝘆𝗲𝗰𝘁𝗼𝘀 𝗱𝗲𝘀𝘁𝗮𝗰𝗮𝗱𝗼𝘀 realizados durante el cursado de la Materia Proyecto (1998), dictada en el segundo cuatrimestre de la carrera de 𝗔𝗻𝗮𝗹𝗶𝘀𝘁𝗮 𝗲𝗻 𝗖𝗼𝗺𝗽𝘂𝘁𝗮𝗰𝗶ó𝗻.
Español
📣 Chɑrlɑs de Divulgɑción Tecnológicɑ.
🗓 Viernes 20 de diciembre, 2024.
⏰ 18:00 hs.
📍 Salón Blanco, Municipalidad de Río Cuarto.
Español
📢Luciano Putruele ha defendido exitosamente su tesis doctoral. Egresado de Licenciatura en Ciencias de la Computación del DC UNRC, realizó su doctorado bajo la dirección del Dr. Pablo Castro, docente de nuestro Departamento. Felicitamos a Luciano y a
@PFCastro_ 👏👏
Español
El artículo “An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria" (by L. Zemín, A. Godio, C. Cornejo, R. Degiovanni, S. Gutiérrez Brida, G. Regis, N. Aguirre and M. Frias) fue aceptado para su aceptación en ACM Trans. on Soft. Eng. and Methodol. TOSEM!
Métodos Formales e Ingeniería de Software@mfisdc
The article “An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria" (by L. Zemín, A. Godio, C. Cornejo, R. Degiovanni, S. Gutiérrez Brida, G. Regis, N. Aguirre and M. Frias) was accepted for publication at the ACM Trans. on Soft. Eng. and Methodol. (TOSEM)
Español
El Departamento de Computación de la UNRC en su totalidad estará eternamente agradecido con nuestro querido Profe
Fundación Sadosky@funsadosky
Para quienes no lo conocieron personalmente, imaginen lo destacado que tiene que ser alguien para que le digan "el profe" en un ambiente en el que muchos lo son.
Español
Es un gran placer anunciar que Cesar Cornejo @cesar_corne , miembro de nuestro departamento, defendió exitosamente su tesis doctoral titulada "Especificación de Modelos Dinámicos y Análisis de Propiedades con Herramientas Basadas en Alloy". Felicitaciones Cesar!
Métodos Formales e Ingeniería de Software@mfisdc
We are very happy to announce that Cesar Cornejo @cesar_corne, member of our Group, has successfully defended his PhD thesis, entitled "Especificación de Modelos Dinámicos y Análisis de Propiedades con Herramientas Basadas en Alloy". Congratulations Cesar!
Español
Facundo Molina @molinaf17 en la presentación del artículo "Abstraction-Aware Inference of Metamorphic Relations" en FSE 2024!
Métodos Formales e Ingeniería de Software@mfisdc
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!
Español
Nos complace anunciar que César Cornejo ha obtenido una beca postdoctoral de CONICET, y desarrollará sus estudios postdoctorales en nuestro Departamento. Felicitaciones César! @cesar_corne
Métodos Formales e Ingeniería de Software@mfisdc
We are happy to announce that César Cornejo has been awarded a CONICET postdoctoral grant, and will be pursuing his postdoc at our Research Group. Congratulations César! @cesar_corne
Español
Sonia Permigiani @SPermigiani, en la presentación del artículo "An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding" en #ABZ2024, Bergamo Italia.
ABZ Conference@ABZ_Conference
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
Español
Haciendo eco de las palabras de Javier Blanco "Se nos fue alguien bueno, que hizo todo el bien que pudo y más, tan singular en nuestro mundo, tan necesario en este tiempo"
Español
Tuvimos la gran fortuna de que Río Cuarto y nuestra Universidad fueran parte de su vida académica. Lo extrañaremos infinitamente.
Español
Nos ha dejado Jorge “El Profe” Aguirre, padre académico de nuestro Departamento de Computación. Fue pionero de la Informática en Argentina, y una persona querida y admirada por toda la comunidad informática nacional.
Español
Haciendo eco de las palabras de Javier Blanco "Se nos fue alguien bueno, que hizo todo el bien que pudo y más, tan singular en nuestro mundo, tan necesario en este tiempo."
Español
El artículo "BEAPI: A Tool for Bounded Exhaustive Input Generation from APIs” (by M. Politano, V. Bengolea, F. Molina, N. Aguirre, M. Frias and P. Ponzio) ha sido aceptado para su publicación en el Software Track de Science of Computer Programming Journal!
Métodos Formales e Ingeniería de Software@mfisdc
📢The paper “BEAPI: A Tool for Bounded Exhaustive Input Generation from APIs”* (by M. Politano, V. Bengolea, F. Molina, N. Aguirre, M. Frias and P. Ponzio) has been accepted for publication at the Software Track of the Science of Computer Programming Journal!
Español
El artículo "BEAPI: A Tool for Bounded Exhaustive Input Generation from APIs” (by M. Politano, V. Bengolea, F. Molina, N. Aguirre, M. Frias and P. Ponzio) ha sido aceptado para su publicación en el Software Track de Science of Computer Programming Journal!
Métodos Formales e Ingeniería de Software@mfisdc
📢The paper “BEAPI: A Tool for Bounded Exhaustive Input Generation from APIs”* (by M. Politano, V. Bengolea, F. Molina, N. Aguirre, M. Frias and P. Ponzio) has been accepted for publication at the Software Track of the Science of Computer Programming Journal!
Español
Nazareno Aguirre presentó el trabajo "Automated Generation of Database Mocks with Symbolic Execution" en el 4th International KLEE Workshop on Symbolic Execution, Lisboa, Portugal
kleesymex@kleesymex
Nazareno Aguirre is now presenting his work on Automated Generation of Database Mocks with Symbolic Execution
Català
La 10th International Conference on Rigorous State-Based Methods!. Felicitaciones a los autores!
English
El articulo "An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding” (por C. Cornejo, M. Novaira, @SPermigiani, N. Aguirre, M. Frias, S. Gutiérrez Brida y G. Regis) fue aceptado para su publicación en ABZ 2024!!
Métodos Formales e Ingeniería de Software@mfisdc
The paper "An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding" (by C. Cornejo, M. Novaira, @SPermigiani , N. Aguirre , S. Gutiérrez Brida and G. Regis) has been accepted for publication at ABZ 2024!
Español