Winter School ECI 2013

The Winter School in Computer Science ECI 2013 will be held from the 22nd to 27th of July, 2013. It is organized by the Department of Computer Science of the University of Buenos Aires and it will be partially supported by the MEALS project. This year edition consists of nine courses:

  • Reductions and causality, Jean-Jacques Levy (Emeritus Senior Researcher, INRIA, FR)
  • Combinatorial Optimization: Matchings, Matroids and the Travelling Salesman, András Sebő (Directeur de Recherche, CNRS, Laboratoire G-SCOP, FR)
  • Runtime Verification: From Theory to Practice and Back, Gordon Pace (Department of Computer Science, Faculty of ICT, University of Malta, MT)
  • Short course on program analysis, Reinhard Wilhelm (Chair for Programming Languages and Compiler Construction, Saarland University, DE)
  • Specifying and Monitoring (Fuzzy Temporal) Requirements for Service Compositions, Paola Spoletini (Department of Theoretical and Applied Sciences, Università dell’Insubria, IT)
  • Graph-based Representation and Reasoning in Artificial Intelligence, Madalina Croitoru (University of Montpellier II, FR)
  • Parameterized Unit Testing, Nikolai Tillmann (Microsoft Research, US)
  • Positional games, Milos Stojakovic (Department of Mathematics and Informatics, University of Novi Sad, RS)
  • Reconocimiento automático de habla e identificación de locutores, Diego Evin (Laboratorio de Investigaciones Sensoriales, Instituto de Neurociencias, Universidad de Buenos Aires, AR)