Universidad de La RiojaCampus Iberus    
 
 
Principal Correo-web Directorio Mapa web Contacto
Información para
Estudiantes
Foreign students
Antiguos alumnos
Empresas
Visitantes
PDI/PAS
Información sobre
Universidad de La Rioja
Estudios
Campus Virtual
Investigación
Escuela Máster y Doctorado
Facultades y Escuelas
Departamentos
Administración y Servicios
Biblioteca
Fundación de la UR
Dialnet
Portal de transparencia
Unidad de Igualdad
Sede electrónica
Actualidad
Noticias
Agenda
Congresos y jornadas
Nuevas plazas PDI/PAS
Perfil del contratante
Boletines y publicaciones
 
facebook Twitter You Tube Flickr
pinterest linkedin instagram
 
Dialnet
 
Sede Electrónica
Agenda

15 de noviembre de 2017
11:00 horas
Seminario Mirian Andres - Planta baja
Complejo Científico Tecnológico

Seminario de Informática 'Mirian Andrés' 2017/2018
Conferencia: "The Perron-Frobenius Theorem in Isabelle/HOL - Transferring between Matrix-Representations"

Conferenciante: René Thiemann , (University of Innsbruck ).

Actividad relacionada
·Seminario de informática 'Mirian Andrés' 2017/2018

Noticias relacionadas
·Seminario de Informática 'Mirian Andrés' 2017-2018
Enlaces
·https://seminariomirianandres.unirioja.es

Servicio de Comunicación
comunicacion@adm.unirioja.es

  Octubre  2017  
lu
ma
mi
ju
vi
sa
do
1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30 31
Agenda deportiva

Agenda administrativa

Inscripciones abiertas

Sobre este web | © Universidad de La Rioja