Conférences - Logique mathématique et fondements - Grèce

Sélecionner un pays
1
UNILOG 2021 — 7th World Congress and School on Universal Logic
01 avr 2022 - 11 avr 2022 • Chania/Crete, Grèce
Organisateur:
Orthodox Academy of Crete
Résumé:
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.
Identifiant de l'évènement:
1448898
2
HyLo 2022 — Workshop on Hybrid Logic and Applications
06 avr 2022 - 11 avr 2022 • Crète, Grèce
Résumé:
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.
Date limite de soumission des résumés:
09 oct 2021
Identifiant de l'évènement:
1448853
3
UNILOG Workshop "Logic(s) in Defective Science"
06 avr 2022 - 11 avr 2022 • Crète, Grèce
Résumé:
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.
Date limite de soumission des résumés:
09 oct 2021
Identifiant de l'évènement:
1448852
4
PLS13 — 13th Panhellenic Logic Symposium
14 jul 2022 - 18 jul 2022 • Volos (Greece) or Virtual, Grèce
Résumé:
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.
Identifiant de l'évènement:
1448881


Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Dernière mise à jour: 14 Octobre 2021