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.

Talleres para Divulgaciencia

 

Ponente: Félix Lanas (Universidad de La Rioja) y Rubén Sáenz (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 13 de diciembre, 13:00

Se trata de una prueba de tiempo de los talleres que los oradores han preparado, junto a Carlos Tirado, para presentar en las sesiones de Divulgaciencia, que tendrán lugar el sábado 17, de 18:30 a 20 horas, en el Edificio de la Merced.

Este seminario será retransmitido, de modo experimental, por el sistema de video-streaming de la FUR. La sesión del Seminario podrá ser seguida en: http://www.cebicur.es/live

 

Small Scale reflection: an introduction (4 / 4)

 

Ponente: Yves Bertot (Inria, Sophia Antipolis), Laurence Rideau (Inria, Sophia Antipolis)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 24 de junio, 10:00 a 11:00, 16:30 a 17:30

Abstract: We propose a course in four parts around the “ssreflect” extension of the Coq system.  The first part concerns the general structure of goals, scripts, and the main tactics.  The second part concerns the main libraries to describe numbers, type structures, finite types, and so on.  The third part concerns big operators and relies on an illustration on linear algebra.  The fourth part concerns the general algebraic structures and their instantiation on known mathematical objects, with an illustration on the complex field.

 

Small Scale reflection: an introduction (3 / 4)

 

Ponente: Yves Bertot (Inria, Sophia Antipolis), Laurence Rideau (Inria, Sophia Antipolis)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 23 de junio, 10:00 a 11:00, 16:30 a 17:30

Abstract: We propose a course in four parts around the “ssreflect” extension of the Coq system.  The first part concerns the general structure of goals, scripts, and the main tactics.  The second part concerns the main libraries to describe numbers, type structures, finite types, and so on.  The third part concerns big operators and relies on an illustration on linear algebra.  The fourth part concerns the general algebraic structures and their instantiation on known mathematical objects, with an illustration on the complex field.

 

Small Scale reflection: an introduction (2 / 4)

 

Ponente: Yves Bertot (Inria, Sophia Antipolis), Laurence Rideau (Inria, Sophia Antipolis)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: martes 22 de junio, 10:00 a 11:00, 16:30 a 17:30

Abstract: We propose a course in four parts around the “ssreflect” extension of the Coq system.  The first part concerns the general structure of goals, scripts, and the main tactics.  The second part concerns the main libraries to describe numbers, type structures, finite types, and so on.  The third part concerns big operators and relies on an illustration on linear algebra.  The fourth part concerns the general algebraic structures and their instantiation on known mathematical objects, with an illustration on the complex field.

 

Small Scale reflection: an introduction (1 / 4)

 

Ponente: Yves Bertot (Inria, Sophia Antipolis), Laurence Rideau (Inria, Sophia Antipolis)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: lunes 21 de junio, 10:00 a 11:00, 16:30 a 17:30

Abstract: We propose a course in four parts around the “ssreflect” extension of the Coq system.  The first part concerns the general structure of goals, scripts, and the main tactics.  The second part concerns the main libraries to describe numbers, type structures, finite types, and so on.  The third part concerns big operators and relies on an illustration on linear algebra.  The fourth part concerns the general algebraic structures and their instantiation on known mathematical objects, with an illustration on the complex field.