Hesablama nəzəriyyəsinin əsasları üzrə beynəlxalq simpozium — nəzəri kompüter elmləri sahəsində iki ildən bir keçirilən konfranslar seriyası. 1977-ci ildə nəzəri kompüter elminin bütün aspektləri, xüsusən alqoritmlər, hesablama mürəkkəbliyi, formal və məntiqi üsullarla maraqlanan tədqiqatçılar üçün yaradılmışdır. Simpozium əvvəllər aşağıdakı qurumlarda keçirilmişdir:
| il | qurum | keçirldiyi yer |
|---|---|---|
| 1977 | -- | Poznan, Polşa |
| 1979 | -- | Vendiş-Rits, Almaniya |
| 1981 | Seqed Universiteti | Seqed, Macarıstan |
| 1983 | -- | Borqholm, İsveç |
| 1985 | -- | Kotbus, Almaniya |
| 1987 | Kazan Dövlət Universiteti | Kazan, Rusiya |
| 1989 | Seqed Universiteti | Seqed, Macarıstan |
| 1991 | -- | Qosen və Berlin, Almaniya |
| 1993 | Seqed Universiteti | Seqed, Macarıstan |
| 1995 | Drezden Texniki Universiteti | Drezden, Almaniya |
| 1997 | Yagellon Universiteti | Krakov, Polşa |
| 1999 | Yassı Universiteti | Yassı, Rumıniya |
| 2001 | Latviya Universiteti | Riqa, Latviya |
| 2003 | Malmo Universiteti | Malmo, İsveç |
| 2005 | Lübek Universiteti | Lübek, Almaniya |
| 2007 | Macarıstan EA | Budapeşt, Macarıstan |
| 2009 | Vrotslav Universiteti | Vrotslav, Polşa |
| 2011 | Oslo Universiteti[1][2] | Oslo, Norveç |
| 2013 | Liverpul Universiteti[3] | Liverpul, Birləşmiş Krallıq |
| 2015 | Qdansk Texnologiya Universiteti | Qdansk, Polşa[4] |
| 2017 | Bordo Universiteti | Bordo, Fransa[5] |
| 2019 | Kopenhagen Universiteti | Kopenhagen, Danimarka[6] |
| 2021 | Afina Milli Texnologiya Universiteti | Afina, Yunanıstan[7] |
| 2023 | Trir Universiteti | Trir, Almaniya[8] |