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.
Abstract uploading for contributed talks is now closed.