coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] ECI 2024 (Buenos Aires, July 2024) – Second call for course proposals
Chronological Thread
- From: Pablo Barenbaum <pbarenbaum AT dc.uba.ar>
- To: undisclosed-recipients:;
- Subject: [Coq-Club] ECI 2024 (Buenos Aires, July 2024) – Second call for course proposals
- Date: Sat, 14 Oct 2023 15:47:43 -0300
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=pbarenbaum AT dc.uba.ar; spf=Pass smtp.mailfrom=foones AT gmail.com; spf=None smtp.helo=postmaster AT mail-ed1-f47.google.com
- Ironport-data: A9a23:9ZYIy6OplxA9gtLvrR2Ok8FynXyQoLVcMsEvi/4bfWQNrUp01GADn WcWXWyGaPfYYzTxco8nYNi+/B5X6JeAnNJrSnM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYATNNwJcaDpOsPvb8U835pwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGX3f2n326xpA3omNKgb5sxyM1xh3 OcHfWVlghCr34pawZq+Q+how8kvdYzlYNxZtXZnwjXUS/0hRPgvQY2QvY4ejGp23JgeW6qBD yYaQWIHgBDobRpIPFoMIJ07leaswHL4dlW0rXrL9fVtvzSLkWSd1pDUDNrPK+PNQv9YuUKVg kXC8z3rJygzYYn3JT2tqyrw3IcjhxjTU4ULUba86/RCm0yW3mVVCRsMVFL9r+PRt6Klc9dWK khR9yZ36KZuqwqkSd7yWxD+q3mB1vIBZzZOO9w2+hqVk63b2BaQI2sYZDtzVfMPr9BjEFTGy WS1t9/uADVutpicRnSc6qqYoFuO1c49fT9qicgsHVtt3jXznG0gpkmQEYs7QcZZmvWwSG6gm WnbxMQrr+xL1ZZj6kmtwbzQb9uRSnXhSwc04kDaUjvg4F8mIoGiYIOs5B7Q6vMowGelorup7 SRsdyu2trhm4XSxeMqlHrtl8FaBuavtDdEkqQQzd6TNDhz0k5JZQahe4StlOGBiOdsedDnib Sf74F0Au8UJZSv2NvEsP+pd7vjGK4CwRbwJsdiEPrJzjmRZKWdrAQk3Oh/Mgj+9+KTSuftiY MzKGSpTMZrqIf0/kGDeqxY13rgsySQzrV4/triqpylLJYG2PSbPIZ9caAXmRrlgsMus/l+Jm /4BbJDi40sEAIXDjtz/q9F7waYidihlW/gbaqV/Koa+H+aRMDp5V6OAkel8JNcNcmY8vr6gw 0xRk3RwkDLX7UAr4y3QApy6QOK3A8RMvjggMDYyPF2l/XEmbMz9pO0cbpY7N/1vvuBq0fc+H bFPdtSiE8Z/bG3N2w0cSp3h861kVhCg3jyVMwSfPTMQQp9HRi7ywOHCQDfBzic1IxCMhZMMm IH4jgL/argfdjtmF/fTOa6OzUvunH0zm9BSfkrvI/tQSVSxqblvBjHAvt42B+ouKhzz4CSQ+ CjLIBUfpMjL+5QU9vuQj4+6jo6ZKclMNWsEIHv6t5OIbTL7+Einyq9+CNe4RyjXDj7Iyf/zd NdrwOHZG9xZulRz6q5XMathlIA67PvR/45q9BxuRij3Xg76G4FbAye02OdUvfdw3Z5fgwy9X 3yP9vR8ObmkPMDEEkYbFDE6b9ashO0lpT3P0csbeEnKxjd73L6iY3VgOxOhjC98LrwsPrg1n sYnmsodsDKkhjQQb92psyFz9ka3FEImbZkJjJ8hLbHOthsK0XBHOJzVNT/36sqAavJKKUgbH QWXj6vj2ZVZn0rLTGUvJ0f0zc5itMwoqU1MxgVTIV6mp8f03K4r/RxO8AYYShZe4QVH3tlSZ ElqFRxRDoef8wh4gPNsWziXJDhAIxmC6Gnd8kAsllCFf3K3V2fIEnIxCdyN8G8d7WhYWDpRp 5Oc90rIThfoe5vX8hYpeEs4tcHmc8N9xjfClO+jAc6BOZswOhjho622YFs3uwnVOtwwiGLHt NtV0r5JM4OjDhEpooo/F4W+/pYTQkrdJGV9HNdQzJlQFmTYIDyPyTyCLn6qQfx0JtvIzx6cK 9dvLcdxRRiBxH6wjjQEN5UtfZ5wvtAUveQnRJ26C1ICgbWlqhhRjKnx7Qn73W8ifMVvm50yK 6TXbDOzLVaTjnp1xU7IoNV1BW6jRdwiegfH/fuU9d8RHMkpq9BcckAV05q1sU6KMQBhwQmmg QPba4LSzM1g0Y5JnbawNolmGCOPNorVeMmT1QK8ofBiTInqCtjfkRERpn3MHRVkDZFIV/tZz b2y4cPKhmXbt7MIYkXlspimFYwSwO6tXeBSY/nFHFMDkQSsAMbTsgY+oUamIpl0kfRY1MmtZ y28TOCSLdc1edNs9Ed5WhhkMSQ2KvrIN//7hCaHsf6zJAAX0lXHIPOZ5HbZVzxnWRFSCaLuK D3fmqiI1olUor0ZUVVAT7tjDoRjKVDuZbo+epej/XOEB22vmRWZtqGkiRMk7irRB2KZFNrhp 6jIXQX6aA/4rZSgIAu1aGCulkZ/4LdBbegMkoY1/td3j3W3ADdDI7hCd5oBDZ5Qn2r505SQi PQhqoc9IX2VYNiGWUyUDBffssO3CekHO9O/LTssl69RQznjH5uOWdON6Q85i0qbuVLfICWPJ dpY53f5eBGrqn2sqSD/+dTj6dpaKjjmKr7kNKwzfwEew/rTPFnS6EFcIQ==
- Ironport-hdrordr: A9a23:/iGAk6Aw9JBqRPPlHems55DYdb4zR+YMi2QD/Ep6ICYlFfBw9v re+MjzuiWVtN98YhAdcLO7VpVoI0mslqKdiLN5VdyftWLdyQmVxe9ZnO7fKv7bdhEWNNQ26U 6tScRD4RTLYmRHsQ==
- Ironport-phdr: A9a23:Gi9Twh+OHaNLA/9uWZK2ngc9DxPPW53KNwIYoqAql6hJOvz6uci4b AqBvb4w0xeJBdydt6gazbKO8ujJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglWhzexe7J/I Am5oQjRtMQdnI9uJrosxhfTrXZEZeVbyXl0KV6Pmhr3+9u98oNk/ylMofwq6tROUb/9f6Q2T LxYCCopPmUo78D1thfNUBWC6GIEXmoZjhRHDQ7F7ArnXpjqqSv1qvB92CiBMsLoS70/RCmv4 L1qSB/sjycHKiI5/WTKgcF+kK5XvBSsrAF4zI7JZoGaKft+frjBctMeQmpBRdheWDFcCY+4Y IYDE+8NMOBYoYn6vVsOogWxChSxD+3t1DFGmGX407An2OglHgzKwAksEtQTu3rWsdr1Lr8fX u+1wqfGzjvNcu9Z1Crm5YfSbhwsu+uBUa5sfcfTz0QkCgPLjk+XqYzgJz6bzP4CvHOf7+pnS OmilnQoqxtvrTip3cgjkJTJhocIwV3D7SV225w6JcemR059etGrCoZQtySBOoRrXswuWXxot z0gxbEco5G7ZjEHxZI6zBHQd/KJaZKH4g7/VOmPOzd4gmpodr2+ihqs80WtxePyWMa63ltKq idInMTAu2wR2xHO9MWKSeZx80O/1TuByg3e7vxJLEI2mKTbJJMswbA9m5scv0nFAyT4lkL2j KqMeUUl/Oil8/roba/9pp6cK4B0ihvxMqU0msClBuQ4KAcOU3CB9uug0b3v50r5QK9FjvEuj 6bWrIrWJdkAqaGjGQNayJwj5hCiBDmlyNQVhWcLIE5BdR6djIXkO0vCLO7kAfq8mVihnzVmy vbbNbP7GJrNNGLMkLL5cLZ99UFczA0zwMha551OC7EBJOv/VVHsu9DFFxM5PQO5zuT9BNVy0 YMeXm2PAquHP6/IrVCI4ecvL/GNZI8Tpjn9N+Ao6+DygXI9g1MQfqmk0YEJZHykHflqOUqUb Hj0jtcEC2gKvw4+TOLwiF2FVD5ef3iyX6U75jE9Fo2mFpzORo+ogLOb3Se7GodaaXxBClCJC XvocZ6LVO8WaC2OOs9hjiAEVb+5RoM8zR2urhP1y6J7LurI/S0VrY7s1N9s5+HKiR4y8SF0A N+G3mGWT2B0m3sISCUs0KB+p0x90FaD3rJij/xWD9wAr89OBxo8OZ/HxOh9EN3+HxjMddaRS VugXs70UmIfVNU0lucHaUJ6U/+rlB3F1SO3BvdBj7aCHpEy+KvB2lD9LIBgwX+A3bN33Apue ddGKWDz3v03zAPUHYOcwx3xf8eCcK0d2HWI72Kf1S+Vu1keVgdsUKLDVHRZZ03MrN2/6FmRB 6S2B+EBNQ1MgdWHNrMMcsfg2E1MTe3uPt7XfmeZl2z2GByBgLqWP8LxY2tI5CzGEwAflhwLu 3OPNAwwHCCk9mzZCzpjDnrgZkrt9a91r3boBlQswVSsaEtsn6Gw5gZThfGYTKYL2akYvS46t zhuNFO03taTBtbZ4gQ9I+NTZtQy5FoB3mXc3+BkFrqnKa0qxlsXcgAs+ljryw0yEYJY184js HItygN2b6OeylJIMT2Cj9j2PfXMJ2/+8QrKCeae00zC0NuQ5qYE6egp41TlsgazE0M+8nJhm 9BL2nqY75/OAUIcS5X0Gkow8hF7ofndbExfr8vM33R2PK++uyLH894iQvYvw1CpZZYXMa+JE hPzD9xPH9Kne6Qhn1mkaA5BPfgHrvZleZP7MaHeiOj3Y7UF/nrul2lM7YFj31jZ8iN9TrWNx JMZ27SD2RPBUT7gjVCnu8SxmIZeZDhUEHDsrEqsTINXeKB2ep4GTGm0JMjijNt5gJjgQFZX8 VeiAxUN38rjKn/wJxTtmBZd00gauyntgSGx1TFymTg0q4KT12rTye2kfQBNaQspDCFyyFzrJ 4azldUTWkOlOhMomBWS7kH/36FHpa57IgE/WG9wdjPtZyFnW6q07f+ZZtJXrYgvqWNRWfi9Z laTTvj8pQEb2mXtBTkWyDc+fjCs8pL3+n4ywGyaK3B+t1LWfMhxwVHU49mUSfNK3zUATTV1k nGNXgn6b4Tvp43E0cuc+umlH3qsTJhSbTXmwebi/GOg6GtmDAf+1/G/l9v7EBQrhCry1t1kT yLN/173Zojm0bj/MPoyJBE5Qg+hrZAiSscizdhV5tlYw3URi5SL8GBSlG7yNY4ewqfidD8WQ iZNxdfJ4Q/j0UklL3STxou/WG/Op6kpL9S8fG4S3Towqs5QD6LBprJDmi14uXK3qAvQZb52m TJXmp5MoDYKxvoEvgYg1HDXDLcVG0RDFSPpnhWMqdu5qe8ELHbqer+22k1kmNmnB7zXuQBQV kHyfZI6FDNx5MFyYzeumDXjr5vpc97KYZcPpwWZxl3e2vNNJst7xbIawDBqMmXnsTg5xv4n2 FZwiIqistHiSS0l/brlUEUFcGSkP4VJpm6r1eEEwo6Xx9z9QMknQG5QGsK2FbTwV2tD/fX/a 1TQTntl8i3dQfyHWlXHjSUu53PXT8L1aTfNeChfnY0kHF7HfARemFxGA298x8J/T1HwgpSmK Rcx5yhNtAGk7EIWl6QwcUG4Czm6xk/gay9oGsHHfFwPsV4EtwGNdpbHpuNrQ3MBocbn9V3Rb DTdP0MRUykIQhDWXQiyeOnzo4Cao67AQbPhSpmGKbSW9b4EDqnOmMLpi9o8uW7Lb5THP2E+X adihAwZBiE/QJ6fw3JWGmQBnibJJaZ3vT+a/St65oC6+fXvA0f04JeXTqBVKZNp8gy3hqGKM 6iRgjx4IHBWzMFEw3iA07UZ0FMI7kMmPzCwDbQNszLMR6PMi+dWCRAccSZ6KMpP6eo1wABMP cfRjt692KR/i7Y5DFJMVFqpnc/MB4RCO2amKFbOH1qGLpyDLDzPhsz7OOayFeIWg+JTuBm9/ z2cFg6rPziOkSXoSwH6MexIi3L+XlQWs4W8fxBxTGn7GYi+O1vrbZkt1W1wneJn4xGCfXQRO jV9bU5X+7iZ7CcDx+56B3QE9X19a++Nhyee6eDcbJcQq/piRCpuxIc4qDw3zaVY6CZcSbl7g izX+5RgpFagn/KnxT9uUR4IoTFOztHu3w0qKeDC+59MVGyRtgoK9nmVAg8WqsFND9Tuv+Vdx oGKmv6sbjhF9N3Q8I0XAM2ee6fleDIxdBHuHjDTFg4MSzWmYHrei0Jqm/aX7nSJr5I+p/AEf bICQflGXlVzH+lIUiyN8/QNJZ52WnUvlrvJ1abgBFK7pRjVAchW59XJCq3UDvLoJzKUy7JDY klQqY4=
- Ironport-sdr: 652ae14e_J9sKMXXJ7So+7510xLROWpiuqVwZ/sTFvFLUDykymD3srOU CMjKKHMIF4gIf6wCYzw0lVNM26DpzOr7DUjrV8g==
Call for course proposals
37th Informatics Sciences School - ECI 2024
July 29th to August 2nd, 2024
Buenos Aires, Argentina
IMPORTANT DATES
November 1st, 2023: Proposal submission deadline
January 2024: Notification
This is an invitation to submit proposals for courses in all areas of Computer Science to be included in the program of the “37ª Escuela de Ciencias Informáticas” - ECI 2024, to be held at Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires, from July 29th to August 2nd, 2024. The Escuela de Ciencias Informáticas (ECI) has been 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 undergraduate curricula. These courses are taught by prestigious lecturers from universities and institutions from all around the world. Each year, between 400 and 800 students 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 aimed 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 acceptable. The school will cover travel, hotel, and local expenses of ECI 2024 lecturers.
SUBMISSION INSTRUCTIONS
Proposals should be submitted using the following form:
https://easychair.org/conferences/?conf=eci2024
The submission must be done in PDF format, containing all and only the following sections:
* Title.
* Abstract (At most 1300 characters).
* Objectives of the course (At most 1300 characters).
* Topic (You must choose among the first level of ACM CCS (https://dl.acm.org/ccs/ccs.cfm), e.g. "Computer Systems Organization").
* 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 (The academic background the students should have in order to be able to understand the course. A general description in the form of course names or topics will suffice.).
* Optional: Local contact. (A local contact in the Department of Computer Science, FCEyN, UBA is desirable, but not mandatory)
* A CV must be attached to the end of the proposal.
For information about previous editions, please refer to https://eci.dc.uba.ar/institucional/#ecis-anteriores or send an e-mail to eci2024 AT dc.uba.ar
Pablo Barenbaum (Chair)
Francisco Soulignac (Co-Chair)
- [Coq-Club] ECI 2024 (Buenos Aires, July 2024) – Second call for course proposals, Pablo Barenbaum, 10/14/2023
Archive powered by MHonArc 2.6.19+.