[TYPES/announce] British Colloquium for Theoretical Computer Science - call for participation

2024-01-18 Thread Thomas Powell
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 2024 University of Bath April 4-5, 2024 https://urldefense.com/v3/__https://bctcs2024.github.io/__;!!IBzWLUs

[TYPES/announce] British Colloquium for Theoretical Computer Science: first call for participation

2013-01-20 Thread Guy McCusker
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] British Colloquium for Theoretical Computer Science Bath, UK 24th-27th March 2013 http://cs.bath.ac.uk/bctcs2013 FIRST CALL FOR CONTRIBUTED TALKS AND PARTICIPATION Deadline for application

[TYPES/announce] British Colloquium for Theoretical Computer Science

2009-02-25 Thread Sara Kalvala
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 25th British Colloquium for Theoretical Computer Science (BCTCS) 6th to 9th April 2009 University of Warwick, Coventry UK