AGENDA
Alejandro Corvalán: "MACEDA dataset on the Mapuche conflict".
Abstract: Self-determination (SD) disputes are some of the ...
Éric Tanter, U. of Chile: "A (Way Too) Short Introduction to Coq".
Abstract: Coq is a very popular proof assistant, ...
Francisco Förster: "The Universe in a stream".
Abstract: With a new generation of large etendue ...
Jeremy Barbay, U. of Chile: MultiVariate Analysis of Dynamic Programming
Abstract: Many practical problems can be reduced recursively ...
Víctor Dalmau: Approximation of MIN CSPs
Abstract: An instance of the constraint satisfaction problem ...
Dr. Erick Elejalde, Universidad de Concepción What the media do in the shadows: A computational investigation of the Propaganda Model
Abstract: The Propaganda Model (PM) discussed in Manufacturing ...
