posted by user: unilog || 3405 views || tracked by 1 users: [display]

UNILOG 2022 : 7th World Congress and School on Universal Logic

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/view/unilog-2022
 
When Apr 1, 2022 - Apr 11, 2022
Where Orthodox Academy of Crete
Submission Deadline Nov 11, 2021
Notification Due Nov 21, 2021
Final Version Due Dec 21, 2021
Categories    logic   philosophy   mathematics   computer science
 

Call For Papers

Any talk related to logic is welcome, send a one page abstract to
unilog2022@uni-log.org

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.

For more details see
"Universal Logic : Evolution of a Project"
https://link.springer.com/article/10.1007/s11787-018-0194-7
"Logic Prizes et Caetera"
https://link.springer.com/article/10.1007/s11787-018-0215-6
"1st World Logic Day: 14 January 2019"
https://link.springer.com/article/10.1007/s11787-019-00221-5

Related Resources

IFAC World Congress '2026 SIMCA 2026   SYSTEM IDENTIFICATION for MANUFACTURING CONTROL APPLICATIONS
Ei/Scopus-ITCC 2026   2026 6th International Conference on Information Technology and Cloud Computing (ITCC 2026)
IARIA Congress 2026   The 2026 IARIA Annual Congress on Frontiers in Science, Technology, Services, and Applications
Ei/Scopus-CEICE 2026   2026 3rd International Conference on Electrical, Information and Communication Engineering (CEICE 2026)
IPMU 2026   21st International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems
Ei/Scopus-CMLDS 2026   2026 3rd International Conference on Computing, Machine Learning and Data Science (CMLDS 2026)
9th International Food Safety Congress 2026   9th International Food Safety Congress
CACML 2026   2026 5th Asia Conference on Algorithms, Computing and Machine Learning (CACML 2026)
20th Vaccine Congress 2026   20th Vaccine Congress
CVIPPR 2026   2026 4th Asia Conference on Computer Vision, Image Processing and Pattern Recognition (CVIPPR 2026)