No abstract

No abstract

Preface VIII Campus Estado de México of the same institute. We are grateful to the Conference Staff and Local Organizing Committee, led by Neil Hernández and Raúl Monroy.Nothing would have been possible without the financial support of our sponsors. Special thanks go to the Dean of State of Mexico's Council for Science and Technology (COMECyT), Dr. Elías Micha, for financial support.The entire submission and reviewing process, as well as putting together the proceedings, was supported by the EasyChair system (www.easychair.org); we express our gratitude to its author Andrei Voronkov for his constant support and help. Last but not least, we deeply appreciate Springer staff's great patience and help in editing this volume.