3rd World Logic Day - 14 January 2021 - A Zoom on Logic: Online Talks 13:00-15:00
13:05 Logic and Cognition - Torben Braüner - Programming, Logic and Intelligent Systems (PLIS), Roskilde University
13:25 Hybrid Logic - Asta Halkjær From - Algorithms, Logic and Graphs (AlgoLoG), DTU Compute
13:50 Actris in Coq - Jesper Bengtson - Programming, Logic and Semantics (PLS), IT University of Copenhagen
14:15 GOAL in Isabelle - Alexander Birch Jensen - Algorithms, Logic and Graphs (AlgoLoG), DTU Compute
14:35 Awareness, Attention, and Logic - Gaia Belardinelli - Center for Information and Bubble Studies (CIBS), University of Copenhagen
Participants may obtain the login information by contacting the main organizer, Jørgen Villadsen, email jovi...dtu.dk with ... replaced by @.
2nd World Logic Day - 14 January 2020 - DTU Compute Talks 322/205 13:00
Jørgen Villadsen (Algorithm, Logic and Graphs Section): About World Logic Day
14 January was officially proclaimed as the World Logic Day at the 40th session of the General Conference of UNESCO in November 2019.
Sebastian Alexander Mödersheim (Formal Methods Section): How Logic Can Save the World from Totalitarism
We give a brief overview about alpha-beta-privacy: an approach to use Logic to specify and reason about privacy-type goals of IT systems.
Jørgen Fischer Nilsson (Algorithm, Logic and Graphs Section): Natural Logic
Natural logics attempt to conduct logical reasoning directly in natural language forms instead of, say, predicate logic. Natural logics have a long history and are now gaining interest in artificial intelligence and knowledge based systems.
Organized under the auspices of UNESCO.
1st World Logic Day - 14 January 2019 - DTU Compute Invited Talk 322/017 13:00
Martin Mose Bentzen (DTU Management Engineering): Logic, AI and Philosophy
ACM Special Interest Group on Logic and Computation (SIGLOG)
Association for Automated Reasoning (AAR)
Association for Logic, Language and Information (FoLLI)
Association for Logic Programming (ALP)
Association for Symbolic Logic (ASL)
Association for the Advancement of Artificial Intelligence (AAAI)
Copenhagen Association for Dynamics, Interaction, Logic, Language, and Computation (CADILLAC)
European Association for Artificial Intelligence (EurAI)
European Association for Computer Science Logic (EACSL)
European Association for Theoretical Computer Science (EATCS)
International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)
Scandinavian Logic Society (SLS)
Jørgen Villadsen 2021-01-10 https://logic.compute.dtu.dk/