From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10041 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: =?UTF-8?Q?Alejandro_D=C3=ADaz=2DCaro?= Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories,gmane.science.mathematics.prooftheory,gmane.comp.lang.agda,gmane.science.mathematics.logic.coq.club Subject: Final Call for course proposals: 34th Informatics Sciences School - ECI 2020 Date: Thu, 7 Nov 2019 15:24:34 -0300 Message-ID: References: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============2892605717690820222==" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="134281"; mail-complaints-to="usenet@blaine.gmane.org" To: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, quantum-foundations-mrEvjEli4ZAJrcTbIn6FzVpr/1R2p/CL@public.gmane.org, gdr-im-JHSeY3WhOOtQFI55V6+gNQ@public.gmane.org, prooftheory-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org, agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org, coq-club Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Mon Nov 11 10:50:34 2019 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by blaine.gmane.org with esmtp (Exim 4.89) (envelope-from ) id 1iU6L3-000YcY-Ev; Mon, 11 Nov 2019 10:50:25 +0100 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id xAB9ln1x020254; Mon, 11 Nov 2019 04:48:10 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from psychopathy.seas.upenn.edu (psychopathy.seas.upenn.edu [158.130.67.191]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id xA7IOoZ0017737 for ; Thu, 7 Nov 2019 13:24:50 -0500 Original-Received: from mx0a-000c2a01.pphosted.com (mx0a-000c2a01.pphosted.com [148.163.151.92]) by psychopathy.seas.upenn.edu (8.15.2/8.15.2) with ESMTPS id xA7IOnoP003007 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Thu, 7 Nov 2019 13:24:50 -0500 Original-Received: from pps.filterd (m0128479.ppops.net [127.0.0.1]) by mx0a-000c2a01.pphosted.com (8.16.0.42/8.16.0.42) with SMTP id xA7IOKX2004072 for ; Thu, 7 Nov 2019 13:24:49 -0500 Authentication-Results: ppops.net; spf=pass smtp.mailfrom=alejandro-bV/v8oT3xFKPz0yCdmeSRA@public.gmane.org Original-Received: from mail-ot1-f50.google.com (mail-ot1-f50.google.com [209.85.210.50]) by mx0a-000c2a01.pphosted.com with ESMTP id 2w41ydc2kp-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Thu, 07 Nov 2019 13:24:49 -0500 Original-Received: by mail-ot1-f50.google.com with SMTP id t4so2890274otr.1 for ; Thu, 07 Nov 2019 10:24:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=diaz-caro.info; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=Hl7LigrcHBfSia92qeuATHjUbp5UCvGelPnxICJ1Ahg=; b=XSrgXtv9V0xSQduwgDyTkgv397lR02sSbe9Mau0ZdziDjax0BKPsFPcgbU+GoconRf fquf2Le9GRK02u1WbfKa9IrNViPQ1bU8aK+E69psj4PAdmHS4Dkg+N0tXA+yV9wJPjN6 7gBMFtfO23ra+ub/0BXzU9mskHVbEz+vSSS4U= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=Hl7LigrcHBfSia92qeuATHjUbp5UCvGelPnxICJ1Ahg=; b=BR8in5dDk8jy7qcEyEP/EG/QlrxW1UHzAWrTYmnWF0fSkhGdJpED5I2myZwloMfduS vkexX4wBZUeAY6ghj6Argf6ORM9w+3R8A6lokoz0obsA7R+B97yeq+GATD4qGRD5Z8Uo tIBA2pzol3HE4YDHCtMlAQiSPoNlxU5YDcyW2NWaXdRwTnZZuJ3EZjxDhu9jIrIj45Dw HmuQWMX4trpMLi5iBgZeI9dZXkINViSFD5YS2oFT3oDt91b2i+jtB7WxBcg3dEY7oxYf OZBFnuHM4aENcD2huGZD7yail7M39GRE/bwsariVkmwarU/ksxh9qgtJJp34ogzoXy+8 aG3g== X-Gm-Message-State: APjAAAVE9GYZzxGfKGqGvPbZk9DgcBnVe3UixpT8EwmlRvWEjfX7o3wJ vW2GVfY9lOh34Mqr/lwfBOyOHVP3nTH5+g== X-Google-Smtp-Source: APXvYqxAzI+Jeir4dzcF5TnDWAZ2bvPZMm5wTMHvD1+Ne2N9FxmqD1j3CDzBrbBP/zlTJuk79fs3Iw== X-Received: by 2002:a9d:6215:: with SMTP id g21mr4271713otj.304.1573151087437; Thu, 07 Nov 2019 10:24:47 -0800 (PST) Original-Received: from mail-oi1-f171.google.com (mail-oi1-f171.google.com. [209.85.167.171]) by smtp.gmail.com with ESMTPSA id d132sm942203oif.2.2019.11.07.10.24.46 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 07 Nov 2019 10:24:46 -0800 (PST) Original-Received: by mail-oi1-f171.google.com with SMTP id j7so2868446oib.3 for ; Thu, 07 Nov 2019 10:24:46 -0800 (PST) X-Received: by 2002:aca:f083:: with SMTP id o125mr4668327oih.122.1573151085688; Thu, 07 Nov 2019 10:24:45 -0800 (PST) In-Reply-To: X-Gmail-Original-Message-ID: X-CLX-Response: 1TFkXGR8aEQpMehcbHxIRCllEF2lTEl9cZmJmGxJtEQpYWBdnT39bfX1gf2N DYxEKeE4XZxllE1IZYRpgfV0RCnlMF2tPX2hkaXxFHhJ5EQp5QxdkW2VjenBcEhJ4aREKQ0gXBx 4THREKQ1kXBxsdHxEKWU0XZ2ZyEQpZSRcacRsGGncGGBoaBhsaGkIbEwYaBhsaGgYacRoQGncGG gYHHxoGGgYaBhoGGnEaEBp3BhoRClleF2hjeREKSUYXX1pPRERZT0tZdUJFWV5PThEKQ04XbBgf W3B/ZU9/cFsfekhyZBgceGRJaU4cWF1NeGJfSW0RClhcFx8EGgQbEh0HE0wcSx8dSRoFGxoEGxo aBB4SBBsQGx4aHxoRCl5ZF38BTXNnEQpNXBcZHxoRCkxaF2xpTWtrEQpMRhdsa2sRCkJPF3pMQ0 lzaXkBW0B7EQpDWhcYGhMEEh8EGBsaBB8aEQpCXhcbEQpEXhcdEQpCXBcaEQpCRRdnAXBiZEFQQ klyGxEKQk4XZxllE1IZYRpgfV0RCkJMF2dPf1t9fWB/Y0NjEQpCbBdlX1hmYGhjYF5IGBEKQkAX bVtOS0JfQEUTeWIRCkJYF29ER096fF1MW0xoEQpNXhcHGxEKWlgXHhEKcGcXbVhjfBphexJkEhg QBxkaEQpwaBdgHxNwXk0BZV1GXhAHGRoRCnBoF2hFek9FZwF9S2xsEAcZGhEKcGgXZn4ZUGl9QX JsaWsQBxkaEQpwaBdkR0BYX1oaRRhvUBAHGRoRCnBoF3pDe3wTclBzbh59EAcZGhEKcH0XY2EBZ hwaHXlCRVkQBxkaEQpwfRdlS1p8fUhcZUBoUhAHGRoRCnB9F2gfT X-CLX-Shades: MLX X-Proofpoint-SPF-Result: pass X-Proofpoint-SPF-Record: v=spf1 include:_spf.google.com ~all] X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.95,18.0.572 definitions=2019-11-07_05:2019-11-07,2019-11-07 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 bulkscore=0 mlxlogscore=999 mlxscore=0 spamscore=0 lowpriorityscore=0 malwarescore=0 impostorscore=0 clxscore=350 phishscore=0 adultscore=0 priorityscore=158 suspectscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-1910280000 definitions=main-1911070170 X-Mailman-Approved-At: Mon, 11 Nov 2019 04:47:47 -0500 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" Xref: news.gmane.org gmane.comp.science.types.announce:8733 gmane.science.mathematics.categories:10041 gmane.science.mathematics.prooftheory:1627 gmane.comp.lang.agda:11348 gmane.science.mathematics.logic.coq.club:22712 Archived-At: --===============2892605717690820222== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============2892605717690820222== Content-Type: multipart/alternative; boundary="000000000000a3fa1b0596c5c7a2" --000000000000a3fa1b0596c5c7a2 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Call for course proposals 34th Informatics Sciences School - ECI 2020 July 20 to 24, 2020 Buenos Aires, Argentina https://www.easychair.org/cfp/ECI2020 https://eci2020.dc.uba.ar IMPORTANT DATES 15 November 2019: Proposal submission deadline End of January 2020: Notification This is an invitation to submit proposals for courses in all areas of Computer Science to be included in the program of the "34a Escuela de Ciencias Inform=C3=A1ticas" - ECI 2020, to be held at Departamento de Computaci=C3=B3n, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, from July 20 to 24, 2020. The Escuela de Ciencias Inform=C3=A1ticas (ECI) is held annually at our department, since 1987. The= goal of ECI is to offer to Computer Science students and practitioners intensive, top-level courses on topics not covered by the regular curricula. These courses are taught by prestigious lecturers from universities and institutions from all around the world. Each year, between 400 and 800 people participate in ECI, taking one, two or three courses each. 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-=E2=81=A0mail to the lecturer. Submissions for courses to be taug= ht 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 through https://easychair.org/conferences/?conf=3Deci2020 The submission must be done in PDF format, containing only the following sections: * Full Name * Course 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 https://eci2020.dc.uba.ar/anteriores.html or send e-=E2=81=A0mail to eci2020-chair-fUwMqdjFFF0YKgAjMxxOCg@public.gmane.org Alejandro D=C3=ADaz-Caro (Chair) Luciana Ferrer (Co-Chair) --=20 http://www-2.dc.uba.ar/staff/adiazcaro --000000000000a3fa1b0596c5c7a2 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
<= div class=3D"gmail_quote">
Call fo= r course proposals

