coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Call for course proposals for the 34th Informatics Sciences School - ECI 2020
Chronological Thread
- From: Alejandro Díaz-Caro <alejandro AT diaz-caro.info>
- To: Todos <todos AT dc.uba.ar>
- Cc: types-announce AT lists.seas.upenn.edu, categories AT mta.ca, quantum-foundations AT maillist.ox.ac.uk, gdr-im AT gdr-im.fr, Fundamentos de Lenguajes de Programación <FunLeP AT googlegroups.com>, Lógica, Computación e Información Cuántica <locic AT googlegroups.com>, prooftheory AT lists.bath.ac.uk, agda AT lists.chalmers.se, coq-club <coq-club AT inria.fr>
- Subject: [Coq-Club] Call for course proposals for the 34th Informatics Sciences School - ECI 2020
- Date: Mon, 23 Sep 2019 18:10:57 -0300
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=alejandro AT diaz-caro.info; spf=Pass smtp.mailfrom=alejandro AT diaz-caro.info; spf=None smtp.helo=postmaster AT mail-oi1-f170.google.com
- Ironport-phdr: 9a23:5kgTHRxuXm96QJXXCy+O+j09IxM/srCxBDY+r6Qd2+wQIJqq85mqBkHD//Il1AaPAdyAragUwLOL7OjJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglVijexe61+IRa5oQnMtsQbg5ZpJ7osxBfOvnZGYfldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbDVheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLulSwJNSM28HvPh8N/gqJUohKvqRJ8zYDJfo+aKOFzcbnBcd4AX2dNQtpdWi5HD4ihb4UPFe0BPeNAooTho1sBsxm+ChOqBOzy0D9IgWf506Mk1Os7EADKxRItEMgUsHTTsd74M70dUeSrw6nK1zrDae5Z2S366IXTbx8hoOuDXLNpfcXN00YvDQTFgk+RqYzjMTOV0f0Avm6G5ORuUuKvjnQoqwB3ojW328gjlpPFhp8OxV/e7yl22pw1KcWiR0FnZN6oCpxQtzuVN4duXMwtWXpouSYmxb0Go5G7fTIKxI4gxx7FZPyKdZWD7BH7VOuJPzt0mHZodKi8ihuy60Ss1+zxW8uu3FpXrCdJjsHAum4R2xHX8MSKSftw8l2/1TqSywzf8O5JLE4ymKHGMZAu2KQwmYAWsUnbHi/5hkH2jKiOe0Uh4Oeo6uDnbqzhpp+dKoN4kw/+Prksl8CjG+g4PQ8OX2+U+eS4yrLv51H2QLJPjvEuk6nZto7VJdgDq6KnHwNY1pwv5hW/Aju8zdgVnHsKIEhYdB+Fk4TlI1TOL+r5Dfe7jVSsijBrx/XeM7L7BpXCMHrDn63nfblg8U5czxE+ws1e551OC7ANOe78VVXrtNzfFBM5Mgq0w+jgCNllzIMRRXqPArOFMKPVqVKH+uUvI/CVaIAJvDb9NuMq6uX1jX45nF8dZbOm0YEWaHC+BPRmIl+WbWDigtcbQi82uV8CS+DtkxXWTTlfYG2aU6l6+zsyTou8W9TtXIeo1ZWF0SWyGJFMYVdqj1meVFzhbYLMD/4IZSCbJMN7lRQIVLGzDoQozxbotQn0zOw0faLv5iQEuMe7h5BO7OrJmERqrG0mP4Gmy2iIClpMsCYNTj4y0rp4pBUjmFuC2Lo9iPVCEppS4f1OAF5jaMzsitdiAtW3YTrvO9eETFH8HIejCDA1C9UwmpoAOhklXdqliR/H0myhBLpHz+XXVqxxybrV2j3KH+g402zPjfdzg1gvUI5EPHehwK95+Q+BX4M=
(Versión en Español disponible abajo)
************************************************************************************************************************************
Call for course proposals
34th Informatics Sciences School - ECI 2020
July 20 to 24, 2020
Buenos Aires, Argentina
15 November 2019: Proposal submission deadline
End of January 2020: Notification
COURSE FORMAT
ECI courses last 15 hours in total (3 hours per day from Monday to Friday) and are addressed to advanced undergraduate or graduate students. These courses should include a final evaluation, which can be a take-home to be sent by e-mail to the lecturer. Submissions for courses to be taught in Spanish or English are accepted. The school will cover travel, hotel and local expenses of ECI 2020 lecturers (ECI will only cover the expenses of one lecturer per proposed course).
SUBMISSION INSTRUCTIONS
Proposals should be submitted using the following form: https://easychair.org/conferences/?conf=eci2020
The submission must be done in PDF format, containing only the following sections:
* Title
* Abstract (At most 1300 characters)
* Topic (You must choose among the first level of ACM CCS (https://dl.acm.org/ccs/ccs.cfm), e.g. "Theory of computation").
* Language: [English/Spanish]
* Brief index (a list of topics that will be covered during the course)
* Schedule (Approximate timeline of how these topics will be presented from Monday to Friday).
* Suggested bibliography (At least three books or papers that are related to the topics of the course)
* Student's preferred background (Background the students should have to be able to follow the course. A general description in the form of course names or topics will suffice.).
* Will the course have a lab section? [Yes/No] (Optionally, your course can have a lab section for hands-on practice. In this case, the ECI organization will assign lab space with computers for the students. Note that having a lab section will restrict the number of students your course can have to no more than 50).
* Optional: Local contact. (A local contact in the Department of Computer Science, FCEyN, UBA is desirable, but not mandatory)
For information about previous editions, please refer to http://www.dc.uba.ar/events/eci/2019/anteriores or send e-mail to eci2020-chair AT dc.uba.ar.
Alejandro Díaz-Caro (Chair)
Luciana Ferrer (Co-Chair)
Alejandro Díaz-Caro (Chair)
Luciana Ferrer (Co-Chair)
************************************************************************************************************************************
Llamado para presentar propuestas de cursos
34a Escuela de Ciencias Informáticas - ECI 2020
20 al 24 de Julio de 2020
Buenos Aires, Argentina
15 de noviembre de 2019: Fecha límite para envío de propuestas
Fin de enero de 2020: Notificación de aceptación
Se invita a presentar propuestas de cursos para la 34a Escuela de Ciencias Informáticas - ECI 2020, que se realizará del lunes 20 al viernes 24 de julio de 2020 en el Departamento de Computación de la Facultad de Ciencias Exactas y Naturales de la Universidad de Buenos Aires. La Escuela de Ciencias Informáticas (ECI) se lleva a cabo en nuestro departamento anualmente desde el año 1987. Tiene como objetivo ofrecer a alumnos de ciencias de la computación y profesionales del medio, cursos intensivos de posgrado, especialización y/o actualización de alto nivel científico, sobre temas habitualmente no cubiertos por la currícula de grado. Estos cursos son dictados por prestigiosos profesores de otras universidades u otras instituciones, extranjeras y nacionales. A las distintas ediciones de la ECI han concurrido entre 400 y 800 personas que tomaron 2 ó 3 cursos cada una.
FORMATO DE LOS CURSOS
Los cursos propuestos deberán comprender 15hs (de lunes a viernes con una carga diaria de 3hs). Los mismos deberán ser dirigidos a estudiantes de grado universitario avanzado / postgrado. Cada curso deberá tener una evaluación final, la cual podrá ser un trabajo entregado por e-mail. Los cursos podrán ser dictados en idioma Español o Inglés. La organización de la ECI cubre los gastos de pasajes, alojamiento y viáticos de sus profesores. No se pagan honorarios (Aclaración: Sólo un profesor por curso será cubierto por la organización de la ECI).
INSTRUCCIONES
Las propuestas se deben enviar usando el siguiente formulario: https://easychair.org/conferences/?conf=eci2020
El envío debe estar en formato PDF, y debe contener exclusivamente las siguientes secciones:
* Título
* Resumen (1300 caracteres como máximo)
* Área (Debe elegir un área del primer nivel de las áreas de ACM CCS (https://dl.acm.org/ccs/ccs.cfm), por ejemplo "Theory of computation")
* Idioma: [Español/Inglés]
* Listado de temas (una lista de temas que serán cubiertos durante el curso)
* Programa (Un programa aproximado de cómo se cubrirán esos temas en cada clase del lunes a viernes).
* Bibliografía sugerida (Al menos tres libros o papers relacionados al tema del curso)
* Prerequisitos (Los conocimientos que los estudiantes deberían tener para poder seguir el curso. Una descripción general en forma de nombre de cursos o temas es suficiente).
* ¿El curso utilizará laboratorio? [Si/No] (Opcionalmente, su curso puede utilizar laboratorio, o práctica. En ese caso, la organización de la ECI le asignará un espacio de laboratorio con computadoras para los estudiantes. Tomar en cuenta que si utiliza laboratorio, el cupo del curso se verá restringido a no más de 50 alumnos).
* Opcional: Contacto local. (Un contacto local en el Departamento de Computación, FCEyN, UBA es deseable, pero no obligatorio)
Para información sobre ediciones previas, dirigirse a http://www.dc.uba.ar/events/eci/2018/anteriores o enviar email a eci2020-chair AT dc.uba.ar.
Alejandro Díaz-Caro (Presidente)
Luciana Ferrer (Vice-Presidente)
Alejandro Díaz-Caro (Presidente)
Luciana Ferrer (Vice-Presidente)
- [Coq-Club] Call for course proposals for the 34th Informatics Sciences School - ECI 2020, Alejandro Díaz-Caro, 09/23/2019
Archive powered by MHonArc 2.6.18.