Jesús Aransay

Hay 10 posts etiquetados con Jesús Aransay.

¿Puede un teorema ser acíclico?

Ponentes: Jesús María Aransay Azofra, Laureano Lambán Pardo, Julio Rubio García (Grupo PSYCOTRIP, Universidad de La Rioja).

Lugar: Seminario Mirian Andrés (Edificio CCT).

Hora: martes 8 de noviembre de 2022, 11:00.

Resumen: ¿Qué? ¿Qué sentido tiene esa pregunta? Para intentar explicarlo haremos un recorrido apasionante (o, al menos, apasionado) en el que confluyen la lógica, la topología, la combinatoria, la informática (de la más teórica a la más aplicada) e incluso la teoría de juegos (o, al menos, un juego).

Desplegando servicios en la nube: Apache Spark

Ponente: Jesús María Aransay Azofra (Universidad de La Rioja)

Lugar: Salón de Actos (Edificio CCT), o a través de Blackboard (https://bit.ly/salaDMC)

Hora: martes 21 de diciembre, 11:00

Resumen: En esta charla ilustraremos cómo se puede automatizar el despliegue de un clúster Apache Spark en la nube (en concreto, en un entorno OpenStack). Para ello usaremos la utilidad “cloud-init” que permite configurar máquinas virtuales durante su creación. Una vez desplegado, presentaremos algunas de las posibilidades de uso de Apache Spark para cálculo distribuido y para ciencia de datos y gestión de información.

Hacia el uso de prácticas DevOps en la docencia

 

Ponentes: Eloy Javier Mata Sotés, Jesús María Aransay Azofra (Universidad de La Rioja)

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: jueves 10 de mayo, 13:00

Resumen: En esta charla se introducirán algunos conceptos novedosos pero que empiezan a ser de uso extendido en Ingeniería del Software, y que también son presentados en el Máster en Tecnologías Informáticas, como son prácticas DevOps: metodologías ágiles, entrega, despliegue e integración continuas. Además desarrollaremos algunos ejemplos prácticos usando sistemas de control de versiones y servidores de integración continua para ilustrar cómo estas técnicas se pueden aplicar en la gestión de trabajos y prácticas de estudiantes.

Java 1.8. ¿Puede la programación orientada a objetos ser funcional?

 

Ponentes: Jose Divasón, Jesús Aransay

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: martes 21 de marzo, 12:00

Resumen: en esta charla haremos una breve presentación de algunas de las características más relevantes de Java 1.8. En particular, nos centraremos en las nuevas propiedades del lenguaje que permiten usar en Java tanto expresiones lambda como “streams”. La charla pretende ser una introducción a estas características por medio de ejemplos y casos de uso que permitan ilustrar su sintaxis.

Puedes encontrar las transparencias de la charla en el siguiente enlace.

Transferring lemmas and proofs in Isabelle/HOL: a survey

Ponente: Jesús Aransay (Universidad de La Rioja)

Lugar: Seminario Mirian Andrés (Edificio CCT)

Hora: martes 11 de octubre, 12:00

Nota: la charla se trata de una prueba de tiempo para la presentación del mismo titulo que tendrá lugar en el Seminario “Universality of Proofs” que se celebra en el Leibniz-Zentrum für Informatik (Schloss Dagstuhl).

Abstract: Data types admit different representations. The reasons to prioritise one or another range from efficiency to simplicity. Interactive theorem provers allow users to work with these representations and offer tools that ease their communication. These tools are required to preserve the formalism among the representations. In this talk we present some use cases in the proof assistant Isabelle/HOL, defining the scope of each of these tools and their possible scenarios.

Puedes encontrar las transparencias de la charla en este enlace.

Get out of my cloud: interacción con OpenStack y uso de contenedores con Docker

Ponente: Jesús María Aransay Azofra (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 26 de mayo, 12:00

En la charla haremos una presentación de la infraestructura como servicio basada en OpenStack que nos ha facilitado el CETA para su uso en el Máster en Tecnologías Informáticas de la Universidad de La Rioja. También haremos una breve introducción al uso de contenedores para despliegue de servicios por medio de Docker.

 

A través de este enlace puedes acceder a las transparencias de la charla.

Rendering useful formalized mathematics, with an application to image processing

 

Ponente: Jesús Aransay (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 9 de diciembre, 12:00

La charla está dentro de la “Bioimaging week” dedicada a distintos aspectos de la investigación en el procesamiento de imágenes biomédicas

Se trata de una prueba de tiempo para el Thematic Program in Computer Algebra que se celebra en Toronto entre Junio y Diciembre