[UAI] PostDoc Position in Sample Complexity or Machine Learning at TU Wien, Vienna, Austria. Application deadline: September 30.

A Postdoc position is available at the Algorithms and Complexity Group at the Faculty of Computer Science of the Vienna University of Technology (TU Wien), Vienna, Austria. The position is part of the prestigious START project "Parameterized Analysis in Artificial Intelligence" of the Austrian S

[UAI] PhD position in Parameterized Complexity in Artificial Intelligence at TU Wien, Vienna, Austria. Application deadline: September 30.

A PhD position in Parameterized Complexity is available at the Algorithms and Complexity Group at the Faculty of Computer Science of the Vienna University of Technology (TU Wien), Vienna, Austria. The position is part of the prestigious START project "Parameterized Analysis in Artificial In

[UAI] PostDoc Position in Sample Complexity or Machine Learning at TU Wien, Vienna, Austria. Application deadline: September 30.

A Postdoc position is available at the Algorithms and Complexity Group at the Faculty of Computer Science of the Vienna University of Technology (TU Wien), Vienna, Austria. The position is part of the prestigious START project "Parameterized Analysis in Artificial Intelligence" of the Austrian S

[UAI] PhD position(s) in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice - Vienna, Austria - Deadline: July 31, 2020

We invite applications for PhD position(s) (3 years with the possibility of extension), working with Jiehua Chen in the Algorithms and Complexity Group at the Vienna University of Technology (Technische Universität Wien – TU Wien), Vienna, Austria. The PhD position(s) is available for the r

[UAI] Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020

The Vienna Center for Logic and Algorithms of TU Wien (VCLA) has the pleasure to announce the recipients of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science. The highly successful fifth edition of the VCLA International Stu

[UAI] Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020

The Vienna Center for Logic and Algorithms of TU Wien (VCLA) has the pleasure to announce the recipients of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science. The highly successful fifth edition of the VCLA International Stu

[UAI] Call for Participation at the 32nd International Conference Computer-Aided Verification - CAV 2020 - Virtual and admission free event - Registration deadline is July 10th, 2020

[Apologies for multiple copies of this announcement] ** CALL FOR PARTICIPATION Computer-Aided Verification, 32nd International Conference CAV 2020 Virtual and

[UAI] PostDoc Position in Knowledge-based Systems and Artificial Intelligence. Vienna, Austria. Application deadline: July 15, 2020

A PostDoc position is available at the Database and Artificial Intelligence Group at TU Wien (Vienna University of Technology), Austria. We invite highly motivated applicants interested both in the theory and practice of - Description Logics - Answer Set Programming - Knowledge Represent

[UAI] PhD Position in Artificial Intelligence at TU Wien, Vienna, Austria. Application deadline: July 15, 2020

A PhD position is available at the Database and Artificial Intelligence Group at TU Wien, Austria (under the supervision of Dr. Mantas Šimkus). We invite highly motivated applicants interested both in the theory and practice of - Description Logics - Answer Set Programming - Knowledge Re

[UAI] PhD Position in Artificial Intelligence at TU Wien, Vienna, Austria. Application deadline: July 15, 2020

A PhD position is available at the Database and Artificial Intelligence Group at TU Wien, Austria (under the supervision of Dr. Mantas Šimkus). We invite highly motivated applicants interested both in the theory and practice of - Description Logics - Answer Set Programming - Knowledge Re

[UAI] PhD position(s) in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice - Vienna, Austria - Deadline: July 31, 2020

