Ponente: Jónathan Heras
Lugar: Seminario Mirian Andrés (Edificio CCT)
Hora: lunes 31 de octubre, 11:30
Puedes encontrar las transparencias de la charla en este enlace.
octubre 2016
Taller de Cloud Computing con Azure
Ponente: Gabriel Grajea (Desarrollador de .NET y gestor de producto en SEMICROL S.L.)
Lugar: Aula 031 (Edificio CCT)
Hora: viernes 28 de octubre, 17:00
Nota: El taller forma parte de la asignatura «Computación en la nube y soluciones de virtualización» del Máster en Tecnologías Informáticas de la Universidad de La Rioja.
Se puede acudir al taller como oyente. Para poder tomar parte activa en el taller es necesario disponer de un equipo con el siguiente software:
- Visual Studio 2015 Enterprise o Community Update 3;
- Microsoft Azure SDK para Visual Studio 2015;
- Microsoft Azure Service Fabric SDK para Visual Studio 2015.
También es necesario contar con una cuenta de Visual Studio Dev Essentials.
Puedes encontrar las transparencias del taller en este 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.