Meetings/Workshops on Mathematical Logic and Foundations in Greece

Select a location
1
UNILOG 2021 — 7th World Congress and School on Universal Logic
01 Apr 2022 - 11 Apr 2022 • Chania/Crete, Greece
Organizer:
Orthodox Academy of Crete
Abstract:
UNILOG is a series of world events. Since the first edition in 2005 in Montreux, Switzerland, it has gathered many famous researchers: Saul Kripke, Jaakko Hintikka, Yuri Gurevich, Rohit Parikh, Michael Dunn, Dov Gabbay, Wilfrid Hodges, Hartry Field, Pierre Cartier, Krister Segerberg, Melvin Fitting, Gerhrad Jaeger, Hiroakira Ono, Daniele Mundici, Jan Wolenski, Patrick Blackburn, John Corcoran, Heinrich Wansing, David Makinson, Newton da Costa, Peter Schroeder Heister, Göran Sundholm, Didier Dubois, Arnon Avron, Volker Peckhaus, Graham Priest, Benedikt Löwe, Stepen Read, Gila Sher, Jonathan Seldin, Sun-Joo Shin, Bruno Poizat, Sara Negri, Ahti-Veikko Pietarinen, Valentin Goranko, Yde Venema, Jouko Väänänen and more ... UNILOG promotes logic in all its aspects: mathematical, philosophical, computational, semiological, historical, and the relation between logic and other fields: physics, biology, economics, law, politics, religion, music, literature, pedagogy, color theory, medicine, psychology, psychoanalysis, cognitive science, architecture, artificial intelligence, sociology, linguistics, anthropology. UNILOG is a combination of a congress and a school. There is also a secret speaker and the world logic prizes contest.
Event listing ID:
1448832
2
HyLo 2022 — Workshop on Hybrid Logic and Applications
06 Apr 2022 - 11 Apr 2022 • Crete, Greece
Abstract:
It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem (the basic mechanism being to add nominals --- atomic symbols true at a unique point --- together with extra modalities to exploit them) often actually improves the behaviour of the underlying modal formalism. For example, it becomes far simpler to formulate modal tableau systems, resolution, and natural deduction in hybrid logic, and completeness results can be proved of a generality that is simply not available in ordinary modal logic. That is, hybridization --- adding nominals and related apparatus --- seems a reliable way of curing many known weaknesses in ordinary modal logic.
Abstract submission deadline:
09 Oct 2021
Event listing ID:
1448908
3
UNILOG Workshop "Logic(s) in Defective Science"
06 Apr 2022 - 11 Apr 2022 • Crete, Greece
Abstract:
This workshop is devoted to exploring connections between non-classical logics and the rational use of defective information in the sciences, as well as the inferential practices in the sciences—particularly, those which make use of defective information.
Abstract submission deadline:
09 Oct 2021
Event listing ID:
1448841
4
PLS13 — 13th Panhellenic Logic Symposium
14 Jul 2022 - 18 Jul 2022 • Volos (Greece) or Virtual, Greece
Abstract:
The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.
Event listing ID:
1448903


Conference-Service.com 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