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 4075F5D4 for ; Mon, 20 Apr 2020 09:31:29 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.72,406,1580770800"; d="scan'208,217";a="445933398" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 20 Apr 2020 11:31:20 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9D8D07EFAB; Mon, 20 Apr 2020 11:31:20 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id C1ACA7EFAB for ; Mon, 20 Apr 2020 11:31:08 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vcla-scholarships-request@list.tuwien.ac.at; spf=None smtp.mailfrom=vcla-scholarships-owner@list.tuwien.ac.at; spf=None smtp.helo=postmaster@list.tuwien.ac.at IronPort-PHdr: =?us-ascii?q?9a23=3AolKtahB0pPNOIdPphjmCUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSP/zpcbcNUDSrc9gkEXOFd2Crakb26yL6+jJYi8p39WoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kuIwxVXXzXzL09O?= =?us-ascii?q?O//tF4XOx4Ttj6Hhs6DVeBhC0T+0YLduK0etvADJv+ESgJB+bLos1RrEpD1BcK?= =?us-ascii?q?Jf2TRzOFiRkh3gs9q254Np6C9KuvgsupQYT67+duEjRrxfCD08KGA0/Na4iR6W?= =?us-ascii?q?BxWE4nJZSW4WlR5BGRPF7QnhdpPwqTe8qvdi2SSce8T9C7koE3z28axvQVrzgy?= =?us-ascii?q?cAMzcj62HWktdYiKNAvFS9ugN+zoiSaYrTPeYoLZnQZdcLeW0UFPxWRSlIBMf0?= =?us-ascii?q?SooPBucFNKwQ+4z8p1IDqRL4Hw6+Aerp4iNVmX772+sz2KIoDVeV8hYnGodEin?= =?us-ascii?q?PGqdzzcO83UOC8wa3Bh32XavJW0Dr54c7SdQIkqPekQa9vcMfXj0AkUQrZ2AbD?= =?us-ascii?q?4bf5Ni+Yg7xe+1OQ6PBtALj30jN1m0RKujGqg/wUpMzJi4YSkwGW8SRi3MApOM?= =?us-ascii?q?K5RUg9aNXiGYcC73jLZbszedsrRiRTgAh/z7QHvZChey1TmcYjxgXDLeCabImF?= =?us-ascii?q?5FTqX6CYPWUg3S43SPeEnx+3tHOY5KjkTMDtgQROrzFZ1MXRqXEA0Vra4Y6OVq?= =?us-ascii?q?kl8w=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AuFwBXNZ1ebG4hgoBmDg4BAQEBAQcBA?= =?us-ascii?q?REBBAQBAYF7gSUvVYFEWQqGKYZshXuGegEBAZZkCAEDAQoBARgBFAIEAQGBUBK?= =?us-ascii?q?EcxwGBjQTAhABAQUBAQECAQIDBAETDRYEhgkLgjsFAgECAhgMgw4BAUM2AwEBA?= =?us-ascii?q?QYCAQEpGQELAwELIw4ZBBMFhSB+AQOwJYU/gx4FIYFWgTiMOYFcPoERNoIqAmy?= =?us-ascii?q?BBIk7BI4SEoY9glckmiUDBAOBSHyXax2CVohOkS6EaAqGdIQHmUqDIQIEAgkCF?= =?us-ascii?q?AGBMzaBeYQpUBgNV5BVATUOII1TPXSBKYtmLC0ZA0ABgQ8BAQ?= X-IPAS-Result: =?us-ascii?q?A0AuFwBXNZ1ebG4hgoBmDg4BAQEBAQcBAREBBAQBAYF7gSU?= =?us-ascii?q?vVYFEWQqGKYZshXuGegEBAZZkCAEDAQoBARgBFAIEAQGBUBKEcxwGBjQTAhABA?= =?us-ascii?q?QUBAQECAQIDBAETDRYEhgkLgjsFAgECAhgMgw4BAUM2AwEBAQYCAQEpGQELAwE?= =?us-ascii?q?LIw4ZBBMFhSB+AQOwJYU/gx4FIYFWgTiMOYFcPoERNoIqAmyBBIk7BI4SEoY9g?= =?us-ascii?q?lckmiUDBAOBSHyXax2CVohOkS6EaAqGdIQHmUqDIQIEAgkCFAGBMzaBeYQpUBg?= =?us-ascii?q?NV5BVATUOII1TPXSBKYtmLC0ZA0ABgQ8BAQ?= X-IronPort-AV: E=Sophos;i="5.72,405,1580770800"; d="scan'208,217";a="346402848" X-MGA-submission: =?us-ascii?q?MDGXa93Jq6JNnLg61w4qevLs6On5CL7cF4XTRO?= =?us-ascii?q?/glHPzHvEJHlaReIytrmeOlqx8/rG4px52+iH4VbwwxyuNHfzSSW7YEr?= =?us-ascii?q?GvG4JjwLN8a3M7vgEWqB+dIGtHHuq6/hFdpsagnO4IxNLjwEGzU0fiNM?= =?us-ascii?q?l/yAHGxfynNY1UdGElAtqL6A=3D=3D?= Received: from list.tuwien.ac.at ([128.130.33.110]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 20 Apr 2020 11:29:37 +0200 Received: from sympa by list.tuwien.ac.at with local (Exim 4.92) (envelope-from ) id 1jQSk1-0001YA-7f; Mon, 20 Apr 2020 11:29:25 +0200 Received: from secgw2.intern.tuwien.ac.at ([2001:629:1005:30::72]) by list.tuwien.ac.at with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jQSjF-0001Tg-3l for vcla-scholarships@list.tuwien.ac.at; Mon, 20 Apr 2020 11:28:37 +0200 Received: from totemomail (localhost [127.0.0.1]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 03K9SbjD025630 for ; Mon, 20 Apr 2020 11:28:37 +0200 Received: from localhost ([127.0.0.1]) by totemomail.intern.tuwien.ac.at (Totemo SMTP Server) with SMTP ID 680 for ; Mon, 20 Apr 2020 11:28:36 +0200 (CEST) Received: from edge13a.intern.tuwien.ac.at (edge13a.intern.tuwien.ac.at [IPv6:2001:629:1005:30::66]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 03K9Sakf025619 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Mon, 20 Apr 2020 11:28:36 +0200 Received: from mbx13d.intern.tuwien.ac.at (2001:629:1005:30::64) by edge13a.intern.tuwien.ac.at (2001:629:1005:30::66) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Mon, 20 Apr 2020 11:28:36 +0200 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by mbx13d.intern.tuwien.ac.at (2001:629:1005:30::64) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Mon, 20 Apr 2020 11:28:36 +0200 Received: from mbx13b.intern.tuwien.ac.at ([fe80::f0e9:7c2:196e:5846]) by mbx13b.intern.tuwien.ac.at ([fe80::f0e9:7c2:196e:5846%20]) with mapi id 15.00.1497.006; Mon, 20 Apr 2020 11:28:36 +0200 From: "Rozman, Mihaela" To: "vcla-scholarships@list.tuwien.ac.at" Thread-Topic: =?Windows-1252?Q?Grant:_Helmut_Veith_Stipend_for_Female_Master=92s_Studen?= =?Windows-1252?Q?ts_in_Computer_Science_-_scholarship_for_women_in_mathem?= =?Windows-1252?Q?atics/computer_science_=96_Annual_Deadline:_November_30?= Thread-Index: AQHWFvW4/YkgOhrAm0abTpSA8vHz+Q== Date: Mon, 20 Apr 2020 09:28:35 +0000 Message-ID: <1587374915164.53719@tuwien.ac.at> Accept-Language: en-GB, de-AT, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-transport-fromentityheader: Hosted x-originating-ip: [80.110.122.107] Content-Type: multipart/alternative; boundary="_000_158737491516453719tuwienacat_" MIME-Version: 1.0 X-Validation-by: mihaela.rozman@tuwien.ac.at Reply-To: "Rozman, Mihaela" X-Loop: vcla-scholarships@list.tuwien.ac.at Errors-To: vcla-scholarships-owner@list.tuwien.ac.at Sender: vcla-scholarships-request@list.tuwien.ac.at X-no-archive: yes List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Subject: [Caml-list] =?WINDOWS-1252?Q?Grant=3A_Helmut_Veith_Stipend_for_Fe?= =?WINDOWS-1252?Q?male_Master=92s_Students_in_Computer_Science_-_scholarsh?= =?WINDOWS-1252?Q?ip_for_women_in_mathematics/computer_science_=96_Annual_?= =?WINDOWS-1252?Q?Deadline=3A_November_30?= X-Loop: caml-list@inria.fr X-Sequence: 18108 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: --_000_158737491516453719tuwienacat_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable The VCLA invites applications for the Helmut Veith Stipend from motivated a= nd outstanding female master=92s students who plan to pursue one of the pro= grams in Computer Science at TU Wien taught in English in one of the follow= ing semesters: -winter semester 2020/2021 -summer semester 2021 -winter semester 2021/2022 ------------------------------------------------------------- HELMUT VEITH STIPEND ------------------------------------------------------------- The Helmut Veith Stipend is awarded annually to motivated female students i= n the field of computer science who pursue (or plan to pursue) one of the m= aster=92s programs in Computer Science at TU Wien taught in English. The Helmut Veith Stipend is dedicated to the memory of Helmut Veith (1971-2= 016), an outstanding computer scientist who worked in the fields of logic i= n computer science, computer-aided verification, software engineering, and = computer security. The Helmut Veith Stipend=92s fund is set up by the TU Wi= en (Vienna University of Technology), the Wolfgang Pauli Institute, and the= colleagues and friends of the late prof. Veith. ------------------------------------------------------------- Award ------------------------------------------------------------- Students who are awarded the Helmut Veith Stipend, receive: -EUR 6000 annually for a duration of up to two years. -Waiver of all tuition fees at TU Wien. ------------------------------------------------------------- Eligibility ------------------------------------------------------------- 1. Applicants must be eligible for admission to one of the master=92s progr= ams in computer science at TU Wien that are taught in English. In 2019/2020= and 2020/2021 those are: =95 Master in Logic and Computation =95 Master in Business Informatics =95 European Master in Computational Logic =95 Master in Computer Engineering (Technische Informatik) =95 Master in Data Science =95 Master in Media and Human-Centered Computing 2. While applications for funding can be filed before or in parallel with t= he admissions process, the funding will only be awarded to applicants who h= ave been unconditionally admitted to the master=92s program. An application= for funding does not replace the admissions process; neither does a condit= ional offer of funding entitle the applicant to study at TU Wien. 3. Female students who meet the following conditions are eligible to apply = for the stipend: =95 Bachelor=92s degree in Computer Science or Mathematics (Bologna first c= ycle) or equivalent degree =95 Extensive knowledge and interest in (at least one of) Helmut Veith=92s = areas of research: -Logic in Computer Science -Formal Methods and Verification -Foundations of Artificial Intelligence -Complexity Theory -Computer Security =95 Proficiency in English ------------------------------------------------------------- Conditions ------------------------------------------------------------- =95 Recipients of funding must be committed to demonstrate good progress du= ring their studies, i.e.: -obtain at least 25 ECTS credits from the respective master=92s curricu= lum per term on average since the beginning of their master=92s studies (th= e deadlines are April 30 for the winter term and November 30 for the summer= term), and -achieve a grade average of at most 1.5. =95 Recipients of funding have to reside in Austria during term time for th= e duration of their studies. Exceptions and temporary interruptions of the = stay during term time (e.g., for internships or research visits) are subjec= t to approval. =95 The stipend is provided for the duration of the master=92s program (sub= ject to the conditions listed above), for up to 2 years. ------------------------------------------------------------- Application Process ------------------------------------------------------------- Students are required to submit the following documents: =95 Cover Letter, describing the type of funding the student is applying fo= r, and all other aspects the student deems relevant for the application =95 Curriculum Vitae =95 Motivation Letter, describing the reasons why the student wants to stud= y in the program Logic and Computation, why funding is necessary, and with = which groups of the faculty the student would be interested to work with du= ring their master=92s thesis and why. =95 Reports on university examinations (transcripts) =95 Diplomas and/or certificates (first degree, bachelor degree, or higher)= . If the final academic certificate is not yet available at the time of the= application deadline, a preliminary certificate (indicating the type of de= gree and the expected graduation date) signed and stamped by the degree-awa= rding university must be provided. =95 Contact details of two referees (for letters of recommendation) =95 English language certificate (TOEFL or similar) =95 Copy of passport A certified translation needs to be provided for documents that are not in = German or English. Your application must be submitted electronically to mas= ter@logic-cs.at with a subject =93Application=94 as a single PDF document. = The name of the PDF file needs to be =93document.pdf=94 ------------------------------------------------------------- Application Deadline ------------------------------------------------------------- The annual deadline for applications is November 30th. ------------------------------------------------------------- Questions? ------------------------------------------------------------- Please do not hesitate to contact master@logic-cs.at --_000_158737491516453719tuwienacat_ Content-Type: text/html; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable

