17th Latin American Symposium on Mathematical Logic (SLALM 2017)