Logic - DTU Compute - Denmark

Events

31st European Summer School in Logic, Language and Information - 5-16 August 2019 - Riga Latvia

The yearly ESSLLI features 50 courses and workshops on logic, language and computer science.

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

People

Thomas Bolander

Nina Gierasimczuk

Jørgen Fischer Nilsson

Jørgen Villadsen

Links

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 2019-02-04 https://logic.compute.dtu.dk/