Formación certificada en TIC del SERVEF

El Servicio Valenciano de Formación y Empleo (SERVEF), oferta cursos gratuitos en el ámbito de la formación certificada TIC que puede ser de interés para el alumnado de ETSINF UPV , especialmente para alumnos de 3º y 4º de grado y alumnos de Máster.

Estas certificaciones suelen tener precios elevados en el mercado y el SERVEF los ofrece de manera gratuita. Se trata de cursos oficiales en tecnologías demandadas de: Microsoft, VMWare, Oracle, CISCO, etc…

En el enlace de su página puede consultarse toda la información al respecto y realizar la preinscripción es: http://www.servef.gva.es/formacion-certificada-en-tic

Puedes descargar el pdf con la información también aquí: Folleto cursos TIC servef 2018

Presentación del aula de empresa Roche-UPV 23/1/18 12:00: “BIOINFORMATICA PARA LA MEDICINA PERSONALIZADA”

 

El próximo 23 de enero de 2018 a las 12:30 en el salón de actos de la ETSINF 1E (UPV) se realiza un evento de presentación del aula de empresa Roche-UPV. El evento incluye la charla “”Bioinformática + análisis de big data genómico = Medicina de precisión”. La conferencia inaugural del aula la imparte Dr. Joaquín Dopazo Blazquez (Fundación Progreso y Salud, Junta de Andalucía)

Conferencia inaugural:

“Bioinformática + análisis de big data genómico = Medicina de precisión”

A cargo del Dr. Joaquín Dopazo Blazquez (Fundación Progreso y Salud, Junta de Andalucía)

El Dr. Joaquín Dopazo es doctor en Biología por la Universidad de Valencia (1989). Tras varias estancias en diferentes centros de investigación y compañías, trabajó durante 5 años en GlaxoWellcome (ahora Glaxo SmithKline) durante los últimos años noventa. Allí estuvo a cargo de la unidad de Bioinformática del nodo español, desarrollando métodos para el análisis genómico bacteriano y participó en varios proyectos de secuenciación del genoma bacteriano y fúngico. En particular, el Dr. Dopazo coordinó el ensamblaje y la anotación del patógeno bacteriano Streptococcus pneumoniae. En 2000 se trasladó al Centro Nacional de Investigaciones Oncológicas de España (CNIO), donde creó el grupo de Bioinformática. En el CNIO coordinó el diseño del primer microarray español (el Oncochip) en 2000 y desarrolló uno de los recursos más utilizados para el análisis e interpretación de datos transcriptómicos en la web, el Babelomics (www.babelomics.org, citado más de 1500 veces). En 2005, el Dr. Dopazo se mudó al Centro de Investigación Príncipe Felipe (CIPF, Valencia) donde estableció el Departamento de Genómica Computacional (anteriormente Bioinformática). Fue director científico del CIPF durante 2012. En 2017 se trasladó al Área de Investigación Clínica en Bioinformática de la Fundación Progreso y Salud, en Sevilla, donde coordina, dentro del Programa Andaluz de Medicina Personalizada, la introducción de datos genómicos en el registro electrónico de salud del paciente (eHR). Además, dirige el nodo de Bioinformática (BiER) del Centro de Investigación Biomédica en Red de Enfermedades Raras (CIBERER), donde coordina un proyecto piloto con siete hospitales en toda España para recopilar datos genómicos del paciente con un software avanzado de priorización (bierapp.babelomics.org). También dirige el nodo de genómica funcional del Instituto Nacional de Bioinformática de España. El alcance de su investigación ha evolucionado en paralelo a la introducción de “Big Data” en las ciencias de la vida.

Jornadas de Networking entre Escuelas

 

Las Jornadas de Networking entre Escuelas tienen como objetivo el promover la creación de equipos multidisciplinares que trabajen en el desarrollo de su proyecto de emprendimiento con el apoyo de los espacios de emprendimiento de las escuelas involucradas y del Instituto IDEAS de la UPV.

 

Las jornadas consistirán en dos sesiones:

 

Sesión 1: Jueves 16 de noviembre de 13:00 a 15:00 hrs. Objetivo: búsqueda de afinidades e intereses comunes mediante actividades de networking.

Sesión 2: Jueves 30 de noviembre de 13:00 a 15:00 hrs. Objetivo: promover la formación de equipos e ideas de emprendimiento.

 

En ambas sesiones tendremos refrescos y pizzas para los asistentes!! :- ).

 

Este es el link para realizar la inscripción:

 

https://goo.gl/forms/M5wKe4qXpSN53Yxv2

 

Tenemos un límite de participantes.

 

Además, se adjunta el cartel de las jornadas con las indicaciones del lugar de realización.

Competición sobre vision por computador + AI de Bayer: Digital4Eyes

Image result for bayer

Shape the future of production: Teach cameras to help operators

