In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational meaning to valid strings in a programming language syntax. It is closely related to, and often crosses over with, the semantics of mathematical proofs.
Keith James Devlin is a British mathematician and popular science writer. Since 1987 he has lived in the United States. He has dual British-American citizenship.
Kenneth Jon Barwise was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used.
Finite model theory is a subarea of model theory. Model theory is the branch of logic which deals with the relation between a formal language (syntax) and its interpretations (semantics). Finite model theory is a restriction of model theory to interpretations on finite structures, which have a finite universe.
Valentin Fyodorovich Turchin was a Soviet and American physicist, cybernetician, and computer scientist. He developed the Refal programming language, the theory of metasystem transitions and the notion of supercompilation. He was a pioneer in artificial intelligence and a proponent of the global brain hypothesis.
Dov M. Gabbay is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London.
The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL is Phokion Kolaitis.
Patrick Colonel Suppes was an American philosopher who made significant contributions to philosophy of science, the theory of measurement, the foundations of quantum mechanics, decision theory, psychology and educational technology. He was the Lucie Stern Professor of Philosophy Emeritus at Stanford University and until January 2010 was the Director of the Education Program for Gifted Youth also at Stanford.
The European Summer School in Logic, Language and Information (ESSLLI) is an annual academic conference organized by the European Association for Logic, Language and Information. The focus of study is the "interface between linguistics, logic and computation, with special emphasis on human linguistic and cognitive ability". The conference is held over two weeks of the European Summer, and offers about 50 courses at introductory and advanced levels. It attracts around 500 participants from all over the world.
The European Master's Program in Computational Logic (EMCL) was a two years joint MSc programme offering a joint degree between four European universities as a part of the Erasmus Mundus co-operation and mobility programme. So far, this programme had more than 130 students.
Ruy J. Guerra B. de Queiroz is an associate professor at Universidade Federal de Pernambuco and holds significant works in the research fields of Mathematical logic, proof theory, foundations of mathematics and philosophy of mathematics. He is the founder of the Workshop on Logic, Language, Information and Computation (WoLLIC), which has been organised annually since 1994, typically in June or July.
The International Union of History and Philosophy of Science and Technology is one of the members of the International Science Council (ISC). It was founded in 1955 by merging the International Union of History of Science (IUHS) and the International Union of Philosophy of Science (IUPS), and consists of two divisions, the Division of History of Science and Technology (DHST) and the Division of Logic, Methodology and Philosophy of Science and Technology (DLMPST).
The Association for Logic, Language and Information (FoLLI) each year awards the E. W. Beth Dissertation Prize, named in honor of the Dutch mathematician Evert Willem Beth, to outstanding PhD theses in the fields of Logic, Language, and Information. Dissertations are evaluated on the basis of their technical depth, strength and originality. Each year the award can be assigned ex aequo to more than one thesis, or to no thesis at all. The prize consists of a certificate, a monetary award, and an invitation to submit the thesis to the FoLLI Publications on Logic, Language and Information, published by Springer Science+Business Media.
Viacheslav Chirikba is a linguist and politician from Abkhazia. He was Minister for Foreign Affairs of Abkhazia between 2011 and 2016.
John A. Nerbonne is an American computational linguist. He was a professor of humanities computing at the University of Groningen until January 2017, when he gave his valedictory address at the celebration of the 30th anniversary of his department there.
Sonja Smets is a Belgian and Dutch logician and epistemologist known for her work in belief revision and quantum logic. She is Professor of Logic and Epistemology at the University of Amsterdam, where she was the director of the Institute for Logic, Language and Computation (2016-2021) and is affiliated with both the Faculty of Science and the Department of Philosophy. She also holds a visiting professor position at the University of Bergen in Norway.
Nissim Francez is an Israeli professor, emeritus in the computer science faculty at the Technion, and former head of computational linguistics laboratory in the faculty.
Valentin Feodorov Goranko is a Bulgarian-Swedish logician, Professor of Logic and Theoretical Philosophy at the Department of Philosophy, Stockholm University.
The Scandinavian Logic Society, abbreviated as SLS, is a not-for-profit organization with objective to organize, promote, and support logic-related events and other activities of relevance for the development of logic-related research and education in the Nordic Region of Europe.
Luigia (Gigina) Carlucci Aiello is an Italian computer scientist, emeritus professor of artificial intelligence at Sapienza University of Rome.
