@inproceedings{e1ab45572fd9405bae0907e508b2f4ab,
title = "Theoretical aspects of computing - ICTAC 2015: 12th international colloquium cali, Colombia, October 29-31, 2015 proceedings",
abstract = "This volume contains the papers presented at ICTAC 2015: The 12th International Colloquium on Theoretical Aspects of Computing held during October 29-31, 2015, in Cali, Colombia. The International Colloquia on Theoretical Aspects of Computing (ICTAC) is a series of annual events founded in 2003 by the United Nations University International Institute for Software Technology. Its purpose is to bring together practitioners and researchers from academia, industry, and government to present research results and exchange experience and ideas. Beyond these scholarly goals, another main purpose is to promote cooperation in research and education between participants and their institutions from developing and industrial regions.",
author = "Martin Leucker and Camilo Rueda and Valencia, \{Frank D.\}",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015 ; Conference date: 29-10-2015 Through 31-10-2015",
year = "2015",
month = jan,
day = "1",
language = "English",
isbn = "9783319251493",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
editor = "Martin Leucker and Camilo Rueda and Valencia, \{Frank D.\} and Valencia, \{Frank D.\}",
booktitle = "Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings",
}