Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] The 31st British Colloquium for Theoretical Co...


view this post on Zulip Email Gateway (Aug 22 2022 at 11:10):

From: Andrei Popescu <A.Popescu@mdx.ac.uk>
This year, the colloquium is organized by the Middlesex University and enjoys some remarkable invited speakers.

All the best,
Andrei

British Colloquium for Theoretical Computer Science
Middlesex University, Hendon, London, UK
14th--18th September 2015
http://www.cs.mdx.ac.uk/foundations/bctcs2015/

CALL FOR PARTICIPATION

The 31st British Colloquium for Theoretical Computer Science will be
hosted by the Foundations of Computing Group, Department of
Computer Science, Middlesex University, from 14th to 18th September,
2015.

Associated with the meeting, on Thursday 17th September, is the
London Mathematical Society (LMS) Algorithms & Cryptography Day. The
LMS will celebrate its 150th anniversary as BCTCS celebrates its 30th
with its first visit to the capital.

The purpose of BCTCS is to provide a forum in which researchers in
theoretical computer science can meet, present research findings, and
discuss developments in the field. It also aims to provide an
environment in which PhD students can gain experience in presenting
their work, and benefit from contact with established researchers.

The scope of the colloquium includes all aspects of theoretical
computer science, including automata theory, algorithms, complexity
theory, semantics, formal methods, concurrency, types, languages and
logics. Both computer scientists and mathematicians are welcome to
attend, as are participants from outside of the UK.

The colloquium features both invited and contributed talks. This year
the invited speakers currently include the following:

Samson Abramsky, Oxford University, UK.
Timothy Gowers, Cambridge University, UK.
Tony Hoare, Microsoft Research, UK.
Thomas Hales, University of Pittsburgh, USA, (LMS Keynote).
Per Martin-Lof, Stockholm University, Sweden.
Joseph Sifakis, University of Grenoble, France.

The LMS meeting on Thursday also has eminent speakers.

Lance Fortnow, Georgia Tech, USA.
Shafi Goldwasser, MIT, USA.
Jon Kleinberg, Cornell University, USA.
Mike Paterson, University of Warwick.
Adi Shamir, Weizmann Institute, Israel.
Nigel Smart, University of Bristol.

Registration is now open from the following link:

http://www.onlinestore.mdx.ac.uk/browse/extra_info.asp?compid=1&modid=5&catid=93&prodid=643

The registration fee is £140 plus £40 for the conference dinner (note
the receipt will not be itemised). We are grateful for support from the
Heilbronn Institute for Mathematical Research which will provide
bursaries for 18 students to cover registration fees and accommodation.
Please register for free at the same link and send titles and
abstracts of talks to g.primiero@mdx.ac.uk<mailto:g.primiero@mdx.ac.uk>.

The deadline for registration is 27th August.

We have reserved a number of rooms at Hendon Hall Hotel at £110 per
night (please contact barnabymartin@gmail.com<mailto:barnabymartin@gmail.com>). However, there is the
possibility to stay at many hotels within a short bus journey and these
rooms are cheaper when booked by individuals.

Barnaby Martin, Raja Nagarajan and Giuseppe Primiero.
Organising Committee.


Please note that Middlesex University's preferred way of receiving all correspondence is via email in line with our Environmental Policy. All incoming post to Middlesex University is opened and scanned by our digital document handler, CDS, and then emailed to the recipient.

If you do not want your correspondence to Middlesex University processed in this way please email the recipient directly. Parcels, couriered items and recorded delivery items will not be opened or scanned by CDS. There are items which are "exceptions" which will be opened by CDS but will not be scanned a full list of these can be obtained by contacting the University.


Last updated: Mar 29 2024 at 08:18 UTC