posted by user: unilog || 3634 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

WCSC 2027   4th World Congress on Smart Computing
IOP-RICAS 2027   2027 International Conference on Robotics, Intelligent Control and Autonomous Systems (RICAS 2027)
IFAC World Congress '2026 SIMCA 2026   SYSTEM IDENTIFICATION for MANUFACTURING CONTROL APPLICATIONS
Ei/Scopus-ACEPE 2026   2026 3rd IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2026)
AISC 2026   14th International Conference on Artificial Intelligence, Soft Computing
IEEE-MLNLP 2026   2026 IEEE 9th International Conference on Machine Learning and Natural Language Processing (MLNLP 2026)
Future Foods Congress 2027   Future Foods Congress 2027: Shaping Future Food Systems through Sustainability and Digital Innovation
ISCSO 2026   Optimization Competition
WoWMoM 2027   World of Wireless, Mobile and Multimedia Networks
ICMVA 2027   SPIE--2027 The 10th International congress on Machine Vision and Applications (ICMVA 2027)