34th Informatics Sciences School - ECI 2020
=
July 20 to 24, 2020
Buenos Air= es, Argentina

=
IMPORTANT DATES
=C2=A0 15 November 2019: Proposal submissio= n deadline
=C2=A0 End of January 2020: Notification

This is an invitation to submit propos= als for courses in all areas of Computer Science to be included in the prog= ram of the "34a Escuela de Ciencias Inform=C3=A1ticas" - ECI 2020= , to be held at Departamento de Computaci=C3=B3n, Facultad de Ciencias Exac= tas y Naturales, Universidad de Buenos Aires, from July 20 to 24, 2020. The= Escuela de Ciencias Inform=C3=A1ticas (ECI) is held annually at our depart= ment, since 1987. The goal of ECI is to offer to Computer Science students = and practitioners intensive, top-level courses on topics not covered by the= regular curricula. These courses are taught by prestigious lecturers from = universities and institutions from all around the world. Each year, between= 400 and 800 people participate in ECI, taking one, two or three courses ea= ch.
=
COURSE FORMAT
ECI courses last 15 hours in total (3= hours per day from Monday to Friday) and are addressed to advanced undergr= aduate or graduate students. These courses should include a final evaluatio= n, which can be a take-home to be sent by e-=E2=81=A0mail to the lecturer. = Submissions for courses to be taught in Spanish or English are accepted. Th= e 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 through=C2=A0https://easychair.org/conferences/?conf=3Deci2020=C2= =A0

The submission must be done in PDF format, cont= aining only the following sections:

* Full Nam= e=C2=A0
* Course Title
=
* Abstract (At most 1300 characte= rs)
* 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 durin= g the course)
* Schedule (Ap= proximate timeline of how these topics will be presented from Monday to Fri= day).
* Suggested bibliograp= hy (At least three books or papers that are related to the topics of the co= urse)
* Student's prefer= red background (Background the students should have to be able to follow th= e course. A general description in the form of course names or topics will = suffice.).
*=C2=A0Will the c= ourse 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 assi= gn lab space with computers for the students. Note that having a lab sectio= n 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 Compute= r Science, FCEyN, UBA is desirable, but not mandatory)

<= div text=3D"#000000" bgcolor=3D"#FFFFFF">For information about previous edi= tions, please refer to=C2=A0https://eci2020.dc.uba.ar/anteriores.html=C2= =A0or send e-=E2=81=A0mail to eci2020-chair-fUwMqdjFFF1QFI55V6+gNQ@public.gmane.org.

Alejandro D=C3=ADaz-Caro (Chair)
Luciana Ferrer (Co= -Chair)=C2=A0




--
--000000000000a3fa1b0596c5c7a2-- --===============2892605717690820222==--