[UAI] Final Call For Papers #CFP The 31st International Conference on Concurrency Theory – CONCUR 2020 — ONLINE (Vienna, Austria) — September 1-4, 2020

(Please distribute to interested parties Apologies for cross-posting) - FINAL CALL FOR PAPERS 31st International Conference o

[UAI] CFP Final Call For Papers The 31st International Conference on Concurrency Theory - CONCUR 2020 - (Vienna, Austria) ONLINE - September 1-4, 2020

(Please distribute to interested parties Apologies for cross-posting) - FINAL CALL FOR PAPERS 31st International Conference o

[UAI] Final call for contributions for the virtual WiL 2020 (4th Women in Logic Worskhop collocated with Petri Nets, IJCAR etc)

(Deadline approaching, last chance to submit a contribution.) (Please consider sharing this piece of information among the nodes in your network.) (Apologies for cross-posting.) Are you a woman workin

[UAI] 6-Year PostDoc Position in Algorithms at TU Vienna, Austria *** Application deadline is May 28, 2020 ***

/ Apologies for cross-posting / / Please feel free to distribute among the nodes in your network / The Algorithms and Complexity Group at the Vienna University of Technology (TU Wien), Vienna, Austria, is offering a 6-year postdoc position in Algorithms. *** Application deadline is May 28, 2020

[UAI] Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria ***Deadline: June 12, 2020***

{With apologies for cross-posting, please see below for information and thank you for a possible share among your network nodes} TU Wien (Vienna University of Technology) TU Graz (Graz Un

[UAI] Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria ***Deadline: June 12, 2020***

{With apologies for cross-posting, please see below for information and thank you for a possible share among your network nodes} TU Wien (Vienna University of Technology) TU Graz (Graz Un

[UAI] Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture

Dear colleagues, dear friends of logic, On 14 January 2021, you are cordially invited to celebrate the World Logic Day digitally with the community from the city of Kurt Gödel, Ludwig Wittgenstein, and the Vienna Circle. The Vienna Center for Logic and Algorithms at Vienna University of Techno

[UAI] Invitation to celebrate the World Logic Day digitally - 14 January 2021 - Ambassadors of Logic and public Vienna Logic Day Lecture

Dear colleagues, dear friends of logic, On 14 January 2021, you are cordially invited to celebrate the World Logic Day digitally with the community from the city of Kurt Gödel, Ludwig Wittgenstein, and the Vienna Circle. The Vienna Center for Logic and Algorithms at Vienna University of Techno

[UAI] Call for Papers: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23): May 22-27, 2020, Alicante, Spain

LPAR23: LPAR-23: 23RD INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a for

[UAI] Final call for (Self-)Nominations for the VCLA International Student Awards for Outstanding Master and Bachelor Theses in Logic and Computer Science - Deadline: 9.4.2020 AoE

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 Under