posted by user: unilog || 3423 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
IEEE-ICECCS 2026   2025 IEEE International Conference on Electronics, Communications and Computer Science (ICECCS 2026)
WCST 2026   16th World Congress on Sustainable Technologies
GreeNet Symposium - SGNC 2026   17th Symposium on Green Networking and Computing (SGNC 2026)
IARIA Congress 2026   The 2026 IARIA Annual Congress on Frontiers in Science, Technology, Services, and Applications
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
CVIPPR 2026   2026 4th Asia Conference on Computer Vision, Image Processing and Pattern Recognition (CVIPPR 2026)
20th Vaccine Congress 2026   20th Vaccine Congress
CNCIT 2026   2026 5th International Conference on Networks, Communications and Information Technology