Logic - DTU Compute - Denmark

World Logic Day


3rd World Logic Day - 14 January 2021 - A Zoom on Logic: Online Talks 13:00-15:00


13:00 Intro

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:45 Break

13:50 Actris in Coq - Jesper Bengtson - Programming, Logic and Semantics (PLS), IT University of Copenhagen

14:10 Break

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

14:55 Outro

Participants may obtain the login information by contacting the main organizer, Jørgen Villadsen, email jovi...dtu.dk with ... replaced by @.

Past Events

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


Thomas Bolander

Nina Gierasimczuk

Jørgen Villadsen


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/