March 2025 - finite-model-theory - lists.rwth-aachen.de

a talk announcement
by R Ramanujam 01 Apr '25

01 Apr '25

hi, would the following talk announcement be of interest to the FMT group? thanks, ram On the occasion of World Logic Day, January 14, 2025, the DLMPST Commission on Logic Education invites you to a webinar by Professor Moshe Vardi. Date: January 14, 2025 Time: 0700 CST, 1300 GMT, 1400 CET, 1830 IST, 2100 (Beijing) Zoom Link: URL: https://cmi-ac-in.zoom.us/j/89055168551?pwd=7SeShMDEKSLw1wy6ZaZj4JEa0hiuqE.1 Meeting ID: 890 5516 8551 Passcode: gangesha Talk details: Machine Learning and Logic: Fast and Slow Thinking Moshe Y. Vardi Rice University Computer science seems to be undergoing a paradigm shift. Much of earlier research was conducted in the framework of well-understood formal models. In contrast, some of the hottest trends today shun formal models and rely on massive data sets and machine learning. A cannonical example of this change is the shift in AI from logic programming to deep learning. I will argue that the correct metaphore for this development is not paradigm shift, but paradigm expansion. Just as General Relativity augments Newtonian Mechanics, rather than replace it -- we went to the moon, after all, using Newtonian Mechanics -- data-driven computing augments model-driven computing. In the context of Artificial Intelligence, machine learning and logic correspond to the two modes of human thinking: fast thinking and slow thinking. The challenge today is to integrate the model-driven and data-driven paradigms. I will describe one approach to such an integration -- making logic more quantitative. I will conclude by discussing implications for computer-science education. Speaker Bio: Moshe Y. Vardi is a University Professor, and the George Distinguished Service Professor in Computational Engineering at Rice University. He is the author and co-author of close to 800 papers, as well as two books. He is the recipient of several scientific awards, is a fellow of several societies, and a member of several honorary academies. He holds ten honorary titles. He is a Senior Editor of Communications of the ACM, the premier publication in computing, focusing on societal impact of information technology. -- R Ramanujam

1 1

Paraconsistent Newsletter Winter-Summer 2025
by jean-yves beziau 20 Mar '25

20 Mar '25

Due to climate change, there was a delay in the seasonal paraconsistent newsletter. In this Winter-Summer 2025 edition you will find: 1) Recent papers, books, videos related to paraconsistency 2) A contest to win holidays on the island of inconsistency 3) Future events connected to paraconsistency 4) An interview of Soma Dutta 5) Obituaries of Newton da Costa, Ray Jennings and John Woods Enjoy! Jean-Yves Beziau Editor of the Paraconsistent Newsletter https://sites.google.com/view/paranews-2025-1

1 0

Postdoc position @ King's College London
by Hubie Chen 03 Mar '25

03 Mar '25

## Postdoc position in Theoretical CS @ King's College London A postdoctoral research position in theoretical computer science is available at King's College London. The successful candidate will be hosted by Hubie Chen and will be expected to work on topics related to the themes of complexity, database theory, structural decomposition methods, and logic. Research interest and experience in the following areas will be valued: logic in computer science, database theory, finite model theory, structural decomposition methods, term rewriting, and parameterized complexity theory. Key dates: the application deadline is April 17, 2025; it is hoped that the successful applicant will start by August 2025, but there is some flexibility concerning the start date. If the position is started by August 1, 2025, it can be held for at least 1 year. The exact starting date and duration can be set in a way that takes into account the successful candidate's needs and schedule. To apply, please follow the instructions at: https://my.corehr.com/pls/coreportal_kclp/erq_jobspec_version_4.display_for… If you are planning to apply, it will be appreciated if, in addition to following the instructions at this link, you would e-mail your CV to hubie.chen(a)kcl.ac.uk . Any questions can also be directed to this e-mail address.

1 0