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) - 04:49, 2 June 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,414 words) - 03:45, 30 May 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
supercomputing exist across Europe, and distributed access to them is coordinated by European initiatives to facilitate high-performance computing. One such initiative...
55 KB (5,593 words) - 18:34, 21 July 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) - 16:49, 24 June 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
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
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
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
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,279 words) - 22:22, 18 July 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
2022-07-25. European Commission, Unleashing the Potential of Cloud Computing in Europe, COM(2012) 529 final, page 3, published 27 September 2012, accessed...
71 KB (7,496 words) - 15:37, 23 June 2025
interdisciplinary developments related to computability. He was President of the Association Computability in Europe, and Chair of the Turing Centenary Advisory...
8 KB (631 words) - 00:27, 17 July 2025
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
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,113 words) - 12:48, 24 June 2025
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...
67 KB (8,016 words) - 11:15, 16 July 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) - 23:54, 21 June 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) - 00:34, 31 May 2025
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
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
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...
58 KB (6,849 words) - 09:27, 20 July 2025
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) - 17:17, 29 May 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
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 (374 words) - 09:41, 24 May 2025
systems. The Russian abbreviation EVM (ЭВМ), present in some of the names below, means "electronic computing machine" (Russian: электронная вычислительная машина)...
9 KB (710 words) - 22:38, 19 April 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
Vortex Bladeless (category CS1 European Spanish-language sources (es-es))
For Advanced Computing in Europe (PRACE). 2 October 2015. Retrieved 13 November 2016. Repsol Entrepreneurs Fund: Vortex Project. YouTube (in Spanish). Repsol...
19 KB (2,233 words) - 21:34, 14 July 2025
Mathematical logic (redirect from 20th century in mathematical logic)
Klasse (in German). 6: 1–36. Soare, Robert Irving (22 December 2011). "Computability Theory and Applications: The Art of Classical Computability" (PDF)...
69 KB (8,370 words) - 23:14, 13 July 2025
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,329 words) - 00:12, 26 June 2025
1987 in Cáceres, Spain) is a Spanish quantum computing researcher, activist, and the most senior transgender woman in quantum computing in Europe. Bermejo...
7 KB (604 words) - 18:30, 30 June 2025