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 ESMTPS id EC40C5D4 for ; Tue, 15 Sep 2020 12:16:01 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.76,359,1592863200"; d="scan'208,217";a="467764161" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Sep 2020 14:15:55 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 56D41E0164; Tue, 15 Sep 2020 14:15:55 +0200 (CEST) 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 1D1F3E0166 for ; Tue, 15 Sep 2020 14:15:49 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mihaela.rozman@tuwien.ac.at; spf=None smtp.mailfrom=mihaela.rozman@tuwien.ac.at; spf=None smtp.helo=postmaster@secgw2.intern.tuwien.ac.at IronPort-PHdr: =?us-ascii?q?9a23=3Akib/NheExT4Geo/fuEpnuwbVlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcW8ZR7h7PlgxGXEQZ/co6odzbaP7ea5AzBLsc/JmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRS7oR/MusUIjoZuJaU8xgbUqXZUZu?= =?us-ascii?q?pawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnF?= =?us-ascii?q?VguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hC?= =?us-ascii?q?oBKjU09nzchM5tg6JBuB+vpwJxw4DWb4+IOvRwfazScs8dS2pdRcteTTBNAoyk?= =?us-ascii?q?YocRE+YMP+BVpJT9qVsUqhu+ABGhCuTuyj9InHD5w6k63P48Gg/a2wwhHtcOv2?= =?us-ascii?q?7SrN7oM6oSVOG1zKnSwjrda/NZwy3x6JLPchEgpPGDR7RwfNHNyUkyGQLFj0uf?= =?us-ascii?q?qYr/MzyPyusBqXKU7/Z5WO+plmUopB1/rCK1yccwlonGmJgVylbc+Cll3os4JN?= =?us-ascii?q?m1RFB6bNK6EZZdtS+XO5VrT88+XmxlpDs3xLIJtJOneCUHyogrywLBZ/CafYaF?= =?us-ascii?q?7RLtWPqNLTp8h39ofq+0iRi18Uil0OL8V8+03U5WripYnNjMt24C1xrJ5sedVv?= =?us-ascii?q?Rx5F2u2SqX2wDN9u5EJVo7mbDBJJ492rIwmJ0TsV7YHi72hEX5krWaeV84+uWu?= =?us-ascii?q?9u/pYa3mq4eBO4NqiQzyKLkil8KjDegiPAUCQ3KX9Oai2LH74EH1XrZHgucrnq?= =?us-ascii?q?TXrZzWP9kXqrOkDwNPzIov9xKyAjG729oCh3YHNkhKeBefgojpJV7OJPf4AO+k?= =?us-ascii?q?g1uyjDhryP7HMqP7DpXMKHjDjKnufax760JG1Aoz0N5e55NKBbEHOv78QFP+uM?= =?us-ascii?q?bCAR8lKwC0wuDnB8th1o4GRG6DHKyUPLnPvVKG+u4jOeeBaJMPtDv/NfQp//vu?= =?us-ascii?q?gmU4mV8Zc6mpx5wXaHWgE/RjIkWZYWDjjckFEWgQpAY+VuvqiVyHUTFJYXa/RL?= =?us-ascii?q?485iw1CYKnE4jDQJqhj6ad0yuhBJJWenhKCkqQHnfwa4WER/AMZTqOLcB7lzwE?= =?us-ascii?q?UaGtS4sg1RG1qA/30KFnL+rR+i0Ar53vztl15+vJlREz7zN4Fcqd03veB11zyz?= =?us-ascii?q?cDTjoymaR+ulBVy1GZ0KE+jeYORvJJ4PYcdwY6PJPYxqRADML3UwSJKtKISF+r?= =?us-ascii?q?RtzgGzYjS9s368MTfEdwHZOrhVbKw3z5UPcui7WXCclsoern1H/rKpMlkieU5O?= =?us-ascii?q?wal1AjB/B3Gyijj697+RLUAteVwVmEiKenc+IV12jE6DXblDbcjARjSAd1FJ79?= =?us-ascii?q?czUHfEKP8Ybl+1zDQrnoAL9hOxcTkZffeJsPUcXgiBB9fNmmONnaZDjhyXy9Dh?= =?us-ascii?q?mXnPWNapbnYWNbwDjCCUUC1QkYu3+aZ1Az?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DdCQAtzUdfmEgegoBgg3YvgUhXMCyEN?= =?us-ascii?q?4kBhg2Kf4cGilyBaQIJAQMBCgEBJwYCBAEBgVaCMkQCUQEEgXMCHAYGNBMCEAE?= =?us-ascii?q?BBQEBAQIBAwMEARMBAQEBAQgLCwYphWMMgiUSIoMaBggCGQpZAwJEBAMCAhkjC?= =?us-ascii?q?hECBBMLBYMWAYF+fgEOsWsZNXaBMoQ7ARYPhBQhFoFCIoEWiHmEBjWBTT+BR4I?= =?us-ascii?q?qAmyBBD1CAU0LAYErARIBgziCYASPd5NCknUqB4FcgQqBCgQLh02RRyGDB4Emi?= =?us-ascii?q?EKTVoQ/mFiQU3ODOgIEAgkCFAGBa4EKcDMag1wJNhEZDVeNYAIdgXGMIUExAjU?= =?us-ascii?q?CBgEJAQEDCQF7EwsBj0YBAQ?= X-IPAS-Result: =?us-ascii?q?A0DdCQAtzUdfmEgegoBgg3YvgUhXMCyEN4kBhg2Kf4cGily?= =?us-ascii?q?BaQIJAQMBCgEBJwYCBAEBgVaCMkQCUQEEgXMCHAYGNBMCEAEBBQEBAQIBAwMEA?= =?us-ascii?q?RMBAQEBAQgLCwYphWMMgiUSIoMaBggCGQpZAwJEBAMCAhkjChECBBMLBYMWAYF?= =?us-ascii?q?+fgEOsWsZNXaBMoQ7ARYPhBQhFoFCIoEWiHmEBjWBTT+BR4IqAmyBBD1CAU0LA?= =?us-ascii?q?YErARIBgziCYASPd5NCknUqB4FcgQqBCgQLh02RRyGDB4EmiEKTVoQ/mFiQU3O?= =?us-ascii?q?DOgIEAgkCFAGBa4EKcDMag1wJNhEZDVeNYAIdgXGMIUExAjUCBgEJAQEDCQF7E?= =?us-ascii?q?wsBj0YBAQ?= X-IronPort-AV: E=Sophos;i="5.76,359,1592863200"; d="scan'208,217";a="467764083" X-MGA-submission: =?us-ascii?q?MDELaZHHF3+wK6MseWx7jSYJYnaEN+cvq6zwnY?= =?us-ascii?q?KTUMy5sD8kALNaO//ou7DMXrUBTGusm/RP5fliriJ1iPkdqublfXRjT8?= =?us-ascii?q?zYyBvIS4E+B4750Frj5l6d28ZkPMOKZ59SJM4qSer5wd6vmlXACLHuLz?= =?us-ascii?q?/eNYYbJG4eGxAV0ubC1MC7+A=3D=3D?= Received: from secgw2.intern.tuwien.ac.at ([128.130.30.72]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 Sep 2020 14:15:48 +0200 Received: from totemomail (localhost [127.0.0.1]) by secgw2.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 08FCFlaY016789 for ; Tue, 15 Sep 2020 14:15:47 +0200 Received: from localhost ([127.0.0.1]) by totemomail.intern.tuwien.ac.at (Totemo SMTP Server) with SMTP ID 504 for ; Tue, 15 Sep 2020 14:15:47 +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 08FCFl37016782 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Tue, 15 Sep 2020 14:15:47 +0200 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by edge13a.intern.tuwien.ac.at (2001:629:1005:30::66) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Tue, 15 Sep 2020 14:15:46 +0200 Received: from vita (128.131.111.209) by mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Tue, 15 Sep 2020 14:15:46 +0200 From: Mihaela Rozman To: References: <045b01d46add$557821c0$00686540$@tuwien.ac.at> In-Reply-To: <045b01d46add$557821c0$00686540$@tuwien.ac.at> Date: Tue, 15 Sep 2020 14:15:45 +0200 Message-ID: <064901d68b59$f05bb320$d1131960$@tuwien.ac.at> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_064A_01D68B6A.B3E56D80" X-Mailer: Microsoft Outlook 16.0 Thread-Index: AQIQzA4Q293UIvpBZmdwc0NUPcxCeqj1G76Q Content-Language: de-at X-ClientProxiedBy: mbx13d.intern.tuwien.ac.at (2001:629:1005:30::64) To mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) Subject: [Caml-list] Scholarship: Helmut Veith Stipend for Female =?UTF-8?Q?Master=C2=B4s?= Students in Computer Science, Deadline November 30, 2018 for the enrollment in 2018/2019 Reply-To: Mihaela Rozman X-Loop: caml-list@inria.fr X-Sequence: 18243 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: ------=_NextPart_000_064A_01D68B6A.B3E56D80 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable [Apologies if you receive multiple copies of this email. Please = distribute to interested parties.] =20 Female students in the field of computer science (CS) who plan to pursue = (or are currently pursuing) one of the master=E2=80=98s programs in = Computer Science at the Vienna University of Technology =E2=80=93 TU = Wien taught in English are invited to apply for the annually awarded = Helmut Veith Stipend.=20 =20 The annually awarded Helmut Veith Stipend for female master students is = dedicated to the memory of an outstanding computer scientist who worked = in the fields of logic in computer science, computer-aided verification, = software engineering, and computer security. =E2=80=93 Professor Helmut = Veith (1971-2016).=20 =20 The Helmut Veith Stipend has been established with generous support of = TU Wien, Wolfgang Pauli Institute and with contributions by family and = friends of the late Helmut Veith. =20 BENEFITS -EUR 6000 per year, for up to two years=20 -Waiver of tuition fees at TU Wien =20 LOCATION OF MASTER STUDY For study in Austria, at Vienna University of Technology =E2=80=93 TU = Wien=20 =20 FOR FIELD OF STUDY Applicants must be eligible for admission to one of the master=E2=80=99s = programs in computer science at Vienna University of technology - TU = Wien that are taught in English. Link: = http://www.informatik.tuwien.ac.at/teaching/master=20 =20 =E2=80=A2 Master in = Logic and = Computation =E2=80=A2 Master in = Business = Informatics =E2=80=A2 European = Master in = Computational Logic =E2=80=A2 Master in = Computer = Engineering (Technische Informatik) =E2=80=A2 Master in = = Data Science =E2=80=A2 Master in = Media and Human-Centered Computing =20 APPLICATION=20 Applications for Helmut Veith Stipend can be filed after, before or in = parallel with the admissions process (if the start of the master=C2=B4s = program is in the Summer of 2019).=20 The applications must be submitted electronically to master@logic-cs.at = as a single PDF document, by November 30, = 2018. =20 DEADLINE November 30, 2018. =20 INQUIRES Electronically to master@logic-cs.at =20 =20 WEBSITE http://www.vcla.at/2018/05/call-for-applications-helmut-veith-stipend-for= -female-masters-students-in-computer-science =20 =20 DOWNLOAD THE FLYER=20 http://forsyte.at/helmut-veith-stipend/=20 =20 =20 ------=_NextPart_000_064A_01D68B6A.B3E56D80 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable

