7th European Symposium on Computational Intelligence and Mathematics (ESCIM 2015)

Program

Wednesday 7th

08:30

Open Registration Desk

Second floor

09:00 - 09:30

Opening Ceremony

Room: Orden tercera

09:30 - 10:20

Keynote Speaker -  László T. Kóczy

Chairperson: Jesús Medina

Room: Orden tercera

10:20 - 10:50

Coffee break in the ground floor

10:50 - 12:30

SESSION: SW1. Decision-Making under Uncertainty and Data Mining

Chairperson: László T. Kóczy

Room: Second floor

Ferenc Lilik, Szilvia Nagy and László T. Kóczy. Simplification of Inference Problems Based on High Dimensional Vectors by Wavelet Transformation and Fuzzy Rule Interpolation

Antonio Arriaza-Gómez, Miguel A. Sordo and Alfonso Suárez-Llorens. A new functional measure of skewness based on the convex transform order

Juan Giralt, Juan Moreno-Garcia, Luis Jiménez-Linares and Luis Rodríguez-Benítez. A method to analyse road risks using artificial vision and fuzzy logic

Miklós F. Hatwágner, Adrienn Buruzs and Laszlo T. Kóczy. State reduction methods for Fuzzy Cognitive Map to model regional waste management systems

Alex Tormási, Brigitta Szi, Péter Földesi, Dávid Zibriczky and László T. Kóczy. Possible Applications of Fuzzy Relational Calculus for Some General Problems of Recommender Systems

12:30 - 14:00

Lunch. Restaurant: La bodeguita de Plocia

14:00 - 16:00

SESSION: SW2.  Evolutionary Computation, Metaheuristics and Machine Learning

Chairperson: Bernabe Dorronsoro

Room: Second floor

Flavia Martins, Jose Carlos Becceneri, Luciano Dutra, Sandra Sandri and Deng Lu. Using genetic algorithms to learn a fuzzy based pseudometric for k-NN classification

Christof Ferreira Torres, Sune Nielsen, Grégoire Danoy and Pascal Bouvry. Preference-Based Genetic Algorithm for Solving the Bio-Inspired NK Landscape Benchmark

Renzo Massobrio, Jamal Toutouh and Sergio Nesmachnow. A multiobjective evolutionary algorithm for infrastructure location in vehicular networks

Antonio J. Nebro, Cristian Zambrano-Vega, Juan J. Durillo and José F. Aldana-Montes. A Study of Multiple Sequence Alignment With Multi-Objective Metaheuristics

Sebastien Varrette, Bernabe Dorronsoro and Pascal Bouvry. An LLVM-based Approach to Generate Energy Aware Code by means of MOEAs

Maria Jesus Jimenez Come, Ignacio Jose Turias Domínguez, Juan Jesús Ruiz Aguilar and Jose Antonio Moscoso López. Pitting Corrosion Modelling of 316L Stainless Steel with Bayesian Neural Networks and ROC space

16:00 - 16:20

Coffee break in the ground floor

16:20 - 18:00

SESSION: SW3. Software Verification and Validation

Chairperson: Inmaculada Medina-Bulo

Room: Second floor

Lorena Gutiérrez-Madroñal, Juan José Domínguez-Jiménez and Inmaculada Medina-Bulo. Mutation Testing in Event Programming Language

José-Antonio Alonso, Maria-Jose Hidalgo and Francisco-Jesus Martin. Proving termination with multiset orderings in PVS: theory, methodology and applications.

Pedro Delgado-Pérez, Inmaculada Medina-Bulo and Juan José Domínguez-Jiménez. Correct Application of Mutation Testing to the C++ Language

José Luis Pro-Martín, Francisco Jesús Martín-Mateos and Jose-Luis Ruiz-Reina. Formalization in ACL2 of Matrix Algebra Basic Concepts

M. Carmen De Castro and Inmaculada Medina-Bulo. Automatic Detection of Metamorphic Relations: A Challenge for WS-BPEL

Thursday 8th

09:00 - 10:00

Keynote Speaker. Manuel Ojeda-Aciego

Chairperson: Jesús Medina

Room: Second floor

10:00 - 11:00

SESSION: ST1.1. Mathematics and Soft Computing

Chairperson: Jesús Medina

Room: Biblioteca

Radomir Halas, Radko Mesiar and Jozef Pocs. A new characterization of discrete Sugeno integrals on bounded distributive lattices

M.Eugenia Cornejo, Francesc Esteva, Jesús Medina and Eloísa Ramírez-Poussa. Relating adjoint negations with strong adjoint negations

Juan Carlos Díaz-Moreno and Jesús Medina. Using covers to characterize the solutions of fuzzy relation equations on linear carriers

10:00 - 11:00

SESSION: ST1.2. Computational Optimization

Chairperson: Laszlo T. Koczy

Room: Second floor

Gergely Molnarka, Miklos F. Hatwagner and Laszlo T. Koczy. Application of Fuzzy Signature State Machines in Renovation Process of Residential Blocks for Supporting Cost Optimization

Clemente Cobos Sanchez, Francisco Garcia-Pacheco, Jose Maria Guerrero Rodriguez, Angel Quiros Olozabal and German Alvarez Tey. Convex Optimisation Problems in Bioengineering

Maria Albareda-Sambola, Luisa I. Martínez-Merino and Antonio M. Rodríguez-Chía. New research on the probabilistic p-center problem

11:00 - 11:20

Coffee break in the ground floor 

