Profile cover photo
Profile photo
Escuela de Verano de Ciencias Informáticas - Río
26 followers -
Escuela de verano en Ciencias de la Computación DC UNRC
Escuela de verano en Ciencias de la Computación DC UNRC

26 followers
About
Escuela de Verano de Ciencias Informáticas - Río's posts

Mirá la charlas de la RIO 2017 y Anotate!!. Dentro de cada formulario encontrarán detalles de cada charla, día y horario.

Charla a cargo de M. Cecilia Martinez, Instituto de Humanidades CONICET-Facultad de Filosofía y Humanidades de la Universidad Nacional de Córdoba, Argentina.
Título: Enseñar a Programar en la Escuela. Un análisis desde la Política Educativa.
Día: Martes 14/2 Horario: 18:30 hs.
Inscripción a esta charla: https://goo.gl/forms/yG0ZwKmzxmzsNYtB2

Charla de Mercado Libre a cargo de Franco Arito.
Título: Machine Learning.
Día: Jueves 16/2 Horario: 18:30 hs.
Inscripción a esta charla: https://goo.gl/forms/B6ZgLtJM5hFMtZZo1
Luego de la charla habrá un after office.

Charla de Medallia a cargo de Marc Thurley y Matias Giorgio.
Título: APIs REST: una puerta de entrada a tu software.
Día: Viernes 17/2 Horario: 13:45 hs.
Inscripción a esta charla: https://goo.gl/forms/zNWTw0KtatwnKND33 Habrá snacks y refrigerios para acompañar la charla.

Las charlas son gratuitas y abiertas a todo público. Se entregarán Certificado de Asistencia. Habrá refrigerios para los asistentes! Los esperamos!!!



Post has attachment
Ultima semana de inscripción!!! No te quedes sin inscribirte!

Curso 1: Criptografía.
Dr. Daniel Penazzi, FAMAF, Universidad Nacional de Córdoba.
Idioma: Castellano. Horario: 8 - 10:30.

Curso 2: Gestión de Procesos de Negocio: Herramientas de software y sistemas.
Dr. Pablo Villarreal, Universidad Tecnológica Nacional, Facultad Regional Santa Fé y CONICET.
Idioma: Castellano. Horario: 8 - 10:30.

Curso 3: Principios de cyber-security para entornos corporativos.
Matías Cuenca-Acuna, Leonardo Frittelli, Marcelo Lorenzati, María Emilia Torino y Gustavo Domingo Yaguez, INTEL.
Idioma: Español. Horario: 11 - 13:30.

Curso 4: Human dynamics: data, networks, and modelling.
Dr Márton Karsai, ENS Lyon/INRIA, France.
Idioma: Inglés. Horario: 11 - 13:30.

http://dc.exa.unrc.edu.ar/rio/es/inscripciones2017

Mira los cursos que tenemos! y anotate!! Te esperamos!
Los cursos constan de 5 clases de 2,5 horas de duración, dictados de Lunes a Viernes. Los exámenes son opcionales(*) y son tomados durante la mañana del Sábado.

Curso 1: Criptografía.
Dr. Daniel Penazzi, FAMAF, Universidad Nacional de Córdoba.
Idioma: Castellano. Horario: 8 - 10:30.

Curso 2: Gestión de Procesos de Negocio: Herramientas de software y sistemas.
Dr. Pablo Villarreal, Universidad Tecnológica Nacional, Facultad Regional Santa Fé y CONICET.
Idioma: Castellano. Horario: 8 - 10:30.

Curso 3: Principios de cyber-security para entornos corporativos.
Matías Cuenca-Acuna, Leonardo Frittelli, Marcelo Lorenzati, María Emilia Torino y Gustavo Domingo Yaguez, INTEL.
Idioma: Español. Horario: 11 - 13:30.

Curso 4: Human dynamics: data, networks, and modelling.
Dr Márton Karsai, ENS Lyon/INRIA, France.
Idioma: Inglés. Horario: 11 - 13:30.

(*) Se entregarán certificados de asistencia y/o aprobación de los cursos.

Post has attachment
24° ESCUELA DE VERANO DE CIENCIAS INFORMÁTICAS
La Escuela de Verano se realiza anualmente desde 1994, organizada por el Departamento de Computación, de la Facultad de Ciencias Exactas Físico-Químicas y Naturales de la Universidad Nacional de Río Cuarto. Los cursos que conforman dicha Escuela de Verano han sido dictados por especialistas, docentes e investigadores de primer nivel, tanto del país como del extranjero. A estos cursos han asistido profesionales, docentes, alumnos de instituciones educativas de todo el país y de países limítrofes.

La RIO 2017 se desarrollará del 13 al 18 de Febrero de 2017, y estará compuesta por cursos intensivos, dictados por destacados académicos. Además, se entregarán certificados de asistencia a quienes asistan al menos un 80% de las clases dictadas y, en caso de cumplir satisfactoriamente con la evaluación requerida, se entregará un certificado de aprobación.

