British Colloquium for Theoretical Computer Science

---

• HOME
• ORGANISING COMMITTEE
• CONSTITUTION
• PREVIOUS MEETINGS
• ANNUAL AGENDA AND MINUTES
• PREVIOUS OFFICE HOLDERS
• PAST SPEAKERS
  • Past Speakers Alphabetically
  • Past Speakers Chronologically
• USEFUL TCS LINKS

---

Useful TCS Links

Websites

• SIGACT
• EATCS
• Theory Matters
• TCS Stack Exchange

Related Conferences

• Algorithms Conference List maintained by COMS
• Mathematical Logic Conference List maintained by COMS

Resources

• Handbook of Practical Logic and Automated Reasoning