Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

18 - 19 September 2020, Autumn School on Logic & Constraint Programming, Virtual

Date: 18 - 19 September 2020
Location: Virtual

The organization of the *Autumn School on Logic and Constraint Programming* invites you to participate in this year's school (September, 18-19, virtually in Calabria), co-located with ICLP. It promises to be an interesting session -- for students, as well as for more senior researchers -- in which Marc Denecker discusses the 'informal semantics' of logic programs (is negation-as-failure actually classical?), Peter Stuckey takes on the role of Trojan horse, convincing us to use 'Minizinc' instead of logic programming, Martin Gebser provides unique insights in the magic he uses for tackling 'industrial applications' with answer set programming, and Elena Bellodi will probably talk about 'probabilistic logic programming'.

The courses will be run as a hybrid model in which the first two hours are thought live, and for the last two hours, a recording will be made available.

Please note that this newsitem has been archived, and may contain outdated information or links.