Checking in with request for feedback - VCLA of TU Wien - Vienna - Austria
"Rozman, Mihaela" <[email protected]> Thu, 28 May 2020 15:37:50 +0000
| Newsgroups | gmane.comp.web.rdf |
|---|---|
| Message-ID | <[email protected]> |
--_000_159068027016982187tuwienacat_
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
Dear colleague,
We are in doubt, if we should keep informing you about five (5) times per y=
ear about:
i) Call for (Self-)Nominations for the Annually awarded VCLA International =
Awards for Outstanding Bachelor and Master Theses in the field of Computer =
Science: http://www.vcla.at/vcla-awards/
ii) Fully funded PhD vacancies in the doctoral program Logical Methods in C=
omputer Science - LogiCS funded by the Austrian Science Fund and run jointl=
y by TU Wien, TU Graz and JKU Linz, Austria: https://logic-cs.at/phd/
iii) Call for ACM SIGLOG/VCLA Travel Awards and Call for Contributions for =
the Women in Logic Workshop series: http://www.vcla.at/women-in-logic/
iv) Possible call for Post-Doc or PhD in the fields such as Automated Softw=
are Verification, Description Logics, Epistemic logic in distributed comput=
ing, Explainable AI, Fixed-Parameter Algorithms and Complexity, Formal Veri=
fication of hybrid systems, Knowledge Representation and Reasoning, Model C=
hecking, Modeling and analysis of digital integrated circuits, Normative Re=
asoning, Ontology-based Data Access, Security and Privacy, Scheduling and l=
ogic programming, Study of the Interaction between rules from a knowledge b=
ase and rules arising from machine learning, Topology in distributed comput=
ing, Quantified Boolean Formulas
v) Helmut Veith Stipend for Female Master=B4s Students in Computer Science.
Perhaps you could respond to this email with a simple sign that you would l=
ike to heart from us, the Vienna Center for Logic and Algorithms, located a=
t the Faculty of Informatics, of the Vienna University of Technology (Techn=
ische Universitat Wien)?
Simple OK would suffice. If we do not hear from you, you will not be hearin=
g from us.
If you think this information would be interesting for your colleagues - we=
ll we would be most excited to hear that you have shared it further!
Stay safe,
Mihaela, and the team from Vienna
Website: http://www.vcla.at
Social media: @vclaTUwien
--_000_159068027016982187tuwienacat_
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Diso-8859-=
1">
<style type=3D"text/css" style=3D"display:none"><!--P{margin-top:0;margin-b=
ottom:0;} p=0A=
{margin-top:0;=0A=
margin-bottom:0}=0A=
@font-face=0A=
{font-family:"Cambria Math"}=0A=
@font-face=0A=
{font-family:Calibri}=0A=
p.MsoNormal, li.MsoNormal, div.MsoNormal=0A=
{margin:0cm;=0A=
margin-bottom:.0001pt;=0A=
font-size:11.0pt;=0A=
font-family:"Calibri",sans-serif}=0A=
a:link, span.MsoHyperlink=0A=
{color:blue;=0A=
text-decoration:underline}=0A=
a:visited, span.MsoHyperlinkFollowed=0A=
{color:purple;=0A=
text-decoration:underline}=0A=
p.msochpdefault, li.msochpdefault, div.msochpdefault=0A=
{margin:0cm;=0A=
margin-bottom:.0001pt;=0A=
font-size:10.0pt;=0A=
font-family:"Times New Roman",serif}=0A=
span.emailstyle19=0A=
{font-family:"Calibri",sans-serif;=0A=
color:windowtext}=0A=
span.E-MailFormatvorlage20=0A=
{font-family:"Calibri",sans-serif;=0A=
color:#1F497D}=0A=
.MsoChpDefault=0A=
{font-size:10.0pt}=0A=
@page WordSection1=0A=
{margin:70.85pt 70.85pt 2.0cm 70.85pt}--></style>
</head>
<body dir=3D"ltr" style=3D"font-size:12pt;color:#000000;background-color:#F=
FFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<div dir=3D"ltr" style=3D"font-size:12pt; color:#000000; background-color:#=
FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id=3D"divRplyFwdMsg" dir=3D"ltr"></div>
<div>
<div dir=3D"ltr" style=3D"font-size:12pt; color:#000000; background-color:#=
FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id=3D"divRplyFwdMsg" dir=3D"ltr"></div>
<div>
<div dir=3D"ltr" style=3D"font-size:12pt; color:#000000; background-color:#=
FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id=3D"divRplyFwdMsg" dir=3D"ltr"></div>
<div>
<div style=3D"color:rgb(33,33,33)">
<div>
<div class=3D"WordSection1">
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<div>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black">Dear colleague,
</span><span style=3D"font-family:"Calibri",sans-serif; color:#21=
2121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black"> </span><span style=3D"font-family:"Ca=
libri",sans-serif; color:#212121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black">We are in doubt, if we should keep informing you=
about five (5) times per year about:</span><span style=3D"font-family:&quo=
t;Calibri",sans-serif; color:#212121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black"> </span><span style=3D"font-family:"Ca=
libri",sans-serif; color:#212121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black">i) Call for (Self-)Nominations for the Annually =
awarded VCLA International Awards for Outstanding Bachelor and Master These=
s in the field of Computer Science:
<a href=3D"http://www.vcla.at/vcla-awards/">http://www.vcla.at/vcla-awards/=
</a></span><span style=3D"font-family:"Calibri",sans-serif; color=
:#212121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black"> </span><span style=3D"font-family:"Ca=
libri",sans-serif; color:#212121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black">ii) Fully funded PhD vacancies in the doctoral p=
rogram Logical Methods in Computer Science – LogiCS funded by the Aus=
trian Science Fund and run jointly by TU Wien, TU Graz
and JKU Linz, Austria: <a href=3D"https://logic-cs.at/phd/">https://logic-=
cs.at/phd/</a></span><span style=3D"font-family:"Calibri",sans-se=
rif; color:#212121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black"> </span><span style=3D"font-family:"Ca=
libri",sans-serif; color:#212121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black">iii) Call for ACM SIGLOG/VCLA Travel Awards and =
Call for Contributions for the Women in Logic Workshop series:
<a href=3D"http://www.vcla.at/women-in-logic/">http://www.vcla.at/women-in-=
logic/</a></span><span style=3D"font-family:"Calibri",sans-serif;=
color:#212121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:#212121"> </span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black">iv) Possible call for Post-Doc or PhD in the fie=
lds such as Automated Software Verification, Description Logics, Epistemic =
logic in distributed computing, Explainable AI,
Fixed-Parameter Algorithms and Complexity, Formal Verification of hybrid s=
ystems, Knowledge Representation and Reasoning, Model Checking, Modeling an=
d analysis of digital integrated circuits, Normative Reasoning, Ontology-ba=
sed Data Access, Security and Privacy,
Scheduling and logic programming, Study of the Interaction between rules f=
rom a knowledge base and rules arising from machine learning, Topology in d=
istributed computing, Quantified Boolean Formulas
</span><span style=3D"font-family:"Calibri",sans-serif; color:#21=
2121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black"> </span><span style=3D"font-family:"Ca=
libri",sans-serif; color:#212121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black">v) Helmut Veith Stipend for Female Master=B4s St=
udents in Computer Science.
</span><span style=3D"font-family:"Calibri",sans-serif; color:#21=
2121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black"> </span><span style=3D"font-family:"Ca=
libri",sans-serif; color:#212121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black">Perhaps you could respond to this email with a s=
imple sign that you would like to heart from us, the Vienna Center for Logi=
c and Algorithms, located at the Faculty of Informatics,
of the Vienna University of Technology (Technische Universitat Wien)? </sp=
an><span style=3D"font-family:"Calibri",sans-serif; color:#212121=
"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black"> </span><span style=3D"font-family:"Ca=
libri",sans-serif; color:#212121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black">Simple OK would suffice. If we do not hear from =
you, you will not be hearing from us.
</span><span style=3D"font-family:"Calibri",sans-serif; color:#21=
2121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black"> </span><span style=3D"font-family:"Ca=
libri",sans-serif; color:#212121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black">If you think this information would be interesti=
ng for your colleagues – well we would be most excited to hear that y=
ou have shared it further!</span><span style=3D"font-family:"Calibri&q=
uot;,sans-serif; color:#212121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black"> </span><span style=3D"font-family:"Ca=
libri",sans-serif; color:#212121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black">Stay safe,
</span><span style=3D"font-family:"Calibri",sans-serif; color:#21=
2121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black"> </span><span style=3D"font-family:"Ca=
libri",sans-serif; color:#212121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black">Mihaela, and the team from Vienna</span><span st=
yle=3D"font-family:"Calibri",sans-serif; color:#212121"></span></=
p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black"> </span><span style=3D"font-family:"Ca=
libri",sans-serif; color:#212121"></span></p>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black">Website:
<a href=3D"http://www.vcla.at">http://www.vcla.at</a> </span><span sty=
le=3D"font-family:"Calibri",sans-serif; color:#212121"></span></p=
>
<p style=3D"background:white"><span style=3D"font-family:"Calibri"=
;,sans-serif; color:black">Social media: @vclaTUwien
</span><span style=3D"font-family:"Calibri",sans-serif; color:#21=
2121"></span></p>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>
--_000_159068027016982187tuwienacat_--