[Apologies if you receive = multiple copies of this email. Please distribute to interested = parties.]

 

Female = students in the field of computer science (CS) who plan to pursue (or = are currently pursuing) one of the master=E2=80=98s programs in Computer = Science at the Vienna University of Technology =E2=80=93 TU Wien taught = in English are invited to apply for the annually awarded Helmut Veith = Stipend.

 

The annually = awarded Helmut Veith Stipend for female master students is dedicated to = the memory of an outstanding computer scientist who worked in the fields = of logic in computer science, computer-aided verification, software = engineering, and computer security. =E2=80=93 Professor Helmut Veith = (1971-2016).

 

The Helmut = Veith Stipend has been established with generous support of TU Wien, = Wolfgang Pauli Institute and with contributions by family and friends of = the late Helmut Veith.

 

BENEFITS

-EUR 6000 per = year, for up to two years

-Waiver of = tuition fees at TU Wien

 

LOCATION OF = MASTER STUDY

For study in Austria, at Vienna = University of Technology =E2=80=93 TU Wien

 

FOR FIELD OF = STUDY

Applicants must be eligible for admission to one = of the master=E2=80=99s programs in computer science at Vienna = University of technology - TU Wien that are taught in English. Link: = http://www.in= formatik.tuwien.ac.at/teaching/master

 

=E2=80=A2 Master in Logic and Computation
=E2=80=A2 Master in Business Informatics
=E2=80=A2 European Master in Computational Logic
=E2=80=A2 Master in Computer Engineering (Technische = Informatik)
=E2=80=A2 Master in = Data Science
=E2=80=A2 Master in Media and Human-Centered = Computing

 

APPLICATION =

Applications for Helmut Veith Stipend can be filed = after, before or in parallel with the admissions process (if the start = of the master=C2=B4s program is in the Summer of 2019).

The = applications must be submitted electronically = to master@logic-cs.at as a = single PDF document, by November 30, 2018.

 

DEADLINE

November 30, = 2018.

 

INQUIRES

Electronically to master@logic-cs.at

 

WEBSITE

http://www.vcla.at/= 2018/05/call-for-applications-helmut-veith-stipend-for-female-masters-stu= dents-in-computer-science   

 

DOWNLOAD THE FLYER =

http://forsyte.at/helmut= -veith-stipend/

 

 

------=_NextPart_000_064A_01D68B6A.B3E56D80--