July 30th, 2010 by Eventos
No comments »
Event date:
2010-07-30 El 30 de julio de 2010 se celebrará en Viena (Austria) el VI Seminario Internacional sobre Especificación y Verificación Automática de Sistemas Web (WWV).
Este evento anual tiene como objetivo servir de foro interdisciplinario para facilitar la fertilización cruzada y el desarrollo de métodos híbridos que combinen la programación basada en normas, la automatización de ingeniería de programas y la investigación orientada a Internet. Los temas a tratar en WWV serán:
- métodos basados en normas para análisis, certificación, especificación, verificación, y optimización de sistemas web;
- modelos formales para describir sistemas web y razonar sobre ellos;
- comprobación de modelos, síntesis y depuración de sistemas web;
- análisis y verificación de datos relacionados;
- interpretación abstracta y transformación de programas para la web semántica;
- tutorías inteligentes y sistemas de asesoría para la creación de especificaciones web;
- calidad web y sistemas de medición web;
- usabilidad y accesibilidad web;
- comprobación y evaluación de sistemas y aplicaciones web.
Quality validation date:
2010-02-05
July 29th, 2010 by Lifelong Learning
No comments »
July 28th, 2010 by europeo
No comments »
Estimadas/os seguidoras/es de este blog:
En esta semana han salido publicadas una serie de convocatorias dentro del VII Programa Marco de I+D de la Unión Europea (FP7), dirigidas a distintas áreas de conocimiento que abarcan desde las Ciencias de la Salud hasta las Ciencias Socioeconómicas y Humanidades, pasando por las Tecnologías de la Información y la Comunicación, Nanomateriales, Agroalimentación, o Medioambiente, entre otras.
Cada convocatoria presenta un documento conocido como “Programa de Trabajo”, donde se recogen las líneas de investigación que van a ser financiadas por la Comisión, por lo que si desea participar dentro del Programa Marco es vital que pueda confirmar que sus líneas estén recogidas entre los tópicos publicados.
También le iremos informando de los Talleres formativas donde se presentarán estos Programas de Trabajo por parte de los Puntos Nacionales de Contacto por si desea asistir.
Para mantener el equilibrio entre información y utilidad se presentan en seguida solo las áreas y la información correspondiente se puede acceder con un clic.
Programa Marco – Cooperation
- Salud / 3 Convocatorias abiertas
- Alimentos, agricultura y pesca y biotecnología / 5 Convocatorias abiertas
- Tecnologías de la información y las comunicaciones / 9 Convocatorias abiertas
- Nanociencias, nanotecnologías, nanomateriales y nuevas tecnologías de producción / 12 Convocatorias abiertas
- Energía / 8 Convocatorias abiertas
- Medio ambiente (incluido el cambio climático) / 8 Convocatorias abiertas
- Transporte (incluida la aeronáutica) / 9 Convocatorias abiertas
- Ciencias socioeconómicas y humanidades / 4 Convocatorias abiertas
- Espacio / 1 Convocatoria abierta
- Seguridad / 1 Convocatoria abierta
- Joint Technology Initiatives (Annex IV-SP1) / 2 Convocatorias abiertas
Programa Marco – Capacities
Ciencia en la sociedad / 2 Convocatorias abiertas
July 28th, 2010 by europeo
No comments »
La siguiente tabla desglosa las convocatorias, los títulos vinculan a una ficha descriptiva de la convocatoria.
- La página correspondiente de la convocaoria de la Commision Europea : Science in Society con toda la información.
Por cualquier pregunta contacte con nosotros en la oficina de Proyectos Europeos.
July 28th, 2010 by europeo
No comments »
La siguiente tabla desglosa las convocatorias, los títulos vinculan a una ficha descriptiva de la convocatoria.
- La página correspondiente de la convocaoria de la Commision Europea : Calls page HEALTH con toda la información.
Por cualquier pregunta contacte con nosotros en la oficina de Proyectos Europeos.
