Hesablama nəzəriyyəsinin əsasları üzrə beynəlxalq simpozium
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: