Charla Arnd Hartmanns (Universität des Saarlandes)

Este miércoles 19 de noviembre, a las 14:00 en la Sala Smith, Arnd Hartmanns dictará una charla en el marco del grupo. A continuación los datos de la charla:

Charla José Santos (INRIA Sophia Antipolis Méditerranée)

Este martes 18 de noviembre, a las 16:00 en la Sala Smith, José Santos dictará una charla en el marco del grupo. A continuación los datos de la charla:

Second semester visits within MEALS

Along the semester July-December 2014, we have received/will receive the visit of the following researchers:

Charla Prof. Dr. Ernst-Erich Doberkat (TU Dortmund)

Este lunes 20 de Octure, a las 11:30 (aula a confirmar), el Prof. Dr. Ernst-Erich Doberkat dictará una charla en el marco del grupo. A continuación los datos de la charla:

Nuevos proyectos financiados por la UNC

Días atrás, la SeCyT-UNC informó los resultados de la convocatoria para subsidios tipo A, B, C y programas. Entre los beneficiados se encontraba un programa y tres proyectos cuyos titulares y la mayoría de los participantes son miembros de el DSG. Los proyectos beneficiados son:

Tags: 

Visists on March 2014

Starting on the 27th of February and until the end of March, we are happy to have the following researchers working with us:

All visits are within the framework of the MEALS project.

FACAS 2014

El "Segundo Taller Argentino de Fundamentos para el Análisis y Construcción Automática de Software", FACAS2014, se realizará los primeros días de marzo, en Santa Fe. Más información sobre la actividad en la página de FACAS2014

Paper accepted at FoSSaCS 2014

Title: Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules

Authors: Pedro R. D'Argenio, Daniel Gebler, Matias David Lee.

Trabajo de Grado - Gastón Ingaramo y Matías Tealdi

El martes 17 de diciembre de 2013 a las 10:00 hs. en el auditorio de la FaMAF, Matías Tealdi y Gastón Ingaramo defenderán sus respectivos trabajos de grado.

Ambos trabajos implementan versiones paralelizadas masivamente sobre GPGPU de los algoritmos numéricos Jacobi y Gauss-Seidel que se ejecutan en el back-end de la herramienta de verificación PRISM.

Debajo pueden encontrar los resúmenes de los respectivos trabajos.

Pages

Powered by Drupal