PhD POSITION(S) PROJECT Structural and Algorithmic Aspects of Preference-based Problems in Social Choice STARTING DATE: Negotiable LOCATION: Vienna, Austria INSTITUTION: Algorithms and complexity group at the Faculty of Informatics, Technische Universität Wien (Vienna University of Technolog

[UAI] PhD position(s) in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice - Vienna, Austria - Deadline: July 31, 2020

PhD POSITION(S) PROJECT Structural and Algorithmic Aspects of Preference-based Problems in Social Choice STARTING DATE: Negotiable LOCATION: Vienna, Austria INSTITUTION: Algorithms and complexity group at the Faculty of Informatics, Technische Universität Wien (Vienna University of Technolog

[UAI] PostDoc Position in Knowledge-based Systems and Artificial Intelligence. Vienna, Austria. Application deadline: July 15, 2020

A PostDoc position is available at the Database and Artificial Intelligence Group at TU Wien (Vienna University of Technology), Austria. We invite highly motivated applicants interested both in the theory and practice of - Description Logics - Answer Set Programming - Knowledge Represent

[UAI] 12 PhD Positions in the Doctoral Program Logical Methods in Computer Science (LogiCS) - fully funded - Vienna, Austria - Deadline: 12 June 2020

== == TU Wien (Vienna University of Technology) TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University), are seeking highly qualified PhD candidates fo

[UAI] (Extended Deadline) VCLA International Student Awards 2020 for Outstanding Master and Bachelor Theses (Call for (self-)nominations)

The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories: -Outstanding Master Thesis Award -Outstanding Und

[UAI] SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop)

It is our pleasure to announce the call for the SIGLOG/VCLA/ILLC Travel Awards for attendees of Women in Logic Workshop 2020. Thanks to the generous support of SIGLOG, the Vienna Center for Logic and Algorithms (VCLA) and the Institute of Logic, Language and Computation of the University of

[UAI] LPAR-23: 23rd International Conference on Logic for Programming: Extended deadlines for abstracts

** LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning Abstract submission: 18 February, 2020 Paper submission: 22 February, 2020 Author notification: 8 A

[UAI] CALL FOR (Self)NOMINATIONS: VCLA International Student Awards 2020 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2018 and 31.12.2019 (inclusive)

The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories: =Outstanding Master Thesis Award =Outstanding Unde

[UAI] 2nd Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien - Deadline: January 15, 2020

