Please note, this is archived content and is no longer being updated. Please update your bookmarks and links to point to this permanent URL:


Conference registration is still open. The registration fee of £125 includes:

  • BCTCS/ARW drinks reception on 2nd April,
  • BCTCS conference banquet on 4th April,
  • buffet lunches on 3rd, 4th and 5th April,
  • EATCS membership for 1 year.

This year, BCTCS will be collocated with the Automated Reasoning Workhop AWR. There will be joint BCTCS/ARW invited talks on 2nd April and 3rd April. In addition, AWR will have  sessions on 3rd April and 4th April in parallel with BCTCS, which BCTCS participants are free to attend.

Participants wishing to attend the ARW dinner on 3rd April (at extra cost) may register for this at the same time as BCTCS registration. Conference registration and accommodation booking may be done separately; moreover, participants are free to make their own accommodation arrangements. However, the organizers advise early booking, as Manchester hotels can get busy. Click here to book accommodation at one of the recommended hotels, which are all within easy walking distance of the conference venue. In the event that the accommodation is booked up, please contact the This e-mail address is being protected from spambots. You need JavaScript enabled to view it. .

Abstract uploading for contributed talks is now closed. 

You are here: Home Registration