From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id D07235D5 for ; Sat, 16 Feb 2019 16:24:16 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,377,1544482800"; d="scan'208";a="369689568" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Feb 2019 17:24:15 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id A9341825BD; Sat, 16 Feb 2019 17:24:15 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 475CB82581; Sat, 16 Feb 2019 17:23:33 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tarmo@cs.ioc.ee; spf=None smtp.mailfrom=tarmo@cs.ioc.ee; spf=None smtp.helo=postmaster@smtp3.ioc.ee IronPort-PHdr: =?us-ascii?q?9a23=3Az2AZ0BOtBtYlv/I8bQYl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Iv79rarrMEGX3/hxlliBBdydt6oUzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlLiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?kJNzA37nzZhM9/g61HrxysvAB/w5fObY2JKPZyYr3RcNUHTmRBRMZRUClBD5ui?= =?us-ascii?q?YYQVFeoBOOFYpJTzqFsTthu+GROjBOfyyjRVgXL2wbc10/4kEQHBxwEvA8kOvG?= =?us-ascii?q?7VrNXyKKgeS/66w7fRwDjFcvhY1zD96I3SfRAgp/GBRahwftTKyUYxDQzFlEmf?= =?us-ascii?q?qYz/Pz+P0eQNqWeb4ux9Xuysk24qsxx9rzyhy8s2hYTFmpgZxk7E+Clk2oo5ON?= =?us-ascii?q?61RU1jbdK5EJZdtTuWOo90T884Xm1luzw2x7kCtJO9YSME0o4oxwTFZPyCa4WI?= =?us-ascii?q?4gzsVOKWITpgn3Jlfa6/hw68/ES6y+38UdW73ExUoSVbitXMt3YN2ALP6sWfV/?= =?us-ascii?q?dw+kms1SyA2gzP8O1IP0A5mbfBJ5I8wbM9lYIfsUHZES/3nEX2grWWdkIh+uWw?= =?us-ascii?q?9+ToeK/mppqbN4Jvlg7+Kb4ims24AeskKAQBQXaU9fym1LL/5U35XKlKjvoun6?= =?us-ascii?q?bFqp/aIMAbqre9Aw9UyYYj9w2yDyym0dQdhXkINkhJeBOBj4jzOlHBOur0Dfml?= =?us-ascii?q?g160ijdk2+jGPqH9ApXKNnXMjLDhfa9k50FAzAoz0MtQ6olPCrABJfLzQlX+uM?= =?us-ascii?q?bZDh8/KQy0wvzoBM9z1oMECiqzBfqZObjRvFuMzuImOOqBYItTvyzyb7Au7vvq?= =?us-ascii?q?yHs4gkM1fK+z3JJRZmr8Vv9hOgCSZWfmqtYHC2YD+AQkH8Lwj1jXbTdJYnH6Yr?= =?us-ascii?q?8n+jg/FcryEY7ZQ4eFi6fH3SCwWJBbMDMVQmuQGGvlIt3XE8wHbzifd5c4w240?= =?us-ascii?q?EIO5Qopk7imA8Qrzyr5pNO3Ro3RKvoml1d9+oeDex0lrqW5ESv+F2mTIdFla23?= =?us-ascii?q?sSTmZvjqtk5016wRGO3Pog2qEKJZlo//pMFzwCG9vcwuh9UoygQQfdZozPSVGt?= =?us-ascii?q?BNirU2k8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DRAQD2N2hcl7z7KMFkgheBVYEVUSASj?= =?us-ascii?q?SaMMIIDgWaVFIF7MohNBgYyBw0BAwEBAgEBAQEBEwEBAQEBCBYGTAyCOiKDEh0?= =?us-ascii?q?nB00TIU8rgwcBgXIEC6wghDMFgQyEZgWMW4F/g3OBcYMZhgcCiXmZSQmBeEWFA?= =?us-ascii?q?IsOJWmSE4pDhUmOJQGCBjMaCDCDKIIzAohohT8/jW+CTQEB?= X-IPAS-Result: =?us-ascii?q?A0DRAQD2N2hcl7z7KMFkgheBVYEVUSASjSaMMIIDgWaVFIF?= =?us-ascii?q?7MohNBgYyBw0BAwEBAgEBAQEBEwEBAQEBCBYGTAyCOiKDEh0nB00TIU8rgwcBg?= =?us-ascii?q?XIEC6wghDMFgQyEZgWMW4F/g3OBcYMZhgcCiXmZSQmBeEWFAIsOJWmSE4pDhUm?= =?us-ascii?q?OJQGCBjMaCDCDKIIzAohohT8/jW+CTQEB?= X-IronPort-AV: E=Sophos;i="5.58,377,1544482800"; d="scan'208";a="369689442" Received: from smtp3-out.ioc.ee (HELO smtp3.ioc.ee) ([193.40.251.188]) by mail2-smtp-roc.national.inria.fr with ESMTP; 16 Feb 2019 17:23:32 +0100 Received: from cs.ioc.ee (nova-157-097-018-099.cpe.nova.is [157.97.18.99]) by smtp3.ioc.ee (Postfix) with ESMTPSA id EBC6940511; Sat, 16 Feb 2019 18:23:31 +0200 (EET) Date: Sat, 16 Feb 2019 16:23:30 +0000 From: Tarmo Uustalu To: haskell@haskell.org, caml-list@inria.fr, coq-club@inria.fr Message-ID: <20190216162330.4bdb420e@cs.ioc.ee> MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable X-Validation-by: tarmo@cs.ioc.ee Subject: [Caml-list] Call for Applications: ETAPS Mentoring Workshop, 7 April 2019 Reply-To: Tarmo Uustalu X-Loop: caml-list@inria.fr X-Sequence: 17349 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Call for Applications: ETAPS Mentoring Workshop, 7 April 2019 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D *NEW* - ETAPS 2019 is running a mentoring workshop to encourage students to pursue graduate studies. The workshop is held on Sunday April 7 in conjunction with ETAPS in Prague. In addition to the workshop on Sunday, attendees are invited to mentoring breakfasts and evening lectures. The ETAPS Mentoring Workshop is organised with the intention of helping students early in a program with advice on research, career, and (academic) life in the fields of Computing that are covered by the ETAPS conference. Students will attend lectures that describe key ideas in the field but also how the researchers came up with those ideas, what obstacles they had to overcome and other helpful advice. Students will work together during the workshop to meet a common goal, and will present their results for the mentoring researchers and get feedback. During mentoring breakfasts, students will get to interact one-on-one with researchers at. Prospective Ph.D. students (undergraduates and Masters) will be assigned mentors who will help them navigate the conference. This is a closed workshop: an application is required to attend. It is possible to be both a Student Volunteer and an mentoring workshop attendee. *** Application deadline: March 1st. *** Excerpts of the programme on the 7th of April: =46rom Shape Analysis to Smart Contract Verification: A journey in proof automation=20 Mooly Sagiv, Tel Aviv University How to Give an Effective Talk Ajitha Rajan, University of Edinburgh Navigating through the academic jungle: tips, tricks & traps Marielle Stoelinga, University of Twente Advice on your adviser Marsha Chechik, University of Toronto How to survive being a woman in computer science Marieke Huisman A few lessons from the PhD I just finished Juliana Franco, Microsoft Research, Cambridge Gentle introduction to language design research:=20 Why get involved, open problems, and what it means to get involved Mira Mezini, TU Darmstadt Science and Sanity: how to do the former while retaining the later (Panel)=20 Stephanie Balzer, Carnegie Mellon University Barbora Buhnova, Masaryk University Juliana Franco, Microsoft Research, Cambridge For additional details see https://conf.researchr.org/track/etaps-2019/etaps-2019-ETAPS-Mentoring-Work= shop A purpose of the workshop is to promote diversity and increase the participation of students who are members of underrepresented groups in graduate studies in the fields of the conferences and workshops under the ETAPS umbrella. We therefore especially encourage applications from women, Aboriginal peoples, persons with disabilities, and other groups underrepresented in computing. This workshop provides these students with valuable opportunities for mentorship and networking. Very limited funding may be available for students who would not be able to attend otherwise (these funds depend on our ability to raise industrial sponsorships). Students may also apply to be Student Volunteer to be able to attend the rest of the conference, There are also 10 ETAPS Student Scholarships which give 500 Euros to students coming to Prague. Organisers Jan Vitek, Northeastern University and Czech Technical University Tobias Wrigstad, Uppsala University