Konferenzen zum Thema Mathematische Logik, Grundlagen der Mathematik in Griechenland

Wählen Sie ein Land aus
1
UNILOG 2021 — 7th World Congress and School on Universal Logic
01. Apr 2022 - 11. Apr 2022 • Chania/Crete, Griechenland
Veranstalter:
Orthodox Academy of Crete
Zusammenfassung:
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.
Eintrags-ID:
1448876
2
HyLo 2022 — Workshop on Hybrid Logic and Applications
06. Apr 2022 - 11. Apr 2022 • Kreta, Griechenland
Zusammenfassung:
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.
Einsendeschluss für Abstracts:
09. Okt 2021
Eintrags-ID:
1448842
3
UNILOG Workshop "Logic(s) in Defective Science"
06. Apr 2022 - 11. Apr 2022 • Kreta, Griechenland
Zusammenfassung:
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.
Einsendeschluss für Abstracts:
09. Okt 2021
Eintrags-ID:
1448918
4
PLS13 — 13th Panhellenic Logic Symposium
14. Jul 2022 - 18. Jul 2022 • Volos (Greece) or Virtual, Griechenland
Zusammenfassung:
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.
Eintrags-ID:
1448881


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Stand vom 14. Oktober 2021