SC is co-located with ETAPS. You can check the ETAPS pages for general venue and registration info. NOTE: In case you do not wish to attend the main ETAPS conferences, you can register for satelite events only, which is considerably cheaper.