Los principales objetivos de la escuela son:

Brindar a los alumnos y docentes de las carreras de computación de la UNRC, de otras universidades nacionales y a toda la comunidad informática, cursos intensivos y breves de actualización y especialización dictados por docentes e investigadores de primer nivel.
Poner al alcance de los alumnos de las carreras de computación de la UNRC una visión amplia y diversa del campo de las Ciencias Informáticas y facilitar el intercambio académico con otras casas de estudio.
Promover la participación de los alumnos de las carreras de Computación de la UNRC en otros eventos similares en Universidades del país y del extranjero.
Para mayor información comunicarse con:

Secretaría de la RIO 2017

Departamento de Computación

Facultad de Ciencias Exactas, Físico-Químicas y Naturales

Universidad Nacional de Río Cuarto

Ruta 36 Km. 601, Río Cuarto (5800), Córdoba, Argentina.

Tel./Fax.: +54 (0)358 4676 235

Email: rio@dc.exa.unrc.edu.ar

Sitio web: dc.exa.unrc.edu.ar/rio/

Facebook Twitter Google+

Post has attachment
Se viene la Río 2016!!! ya podés ver el listado de cursos en el sitio: http://dc.exa.unrc.edu.ar/rio2016/ 

Post has attachment
Photo

Post has attachment
22º Escuela de Verano de Ciencias Informáticas

                              Río 2015
                    9 al 14 de febrero de 2015


http://dc.exa.unrc.edu.ar/rio/

******************************************************
     I N S C R I P C I O N E S     A B I E R T A S

      http://dc.exa.unrc.edu.ar/rio/inscripciones
******************************************************

******************************************************
Departamento de Computación
Facultad de Ciencias Exactas Físico-Químicas y Naturales
Universidad Nacional de Río Cuarto
Córdoba - Argentina
******************************************************

La 22º Escuela de Verano de Ciencias Informáticas (RIO 2015)
se desarrollará del 9 al 14 de febrero en el
Departamento de Computación de la
Facultad de Ciencias Exactas Físico-Químicas y Naturales de la
Universidad Nacional de Río Cuarto.

La Escuela consiste en cursos intensivos sobre temáticas que no
suelen encontrarse frecuentemente en las carreras de grado.
Además ofrece eventos académicos y charlas por parte de los
sponsors de la RIO.

===================== CURSOS ======================
http://dc.exa.unrc.edu.ar/rio2015/cursos
http://dc.exa.unrc.edu.ar/rio2015/cronograma
---------------------------------------------------

Curso 1: Prof. Christel Baier, Technische Universität Dresden, Alemania.

“Introduction to Probabilistic model Checking”

Idioma: Inglés

Horario: 8 - 10:30

Abstract:
Markov chains (MC) and Markov decision processes (MDP) are widely used as operational models for the quantitative system analysis. They can be understood as transition systems augmented with distributions for the states (in MC) or state-action pairs (in MDPs) to specify the probabilities for the successor states. Additionally one might add weight functions for modeling accumulated costs or rewards earned along path fragments to represent e.g. the energy consumption, the penality to be paid for missed deadlines, the gain for completing tasks successfully or the degree of the achieved utility.
The tutorial will introduce the main features of discrete-time, finite-state Markovian models (MC and MDP) and their quantitative analysis against temporal logic specifications. The first part will present the basic princi- ples of the automata-based approach for linear temporal logic (LTL) and probabilistic computation tree logic (PCTL), including a summary of tech- niques that have been proposed to tackle the state-explosion problem. The second part of the tutorial will present algorithms for dealing with fairness assumptions and computing conditional probabilities and quantiles.

--------------------------------------------------

Curso 2: Prof. Anni-Yasmin Turhan, Technische Universität Dresden, Alemania

Description Logic Reasoning

Idioma: Inglés

Horario: 8 - 10:30

Abstract:
Description Logics (DLs) are a successful family of logic-based knowledge representation formalisms, which can be used to represent the conceptual knowledge of an application domain in a structured and formally well-understood way. Based on their formal semantics, many reasoning procedures have been defined and algorithms to compute them have been investigated for a range of Description Logics. Formal ontology languages for the Semantic Web such as OWL 2 and its profiles have greatly increased interest in DLs and related reasoning services in recent years. Most of these ontology languages are based on DLs. This tutorial gives an introduction to the basic notions underlying knowledge representation and reasoning with DLs. The main focus is on those DLs that form the core of the OWL lightweight profiles and the reasoning services they are tailored for.

--------------------------------------------------

Curso 3: Prof. Joost-Pieter Katoen, RWTH Aachen University, Alemania y University of Twente, Holanda.