The VCLA invites applications for the Helmut Veith Stipend from motivate= d and outstanding female master=92s students who plan to pursue one of the = programs in Computer Science at TU Wien taught in English in one of the fol= lowing semesters:
-winter semester 2020/2021
-summer semester 2021
-winter semester 2021/2022


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

HELMUT VEITH STIPEND

-------------------------------------------------------------
The Helmut Veith Stipend is awarded annually to motivated female students i= n the field of computer science who pursue (or plan to pursue) one of the m= aster=92s programs in Computer Science at TU Wien taught in English.


The Helmut Veith Stipend is dedicated to the memory of Helmut Veith (1971-2= 016), an outstanding computer scientist who worked in the fields of logic i= n computer science, computer-aided verification, software engineering, and = computer security. The Helmut Veith Stipend=92s fund is set up by the TU Wien (Vienna University of Technology= ), the Wolfgang Pauli Institute, and the colleagues and friends of the late= prof. Veith.


-------------------------------------------------------------
Award
-------------------------------------------------------------
Students who are awarded the Helmut Veith Stipend, receive:
-EUR 6000 annually for a duration of up to two years.
-Waiver of all tuition fees at TU Wien.

-------------------------------------------------------------
Eligibility
-------------------------------------------------------------
1. Applicants must be eligible for admission to one of the master=92s progr= ams in computer science at TU Wien that are taught in English. In 2019/2020= and 2020/2021 those are:
=95 Master in Logic and Computation
=95 Master in Business Informatics
=95 European Master in Computational Logic
=95 Master in Computer Engineering (Technische Informatik)
=95 Master in Data Science
=95 Master in Media and Human-Centered Computing

