AGENDA
Richard Mayr (University of Edinburgh): “Markov Decision Processes and Stochastic Games on Infinite Arenas”
Abstract: Consider Markov Decision Processes (MDPs) and 2-player turn-based …
Gianpiero Canessa (U. Adolfo Ibáñez): “An algorithm for binary chance-constrained problems using IIS”
Abstract: We propose an algorithm based on infeasible …
María Jesús Lobo: Transiciones interactivas para aplicaciones cartográficas
Abstract: Hoy tenemos acceso a una gran cantidad …
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. 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 …
