Departamento de Computación

Cuenta oficial del Departamento de Computación, FCEFQyN - Universidad Nacional de Río Cuarto

[Departamento de Computación @dcexaunrc]

🎯 ¡No te lo pierdas!
🔗 Más información y registro en https://t.co/Kq5uH6mUXf

[Departamento de Computación @dcexaunrc]

📣 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.

[Departamento de Computación @dcexaunrc]

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 𝗔𝗻𝗮𝗹𝗶𝘀𝘁𝗮 𝗲𝗻 𝗖𝗼𝗺𝗽𝘂𝘁𝗮𝗰𝗶ó𝗻.

[Departamento de Computación @dcexaunrc]

📢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_ 👏👏

[Departamento de Computación @dcexaunrc]

Feliciatciones a los autores!

[Departamento de Computación @dcexaunrc]

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)

[Departamento de Computación @dcexaunrc]

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.

[Departamento de Computación @dcexaunrc]

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!

[Departamento de Computación @dcexaunrc]

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!

[Departamento de Computación @dcexaunrc]

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

[Departamento de Computación @dcexaunrc]

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

[Departamento de Computación @dcexaunrc]

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"

[Departamento de Computación @dcexaunrc]

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.

[Departamento de Computación @dcexaunrc]

Tuvimos la gran fortuna de que Río Cuarto y nuestra Universidad fueran parte de su vida académica. Lo extrañaremos infinitamente.

[Departamento de Computación @dcexaunrc]

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."

[Departamento de Computación @dcexaunrc]

Gracias por tanto Profe!

[Fundación Sadosky @funsadosky]

Con profundo dolor comunicamos el fallecimiento de Jorge "el profe" Aguirre, pionero de la informática argentina.

[Departamento de Computación @dcexaunrc]

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!

[Departamento de Computación @dcexaunrc]

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!

[Departamento de Computación @dcexaunrc]

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

[Departamento de Computación @dcexaunrc]

Felicitaciones a los autores!

[Departamento de Computación @dcexaunrc]

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!

[Departamento de Computación @dcexaunrc]

La 10th International Conference on Rigorous State-Based Methods!. Felicitaciones a los autores!