* *QONFEST 2020* * August 31-September 5, 2020, Vienna, Austria (http://qonfest2020.conf.tuwien.ac.at/) QONFEST is the umbrella conference comprising the joint international 2020 meetings CONCUR (31st International Conference on Concurrency Theory), QEST (17th International Conference on Qua

[UAI] 11 Fully Funded Doctoral Positions in Computer Science, Austria (Vienna, Graz or Linz). Deadline: January 11, 2020

TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidates for our joint doctoral program Logical Methods in Computer Science (logiCS). The LogiCS doctoral college focuses on interdisciplinary research topics covering - computational logic, and applications of logic to - databases and

[UAI] Several Funded Doctoral Positions in Computer Science in Austria (Vienna, Graz or Linz) - Deadline: January 11, 2020

TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidates for our joint doctoral program Logical Methods in Computer Science (logiCS). The LogiCS doctoral college focuses on interdisciplinary research topics covering - computational logic, and applications of logic to - databases and

[UAI] Call for Affiliated Workshops at QONFEST 2020, in Vienna, TU Wien

* *QONFEST 2020* * August 31-September 5, 2020, Vienna, Austria (http://qonfest2020.conf.tuwien.ac.at/) QONFEST is the umbrella conference comprising the joint international 2020 meetings CONCUR (31st International Conference on Concurrency Theory), QEST (17th International Conference on Qua

[UAI] Post Doctoral position in Parameterized Complexity at TU Wien, Vienna, Austria

There is an opening for a postdoc position at the Algorithms and Complexity group at TU Wien (Vienna University of Technology), Vienna, Austria. - The position is for two years with the possibility of an extension. - The position is research-only, but interested candidates have the opportunit

[UAI] Call for Posters and Lightning Talks - International Summer School on Security & Privacy for Blockchains and Distributed Ledger Technologies BDLT19 - Vienna, Sept 2-5, 2019

The 1st International Summer School on Security & Privacy for Blockchains and Distributed Ledger Technologies (BDLT) invites posters and lightning talks to showcase work-in-progress and already-published research. The BDLT19 is jointly organized by members of TU Wien (Vienna University of Techn

[UAI] PhD position within joint Doctoral College Logical Methods in Computer Science (LogiCS) at TU Wien, Vienna, focused on Formal Methods for large-scale, spatially-distributed, stochastic systems

The Institute of Computer Engineering at Technische Universität Wien (TU Wien) is seeking a candidate for a research assistant position (PhD student, 4 years). The successful applicant will carry out his/her PhD in the research area of formal methods applied to the specif

[UAI] JOB Two PhD positions in Formal Methods in System Engineering Group at TU Wien, Austria - Deadline: July 4, 2019

Two PhD positions in Formal Methods in System Engineering Group at TU Wien, Austria The Institute of Logic and Computation at the TU Wien, FORSYTE Group is offering two research assistant (PhD student) Positions, 30 h/week, for a period of 4 years. The successful candidate w

[UAI] Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien, Austria - Deadline: 31.5.2019

Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien funded by ERC Consolidator Grant WHAT: The Security & Privacy group at TU Wien ( https://secpriv.tuwien.ac.at) is currently looking for several outstanding Ph.D. and postdoc candidate

[UAI] EXTENDED DEADLINE SIGLOG/VCLA TRAVEL AWARDS FOR WOMEN IN LOGIC WORKSHOP 2019 (WiL 2019) - May 21, 2019

It is our pleasure to announce an extended deadline for the SIGLOG/VCLA Travel Awards for attendees of Women in Logic Workshop 2019 (WiL) associated with the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019. ELIGIBILITY Thanks to the generous support of the SIGLOG and Vie

[UAI] EXTENDED DEADLINE FOR ABSTRACT SUBMISSION Conference Kurt Goedel's Legacy: Does Future lie in the Past?, July 25-27, 2019, VIENNA

***Dear colleagues! The deadlines have been extended.*** Apologies for multiple copies*** The Kurt Goedel Society would like to cordially invite you to celebration of the 70th anniversary of Goedel's seminal publication and the 100th anniversary of the decisive experimental verification of general

[UAI] PhD position on Formal Methods for Multi-agent Systems at TU Wien (Vienna University of Technology)

There is an opening for a fully funded research assistant position (PhD student) at the Formal Methods in Systems Engineering group at TU Wien, Vienna, Austria. The successful candidate will be supervised by Prof. Florian Zuleger, and co-supervised by Benjamin Aminof, PhD. The proposed research

[UAI] SIGLOG/VCLA TRAVEL AWARDS FOR WOMEN IN LOGIC WORKSHOP 2019 (WiL 2019)

It is our pleasure to announce the call for the SIGLOG/VCLA Travel Awards for attendees of Women in Logic Workshop 2019 (WiL) associated with the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019. ELIGIBILITY Thanks to the generous support of the SIGLOG and Vienna Center

[UAI] Call for Nominations: VCLA INTERNATIONAL STUDENT AWARDS 2019 w/ Extended submission deadline: 25.3.2019

(Extended Deadline) Call for Nominations: VCLA INTERNATIONAL STUDENT AWARDS 2019 OVERVIEW The Vienna Center for Logic and Algorithms (VCLA) at TU Wien (Vienna University of Technology) seeks nominations for the annually awarded VCLA International Student Awards for Outstanding Master and U

[UAI] Nominate outstanding Masters or Undergraduate Thesis for the VCLA International Student Awards 2019 - Deadline: March 15, 2019

[Please feel free to distribute as appropriate.] [Apologies if you got multiple copies of this email.] Call for Nominations: VCLA INTERNATIONAL STUDENT AWARDS 2019 OVERVIEW The Vienna Center for Logic and Algorithms (VCLA) at TU Wien (Vienna University of Technology) seeks nomination

[UAI] Call for Nominations: VCLA International Student Awards 2019 - Logic and Computer Science

The Vienna Center for Logic and Algorithms (VCLA) at TU Wien seeks nominations for the VCLA International Student Awards 2019. The annually awarded VCLA International Student Awards for Outstanding Master and Undergraduate Research (Bachelor) Theses (or equivalent) recognize authors of scientific

[UAI] Call for Applications: Helmut Veith Stipend for Female Master´s Students in Computer Science at TU Wien - November 30, 2019

Helmut Veith Stipend for Women in Computer Science – Deadline: November 30, 2019 Female students in the field of computer science (CS) who plan to pursue (or are currently pursuing) one of the master‘s programs in Computer Science at the Vienna University of Technology – TU Wien taught in Engl

[UAI] Women in Science: Helmut Veith Stipend for Female Master´s Students in Computer Science, Deadline November 30, 2018 for the enrollment in 2018/2019

[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‘s programs in Computer Science at the Vienna University of Technology – TU Wi

[UAI] Call for Applications: Helmut Veith Stipend for Female Master´s Students in Computer Science

[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‘s programs in Computer Science at the Vienna University of Technology – TU Wi

[UAI] Upcoming deadline: 4-years fully funded PhD scholarships in Austria - LogiCS Doctoral College on Logical Methods in Computer Science with a special call for women in CS

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] Applications are invited for a 4-year fully funded PhD studentship in LogiCS Doctoral College - Logical Methods in Computer Science. The faculty of

[UAI] PhD Positions with a Special Call for Women in Computer Science by Logical Methods in Computer Science - LogiCS Doctoral College in Austria

Dear colleagues, perhaps you find it interesting to share the call among your students, and colleagues alike? We are looking for 16 doctoral students, where 30% of the positions are reserved for highly qualified female candidates. TU Wien, TU Graz, and JKU Linz are seeking exceptionally talent

[UAI] Winners of the VCLA International Student Awards 2018

The VCLA International Student Awards Committee is pleased to announce the recipients of the VCLA International Student Awards 2018: http://www.vcla.at/2018/05/third-edition-of-the-vcla-international-student-awards-2018/ The VCLA International Students Awards acknowledge works which ask innova

[UAI] Logical Methods in Computer Science - LogiCS - multiple PhD positions in Austria

TU Wien, TU Graz, and JKU Linz are seeking 16 doctoral students for the doctoral college Logical Methods in Computer Science (LogiCS). The doctoral program has been successfully established in 2014, and now it looks for the second generation of the PhD students. LogiCS through the eyes of the stude

[UAI] 16 PhD Positions on Logical Methods in Computer Science LogiCS doctoral college Austria

TU Wien, TU Graz, and JKU Linz are seeking 16 doctoral students for our joint doctoral program on Logical Methods in Computer Science (LogiCS) fully funded by the Austrian Science Fund (FWF). THE PROGRAM LogiCS focuses on logic and its applications in computer science. Successful applicants

[UAI] VCLA International Student Awards -- deadline approaching March 25 AoE

Dear colleagues, *VCLA International Student Awards recognizing the outstanding Bachelor (or equivalent) and Master Theses across the spectrum of Logic and Computer Science. *The degree must have been awarded between November 15th 2015 and December 31st 2017. The call for Nominations

[UAI] Extended Call for Helmut Veith Stipend

link - http://bit.ly/Forsyte-Helmut-Veith-Stipend Mihaela Rozman, MA Vienna Center for Logic and Algorithms Technische Universität Wien - TU Wien Institut für Informationssysteme Favoritenstraße 9-11, 1040 Wien Telefon: +43 1 58801 184806 Email: <mailto:mihaela.

[UAI] ALGO 2017 2nd Call for Participation (early registration till July 31)

ALGO website https://algo2017.ac.tuwien.ac.at/ The ALGO 2017 organizing committee: Doris Dicklberger Wolfgang Dvorak Robert Ganian (co-chair) Ronald de Haan Fabian Klute Andreas Müller Nysret Musliu Martin Nöllenburg (co-chair) Sebastian Ordyniak Günther Raidl Mihaela Rozman Stefan