Премия Гёделя
Премия Гёделя () — премия в области теории вычислительных систем имени Курта Гёделя, вручаемая ежегодно организациями ACM SIGACT, ("Special Interest Group on Algorithms and Computation Theory") и EATCS, ("European Association for Theoretical Computer Science") за выдающиеся труды по логике и теоретической информатике.

Премия вручается с 1993 года и сопровождается денежным вознаграждением размером в 5000 долларов США. Награждение проходит либо на американском симпозиуме , ("Symposium on Theory of Computing"), либо на европейской конференции , ("International Colloquium on Automata, Languages and Programming"). Основным требованием к работе является дата первой публикации — к номинации допускаются лишь труды не старше 14 лет.
Q41390
Курта Гёделя
PER
Q127992
ACM
ORG
Q3387984
SIGACT
MEDIA
Q3060764
EATCS
ORG
Q8078
логике
Concept
Q2878974
теоретической информатике
Concept
Q4917
долларов США
Concept
Q1417143
Премия Гёделя
EVE
5000-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
в 5000
DATE
+14^^http://www.w3.org/2001/XMLSchema#decimal
14
NUMBER
named after
conferred by
conferred by