2. While applications for funding can be filed before or in parallel with t= he admissions process, the funding will only be awarded to applicants who h= ave been unconditionally admitted to the master=92s program. An application= for funding does not replace the admissions process; neither does a conditional offer of funding entitle th= e applicant to study at TU Wien.

3. Female students who meet the following conditions are eligible to apply = for the stipend:
=95 Bachelor=92s degree in Computer Science or Mathematics (Bologna first c= ycle) or equivalent degree
=95 Extensive knowledge and interest in (at least one of) Helmut Veith=92s = areas of research:
    -Logic in Computer Science
    -Formal Methods and Verification
    -Foundations of Artificial Intelligence
    -Complexity Theory
    -Computer Security
=95 Proficiency in English

-------------------------------------------------------------
Conditions
-------------------------------------------------------------
=95 Recipients of funding must be committed to demonstrate good progress du= ring their studies, i.e.:
    -obtain at least 25 ECTS credits from the respective mas= ter=92s curriculum per term on average since the beginning of their master= =92s studies (the deadlines are April 30 for the winter term and November 3= 0 for the summer term), and
    -achieve a grade average of at most 1.5.
=95 Recipients of funding have to reside in Austria during term time for th= e duration of their studies. Exceptions and temporary interruptions of the = stay during term time (e.g., for internships or research visits) are subjec= t to approval.
=95 The stipend is provided for the duration of the master=92s program (sub= ject to the conditions listed above), for up to 2 years.

