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.

 

 

 

The Importance of Protecting Your Inventions On Time

 

BigML, in collaboration with Telefónica, the law firms of Schwabe Williamson & Wyatt and FisherBroyles, ValenciaLAB, and the Valencian Municipality (VIT Emprende, València Activa, and Ajuntament de València) are bringing to Spain a special event about the importance of patents in protecting your inventions expeditiously.

This event will be held in Madrid, Barcelona, and Valencia, on October 25, 26 and 27 respectively. These three workshops will cover the importance of being IP-aware, as protecting the Intellectual Property (IP) of your business is key for its commercial success, whether your product is on the market or still under development. By patenting your ideas, brand, and offerings, your company becomes more competitive in the marketplace and more attractive for investors willing to support your company.

 

La Jornada anual de la Cátedra Telefónica habla de presente y futuro del audiovisual valenciano

El próximo 19 de Octubre a las 12h. en el Salón de Actos de la E.T.S. Ingenieros de Telecomunicación de la Universitat Politècnica de València  (Edificio 4D) se celebra la Jornada Anual de la Cátedra Telefónica de la UPV.

Este año la invitada especial es la periodista Empar Marco, Directora General de la Corporació Valenciana de Mitjans de Comunicació, los nuevos medios públicos autonómicos; con quien se debatirá sobre los retos técnicos de poner en marcha los diferentes soportes.

Se prevé repasar las principales actividades realizadas por la Cátedra y finalmente, después de un turno de debate, habrá un aperitivo.

El acto será presidido por el Rector de la Universitat Politécnica de València, Francisco Mora Más y por José Manuel Plaza Sanz, Director Territorial de Grandes Empresas y Administraciones Públicas de Telefónica, también intervendrá el director de TelecomVLC, Alberto González Salvador.

La asistencia es gratuita.

Os esperamos

Agenda Jornadas Cátedra Telefónica 2017 – 19 Octubre 2017

Salón de Actos E.T.S. Ingenieros de Telecomunicación Universitat Politècnica de València  (Edificio 4D)

12:15h  Bienvenida y Presentación de la Jornada

  • FRANCISCO MORA MAS, Sr. Rector Magfco. Universidad Politécnica de Valencia.
  • JOSÉ MANUEL PLAZA SANZ, Director Territorial Grandes Empresas y Administraciones Públicas de Telefónica.

12:20h   Informe Anual

  • ALBERTO GONZÁLEZ SALVADOR, Director Escuela de Ingenieros de Telecomunicación, Director Cátedra Telefónica UPV

12:45h   El futur i el present del sector audiovisual valencià

  • Dª. EMPAR MARCO,  Directora General de la Corporación Valenciana de Medios de Comunicación

13:15h  Coloquio

13:25h  Clausura de la Jornada 

  • ALBERTO GONZÁLEZ SALVADOR, Director de la E.T.S.I. Telecomunicación y Director de la Cátedra Telefónica

13:30h  Aperitivo

Sobre la ponente:

Empar Marco Estellés és llicenciada en Filologia Hispànica per la Universitat de València.
Des del mes de març és directora general de la Societat Anònima de Mitjans de Comunicació, càrrec al qual va accedir després d’un concurs públic. Des d’aquell moment treballa per a retornar als valencians el servei públic de comunicació des del Centre de Producció de Programes de l’edifici de Burjassot.

Anteriorment era la delegada de TV3 al País València. Des del 2003 ha hagut d’explicar des d’incendis, nevades o inundacions a casos de corrupció, falles i festes, canvis de govern… o el tancament, per exemple, dels repetidors que permetien la recepció dels senyals de TV3 o Catalunya Ràdio al País Valencià. Va viure i narrar en primera persona el tancament de Canal 9 des de dins les instal·lacions de Burjassot.

D’altra banda, Marco ha sigut corresponsal dels diaris Avui i La Vanguardia i de Catalunya Ràdio. Va treballar des dels seus inicis en Canal 9 Ràdio, primer com a lingüista i més tard com a redactora. A més, en va ser una de les autores del primer llibre d’estil.

També ha col·laborat en diverses publicacions com ara la revista Mètode de divulgació científica de la Universitat de València, la revista El Temps i, el diari El País, entre d’altres publicacions.

Abans de dedicar-se al periodisme va treballar en la Diputació de València i al Servei de la Dona i el Servei de Patrimoni de la Conselleria d’Educació i Cultura.

 

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/