영국 콜로키움 이론 컴퓨터 과학

British Colloquium for Theoretical Computer Science

영국 콜로키움 이론컴퓨터과학(BCTCS)은 1985년에 설립된 기관으로, 예를 들어 학술회의의 대표성과 공공기관의 협의에 대응하여 해설과 증거를 제공하는 등 영국의 이론컴퓨터과학의 이익을 대변하는 기관이다.BCTCS는 조직위원회의 지시에 따라 운영되며, 집행자는 대통령, 비서, 재무관으로 구성된다.현재 대통령은 Barnaby Martin이다.

BCTCS의 목적은 다음과 같다.

  1. 영국 이론 컴퓨터 과학의 이익과 미래 복지가 진전될 수 있는 플랫폼을 제공한다.
  2. 이론 컴퓨터 과학의 모든 측면에서 영국에 기반을 둔 연구자들이 이 분야의 최근 발전에 대해 만나고, 연구 결과를 발표하고, 토론할 수 있는 포럼을 제공한다.
  3. 이론 컴퓨터 과학에 관한 연구를 수행하는 박사과정 학생들이 공식적인 분야에서 자신의 연구를 발표하는 경험을 얻고, 주제에 대한 시야를 넓히고, 지역사회의 기성 연구자들과 접촉함으로써 이익을 얻을 수 있는 환경을 조성하기 위해서입니다.

이러한 목적을 추구하기 위해, BCTCS는 이론 컴퓨터 과학 분야의 영국 기반 연구자들을 위한 연례 회의를 조직한다.매년 열리는 BCTCS 콘퍼런스의 중심적인 측면은 박사과정 학생들의 훈련이다.연간 BCTCS 총회의 범위는 알고리즘, 복잡성, 의미론, 형식 방법, 동시성, 유형, 언어 및 로직 등 이론 컴퓨터 과학의 모든 측면을 포함한다.폭에 대한 강조는 이론 컴퓨터 과학의 본질적인 수학적 특성과 함께, BCTCS가 항상 컴퓨터 과학자와 수학자 모두를 연례 총회의 참가자로서 적극적으로 애원하고, 두 공동체가 만나 아이디어를 교환할 수 있는 환경을 제공한다는 것을 의미한다.

연례 BCTCS 회의는 주로 영국에 기반을 둔 연구자들의 이익을 위한 것이다.그러나, 영국의 이론 컴퓨터 과학을 보다 넓은 지역사회에서 장려하기 위해, 영국 이외의 지역에서 온 참가자들을 환영하며, 매년 초청된 회담의 프로그램에는 외국의 유명 연구자들이 포함되어 있다.

BCTCS의 과거 장교들

역대 대통령들

  1. 존 터커(1985~1992)
  2. 앨런 기번스(1992~1998)
  3. 아인 스튜어트(1998~1999)
  4. 폴 던(1999~2001)
  5. 크리스 토트(2001–2004)
  6. 패런 몰러(2004~2019년)
  7. 바르나비 마틴 (2019-)

과거 비서들

  1. 마크 저럼(1989–1992)
  2. 폴 던(1992~1999)
  3. 줄리언 브래드필드(1999~2005)
  4. 그레이엄 허튼(2005~2011년)
  5. 데이비드 맨러브 (2011-2020)
  6. 미셸 지토(2020년-)

과거의 보물찾기

  1. 데이비드 라이드워드 (1989–1996)
  2. 크리스 토트(1996~2001)
  3. 패런 몰러(2001–2004)
  4. 스테판 레이프 마르가니에(2004~2018년)
  5. 매슈 헤이그(2018~2021년)
  6. 올가 페트로브스카(2021-)

