Meetings/Workshops on Mathematical Logic and Foundations any Location (virtual event)

Select a location
SLAI-2022 — Symposium on Logic and Artificial Intelligence
12 Jan 2022 - 16 Jan 2022 • Virtual, Any Location (virtual event)
The Symposium on Logic and Artificial Intelligence (“Symposium on L&AI” or “SLAI”) is annually organized by the International Society for Logic and Artificial Intelligence (ISLAI) in cooperation with research, development and educational organizations worldwide. SLAI is intended to add synergy to the efforts of researchers working on logic, AI, and their confluence. Round tables are planned to ensure an open debate on the state of the art and new directions.
Event listing ID:
Paths in Logic (World Logic Day Celebration at Haifa), Online
13 Jan 2022 • Online, Any Location (virtual event)
Logic deals with correct and incorrect reasoning, the connection between language and the world, and examines how we can use language to make correct statements about structures. It lies at the interface between mathematics, philosophy and computer science. Are you interested in the basics of mathematics, philosophy and computer science and are you considering taking logic courses in your department or other departments or writing a thesis in logic? This workshop is mainly aimed at undergraduate and graduate students. Logic will be highlighted worldwide on UNESCO World Logic Day 2022.
Event listing ID:
Workshop "Formalize!(?) 2" — A philosophical & educational perspective on formalization in mathematics
15 Jan 2022 • Virtual, Any Location (virtual event)
What are the chances and problems of the act of formalization in the context of mathematics? It is often said, that all of mathematics can be reduced to first-order logic and set theory. The derivation indicator view says that all proofs stand in some relation to a derivation, i.e. a mechanically checkable syntactical objects following fixed rules, that would not have any gaps. For a long time this was a mere hope. There may have been proofs of concepts from early logicists but derivation never played a big role in mathematical practice. The modern computer might change this. Interactive and automated theorem provers promise to make the construction of a justification without any gaps feasible for complex mathematics. Is this promise justified? Will the future of mathematical practice shift to more formal mathematics? Should it? We hope to illuminate such questions and focus especially on what these developments mean for the future of the curriculum of university students. This event features speakers speaking about both concrete projects and reflections on such endeavours in general.
Event listing ID:
1448824 offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

Last updated: 14 October 2021