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.

HUAWEI Connected Campus Ideas Competition

Competición “Connected Campus Ideas Competition” organizada por Huawei.

 

Se trata de una competición a nivel europeo en la que se motiva a los estudiantes universitarios de 18 a 25 años a compartir casos relacionados con el IoT (internet de las cosas). Huawei seleccionará e invitará a los 10 mejores a la Feria especializada en internet de las cosas “Huawei Eco-Connect Event” en Berlín y los premiará con un dispositivo de Huawei. Posteriormente se elegirán a los 4 mejores qué ganarán un viaje de dos semanas a China y un dispositivo Huawei.

 

http://www.huaweiconnecteurope.com/ccic/ccic.jsp

Nueva visita a Ford el 22 de junio

Desde el Club de Empleo nos complace invitarte a una nueva actividad. En este caso se trata de una visita a la multinacional Ford, con sede en Valencia (Almussafes). El objetivo de esta visita es acercar al estudiante a la realidad de la industria, conocer las plantas e instalaciones y familiarizarse con el método de trabajo.

La visita tendrá lugar el próximo día, 22 de Junio a las 10:30. Se calcula una duración estimada de 2 horas. Ford no proporciona medio de transporte para este evento, por tanto cada alumno deberá presentarse directamente en las oficinas centrales de la fábrica, cuya localización exacta puedes consultar en google maps realizando la siguiente consulta: “Ford España S.L. Factoría Valencia, Almusafes, accediendo desde el enlace https://goo.gl/maps/AoKP4xaZnsy o mediante el código QR que se ve en la imagen.

Si estas interesado/a en asistir, puedes inscribirte enviando un correo a qdat@upv.es con los siguientes datos: nombre y apellidos, DNI, correo electrónico, teléfono, estudios que estéis realizando o que hayáis finalizado y año de nacimiento.

Más información: http://www.upv.es/contenidos/SIEQDAT/info/992459normalc.html

 

Charla invitada Semmle

 

El próximo jueves 8 de junio a las 10:00 en la sala de juntas del DSIC, se realiza una presentación por parte de  Arthur Baars de la empresa Semmle.

La charla tiene un doble objetivo:

1) Por un lado presentar su sistema de análisis de software, que es puntero a nivel mundial (entre sus clientes están Google, Microsoft, Dell, La Nasa, Credit Suisse…).

2) Por otro lado,  dado que la empresa va a abrir una sucursal en Valencia, se presentará el modelo de recursos humanos que siguen (tras la charla podrá entrevistarse con posibles candidatos).

————————————————————————————————
Semmle: Making the world’s software better

Semmle has grown from a small spinout from the University of Oxford into the leading innovator in the field of software engineering analytics. Some of the most highly regarded software development organizations in the world use Semmle to develop better software faster. Built on groundbreaking compiler and data analysis research, Semmle enables developers, team leads, managers, and executives to gain actionable insights from the code created in their organisations.

In this presentation I’ll briefly introduce Semmle and our new webplatform lgtm.com, before diving into the technology behind all that we do. This is Semmle QL, a declarative, object-oriented  query language. It is a modern variant of Datalog. We’ll look into several industrial use cases of Semmle QL before exploring the QL language by example.

Finally, Semmle is ever expanding, and we’re always looking for new talent for our offices in Oxford, San Francisco, Copenhagen, New York, and our future office in Valencia! (more on that at the end of the presentation)

https://lgtm.com/
https://semmle.com/
https://semmle.com/careers/

 

Conferencia: “Information Artifact Evaluation” by Using the TEDS Method and the TEDS Rating Tool”

El próximo viernes 26 de mayo a las 12:30h, en la sala de reuniones del edificio 1H de l’Escola Tècnica Superior d’Enginyeria Informàtica, el profesor Hans Jocho Scholl de la Universidad de Washington impartirá la conferencia “Information Artifact Evaluation” by Using the TEDS Method and the TEDS Rating Tool”

La evaluación de los sistemas de información como artefactos resultantes de los proyectos de ingeniería de software ha sido uno de los temas principales de investigación en la disciplina durante mucho tiempo.

Recientemente, la evaluación de dichos artefactos (por ejemplo, aplicaciones móviles o sitios Web) se ha convertido en un tema de capital importancia, puesto que estos son cruciales para mejorar los beneficios de las empresas, y, por tanto, su efectividad es clave.

El marco TEDS es una nueva y exhaustiva aproximación a la evaluación y comparación sistemática de artefactos. Presentado hace pocos años,  su poder analítico en la evaluación de artefactos ha sido probada empíricamente. La charla ofrecerá una visión detallada de TEDS, y se discutirá la evidencia empírica de sus ventajas. Asimismo, se presentará TEDSrate, desarrollada para soportar las evaluaciones realizadas mediante TEDS.

