Seminario Mirian Andrés
Seminario Mirian Andrés
Sitio web del Seminario Mirian Andrés del Departamento de Matemáticas y Computación de la Universidad de La Rioja
Saltar a contenido

2008/2009

Hay 23 posts etiquetados con 2008/2009.

Navegación de Post

Coordinación de servicios Web: de las aplicaciones a los modelos formales

 

Ponente: Eloy Mata (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 5 de marzo, 09:00

Se trata de una prueba de tiempo de la defensa de su tesis doctoral, que acontecerá el viernes 13 de marzo.

 

en Charla | March 5, 2009 | 39 Palabras

Más sobre seguridad en aplicaciones web

 

Ponente: Francisco José García Izquierdo (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 26 de febrero, 09:00

 

en Charla | February 26, 2009 | 22 Palabras

Seguridad en aplicaciones web

 

Ponente: Francisco José García Izquierdo (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: jueves 19 de febrero, 09:00

 

en Charla | February 19, 2009 | 22 Palabras

Modelling Differential Structures in Proof Assistants: the Graded Case

 

Ponente: César Domínguez (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 11 de febrero, 10:00

Se trata de una prueba de tiempo de la charla que impartirá en el workshop “Intelligent Information Processing” del Congreso Eurocast 2009, esta misma semana.

en Charla | February 11, 2009 | 45 Palabras

Métodos Formales y Cálculo Simbólico

 

Ponente: Julio Rubio (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 4 de febrero, 10:00

Se trata de una prueba de tiempo de la charla que impartirá en el congreso de la RSME de Oviedo, esta misma semana.

 

en Charla | February 4, 2009 | 43 Palabras

Introducción general a SAP

 

Ponente: Arturo Fernández (Consultor)

Lugar: Aula 104, Edificio Vives

Hora: viernes 30 de enero, 13:00

 

en Charla | January 30, 2009 | 15 Palabras

Normalizando la normalización

 

Ponente: César Domínguez (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 3 de diciembre, 09:00

 

en Charla | December 3, 2008 | 22 Palabras

De como un ejercicio sencillo puede llevar a conceptos complejos: el caso de los genéricos

 

Ponentes: Ángel Luis Rubio García (Universidad de La Rioja), María Vico Pascual Martínez-Losa (Universidad de La Rioja), Francisco José García Izquierdo (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 26 de noviembre, 09:00

 

en Charla | November 26, 2008 | 42 Palabras

Coq in action

 

Ponente: César Domínguez (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: viernes 21 de noviembre, 13:00

 

en Charla | November 21, 2008 | 21 Palabras

Lógica Computacional y Cálculo Simbólico

 

Ponente: Julio Rubio (Universidad de La Rioja)

Lugar: Seminario Chicho (Aula 314, Edificio Vives)

Hora: miércoles 12 de noviembre, 09:00

Se trata de una prueba de tiempo de la charla
que daré esta semana en la Universidad deSevilla, en las Jornadas de Lógica, Computación e Inteligencia Artificial. http://doctorado.cs.us.es/web/mod/resource/view.php?id=91

 

en Charla | November 12, 2008 | 60 Palabras

Navegación de Post

Mapa del sitio

  • Acerca de
  • Data Provenance Staff Week
  • Experiencias de uso de Sistemas de Información Geográfica
  • II Experiencias de uso de Sistemas de Información Geográfica
  • Linear Algebra in Isabelle/HOL
  • Soluciones .NET para el desarrollo de software en producción
  • UR Image Processing week

Recent Posts

  • ¿Reemplazará la IA a los artistas? Modelos de difusión y sus implicaciones
  • Modelo de detección temprana para la tinta del castaño a partir de imágenes tomadas mediante vuelos dron
  • Automatización de migraciones de Bamboo a Azure DevOps
  • Gaia DR3: un reto científico y tecnológico
  • Servicios locales de modelos predictivos climáticos

Categories

  • Charla
  • Jornada
  • Reunión
  • Taller

Archives

  • February 2023
  • January 2023
  • December 2022
  • November 2022
  • October 2022
  • July 2022
  • June 2022
  • May 2022
  • April 2022
  • March 2022
  • February 2022
  • January 2022
  • December 2021
  • October 2021
  • September 2021
  • July 2021
  • June 2021
  • May 2021
  • April 2021
  • March 2021
  • December 2020
  • March 2020
  • January 2020
  • December 2019
  • November 2019
  • October 2019
  • July 2019
  • June 2019
  • May 2019
  • April 2019
  • March 2019
  • February 2019
  • January 2019
  • November 2018
  • September 2018
  • July 2018
  • June 2018
  • May 2018
  • April 2018
  • March 2018
  • January 2018
  • December 2017
  • November 2017
  • October 2017
  • September 2017
  • July 2017
  • June 2017
  • May 2017
  • April 2017
  • March 2017
  • February 2017
  • January 2017
  • December 2016
  • November 2016
  • October 2016
  • September 2016
  • June 2016
  • May 2016
  • April 2016
  • March 2016
  • February 2016
  • January 2016
  • December 2015
  • November 2015
  • October 2015
  • September 2015
  • July 2015
  • May 2015
  • April 2015
  • March 2015
  • February 2015
  • January 2015
  • December 2014
  • November 2014
  • October 2014
  • September 2014
  • July 2014
  • June 2014
  • May 2014
  • March 2014
  • February 2014
  • January 2014
  • December 2013
  • November 2013
  • October 2013
  • September 2013
  • June 2013
  • May 2013
  • April 2013
  • March 2013
  • February 2013
  • January 2013
  • December 2012
  • November 2012
  • October 2012
  • September 2012
  • July 2012
  • June 2012
  • May 2012
  • April 2012
  • March 2012
  • February 2012
  • January 2012
  • December 2011
  • November 2011
  • October 2011
  • September 2011
  • July 2011
  • June 2011
  • May 2011
  • April 2011
  • March 2011
  • February 2011
  • January 2011
  • December 2010
  • November 2010
  • October 2010
  • September 2010
  • July 2010
  • June 2010
  • May 2010
  • April 2010
  • March 2010
  • February 2010
  • January 2010
  • December 2009
  • November 2009
  • October 2009
  • June 2009
  • May 2009
  • April 2009
  • March 2009
  • February 2009
  • January 2009
  • December 2008
  • November 2008
  • October 2008
Esta página es mantenida por Jesús Aransay y ha sido elaborada con el tema Independent Publisher de wordpress