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

2020-05-04 Thread Rozman, Mihaela
(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

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

2020-05-12 Thread Rozman, Mihaela
{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

[Haskell] 6-year PostDoc Position in Algorithms at the Vienna University of Technology (TU Wien), Vienna, Austria *** Application deadline is May 28, 2020 ***

2020-05-11 Thread Rozman, Mihaela
/ 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

[Haskell] Fully funded PhD in Networking and Communication Technology at the University of Vienna, Austria ***Deadline: June 7, 2020***

2020-05-15 Thread Rozman, Mihaela
The Communication Technologies group of the University of Vienna is looking for a motivated student interested in pursuing a PhD on developing the foundations of the next generation of reliable networks: networks which are highly automated, and verify and correct themselves autonomously,

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

2020-12-10 Thread Rozman, Mihaela
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

[Haskell] 14 Jan 2021 at 5pm CET - ZOOM - Public Vienna World Logic Day Lecture with Georg Gottlob - Knowledge Processing, Logic, and the Future of AI

2021-01-12 Thread Rozman, Mihaela
Dear friends of logic, On 14 January 2021, you are cordially invited to virtually celebrate the World Logic Day with -- Vienna World Logic Day Lectur: Georg Gottlob -- Thinking