Os esperamos el próximo viernes 26 de mayo en LA SALA DE REUNIONES del edificio 1H

Más información aquí: talkDescription

Anuncio de charla: “Paradigmas FP y OOP usando técnicas avanzadas de programación asíncrona.” Jueves 18 de mayo 12:30

Dentro del ciclo de charlas de empresa, Cap Gemini realizará una presentación el jueves 18 de Mayo a las 12:30 horas en el salón de actos de la ETSINF

 

“Paradigmas FP y OOP usando técnicas avanzadas de programación asíncrona.”

En la charla se expone la potencia que tienen los lenguajes funcionales y orientados a objetos cuando se usan técnicas avanzadas asíncronas en los dispositivos de nueva generación. Dos de los principales paradigmas de programación como es el OOP está absorbiendo a la programación funcional en las nuevas Api’s de los principales lenguajes de programación.

La programación asíncrona  permite conseguir una mayor eficiencia en el software ya que no bloquea  hilos de ejecución para procesos largos o interacciones con el usuario. Sin embargo,muchos usuarios encuentran complejo entender en un principio esta forma de programar por estar acostumbrados a pensar de forma imperativa y secuencial.


Víctor Bolinches

De origen Ninja Developer, actualmente Software Architect en Capgemini, con más de 7 como profesional, desarrolla y consume gran variedad de tecnología que le hace crecer día a día. Apasionado por dar valor a las cosas construidas

mediante Software, es considerado políglota y amante de las metodologías ágiles, patrones de diseño y predicador del Clean Code y el TDD.
Github: @vicboma1
Twitter: @vicboma1

Expertise principal: Technical lead, Diseño y desarrollo de arquitecturas, Construcción de motores de videojuegos, Desarrollo de Micro Frameworks, Programación Asíncrona, uso de clevers.

Charla Geekhubs en la ETSIN:De Java a Kotlin, proyecto en producción. Jueves 11/5/17

 

El Jueves 11 de mayo a las 19:00, Geekhubs en colaboración con la ETSINF, organiza la charla: “De Java a Kotlin, proyecto en producción”

En esta charla #techHour hablaremos de Kotlin, un lenguaje de programación diseñado para la JVM y Android que combina programación orientada a objetos con características de lenguajes funcionales.

Kotlin está desarrollado por JetBrains, la compañía detrás de IntelliJ Idea con una cantidad de herramientas para desarrolladores. El objetivo fue crear un lenguaje con el que pudieran ser más eficientes y fuera compatible con su base de código actual, casi todo en Java.

Kotlin es 100% compatible con Java, aplicaciones en Android, aplicaciones de escritorio, …

En este caso tendremos una tupla de hermanos para explicar Kotlin.

En la primera charla Carlos nos hablará de Java a Kotlin dando una introducción a Kotlin contando las diferencias con Java, explicando la migración y características destacables del lenguaje.

Y en la segunda parte de la charla Miguel Ángel hablará de Kotlin en producción de la startup iAmarre. En este caso contará ¿Qué aporta Kotlin en un proyecto real?, ¿está preparado para ser usado en producción? La charla cuenta lo que supone usarlo en un proyecto real, llegando en los últimos meses a emplearlo full-stack (tanto en server como en cliente envolviendo a AngularJS).

                                                Carlos Ballesteros

Programador autodidacta y multidisciplinar. Fundador de Kotlin.es y creador de JTransc y Korge Game Engine.

                                         Miguel Ángel Ballesteros

Con más de 20 años en el mundo Java, ha pasado por consultoras, empresas de gaming, y trabajado en múltiples sectores de negocio. Ha dirigido grandes proyectos y equipos amplios de desarrollo. Actualmente prueba fortuna como CTO en la startup iAmarre, que ha recibido premios a la innovación en el sector náutico.

Inscripción:

De Java a Kotlin: proyecto en producción

Thursday, May 11, 2017, 7:00 PM

ETSINF – Escuela Técnica Superior de Ingeniería Informática UPV
1E y 1G, Universitat Politècnica de València, Camí de Vera, s/n, 46022 Valencia Valencia, ES

20 geekshubs Attending

En esta charla #techHour hablaremos de Kotlin, un lenguaje de programación diseñado para la JVM y Android que combina programación orientada a objetos con características de lenguajes funcionales.Kotlin está desarrollado por JetBrains, la compañía detrás de IntelliJ Idea con una cantidad de herramientas para desarrolladores. El objetivo fue crear …

Check out this Meetup →