Association Computability in Europe originated as a research network called Computability in Europe (CiE) in 2003, became a conference series in 2005, and...
12 KB (865 words) - 06:38, 1 March 2025
expanded to include the study of generalized computability and definability. In these areas, computability theory overlaps with proof theory and effective...
54 KB (6,425 words) - 20:53, 17 February 2025
Theory, Computability, and Theory of Computing Systems. She is also one of the editors of the book series Theory and Applications of Computability. She has...
5 KB (301 words) - 16:50, 1 January 2024
interdisciplinary developments related to computability. He was President of the Association Computability in Europe, and Chair of the Turing Centenary Advisory...
7 KB (589 words) - 21:27, 27 March 2025
series Foundations of the Formal Sciences (FotFS; 1999–2013) and Computability in Europe (CiE; since 2005). Löwe studied mathematics and philosophy at the...
7 KB (523 words) - 11:01, 27 April 2025
Informatics (redirect from Computics)
Informatik Association for Women in Computing Computer Science Teachers Association Computability in Europe European Association for Theoretical Computer...
34 KB (2,867 words) - 04:56, 14 May 2025
supercomputing exist across Europe, and distributed access to them is coordinated by European initiatives to facilitate high-performance computing. One such initiative...
52 KB (5,253 words) - 14:42, 11 April 2025
Decidability (logic) (category Concepts in logic)
Philipp (2012). "The Mate-in-n Problem of Infinite Chess Is Decidable". Conference on Computability in Europe. Lecture Notes in Computer Science. Vol. 7318...
16 KB (1,887 words) - 21:01, 15 May 2025
Church–Turing Thesis: Consensus and opposition]". Proceedings, Computability in Europe 2006. Lecture Notes in Computer Science, 3988 pp. 125–132. Gasarch, W.; Smith...
17 KB (2,104 words) - 20:10, 21 April 2025
ENIAC (category All Wikipedia articles written in American English)
ENIAC". In Beckmann, Arnold; Dimitracopoulos, Costas; Löwe, Benedikt (eds.). Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE...
75 KB (8,304 words) - 03:40, 6 May 2025
is Managing Editor of the journal Computability and editor of the book series Theory and Application of Computability. From 2016 to 2020, she served as...
4 KB (202 words) - 13:15, 12 January 2023
recipient of the S. Barry Cooper Prize of the Association Computability in Europe in 2020. In 2022, Courcelle was awarded the EATCS-IPEC Nerode Prize....
6 KB (358 words) - 07:01, 6 September 2024
Joel David Hamkins (section Infinitary computability)
the set-theoretic multiverse), in computability theory, and in group theory. After earning a Bachelor of Science in mathematics at the California Institute...
17 KB (1,791 words) - 14:31, 10 May 2025
De Finetti's theorem (category Theorems in probability theory)
(2009) "Computable exchangeable sequences have computable de Finetti measures", Proceedings of the 5th Conference on Computability in Europe: Mathematical...
18 KB (2,571 words) - 11:09, 17 April 2025
the Order of the Indian Empire (C.I.E.) Computability in Europe, an international organization of computability theorists, computer scientists, mathematicians...
2 KB (296 words) - 01:06, 6 February 2025
field founded in the 1990s. This point of view relies on the history of computability theory (degrees of unsolvability, computability over functions...
30 KB (3,369 words) - 19:26, 13 May 2025
from: ETSI". European Commission. 2022-04-05. Retrieved 2023-10-03. European Commission, Unleashing the Potential of Cloud Computing in Europe, COM(2012)...
6 KB (517 words) - 12:13, 4 May 2025
mate-in-n problem of infinite chess is decidable". Conference on Computability in Europe: 78–88. arXiv:1201.5597.{{cite journal}}: CS1 maint: multiple names:...
37 KB (2,837 words) - 20:39, 7 January 2025
Dyadic rational (section In computing)
Industry: 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings, Lecture Notes in Computer Science, vol. 11558...
35 KB (3,895 words) - 15:39, 26 March 2025
2022-07-25. European Commission, Unleashing the Potential of Cloud Computing in Europe, COM(2012) 529 final, page 3, published 27 September 2012, accessed...
77 KB (7,983 words) - 03:54, 13 May 2025
Super-recursive algorithm (category Articles lacking in-text citations from February 2023)
In computability theory, super-recursive algorithms are posited as a generalization of hypercomputation: hypothetical algorithms that are more powerful...
4 KB (445 words) - 22:15, 2 December 2024
Compactness, Omniscience Principles, and the Drinker Paradox" (PDF). Computability in Europe 2010: 2. {{cite journal}}: Cite journal requires |journal= (help)...
7 KB (1,016 words) - 14:58, 16 April 2025
Dag Normann (category Date of birth not in Wikidata)
Norwegian Mathematical Society. He was President of the Association Computability in Europe from 2015 to 2016 and currently serves as Treasurer of the Association...
5 KB (289 words) - 11:35, 24 November 2024
Busy beaver (category Computability theory)
incomputable. In fact, both the functions Σ(n) and S(n) eventually become larger than any computable function. This has implications in computability theory...
66 KB (7,914 words) - 21:22, 30 April 2025
Church–Turing thesis (category Computability theory)
In computability theory, the Church–Turing thesis (also known as computability thesis, the Turing–Church thesis, the Church–Turing conjecture, Church's...
57 KB (6,820 words) - 02:39, 2 May 2025
High Performance Computing of the Partnership for Advanced Computing in Europe (PRACE), recognizing her "numerous high-impact results in astrophysics based...
5 KB (450 words) - 23:59, 23 August 2024
September 2023 European Commission, Unleashing the Potential of Cloud Computing in Europe, COM(2012) 529 final, pages 11-12, published 27 September 2012, accessed...
27 KB (3,336 words) - 23:02, 15 May 2025
Supercomputer (redirect from Super computing)
Jungle computing Metacomputing Nvidia Tesla Personal Supercomputer Parallel computing Supercomputing in China Supercomputing in Europe Supercomputing in India...
84 KB (8,134 words) - 04:46, 20 May 2025
MareNostrum (section Cloud computing)
one of the seven supercomputers of the European infrastructure PRACE (Partnership for Advanced Computing in Europe). MareNostrum runs Red Hat Enterprise...
13 KB (1,320 words) - 16:41, 13 May 2025
institutions in 27 European countries to form a multi-science computing grid infrastructure for the European Research Area, letting researchers share computer resources...
6 KB (644 words) - 18:55, 26 October 2024