Home
List of past BCTCS Speakers
BCTCS Speakers (chronological)
Past BCTCS Speakers (alphabetical)
BCTCS 2014
News, resources and links
Organization
BCTCS AGM 2012
BCTCS AGM 2013
Past Conferences
News, resources and links
News
Beth prize 2014, call for nominations published
Related conferences
Algorithms
List maintained by University of Glasgow Department of Computer Science
Logic
List maintained by IEEE Symposium on Logic in Computer Science
List maintained by COMS
Linguistics
List maintained by LINGUIST List
Other resources
Algorithms and Complexity – Resources (Glasgow Computer Science)
Handbook of Practical Logic and Automated Reasoning
