Sonia Permigiani

[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]

Facundo Molina @molinaf17 en la presentación del artículo "Abstraction-Aware Inference of Metamorphic Relations" en FSE 2024!

[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

[Alejandro Díaz-Caro @JanusDC]

Excelente recuento de la historia de la universidad pública en Argentina por @FelipePigna

Dura menos de 15 minutos y vale la pena.

https://t.co/YYrw71EtDM

#UniversidadPublicaArgentina

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

[Fundación Sadosky @funsadosky]

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

[revista crisis @CrisisRevista]

🖥️Durante la primavera democrática se puso en marcha una vanguardista escuela de informática integrada por una banda de nerds que querían conquistar el futuro a través de las pantallas.

¿Qué fue de la Escuela Superior Latinoamericana de Informática?

https://t.co/3IWxADQyhY

[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!

[RIO 2025 @escuelaRio]

Benjamin Kaminski: "Quantitative Deductive Verification" en la Escuela Rio 2024! Inscribite 👉https://t.co/j5BWQm4CzD
@dcexaunrc

[RIO 2025 @escuelaRio]

Joost-Pieter Katoen: "Verification of Fault Trees" en la Escuela Rio 2024! Inscribite 👉https://t.co/kUtOAiW7nK @dcexaunrc

[RIO 2025 @escuelaRio]

Lógicas Modales Dinámicas en la Escuela Río 2024! Inscribite! @dcexaunrc

[VSports Team @VSportsTM]

En febrero de 1992, Diego Maradona viajó a Tres Arroyos. La Asociación de Padres y Amigos del Discapacitado "Caminemos Juntos" necesitaba construir un Centro de Día. Se jugó un partido a beneficio, pero lo realmente mágico fue lo que sucedió después... ❤️🔟

📹YT/Canal de Diego

[Sonia Permigiani @SPermigiani]

@cesar_corne 👏👏Felicitaciones!!!

[Sebastian Uchitel @seba_uchitel]

Welcome!!

[RIO 2025 @escuelaRio]

Río 2023, "Enrutamiento en la Internet Espacial" Dr. Juan Fraire (@TotinFraire)

[Mariano Politano @marianopolitano]

La semana que viene, vuelve la escuela de verano RIO2023. @escuelaRio
https://t.co/O8Luc3sLpg
Te esperamos!

[RIO 2025 @escuelaRio]

📢Están abiertas las Inscripciones a becas de Alojamiento para estudiantes!. Más información en https://t.co/5o06HOWjz2

[Mission Project @Mission_Proj_EU]

MISSION project members will be offering courses about space networking, concurrent systems, and decision-making at the RIO 2023 school @escuelaRio

[Departamento de Computación @dcexaunrc]

https://t.co/4deAQTFRb0