-------------------------------------------------------------
Application Process
-------------------------------------------------------------
Students are required to submit the following documents:
=95 Cover Letter, describing the type of funding the student is applying fo= r, and all other aspects the student deems relevant for the application
=95 Curriculum Vitae
=95 Motivation Letter, describing the reasons why the student wants to stud= y in the program Logic and Computation, why funding is necessary, and with = which groups of the faculty the student would be interested to work with du= ring their master=92s thesis and why.
=95 Reports on university examinations (transcripts)
=95 Diplomas and/or certificates (first degree, bachelor degree, or higher)= . If the final academic certificate is not yet available at the time of the= application deadline, a preliminary certificate (indicating the type of de= gree and the expected graduation date) signed and stamped by the degree-awarding university must be provided.
=95 Contact details of two referees (for letters of recommendation)
=95 English language certificate (TOEFL or similar)
=95 Copy of passport

A certified translation needs to be provided for documents that are not in = German or English. Your application must be submitted electronically to&nbs= p;master@logic-cs.at with a subject =93Application=94 as a single PDF docum= ent. The name of the PDF file needs to be =93document.pdf=94

-------------------------------------------------------------
Application Deadline
-------------------------------------------------------------
The annual deadline for applications is November 30th.


-------------------------------------------------------------
Questions?
-------------------------------------------------------------

Please do not hesitate to contact master@logic-cs.at  

--_000_158737491516453719tuwienacat_--