Lunes 14 | Martes 15 | Miércoles 16 | Jueves 17 |
---|---|---|---|
08:00-09:00 Registro |
|||
09:00-10:30 DSDM1: Convención PROLE1: Palma |
9:00-10:30 GD1: Convención IWSeCo: Murcia JCIS1.1: Valencia PROLE4: Palma |
9:00-10:30 ASV1: Murcia JCIS2.1: Valencia PROLE7: Palma SBSE1: Convención |
|
10:30 Pausa-café |
10:30 Pausa-café |
10:30 Pausa-café |
|
11:00-12:00 Inaguración: Convención |
11:00-12:00 GD2: Convención JCIS1.2: Valencia PROLE5: Palma PSM: Murcia |
11:00-12:00 ASV2: Murcia JCIS2.2: Valencia PROLE Meeting: Palma SBSE2: Convención |
|
12:00-13:30 Keynote JISBD: Convención CARLO GHEZZI |
12:00-13:30 Keynote JCIS: Convención MICHAEL P. PAPAZOGLOU |
12:00-13:30 Keynote PROLE: Convención ROBERTO GIACOBAZZI |
|
13:30-15:00 Almuerzo: Las Arenas |
13:30-15:00 Almuerzo: Las Arenas |
13:30-15:00 Almuerzo: Las Arenas |
|
15:00-16:30 DSDM2: Convención PROLE2: Palma |
15:00-16:30 CP: Murcia GD3: Convención JCIS1.3: Valencia PROLE6: Palma |
15:00-16:30 JCIS2.3: Valencia TA: Murcia PROLE8: Palma SBSE3: Convención |
|
16:30-17:00 Pausa-café |
16:30-17:00 Pausa-café |
16:30-17:30 Pausa-café + sesión de Demos |
|
17:00-20:00 Registro |
17:00-19:00 DSDM3: Convención PROLE3: Palma |
17:00-19:00 Tutorial Armando Fox: Convención |
17:30-18:00 Premio SISTEDES: Convención |
18:00-19:30 Asamblea SISTEDES: Convención |
|||
20:00-21:30 Cóctel en el Casino |
19:15 (estricto) Traslado en autobús 19:30 Visita en barco a la bahía |
20:30-23:00 Cena oficial en el restaurante De Luz |
Los nombres de los salones donde se celebran las distintas Jornadas están en color azul
ASV: Arquitecturas Software y Variabilidad.
CP: Calidad y Pruebas.
DSDM: Desarrollo de Software Dirigido por Modelos.
GD: Gestión de Datos.
IWSeCo: Ingeniería Web y Sistemas Colaborativos.
PSM: Procesos Software y Metodología.
SBSE: Ingeniería del Software Guiada por Búsquedas.
TA: Tema abierto.
The talk concerns the design of code protecting transformations for white-box cryptography in a MATE (Man-At-The-End) attack scenario. The battle scenario involves attackers, modeled as approximate (abstract) interpreters of source programs intended to extract information about their run-time behavior, and protecting code transformations, modeled as distorted compilers devoted to inhibit attacks. Attacks are inhibited by maximizing imprecision (incompleteness) in all approximate computations made by the attacker. A brief overview on completeness in abstract interpretation (including recent achievements in POPL15) will set the theoretical background. The model is general enough to include generic static and dynamic attacks. Protecting transformations are systematically and formally derived as distorted compilers, by specializing a distorted interpreter for the programming language with respect to the source code to protect. Interestingly this distortion corresponds precisely to defeat the potency of the expected attacker, which consists in its ability to extract a complete and precise view of program's execution.
Evaluation is becoming an integral part of the professional life of researchers. Different stakeholders need to evaluate research and researchers are often evaluated as individuals. Research is evaluated by funding agencies, which need allocate funding among different areas. It is evaluated by academic institutions, who need to set priorities for their developments. Researchers are typically evaluated for promotion. How are these evaluations performed? Which criteria are used? How sound they are? Ultimately, the goal of research is to create new knowledge which can create benefits for society. Research in computing (and software engineering in particular) should also have a demonstrable societal impact. How can impact be measured?
Although these questions are hard to answer, we need to address them. Evaluations are already in place, and too often they are based on flawed criteria, which oversimplify the problem by proposing simplistic solutions. Often the pressure is on producing numbers and rankings that are used a-critically across different disciplines. What should we, as researchers, say? Do we have our own position on how to evaluate research, researchers, impact?
The talk will mostly try to clarify the questions we have to ask and will discuss why most current "solutions" are unacceptable. It will not try to propose solutions, but instead it will try to raise awareness of the problem, present some good practices, and call for a collective effort to develop possible answers.
The future applications of Service Oriented Computing promise to be transformative creating formidable opportunities for systems integration through analytical capabilities, masses of real-time networked data, business processes, all sorts of equipment and devices, and computation.
New generation service systems promise increased efficiency and appropriate interaction between the business world, computer networks, control systems the physical world (e.g., machines, devices, structures), and humans enabling “smart” systems and applications that offer increased effectiveness, productivity, and speed, as well as functions not previously possible. Achieving these capabilities presents a complex and multi-disciplinary engineering challenge. The fusion of three forces is driving this phenomenon: Service Oriented Computing, Cloud Computing and Cyber-Physical Systems.
New generation service systems form the foundation for smart applications which combine technology, knowledge, processes, information, and human ingenuity to develop and apply “intelligence” to every aspect of a smart application. New generation service systems will support such diverse industries as aerospace, automotive, energy, healthcare, manufacturing, infrastructure, consumer electronics, and communications. Everyday life will become increasingly dependent on these systems - in some cases with dramatic improvements.
The talk will include examples from smart medical and smart manufacturing applications.
Para realizar la inscripción debes pinchar en el siguiente enlace:
Antes del 15/08/2015 | Después del 15/08/2015 | Durante el congreso | |
Cuota | 370€ | 400€ | 430€ |
Acompañante | 110€ | 130€ | 140€ |
Ticket extra: cena de gala | 50€ | 50€ | 50€ |
Ticket extra para 2: cena de gala | 100€ | 100€ | 100€ |
Calle de Joaquín Costa 28 - C.P. 39005 Santander
Tel. 942 272 900 - Fax 942 278 604
GPS: Latitud: 43.47012 Longitud: 3.7833
Tenemos un bloque de habitaciones reservadas en el Hotel Santemar (sede de las Jornadas) a un precio especial.
Cada participante debe hacer su propia reserva en el hotel completando este formulario.
Precios especiales SISTEDES 2015:
Habitación Doble uso individual: 65,97€ en régimen de Alojamiento y Desayuno (una persona)
Habitación doble: 88,57€ en régimen de Alojamiento y Desayuno (dos personas)
Los precios son por noche y habitación.
Estos precios se mantendrán sólo hasta el 14 de Agosto de 2015.
Otros alojamientos disponibles en Santander cercanos a la sede del congreso:
HOTEL CHIQUI
Avd. García Lago, 9
El Sardinero - Santander (Cantabria)
Tlf. 902 28 27 00 - Fax. 902 27 30 32
www.hotelchiqui.com
Suites Apartamentos Las Brisas
Avda. Castañeda 17 (El Sardinero)
Santander, Cantabria 39005
942 281140
www.apartamentoslasbrisas.com
Hostal Rocamar
Avenida De Los Castros, 41
Santander, Cantabria, 39005, España
942 277268
hostalrocamar.com
Hotel Carlos 3
Avda. de la Reina Victoria,135.
El Sardinero 39005 Santander
942 271616
www.hostalcarlos3.com
Vehículo propio: Desde Madrid y la meseta se accede desde la A-67 vía Reinosa. Tanto desde el Oeste (Asturias) como del este (País Vasco), el mejor acceso se realiza a través de la autopista A-8 que bordea el mar Cantábrico.
Autobús:
La estación de autobuses de Santander está situada en la calle Navas de Tolosa muy próxima a las estaciones de ferrocarril de FEVE y RENFE.
Hay salidas a diversos puntos de España; sobre todo el norte, comunicando Santander con Bilbao, San Sebastián, Asturias, y Galicia además de los múltiples autobuses diarios que se dirigen a Madrid, y a poblaciones de Castilla y León. Para horarios y más información consulte santanderabus.com
Teléfono de información de la estación: 942 211 995
Por Ferrocarril:
La estación de RENFE y FEVE están situadas una al lado de otra y en el centro de Santander.
FEVE comunica la ciudad con Asturias y País Vasco realizando paradas en multitud de pueblos y apeaderos.
RENFE tiene destinos de más largo recorrido a las principales capitales de provincia españolas.
Dirección: Plaza de las estaciones s/n
www.renfe.es, www.feve.es
Teléfono de Renfe: 902 240 202
Por Aire: El aeropuerto de Santander se encuentra a tan solo 5km de la ciudad bastante bien comunicada con el centro con autobuses frecuentes: salidas cada 30 minutos desde la 07.00 hasta las 23.00 horas, existiendo un primer servicio a las 06:40 horas. El aeropuerto de Bilbao se encuentra aproximadamente a una hora en coche desde Santander. Tiene mayor número de vuelos y conexiones internacionales que el de Santander.
Tenemos un acuerdo con una Escuela Infantil para ofrecer a los participantes de las Jornadas unos precios especiales para el cuidado de sus hijos:
De 8:00 a 14:00: 15€ + 6€ de la comida
De 14:00 a 19:00: 10€ + 4€ de la merienda
Poseemos precios especiales para adultos o niños que quieran acudir a realizar actividades lúdico-deportivas y piscina en el centro Marisma Wellness Center. Más información pinchando aquí.
Hemos realizado una selección de las visitas más recomendables para realizar cerca de Santander:
Museo de Altamira
Parque de la naturaleza de Cabárceno
Cueva el Soplao
Organizador local
Universidad de Cantabria
Organizador local
Universidad de Cantabria
Organizador local y webmaster
Universidad de Cantabria
Organizador local
Universidad de Cantabria
Presidente del Comité de Programa JISBD
Universidad Politécnica de Valencia
Presidente del Comité de Programa PROLE
Universidad del País Vasco
Presidente del Comité de Programa JCIS
Universidad de Extremadura
Presidente de SISTEDES
Universidad de Málaga
Vicepresidente de SISTEDES
Universidad del País Vasco