“Modeling and Analysis of Probabilistic Timed Systems”

Idioma: Inglés

Horario: 11 - 13:30

Abstract:
These lectures will cover the verification of continuous-time Markov chains as well as the compositional modeling of such models.  The analysis will focus on efficient algorithms for timed reachability objectives on CTMCs, and expected time and long-run objectives for Markov automata, a model that extends CTMCs with nondeterminacy.  We will also discuss the application of such models in the field of stochastic Petri nets (performance) and fault trees (reliability).

--------------------------------------------------

Curso 4: Prof. Alejandro Díaz-Caro, Universidad Nacional de Quilmes, Argentina.

“Fundamentos de lenguajes de programación cuántica.”

Idioma: Castellano

Horario: 11 - 13:30

Resumen:
En este curso se hará una introducción a la computación cuántica desde el punto de vista del diseño de lenguajes. Las dos primeras clases se cubrirá una introducción a la computación cuántica y sus algoritmos más conocidos, así como algunas aplicaciones simples a la criptografía. Luego, con el propósito de estudiar los fundamentos de los lenguajes de programación, haremos una introducción al cálculo lambda. En el resto del curso recorreremos los dos paradigmas existentes: 1) control clásico y datos cuánticos, el cual ve a la computadora cuántica como una especie de co-procesador que realiza el cómputo cuántico, mientras el programa principal es manejado clásicamente y 2) control y datos cuánticos, donde las propiedades cuánticas como el principio de superposición no ocurren sólo al nivel de los datos, sino que también los programas admiten ser superpuestos, medidos, etc. No se requiere conocimiento previo de cálculo lambda, ya que está previsto hacer una
 introducción al mismo, pero sí de álgebra lineal (matrices y vectores).

--------------------------------------------------

Curso 5: Prof. Bernard Serpette, INRIA Sophia Antipolis, Francia.

"From lambda-calculus and pi-calculus to an abstract distributed machine"

Idioma: Inglés

Horario: 17 - 20 (4 clases)

Abstract:
We will describe the lambda-calculus throw a translation to the SECD virtual machine. Next we will describe the pi-calculus with a simple implementation in Java. Finally we will implements the two introduced concepts, SECD machine and concurrency, in a minimalist distributed abstract machine..

--------------------------------------------------

Curso 6: Dr. Juan Martin Heguiabehere y Lic. Joaquín Rinaudo, Programa STIC - Fundación Sadosky.

“Seguridad y protección de datos en aplicaciones Android”

Idioma: Castellano

Horario: 17 - 20 (4 clases)

Resumen:
En el curso se presenta la problemática de la seguridad y privacidad en Android, desde el punto de vista del desarrollo y análisis de aplicaciones, con un enfoque de taller. Inicialmente se describe la arquitectura y componentes de la plataforma Android, y las herramientas de desarrollo. A continuación se ve el problema del malware, las formas en que se presenta y las maneras en que se lo combate y mitiga. El tercer día pasamos a la problemática de desarrollo seguro de aplicaciones, con ejemplos de programas conocidos con problemas reales. Los días cuatro y cinco veremos herramientas de análisis estático y dinámico, y cómo se emplean para encontrar vulnerabilidades en el software.

========= INFORMACIÓN ADICIONAL =========

Los cursos por la mañana (C1-C4) tienen 5 clases de 2:30 hs. de duración y los cursos por la tarde (C5,C6) 4 clases de 3:10hs. completando (12,5 hs. en total). Examen opcional. Se otorgarán certificados de asistencia (80% de las clases) y aprobación (los exámenes tendrán lugar el día sábado 14 por la mañana).

Miércoles por la tarde, viaje a las sierras (Alpa Corral http://alpacorral.gov.ar/)

Facilidades de alojamiento: La Universidad cuenta con un comedor, un amplio campo de deportes, pileta, residencias (contacto: rioalojamientos@dc.exa.unrc.edu.ar) y lugares para acampar (gratuitos).
Además la ciudad dispone de hoteles de distintas categorías. Visite la página web de la escuela para obtener mayor información.

Post has attachment
Gráfica 2015 - Escuela de verano de ciencias informáticas "Río 2015"
PhotoPhotoPhoto
2014-12-10
3 Photos - View album

Post has attachment
Photo

Post has attachment
Los asistentes del del curso 5 "(Revisitando) La Programación Orientada a Objetos con Smalltalk" recuerden que si asisten con laptop con Pharo instalado
van a poder aprovechar mucho mejor las clases.
La versión a instalar: Pharo Release 2.0.
Lo deben descargar de (Mac, Linux o Windows):  http://www.pharo-project.org/pharo-download/release-2-0

La acreditación se realizará en el Aula Magna de la Facultad de Agronomía y Veterinaria a partir de las 7:45 hs..  
Wait while more posts are being loaded