AGENDA
É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. de 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 …
