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:

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 aceptado en el libro de la ROCKS Autumn School

Título: A theory for the semantics of stochastic and non-deterministic continuous systems

Autores: Carlos E. Budde, Pedro R. D’Argenio, Pedro Sánchez Terraf, and Nicolás Wolovick

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.

Repercusiones de BaMuAC en los medios

En la siguiente lista, enumeramos diversos links a los distintos medios que informaron sobre la apertura del Banco de Música Autogestionada de Córdoba, un desarrollo liderado técnicamente por Damián Barsotti.

Presentación del Banco de Música Autogestionada

Como parte de las actividades de extensión que realiza FAMAF, un grupo de docentes, bajo la dirección técnica de Damián Barsotti, han elaborado el portal BaMuAC. Se trata de una iniciativa conjunta del la Secretaría de Extensión de la UNC con el MUCC que tiene como finalidad facilitar la cuota establecida en la ley de Servicios de Comunicación Audiovisual para las producciones independientes. El lanzamiento se llevará a cabo el jueves 5 de diciembre a las 18 hs en el Pabellón Venezuela, Ciudad Universitaria.

Pages

more

Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054