Courses and Events for Math Students and Early Career Researchers 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:
1448810
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:
1448875
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:
1448907
4
Summer Graduate School — Geometric Flows
20 Jun 2022 - 02 Jul 2022 • Athens, Greece
Organizer:
Mathematical Sciences Research Institute (MRSI) and the FORTH-IACM Institute in Crete
Abstract:
This summer graduate school is a collaboration between MSRI and the FORTH-IACM Institute in Crete. The purpose of the school is to introduce graduate students to some of the most important geometric evolution equations. This is an area of geometric analysis that lies at the interface of differential geometry and partial differential equations. The lectures will begin with an introduction to nonlinear diffusion equations and continue with classical results on the Ricci Flow, the Mean curvature flow and other fully non-linear extrinsic flows such as the Gauss curvature flow. The lectures will also include geometric applications such as isoperimetric inequalities, topological applications such as the Poincaré onjecture, as well as recent important developments related to the study of singularities and ancient solutions.
Event listing ID:
1443912
Related subject(s):


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