11:20 - 12:20

Keynote Speaker. Sandra Sandri

Chairperson: Laszlo T. Koczy

Room: Second floor

12:20 - 13:00

SESSION: ST2.1. Computational Intelligence

Chairperson: Gonzalo A. Aranda-Corral

Room: Biblioteca

Ádám Bukovics, István Harmati and László Kóczy. Modelling the Uncertainty in the Condition Assessment of Residential Buildings

Daniel Albendín Moya, Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz and Ángel Cantó Vicente. Semandal: Extracting knowledge and data from city councils

12:20 - 13:00

SESSION: ST2.2. Mathematics and Soft Computing

Chairperson: Eloísa Ramírez-Poussa

Room: Second floor

Manuel Arana-Jiménez and Aris Burgos-Pintos. Linear ordering on space of fuzzy intervals

José Carlos Camacho, María De Los Santos Bruzón and María De La Luz Gandarias. Classical Symmetries and conservation laws of the semilinear damped beam equation

13:00 - 14:30

Lunch. Restaurant: La bodeguita de Plocia

14:30 - 15:30

Keynote Speaker. Jozef Pocs

Chairperson: Radomir Halas

Room: Second floor

15:30 - 16:30

SESSION: ST3.1. Formal Concept Analysis

Chairperson: Manuel Ojeda-Aciego

Room: Biblioteca

María José Benítez Caballero, Jesús Medina Moreno and Dominik Ślęzak. Reducing information systems considering similarity relations

M. Eugenia Cornejo, Jesús Medina and Eloísa Ramírez-Poussa. A combination of attribute reduction and size reduction strategies in MACL

Petra Hodakova and Nicolas Madrid. On the use of F-transforms on the reduction of Concept Lattices

15:30 - 16:50

SESSION: SW3.2. Graded Algebras and Algebras Admitting Multiplicative Bases

Chairperson: Antonio Jesús Calderón

Room: Second floor

Antonio Jesús Calderón, Francisco Javier Navarro and José María Sánchez. Modules over linear spaces admitting a multiplicative basis

Maria Jesus Aragon and Antonio J. Calderon. The structure of split regular Hom-Poisson algebras

Antonio Jesús Calderón Martín. Lie algebras with a set grading

Antonio Jesús Calderón Martín, Francisco Javier Navarro Izquierdo and Jose María Sánchez Delgado. n-Algebras admitting a multiplicative basis

17:00

Touristic tour and gala dinner

Visit Wine Cellar: González Byass. Jerez de la Frontera

Gala dinner: Restaurant ‘’La Carboná’’

Friday 9th

10:00 - 10:50

Keynote Speaker. David Pearce

Chairperson: Luis Fariñas

Room: Biblioteca

10:50 - 11:10

Coffee break in the ground floor

11:10 - 13:00

SESSION: SF1. Mathematics and Soft Computing

Chairperson: Manuel Ojeda-Aciego

Room: Biblioteca

Jean-Marc Alliot, Robert Demolombe, Luis Fariñas, Martín Diéguez and Naji Obeid. Logical modelling of Molecular Interaction.

M.Eugenia Cornejo, David Lobo and Jesús Medina. Stable models in normal residuated logic programs

Pedro-Jose Morcillo and Gines Moreno. Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs

Angel Mora Bonilla, Pablo Cordero, Manuel Enciso and Estrella Rodríguez Lorenzo. Dichotomous sets of implications and directness

Valentín Liñeiro-Barea, Jesús Medina and Inmaculada Medina-Bulo. Towards generating fuzzy rules via fuzzy formal concept analysis

13:00 - 14:30

Lunch. Restaurant: La bodeguita de Plocia

14:30 - 15:10

Keynote Speaker.  Nagy Szilvia

Chairperson:  Laszlo T. Koczy

Room: Biblioteca

15:10 - 16:10

SESSION: SF2. Decision-Making under Uncertainty and Data Mining

Chairperson: Antonio Arriaza-Gómez

Room: Biblioteca

Hugo Rosa, Joao Paulo Carvalho, Ramon Astudillo and Fernando Batista. Detecting User Influence in Twitter: PageRank vs Katz, a case study

Sonia Pérez Plaza, Manuel Muñoz Márquez, Fernando Fernández Palacín and Manuel Berrocoso Domínguez. Clasification of RAP network using the Lipschitz's semidistance and the measure based on inducement

Alfonso José Bello Espina. Some New Bivariate and Multivariate Dependence Measures

16:10 - 16:30

Coffee break in the ground floor

16:30 - 17:30

SESSION: SF3. Generalized Convexity and Fuzzy Or Interval-Valued Applications

Chairperson: Gabriel Ruiz-Garzón

Room: Biblioteca

Miguel Hinojosa, Sebastián Lozano and Amparo Mármol. DEA production games with fuzzy output prices

Rafaela Osuna-Gómez, Beatriz Hernández-Jiménez, Yurilev Chalco-Cano and Gabriel Ruiz-Garzón. Different notions for fuzzy optima. Optimality conditions associated

Gabriel Ruiz-Garzón, Rafaela Osuna-Gómez, Antonio Rufián-Lizana and Yurilev Chalco-Cano. Variational-like inequalities in a fuzzy and interval-valued context

Saturday 10th

10:00

Round table. Fourth International Workshop on Mathematics and Soft Computing

12:00

Round table. Seventh Győr Symposium on Computational Intelligence


Caption

Special event

Keynote speaker

Break

Session

Round table