====== Venue ====== SC is co-located with ETAPS. You can check the [[http://www.di.uminho.pt/etaps07/|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.