FormaliSE 2017 will be held at the Pontificia Universidad Católica Argentina (UCA). This location is only a 20 minute walk from the main conference site: the Sheraton Buenos Aires Hotel and Convention Center, host of the 39th International Conference on Software Engineering (ICSE 2017).
You can register for the workshop here. Note that early bird registration closes on 1 April 2017!
A number of hotel rooms have been blocked for ICSE 2017 participants at specially negotiated rates, click here for details.