18 - 19 September 2020, Autumn School on Logic & Constraint Programming, Virtually in Calabria

The organization of the autumn school on logic and constraint programming invites you to participate in this year's school. 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.