We at Bayer are fascinated with the rapid advancements in technology.

Join our Digital4Eyes competition and combine your image recognition skills with our production expertise. Win up to 40.000€ and the chance to implement your solution in our production facilities worldwide.

Submission deadline January 15, 2018

 

https://grants4tech.bayer.com/home/

 

Charla Management Solutions: “Diseño, Desarrollo e Implantación de Sistemas de Información con Equipos Multidisciplinares”

El próximo  jueves 26 de octubre a las 15:00 en el salón de actos de la ETSINF, Management Solutions imparte una charla sobre: “Diseño, Desarrollo e Implantación de Sistemas de Información con Equipos Multidisciplinares” El seminario incluye un resumen práctico de la metodología que aplica la empresa para realizar proyectos de implantación de sistemas de información, así como lecciones aprendidas, tanto desde el punto de vista técnico, como  del operativo y relacional (clientes-equipo).

 

XI Congreso de ISACA Valencia: Ciberdelitos. ¿Cómo evitarlos? ¿Cómo protegerte?

El XI Congreso de ISACA Valencia se celebra los días 26 y 27 de Octubre en la Sala de Cultura de CAJAMAR, en Paseo de la Alameda 34 de Valencia. https://www.isacavalencia.org/congreso2017.

Gracias al convenio entre ISACA y la ETSINF, nuestra escuela dispone de condiciones especiales para la asistencia.  En concreto la asistencia a las sesiones de las mañanas para los miembros de la ETSINF es gratuita pero requieren de inscripción, las sesiones de almuerzo y por la tarde son de pago según condiciones.  Para disfrutar de estas condiciones especiales es necesario utilizar un código de inscripción. Los interesados en inscribirse al congreso deben solicitar el código por correo electrónico a : secdir@inf.upv.es.

 

 

 

Anuncio de charla: NASA Langley Research Center

El próximo lunes 25 de septiembre a las 12:30h, en el salón de actos del edificio 1H de l’Escola Tècnica Superior d’Enginyeria Informàtica, Laura Titolo y Marco Feliu, miembros del grupo de investigación en métodos formales de NASA Langley, imparten un par de charlas sobre las tareas que están desarrollando actualmente en este centro de investigación de la NASA.

 

Formal methods for safety-critical avionics systems

Part 1: Dr. Laura Titolo
Static Analysis of Floating-Point Programs by Abstract Interpretation
Floating-point arithmetic is an efficient solution for approximating computations on real numbers, which has been extensively used over the past decades in a wide range of applications. The main drawback of floating-point computation is the presence of round-off errors that can make the final floating-point result very different from the one that would be obtained by using real arithmetic. This issue becomes problematic for safety-critical applications, such as aerospace and air-traffic control software. In fact, for these applications, even a small error can lead to catastrophic consequences. For this reason, it becomes essential to estimate the round-off error of floating-point computations in a sound and certified way.
In this presentation, a static analysis framework based on abstract interpretation is presented to deal with this problem.
The static analyzer PRECISA (Program Round-off Error Certifier vIa Static Analysis) implements this technique and automatically computes an over-approximation for the round-off error of an input program. In addition, it provides a certificate that can be externally checked by a theorem prover that ensures its soundness.
PRECISA has several features: it is fully-automatic, it is certified via PVS, it is able to deal with a wide variety of arithmetic functions, even non-continuous ones, it can handle the intrinsical instability of conditionals (if-then-else) and recursion in a sound way, and it is modular, supporting scalable analysis of complex programs.
Laura Titolo is a postdoctoral research scholar at the National Institute of Aerospace (Hampton, VA, USA) and member of the NASA Langley Formal Methods Team.
She received her PhD in Computer Science from the University of Udine in May 2014.
Her research interest include abstract interpretation, static analysis, automatic verification of hybrid systems, and numerical analysis of floating-point programs.
Part 2: Dr. Marco Feliu
Verification-driven development of ICAROUS based on automatic reachability analysis

The Integrated and Configurable Algorithms for Reliable Operations of Unmanned Systems (ICAROUS) is a software architecture being developed for the robust integration of mission-specific software modules and highly assured core software modules.
This talk presents the use of automatic reachability analysis during the development of ICAROUS, as a first step towards a broader formal verification effort of the software architecture.
It shows how simulation based on state-space exploration and LTL model checking has been performed on a formal executable specification of the system in rewriting logic.
Overall, this effort has unveiled issues such as deadlocks and undesired behavior, and has helped improve the ICAROUS design and source code.
Short bio:
Marco A. Feliu is a postdoctoral research scholar at the National Institute of Aerospace (Hampton, VA, USA) and member of the NASA Langley Formal Methods Team.
He received his PhD in Computer Science from the Universitat Politecnica of Valencia in October 2013.
His research interests include declarative programming languages, program analysis, and synthesis.