scholarly journals Theoretical Computer Science and software science: The past, the present and the future (position paper)

1997 ◽  
pp. 1-5
Author(s):  
Corrado Böhm
Keyword(s):  
Computer Science ◽  
Position Paper ◽  
Theoretical Computer Science ◽  
Theoretical Computer ◽  
The Past ◽  
Software Science ◽  
The Future ◽  
Future Position

An Essay on Denotational Mathematics

2019 ◽  
pp. 1629-1640
Author(s):  
Giuseppe Iurato
Keyword(s):  
Artificial Intelligence ◽  
Computer Science ◽  
Set Theory ◽  
Neuronal Networks ◽  
Theoretical Computer Science ◽  
Mathematical Framework ◽  
Theoretical Computer ◽  
Cognitive Informatics ◽  
Naive Set Theory ◽  
Software Science

Denotational mathematics is a new rigorous discipline of theoretical computer science that springs out from the attempt to provide a suitable mathematical framework in which laid out new algebraic structures formalizing certain formal patterns coming from computational and natural intelligence, software science, cognitive informatics, neuronal networks, and artificial intelligence. In this chapter, a very brief but rigorous exposition of the main formal structures of denotational mathematics is outlined within naive set theory.

An Essay on Denotational Mathematics

2018 ◽  
pp. 7704-7714 ◽  
Author(s):  
Giuseppe Iurato
Keyword(s):  
Artificial Intelligence ◽  
Computer Science ◽  
Set Theory ◽  
Neuronal Networks ◽  
Theoretical Computer Science ◽  
Mathematical Framework ◽  
Theoretical Computer ◽  
Cognitive Informatics ◽  
Naive Set Theory ◽  
Software Science

Denotational mathematics is a new rigorous discipline of theoretical computer science which springs out from the attempt to provide a suitable mathematical framework in which laid out new algebraic structures formalizing certain formal patterns coming from computational and natural intelligence, software science, cognitive informatics, neuronal networks, artificial intelligence. In this chapter, a very brief but rigorous exposition of the main formal structures of denotational mathematics, is outlined within naive set theory.

The 2021 Alonzo Church award for outstanding contributions to logic and computation

2021 ◽  
Vol 8 (1) ◽  
pp. 3-3
Author(s):  
Javier Esparza
Keyword(s):  
Computer Science ◽  
European Association ◽  
Data Exchange ◽  
Theoretical Computer Science ◽  
Theoretical Computer ◽  
Logical Foundations ◽  
The Past ◽  
Kurt Gödel ◽  
Breaking Work ◽  
Annual Award

An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS). The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research. For the rules governing this award, see https://siglog.org/alonzo-church-award/, https://www.eatcs.org/index.php/church-award/, and https://eacsl.org/. The 2020 Alonzo Church Award was given jointly to Ronald Fagin, Phokion G. Kolaitis, Renée J. Miller, Lucian Popa, and Wang Chiew Tan for their ground-breaking work on laying the logical foundations for data exchange. Lists containing this and all previous winners can be found through the links above.

Sign in / Sign up

Export Citation Format

Share Document