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.

Jueves, 13 de julio – Jornada Mindful self-leadership for entrepreneurs (Autoliderazgo consciente)


JORNADA: “Mindful self-leadership for entrepreneurs”
PONENTE: 
Gregory Unruh 

FECHA: 13 de julio de 2017
HORARIO: 12.00 a 14.00 horas
LUGAR: Salón de Actos de la Facultad de ADE

¿Eres un emprendedor consciente? El nuevo paradigma ha llegado.

No te pierdas la próxima jornada de Mindful Self-Leadership (Autoliderazgo consciente) impartida por Gregory Unruh, profesor

Experto en negocios sostenibles y liderazgo de valores de la Universidad George Mason.

REGÍSTRATE AQUÍ: http://www.ideas.upv.es/gregory-unruh-en-la-upv/

Evento MageTitans España 30 de junio en Valencia ¡Inscríbete!

El próximo 30 de junio llega a Valencia el primer MageTitans en España, un evento sin animo de lucro creado por y para desarrolladores Magento.

Los objetivos de Mage Titans, son conectar con los grandes desarrolladores de Magento, Colaborar en los grandes proyectos presentes y futuros y Contribuir con la experiencia y las propuestas personales de cada uno de los asistentes.

El objetivo es también fomentar la asistencia de estudiantes al evento, por ello han sacado un descuento del 50% solo para estudiantes (57,50€, el 50% del valor de la entrada normal). Para poder obtenerlo deberán enseñar su carnet de estudiante en el momento de la recepción.

Todo en Valencia el 30 de Junio en MageTitans ES

Este dossier recoge más información sobre el evento: MageTitans ES2017_ES (1)

 

Acceso a la reserva de entrada en eventbrite

The Boston Consulting Group – Women Connection


The Boston Consulting Group (BCG), una consultoría de estrategia y negocios, desde su departamento de Recruiting va a realizar un evento destinado en mujeres, en el cual las estudiantes universitarias podrán conocer mejor la consultoría estratégica y entrar en sus procesos de selección.

¿Estás buscando las mejores opciones para desarrollar tu futuro profesional? ¿Sientes curiosidad sobre la consultoría estratégica, pero no estás segura de si es para ti? ¿Te interesaría formar parte de una empresa líder con un ambiente dinámico de trabajo en equipo?

Si eres una estudiante universitaria y quieres conocer el punto de vista de exitosas profesionales sobre esas y otras preguntas, inscríbete en nuestro tercer encuentro sólo para mujeres:


3rd WOMEN’S CONNECTION
15 DE JUNIO – BARCELONA
22 DE JUNIO – MADRID

Llevaremos a cabo un panel interactivo en el que participarán consultoras y ex-consultoras de BCG, quienes compartirán sus experiencias y su visión sobre las mujeres en consultoría estratégica. Después, disfrutaremos de un cóctel en un ambiente relajado y cercano.

 
Te invitamos a inscribirte en WWW.BCGWOMENCONNECTION.COM antes del 4 de junio. Una vez te inscribas, por favor espera un e-mail de confirmación para asistir. En él incluiremos todos los detalles sobre el evento.

 
Si tienes cualquier pregunta, escríbenos a SPAIN.RECRUITING@BCG.COM

Conferencia BAYER – Foro E2, 6 de abril 16:00h

Asiste y reconoce créditos por actividades, ya que ésta y todas las conferencias realizadas en ETSINF pertenecen al ciclo de conferencias ETSINF 17-18. Consulta las actualizaciones en la App del Foro: http://foroempleo.webs.upv.es/webapp/ > Actividades Foro E2 > (busca por “informática” para encontrar las conferencias a realizar en el Salón de Actos ETSINF (edificio 1H).

Cómo aprovechar el foro e2 si busco empleo o prácticas en 7 pasos: http://empleo.blogs.upv.es/2017/03/31/como-aprovechar-el-foro-si-busco-empleo-o-practicas-en-7-pasos

 

Foro e2 UPV 2017 – 5 y 6 de abril. No te lo pierdas!!

El Servicio Integrado de Empleo (SIeUPV) de la Universitat Politècnica de València quiere invitarte a

participar en el Foro e2 UPV 2017   con + 100 empresas participantes los días 5  y 6 de abril de 2017 junto a la Casa del Alumno – Bulevar.

Todas las + de 85 ACTIVIDADES e información sobre las EMPRESAS estarán disponibles y  se irán actualizando en la APP de Foroe2UPV  – foroempleo.webs.upv.es

  • CONFERENCIAS
  • INTERNACIONAL

Asiste y reconoce créditos por actividades, ya que pertenecen al ciclo de conferencias ETSINF 17-18. Consulta las actualizaciones en la App del Foro: http://foroempleo.webs.upv.es/webapp/ > Actividades Foro E2 > (busca por “informática” para encontrar las conferencias a realizar en el Salón de Actos ETSINF (edificio 1H).

Cómo aprovechar el foro e2 si busco empleo o prácticas en 7 pasos: http://empleo.blogs.upv.es/2017/03/31/como-aprovechar-el-foro-si-busco-empleo-o-practicas-en-7-pasos

Puedes encontrar toda la información relativa al Foro en www.sie.upv.es/foro

 

 

 

Anuncio de charla: Lanzadera – Jueves, 30 de marzo – 12:30h

 

Dentro del ciclo de charlas de empresa, se realizará una presentación por parte de Lanzadera el jueves 30 de Marzo a las 12:30 horas en el aula 1E 0.1.  

La charla la imparte Javier Sáez, director de proyectos de Lanzadera. En la charla se presenta el polo emprendedor Marina de Empresas así como los distintos programas de aceleración de Lanzadera. Javier abordará también los 15 errores más comunes que cometen los emprendedores.