[UAI] QEST 2023 first call for papers

deadline: 7 May 2023 Author notification: 29 June 2023 Conference: 20-22 September 2023 ** Committees Program Chairs Nils Jansen (The Netherlands) Mirco Tribastone (Italy) Artifact Evaluation Chairs Tim Quatmann (Germany) Carlos E. Budde (Italy) Publicity Chair David Safranek (Czech Republic

[UAI] Multiple PhD and Postdoc positions in Artificial Intelligence and Formal Methods

Under Uncertainty. Nils Jansen. https://nam04.safelinks.protection.outlook.com/?url=https%3A%2F%2Fjobs.ruhr-uni-bochum.de%2Fjobposting%2F947c56db605caf4314b8206fe1ed535eca5bf3220%3Fref%3Dhomepage&data=05%7C02%7Cuai%40engr.orst.edu%7Cf1c70dde68c545a1ba0108dbffb7

Re: [UAI] FORMATS 2020 ** 3nd Call for Papers**

thalie.bertr...@inria.fr <mailto:nathalie.bertr...@inria.fr>) and Nils Jansen (n.jan...@science.ru.nl <mailto:n.jan...@science.ru.nl>) Committees - Program Chairs Nathalie Bertrand (France) Nils Jansen (The Netherlands) - General Chair Ezio Bartocci (Austria) - Steering Committee Rajeev

[UAI] FORMATS 2020 ** 4th Call for Papers **

l edition of FORMATS 2019 and 2020. For any questions, feel free to contact the co-chairs Nathalie Bertrand (nathalie.bertr...@inria.fr <mailto:nathalie.bertr...@inria.fr>) and Nils Jansen (n.jan...@science.ru.nl <mailto:n.jan...@science.ru.nl>) Committees - Program Chairs Nathali

[UAI] Three PhD Positions on the Intersection of Formal Methods, Artificial Intelligence, and Machine Learning

out an industrial case study. The project will be supervised by Dr. Nils Jansen and Prof. Marielle Stoelinga. * Provably Correct Policies for Uncertain Partially Observable Markov Decision Processes This NWO-funded project is dedicated to safety-critical artificial intelligence (AI) scenarios that

[UAI] Postdoctoral Researcher in Data Analysis for Smart Manufacturing in the Circular Economy

earch and education make an indispensable contribution to a healthy, free world with equal opportunities for all. This is what unites the more than 22,000 students and 5,000 employees at Radboud University. And this requires even more talent, collaboration and lifelong learning. You have a p

[UAI] FORMATS 2020 **Call for Participation**

ystems. For any questions, feel free to contact the co-chairs Nathalie Bertrand (nathalie.bertr...@inria.fr <mailto:nathalie.bertr...@inria.fr>) and Nils Jansen (n.jan...@science.ru.nl <mailto:n.jan...@science.ru.nl>) Committees - Steering Committee Rajeev Alur (USA) Eug

[UAI] Function 2021 - Call for Presentations and Participation

, UK == ORGANIZERS == Ernst Moritz Hahn, University of Twente, NL (e.m.h...@utwente.nl) Nils Jansen, Radboud University, Nijmegen, NL (n.jan...@science.ru.nl) Gethin Norman, University of Glasgow, UK (gethin.nor...@glasgow.ac.uk) == REGISTRATION

[UAI] Flavors of UNCerTainty in Verification, Planning, and OpTimizatiON (FUNCTION)@ ICALP - 2nd Call for Presentations and Participation

ity of Technology, NL Wolfram Wiesemann, Imperial College London, UK == ORGANIZERS == Ernst Moritz Hahn, University of Twente, NL (e.m.h...@utwente.nl) Nils Jansen, Radboud University, Nijmegen, NL (n.jan...@science.ru.nl) Gethin Norman, University of Glasg

[UAI] Assistant Professor of Software Technology (tenure track) at Radboud University

echnology. For questions about the position, please contact Prof. Frits Vaandrager, f.vaandra...@cs.ru.nl. Head of Department of Software Science Practical information and applications: https://www.ru.nl/werken-bij/vacature/details-vacature/?recid=1180004 — Dr. Nils Jansen Assistant Profess

[UAI] BOOM! 2018 @ CONFESTA - Call for Contributions

Intelligent Environments. == PC CHAIRS ====== * Nils Jansen, Radboud University Nijmegen, The Netherlands * Marielle Stoelinga, University of Twente, The Netherlands Nils Jansen Assistant Professor Department of Software Science Radboud University Nijmegen http://ni

[UAI] PhD Position on Explainable Data Science using Formal Verification @Radboud University

, where you will be jointly supervised by Dr. Nils Jansen (Radboud University, Nijmegen) and Dr. Guillermo Perez (University of Antwerp). * Responsibilities As a PhD candidate, you will work on the project EXplainable Data Science using Formal Verification (EXoDuS). The project is partially

[UAI] PhD Position on Explainable Data Science using Formal Verification @Radboud University

, where you will be jointly supervised by Dr. Nils Jansen (Radboud University, Nijmegen) and Dr. Guillermo Perez (University of Antwerp). * Responsibilities As a PhD candidate, you will work on the project EXplainable Data Science using Formal Verification (EXoDuS). The project is partially

[UAI] FORMATS 2020 **Call for Papers**

thalie.bertr...@inria.fr <mailto:nathalie.bertr...@inria.fr>) and Nils Jansen (n.jan...@science.ru.nl <mailto:n.jan...@science.ru.nl>) Committees - Steering Committee Rajeev Alur (USA) Eugene Asarin (France) Martin Fränzle (chair, Germany) Thomas A. Henzinger (Austria) Joost-Pieter Katoen

[UAI] FORMATS 2020 ** 2nd Call for Papers**

:nathalie.bertr...@inria.fr>) and Nils Jansen (n.jan...@science.ru.nl <mailto:n.jan...@science.ru.nl>) Committees - Program Chairs Nathalie Bertrand (France) Nils Jansen (The Netherlands) - General Chair Ezio Bartocci (Austria) - Steering Committee Rajeev Alur (USA) Eugene Asarin (Franc