[TYPES/announce] Postdoc position in automata and concurrency theory at the University of Warsaw

ced skills in written and spoken English. For details of application and recruitment procedure, please contact Sławomir Lasota at s...@mimuw.edu.pl

[TYPES/announce] Postdoc position in automata and concurrency theory, at the University of Warsaw

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications of motivated and research-focused individuals to carry out research on Petri nets and their extensions as part of the NCN project "Data-enriched models of

[TYPES/announce] postdoc position, University of Warsaw

** - Application deadline: March 31, 2022 - Starting date: As soon as possible - Salary: 27.000 EUR per annum (very competitive in Poland) - Duration: one year, possible extension to another year - Project: "Data-enriched models of computation" funded by NCN - Principal investigator: Prof. Sławo

[TYPES/announce] CONCUR 2022: 2nd CFP

, University of Oxford, UK Bartek Klin, University of Oxford, UK (co-chair) Barbara König, University of Duisburg-Essen, Germany Sławomir Lasota, University of Warsaw, Poland (co-chair) Martin Leucker, University of Lübeck, Germany Bas Luttik, Eindhoven University of Technology, The Netherlands P

[TYPES/announce] postdoc position, University of Warsaw

: As soon as possible - Salary: 27.000 PLN per annum (very competitive in Poland) - Duration: one year, possible extension to another year - Project: "Data-enriched models of computation" funded by NCN - Principal investigator: Prof. Sławomir Lasota (https://urldefense.com

[TYPES/announce] PhD position, University of Warsaw

Department of Mathematics, Informatics and Mechanics, University of Warsaw Project: "Frontiers of automatic analysis of concurrent systems" funded by NCN Principal investigator: Prof. Sławomir Lasota (https://urldefense.com/v3/__http://www.mimuw.edu.pl/*sl__;fg!!IBzWLUs!G

[TYPES/announce] Highlights of Logic, Games, and Automata 2021: 3rd Call for Presentations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] HIGHLIGHTS 2021: 9th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA 15-17 September 2021, online (originally planned

[TYPES/announce] Highlights of Logic, Games, and Automata 2021: 1st Call for Presentations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] HIGHLIGHTS 2021: 9th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA 15-17 September 2021, Aachen (but most probably

[TYPES/announce] Fundamenta Informaticae ---> OPEN ACCESS

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are happy to announce that Fundamenta Informaticae, a journal with over four decades of tradition, has moved to the open-access episciences.org platform. The journal was established in