과거 대학원 대표자

  1. 사비타 초한 (1995년-1997년
  2. 빌리 덕워스 (1997-1998)
  3. 리처드 고트(1998-1999)
  4. 메이린후이 (1999-2000)
  5. 폴 산트 (2000-2003)
  6. 코린나 엘센브로이치(2003~2004)
  7. 블라디미르 알렉산드르 (2004-2005)
  8. 조엘 라이트(2005~2006)
  9. 요아힘 바란(2006~2007)
  10. 테메셴 카사이 아제네(2007~2008)
  11. 하리스 아지즈(2008~2009)
  12. 줄리안 구티에레스(2009~2010년)
  13. 라다크리슈난 델리바부(2010~2011년)
  14. 로렌스 E.일(2011-2012)
  15. 앤디 로렌스(2012~2013년)
  16. 아우구스티누스 구아시(2013~2014년)
  17. 파반상하(2014~2015년)
  18. 브램 게론(2015~2016년)
  19. 토마스 판 빈스베르겐(2016~2017년)
  20. 프랜시스 쿠퍼(2017~2018년)
  21. 소피아트 올라오세비칸(2018~2019년)
  22. 카를 남방 (2019-2020)
  23. 필리포스 판테키스(2020~2021년)
  24. 마이클 매케이(2021-2022)
  25. 피스 아예그바(2022-)

BCTCS 회의

1985 – BTCSC 1 – 리즈 대학교, 1985년 4월 1-3일(조직: John Tucker 및 Stan Wainer)

1986 – BTCSC 2 – Warwick 대학교, 1986년 3월 24-26일(조직: Meurig Beynon 및 Steve Matthews)

1987 – BCTCS 3 – Leicester 대학교, 1987년 4월 13-15일(조직:데릭 앤드루스)

1988 – BCTCS 4 – 에든버러 대학교, 1988년 3월 28-31일 (주최자: 마크 저럼)

1989 – BCTCS 5 – Royal Holloway 및 Bedford New College, 1989년 4월 11-13일(조직: Costas Iliopolous and John Shaw-Taylor)

1990 – BCTCS 6 – 맨체스터 대학교, 1990년 3월 28-30일 (조직: David Rydewarden)

1991 – BCTCS 7 – 리버풀 대학교, 1991년 3월 26-28일 (주최자: Paul Dunne)

1992 – BCTCS 8 – 뉴캐슬 대학교, 1992년 3월 24-26일(조직:이아인 스튜어트)

1993 – BCTCS 9 – 요크 대학교, 1993년 3월 28-31일(조직:후세인 제단)

1994 – BCTCS 10 – Bristol 대학교, 1994년 3월 28-30일 (주최자: Brian Stonebridge)

1995 – BCTCS 11 – University of Wales Swansea, 1995년 4월 2-5일(조직:크리스 토트스)

1996 – BCTCS 12 – 캔터베리 켄트 대학교, 1996년 4월 1-4일(조직:사이먼 톰프슨)

1997 – BCTCS 13 – 셰필드 대학교, 1997년 3월 23-26일(조직: Mike Holcombe 및 Matt Fairtlough)

1998 – BCTCS 14 – University of St.Andrews, 1998년 3월 31일 – 4월 2일 (주최자:톰 켈시)

1999 – BCTCS 15 – Keelle University 1999년 4월 14-16일 (주최자: John Stell)

2000 – BCTCS 16 – Liverpool 대학교 2000년 4월 10일-12일 (주최자: Martyn Amos)

2001 – BCTCS 17 – 글래스고 대학교, 2001년 4월 9일-12일 (주최자:스테판 레이프 마르가니에)

2002 – BCTCS 18 – HP 연구소 Bristol, 2002년 4월 7-10일(조직:크리스 토트스)

2003 – BCTCS 19 – Leicester 대학교, 2003년 4월 7-9일(주최자:닐 가니)

2004 – BCTCS 20 – 스털링 대학교, 2004년 4월 5-8일(조직:스테판 레이프-마르가니크 및 카론 샨클랜드)

2005 – BCTCS 21 – 노팅엄 대학교, 2005년 3월 21-24일 (조직: Graham Hutton)

2006 – BCTCS 22 – Swansea University, 2006년 4월 7일(조직: Faron Moller 및 Markus Roggenbach)

2007 – BCTCS 23 – 옥스퍼드 대학, 2007년 4월 2-5일(조직:샤론 커티스와 제레미 기번스)

2008 – BCTCS 24 – Durham University, 2008년 4월 7-10일(조직:Hajo Broersma, Tom Friedetzky, Daniel Paulusma)

2009 – BCTCS 25 – Warwick University, 2009년 4월 6-9일(조직: Artur Czumaj, Sara Kalvala 및 Steve Matthews)

2010 – BCTCS 26 – Edinburgh University, 2010년 4월 6일부터 9일까지(조직: Julian Bradfield 및 Mary Cryan)

2011 – BCTCS 27 – Birmingham University, 2011년 4월 18-21일(조직:아킴 정(Achim Jung and Paul Levi)

2012 – BCTCS 28 – Manchester University, 2012년 4월 2-5일(주최자:이언 프랫하트만)

2013 – BCTCS 29 – Bath University, 2013년 3월 24-27일(조직: James Davenport, Guy McCusker)

2014 – BCTCS 30 – Loughborough University, 2014년 4월 9-11일(조직: Paul Bell 및 Daniel Ridenbach)

2015 – BCTCS 31 – Middlesex University, 2015년 9월 14-18일(조직: Barnaby Martin, Missppe Primero, Rajagopal Nagarajan)

2016 – BCTCS 32 – 퀸즈 대학교 벨파스트, 2016년 3월 22-24일(조직:아미타브 트레한, 푸야 파심, 피터 로빈슨, 앨런 스튜어트)

2017 – BCTCS 33 – St Andrews 대학교, 2017년 4월 26-28일 (주최자: Markus Pfeiffer)

2018 – BCTCS 34 – Royal Holloway University of London, 2018년 3월 26-28일(주최자: Matthew Hague)

2019 – BCTCS 35 – Durham University, 2019년 4월 15-17일(조직: Matthew Johnson, Barnaby Martin, George Mertzios, Daniel Paulusma)

2020 – BCTCS 36 – Swansea University, 2020년 4월 6-8일(조직:울리히 버거, 파론 몰러, 마르쿠스 로겐바흐, 모니카 세이젠베르거, 올가 페트로프스카, 리암 오라일리)

2021 – BCTCS 37 – 리버풀 대학교, 2021년 3월 29-31일(조직: Patrick Totzke and Michelle Zito)

2022 – BCTCS 38 – 스완지 대학교, 11-13- 2022년 4월(조직: 모니카 세이젠베르거 및 올가 페트로브스카)

참고 항목

외부 링크