[UAI] QEST 2023 first call for papers
ublished in the Springer LNCS series and indexed by ISI Web of Science, Scopus, ACM Digital Library, dblp, Google Scholar. All submitted papers will be evaluated by at least three reviewers on the basis of their originality, technical quality, scientific or practical contribution to the state of the art, methodology, clarity, and adequacy of references. ** Artifact Evaluation Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, QEST 2023 includes a dedicated Artifact Evaluation (AE). Submission of an artifact is mandatory for tool papers (both regular and short), and optional but encouraged for research papers where it can support the results presented in the paper. Artifacts will be reviewed concurrently with the paper review process, and accepted papers with a successfully evaluated artifact will receive a badge to be shown on the published paper's title page. Detailed guidelines for preparation and submission of artifacts are available at this page. Exceptions to the submission guidelines may be granted by the PC chairs in cases where the tool cannot in any reasonable way be run by the AE committee. ** Special Issues A selection of the best papers (excluding work-in-progress papers) will be invited to submit an extended version of their work to special issues in the International Journal on Software Tools for Technology Transfer (STTT) and in the Performance Evaluation (PEVA) journals. ** Important dates Abstract deadline: 30 April 2023 Paper 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) Program Committee coming soon. -- Nils Jansen Associate Professor Institute for Computing and Information Sciences Radboud University Nijmegen http://nilsjansen.org ___ uai mailing list uai@engr.orst.edu https://it.engineering.oregonstate.edu/mailman/listinfo/uai
[UAI] Multiple PhD and Postdoc positions in Artificial Intelligence and Formal Methods
Within the newly founded chair of Artificial Intelligence and Formal Methods at the Faculty of Computer Science at the Ruhr-University Bochum, Germany, we have several positions (PhD and Postdoc) available. Please apply via the links listed below or spread the word. Do not hesitate to contact me for questions. The application deadline is already by the end of the year. Join us to increase the trustworthiness of Artificial Intelligence! More positions will become available soon as part of my European Research Council (ERC) Starting Grant DEUCE: Data-Driven Verification and Learning 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%7Cf1c70dde68c545a1ba0108dbffb7e448%7Cce6d05e13c5e4d6287a84c4a2713c113%7C0%7C0%7C638384938224747386%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C41000%7C%7C%7C&sdata=QtuR1BF64jBKDEduARXVQR2IesQjj8w8fyLXqEr6Ucg%3D&reserved=0 Two Full-time PhD positions in Artificial Intelligence and Formal Methods (TV-L E13) jobs.ruhr-uni-bochum.de https://nam04.safelinks.protection.outlook.com/?url=https%3A%2F%2Fjobs.ruhr-uni-bochum.de%2Fjobposting%2F3afc8db225556e47b7a49b17bc240bcf948d90cb0%3Fref%3Dhomepage&data=05%7C02%7Cuai%40engr.orst.edu%7Cf1c70dde68c545a1ba0108dbffb7e448%7Cce6d05e13c5e4d6287a84c4a2713c113%7C0%7C0%7C638384938224747386%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C41000%7C%7C%7C&sdata=WHfQt1MdLsuF%2FRkwqsd8NHYhwsEpAIumYtPxF%2FYv418%3D&reserved=0 Full-time Postdoc position in Artificial Intelligence and Formal Methods (TV-L E14 for 2 years) jobs.ruhr-uni-bochum.de — Prof. Dr. Nils Jansen Chair of Artificial Intelligence and Formal Methods Ruhr-University Bochum, Germany https://nam04.safelinks.protection.outlook.com/?url=http%3A%2F%2Fnilsjansen.org%2F&data=05%7C02%7Cuai%40engr.orst.edu%7Cf1c70dde68c545a1ba0108dbffb7e448%7Cce6d05e13c5e4d6287a84c4a2713c113%7C0%7C0%7C638384938224747386%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C41000%7C%7C%7C&sdata=8T8tX7Ly0rF5risSk5I0vDtd0z6YNdkZVYw5HAf3z50%3D&reserved=0 ___ uai mailing list uai@engr.orst.edu https://it.engineering.oregonstate.edu/mailman/listinfo/uai
Re: [UAI] FORMATS 2020 ** 3nd Call for Papers**
— The abstract deadline is coming up soon! Due to several requests, we are planning a journal special edition of FORMATS 2019 and 2020. — 3nd Call for Papers FORMATS 2020 September 1st-3rd Vienna, Austria (virtual meeting) co-located with CONCUR, FMICS, and QEST https://formats-2020.cs.ru.nl/ <https://formats-2020.cs.ru.nl/> Invited Speakers: Alessandro Abate, Roderick Bloem, Annabelle McIver - Objective Timing aspects of systems from a variety of computer science domains have been treated independently by different communities. Researchers interested in semantics, verification, and performance analysis study models such as timed automata and timed Petri nets, the digital design community focuses on propagation and switching delays, while designers of embedded controllers have to take account of the time taken by controllers to compute their responses after sampling the environment. Timing-related questions in these separate disciplines do have their particularities. However, there is a growing awareness that there are basic problems that are common to all of them. In particular, all these sub-disciplines treat systems whose behaviour depends upon combinations of logical and temporal constraints; namely, constraints on the temporal distances between occurrences of events. - Topics The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems. This year again, FORMATS aims at being more inclusive with respect to applications, notably real-time systems and emerging directions such as data science. Typical topics include (but are not limited to): • Foundations and Semantics: Theoretical foundations of timed systems and languages; comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models). • Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis,optimization, model checking, testing, constraint solving, etc.). • Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication). - Special Sessions This year, FORMATS additionally encourages submissions in two particular topics. Data-driven methods for timed systems (chaired by Guillermo Alberto Perez). We are interested in all kind of data-driven methods such as machine learning or automata learning that consider timing aspects. Examples are automata learning for timed automata or reinforcement learning with timing constraints. Probabilistic and timed systems (chaired by Arnd Hartmanns). Real-time systems often encompass probabilistic or random behavior. We are interested in all approaches to model or analyze such systems, for instance through probabilistic timed automata, or stochastic timed Petri nets. - Paper Submission FORMATS 2020 solicits high-quality papers reporting research results and/or experience reports related to the topics mentioned above. Submitted papers must contain original, unpublished contributions, not submitted for publication elsewhere. The papers should be submitted electronically in PDF, following the Springer LNCS style guidelines. Regular papers should not exceed 15 pages in length (excluding references, that are therefore not limited), and short papers (for instance describing case studies, or implementations) are limited to 5 pages (again excluding references). Each paper will undergo a thorough review process. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Papers will be submitted electronically via the EasyChair online submission system: https://easychair.org/conferences/?conf=formats2020 <https://easychair.org/conferences/?conf=formats2020> Publication and best paper award The proceedings of FORMATS 2020 will be published by Springer in the Lecture Notes in Computer Science series. The best paper of the conference will be awarded the Oded Maler Award in Timed Systems. Important dates •Abstract submission: April 18, 2020 •Paper submission: April 27, 2020 •Notification of acceptance: June 29, 2020 •Final version due: July 08, 2020 •Conference: September 1-3, 2019 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 Nathalie Bertrand (
[UAI] FORMATS 2020 ** 4th Call for Papers **
— We have decided to further extend the deadlines. The final paper deadline is May 07, 2020. Moreover, we are planning a journal special edition of FORMATS 2019 and 2020. — 4th Call for Papers FORMATS 2020 September 1st-3rd Vienna, Austria (virtual meeting) co-located with CONCUR, FMICS, and QEST https://formats-2020.cs.ru.nl/ <https://formats-2020.cs.ru.nl/> Invited Speakers: Alessandro Abate, Roderick Bloem, Annabelle McIver - Important dates (updated) •Abstract submission: April 28, 2020 •Paper submission: May 07, 2020 •Notification of acceptance: June 29, 2020 •Final version due: July 08, 2020 •Conference: September 1-3, 2019 - Objective Timing aspects of systems from a variety of computer science domains have been treated independently by different communities. Researchers interested in semantics, verification, and performance analysis study models such as timed automata and timed Petri nets, the digital design community focuses on propagation and switching delays, while designers of embedded controllers have to take account of the time taken by controllers to compute their responses after sampling the environment. Timing-related questions in these separate disciplines do have their particularities. However, there is a growing awareness that there are basic problems that are common to all of them. In particular, all these sub-disciplines treat systems whose behaviour depends upon combinations of logical and temporal constraints; namely, constraints on the temporal distances between occurrences of events. - Topics The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems. This year again, FORMATS aims at being more inclusive with respect to applications, notably real-time systems and emerging directions such as data science. Typical topics include (but are not limited to): • Foundations and Semantics: Theoretical foundations of timed systems and languages; comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models). • Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis,optimization, model checking, testing, constraint solving, etc.). • Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication). - Special Sessions This year, FORMATS additionally encourages submissions in two particular topics. Data-driven methods for timed systems (chaired by Guillermo Alberto Perez). We are interested in all kind of data-driven methods such as machine learning or automata learning that consider timing aspects. Examples are automata learning for timed automata or reinforcement learning with timing constraints. Probabilistic and timed systems (chaired by Arnd Hartmanns). Real-time systems often encompass probabilistic or random behavior. We are interested in all approaches to model or analyze such systems, for instance through probabilistic timed automata, or stochastic timed Petri nets. - Paper Submission FORMATS 2020 solicits high-quality papers reporting research results and/or experience reports related to the topics mentioned above. Submitted papers must contain original, unpublished contributions, not submitted for publication elsewhere. The papers should be submitted electronically in PDF, following the Springer LNCS style guidelines. Regular papers should not exceed 15 pages in length (excluding references, that are therefore not limited), and short papers (for instance describing case studies, or implementations) are limited to 5 pages (again excluding references). Each paper will undergo a thorough review process. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Papers will be submitted electronically via the EasyChair online submission system: https://easychair.org/conferences/?conf=formats2020 <https://easychair.org/conferences/?conf=formats2020> - Publication and best paper award The proceedings of FORMATS 2020 will be published by Springer in the Lecture Notes in Computer Science series. The best paper of the conference will be awarded the Oded Maler Award in Timed Systems. We are planning a journal special 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 N
[UAI] Three PhD Positions on the Intersection of Formal Methods, Artificial Intelligence, and Machine Learning
We are looking for three excellent PhD candidates who will work on the intersection of formal methods, in particular formal verification, artificial intelligence, and machine learning. Each position is dedicated to one of the following exciting projects: * PrimaVera - Predictive maintenance for Very effective asset management The overall challenge in the NWA-funded PrimaVera project is to fulfil the grand promises in predictive maintenance. Through an effective combination of sensor techniques, big data analysis, and maintenance engineering, we want to significantly improve failure predictions to render maintenance more effective. You will work on the intersection of formal methods (such as fault trees, stochastic model checking) and data analytics (decision trees, Bayesian Networks, neural networks, reinforcement learning, POMDPs). PrimaVera is a joint project with Eindhoven University of Technology, the University of Twente, Saxion, Hague University of Applied Sciences and the Dutch Aerospace Laboratory, as well as several industrial partners. You will be expected to participate in a fruitful collaboration with the industrial partners, for example, by carrying 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 may suffer from data uncertainty. In particular, we will bridge the gap between AI and formal methods through models that incorporate incomplete information and uncertain outcomes of decisions, namely partially observable Markov decision processes (POMDPs). The two central research goals are: (1) to develop scalable methods that guarantee decision making with hard guarantees on safety constraints under uncertainty, and (2) to render (deep) reinforcement learning to adhere to specifications during the exploration of uncertain and partially unknown POMDPs. The project is purely academic, but involves potential collaboration and research visits with well-known researchers from all over the world. The project will be supervised by Dr. Nils Jansen. * SAM-FMS - Scheduling Adaptive Modular Flexible Manufacturing Systems SAM-FMS is an NWO-funded multi-partner project together with Eindhoven University of Technology, Delft University of Technology, ESI (TNO), and Canon Production Printing. The project will deliver new scheduling and co-design methods by pursuing model-driven synthesis approaches based on flow-shop models of manufacturing systems. We will employ and develop techniques from machine learning whose dependability is increased through formal methods and formal verification. You will work closely with the internal and external partners to help achieve the SAM-FMS project objectives. Specifically, close collaboration is needed with the industrial partners, the Electronic Systems group at Eindhoven University of Technology, and the Algorithmics group at Delft University of Technology. The project will be supervised by Dr. Nils Jansen and Prof. Frits Vaandrager. The positions are available within the Institute for Computing and Information Sciences (iCIS) at the Faculty of Science of Radboud University Nijmegen. Research at iCIS focuses on software science, digital security and data science. During recent evaluations, iCIS has been consistently ranked as the No. 1 Computing Science department in the Netherlands. The Software Science group is well known for its contributions to the mathematical foundations of software, formal methods, AI, machine learning, and functional programming, with strong ties to international top researchers. If you are interested, please *exclusively* apply via the following webpage where you can also find more information: https://www.ru.nl/english/working-at/vacature/details-vacature/?recid=1099526&pad=%2fenglish&doel=embed&taal=uk <https://www.ru.nl/english/working-at/vacature/details-vacature/?recid=1099526&pad=/english&doel=embed&taal=uk> For further questions, please contact Nils Jansen Further information: http://nilsjansen.org https://primavera-project.com/ https://www.nwo.nl/actueel/nieuws/2020/03/ruim-7-miljoen-euro-voor-vernieuwend-en-urgent-onderzoek-via-enw-klein.html?fbclid=IwAR3LFZYDPdmObKTyhw_phJZDTy8A0bRLOIcEGrwqQZASQV6Dsgpr0RCov14 https://www.ru.nl/english/working-at/vacature/details-vacature/?recid=1099526&pad=%2Fenglish&doel=embed&taal=uk&fbclid=IwAR0S8m8qytOKWj65bAoxkIG3r_X7_sTIIR_loLroJtGP9qS-bWohFJyKOw8 https://www.ru.nl/icis/ https://www.sws.cs.ru.nl/ -- Dr. Nils Jansen Assistant Professor Department of Software Science Radboud University Nijmegen http://nilsjansen.org ___ uai mailing list uai@engr.orst.edu https://it.engineering.oregonstate.edu/mailman/listinfo/uai
[UAI] Postdoctoral Researcher in Data Analysis for Smart Manufacturing in the Circular Economy
We are looking for an excellent postdoc candidate. The position will be partly carried out as part of a Green IT project called "GRIMES: Green Production via Model-based Reasoning" under my supervision: https://www.ru.nl/science/research/green-information-technology/collaboration-projects/grimes-green-production-via-model-based-reasoning/ <https://www.ru.nl/science/research/green-information-technology/collaboration-projects/grimes-green-production-via-model-based-reasoning/> Please feel free to contact me with any questions. The official application system and more information can be found here: https://www.ru.nl/english/working-at/vacature/details-vacature/?recid=1115835&pad=%2fenglish&doel=embed&taal=uk <https://www.ru.nl/english/working-at/vacature/details-vacature/?recid=1115835&pad=/english&doel=embed&taal=uk> * We are looking for As a postdoctoral researcher, you will be involved in two projects in collaboration with industry. One project uses advanced algorithms and extensive process data systems to optimise environmental performance in semiconductor production. The other project aims to optimise plastic sorting in the Circular Economy using process analytical data and innovative Industry 4.0 algorithms. The position will involve strong collaboration with industry and will also involve methodological innovations in data science for industry. You will supervise student internships in your own research line, and you may also be involved in teaching. You will work at two departments, in teams of several young researchers. Interaction between researchers to benefit each other's projects is a key value within both departments. We ask • You have a PhD degree in either Chemistry or Chemical Engineering with demonstrable interest in data science, chemometrics and/or artificial intelligence, or a PhD degree in Data Science/Artificial Intelligence or a related discipline with a demonstrable interest in the quantitative analysis of physical/chemical data. • You have experience with programming in MATLAB/R/Python or similar. • You have good communication skills in English, both in writing and verbally. • You have a demonstrable track record in oral presentations and publication of scientific papers. * We are Research will be carried out at the Department of Analytical Chemistry & Chemometrics of the Institute for Molecules and Materials (IMM), and at the Department of Software Science of the Institute for Computational and Informatics Sciences (ICIS) at Radboud University. Both departments are housed on the Radboud University campus. This creates an open and interdisciplinary atmosphere in which collaboration takes a central role and the boundaries between disciplines such as chemistry, physics and informatics are fading. Both IMM and ICIS are research institutes within the Faculty of Science. The faculty has a very strong track record in fundamental scientific research, together with a keen interest in sharing this research with stakeholders in society and industry. One important field in which we reach out is Green Information Technology: creating sustainability using computer algorithms. To this end, both departments have extensive industrial networks. The Radboud University Campus is centrally located in the city of Nijmegen and is easily reached by public transport. Nijmegen is an interesting and historical city located in the east of the Netherlands. It offers excellent opportunities for social interaction and family life. The campus has many facilities to improve a healthy work-life balance, including childcare and a sports centre. Radboud University We want to get the best out of science, others and ourselves. Why? Because this is what the world around us desperately needs. Leading research 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 part to play! -- Dr. Nils Jansen Assistant Professor Department of Software Science Radboud University Nijmegen http://nilsjansen.org ___ uai mailing list uai@engr.orst.edu https://it.engineering.oregonstate.edu/mailman/listinfo/uai
[UAI] FORMATS 2020 **Call for Participation**
Call for Participation FORMATS 2020 September 1st-3rd Online Event co-located with CONCUR, FMICS, and QEST https://formats-2020.cs.ru.nl/ <https://formats-2020.cs.ru.nl/> Invited Speakers: Alessandro Abate, Roderick Bloem, Annabelle McIver - Deadlines • Early registration deadline: no later than August 13th, 2020 • Late registration deadline: from August 14th to September 5th, 2020 - Objective Timing aspects of systems from a variety of computer science domains have been treated independently by different communities. Researchers interested in semantics, verification, and performance analysis study models such as timed automata and timed Petri nets, the digital design community focuses on propagation and switching delays, while designers of embedded controllers have to take account of the time taken by controllers to compute their responses after sampling the environment. Timing-related questions in these separate disciplines do have their particularities. However, there is a growing awareness that there are basic problems that are common to all of them. In particular, all these sub-disciplines treat systems whose behaviour depends upon combinations of logical and temporal constraints; namely, constraints on the temporal distances between occurrences of events. - Special Sessions This year, FORMATS features two special sessions: Data-driven methods for timed systems (chaired by Guillermo Alberto Perez). We are interested in all kind of data-driven methods such as machine learning or automata learning that consider timing aspects. Examples are automata learning for timed automata or reinforcement learning with timing constraints. Probabilistic and timed systems (chaired by Arnd Hartmanns). Real-time systems often encompass probabilistic or random behavior. We are interested in all approaches to model or analyze such systems, for instance through probabilistic timed automata, or stochastic timed Petri nets. - Invited Talks • Alessandro Abate • Roderick Bloem • Annabelle McIver - Accepted Papers • Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron and Burkhart Wolff. On the Semantics of Polychronous Polytimed Specifications. • Rémi Parrot and Didier Lime. Backward Symbolic Optimal Reachability in Weighted Timed Automata. • Simon Wimmer, Frédéric Herbreteau and Jaco van de Pol. Certifying Emptiness of Timed Büchi Automata. • Nicolas Basset, Thao Dang, Akshay Mambakam and José Ignacio Requeno Jarabo. Learning specifications for labelled patterns. • Thomas Brihaye and Aline Goeminne. On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games. • Emily Clement, Thierry Jéron, Nicolas Markey and David Mentré. Computing maximmaly-permissive strategies in acyclic timed games. • Martin Kölbl, Stefan Leue and Robert Schmid. Dynamic Causes for the Violation of Timed Reachability Properties. • Léo Henry, Thierry Jéron and Nicolas Markey. Active learning of timed automata with unknown resets. • Alessandro Abate, Alessandro Cimatti, Andrea Micheli and Muhammad Syifaul Mufid. Computation of Transient in Max-Plus Linear Systems via SMT-Solving. • Xin Qin and Jyotirmoy Deshmukh. Clairvoyant Monitoring for Signal Temporal Logic Patterns. • Brian Kempa, Pei Zhang, Phillip Jones, Joseph Zambreno and Kristin Yvonne Rozier. Embedding online RV for fault disambiguation on Robonaut2. • Susanna Donatelli and Serge Haddad. Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata. • Edoardo Bacci and David Parker. Probabilistic Guarantees for Safe Deep Reinforcement Learning. • Thierry Jéron, Nicolas Markey, David Mentré, Reiya Noguchi and Ocan Sankur. Incremental methods for checking real-time consistency. • Dongxu Li, Stanley Bak and Sergiy Bogomolov. Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling. • Wolfgang Granig, Stefan Jaksic, Lewitschnig Horst, Cristinel Mateis and Dejan Nickovic. Weakness Monitors for Fail-Aware Systems. 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) Eugene Asarin (France) Martin Fränzle (chair, Germany) Thomas A. Henzinger (Austria) Joost-Pieter Katoen (Germany) Kim G. Larsen (Denmark) Oded Maler (founding chair, France) (1957-2018) Pavithra Prabhakar (USA) Mariëlle Stoelinga (The Netherlands) Wang Yi (Sweden) - Program Chairs Nathalie Bertrand (France) Nils Jansen (The Netherlands) - Program Committee Mohamadreza Ahmadi (USA) Nicolas Basset (France) Anne Bouillard (France) Patricia Bouyer-Decitre (France) Milan Ceska (Czech Republic) Aiswarya Cy
[UAI] Function 2021 - Call for Presentations and Participation
FUNCTION 2021, co-located with ICALP, is the first workshop focussing on “Flavors of UNCerTainty in Verification, Planning, and OpTimizatiON”. We ask for presentations of ongoing or previously published work to enable discussions on a broad range of topics. These presentations will not be subject to proceedings publication. We encourage all interested speakers to submit an abstract of maximum 1 page via Easychair: https://easychair.org/conferences/?conf=function2021 == IMPORTANT DATES == Abstract submission: June 30, 2021 Notification: July 05, 2021 Workshop: July 11-12, 2021 == INVITED SPEAKERS == Rob Basten, Eindhoven University of Technology, NL Radu Calinescu, University of York, UK Rayna Dimitrova, CISPA Helmholtz Center for Information Security, DE Sebastian Junges, University of California, Berkeley, US Bruno Lacerda, University of Oxford, UK Morteza Lahijanian, University of Colorado Boulder, US Ahmadreza Marandi, Eindhoven University of Technology, NL Ransalu Senanayake, Stanford University, US Matthijs Spaan, Delft University 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 Glasgow, UK (gethin.nor...@glasgow.ac.uk) == REGISTRATION == Registration is free by contacting the workshop organizers or through http://easyconferences.eu/icalp2021/registration/ Where workshop registration is free when registering for the ICALP conference and otherwise €10 until June 30 and €20 afterwards. == INFORMATION == https://function-2021.cs.ru.nl/ This interdisciplinary workshop aims at bringing together researchers from different areas that formally model and analyze systems under uncertainty. We aim to solicit presentations and discussions on aspects of uncertainty including: Epistemic vs Aleatoric Uncertainty, where there may be uncertainty on exact distributions in a system and solutions need to robustly account for such uncertainty; Parametric Uncertainty, where controllable system parameters are described by a function and solutions need to synthesize parameter values that satisfy given system specifications; Uncertainty that stems from statistical inference of distributions that are subject to confidence values and may take the form of interval Markov models; Uncertainty in the exact system state due to for example measurement errors or imprecise sensors, leading to partial or incorrect information. Such topics constitute active and relevant research in the areas including artificial intelligence, formal methods, operations research, and optimization. However, techniques and results have been obtained largely independently, and we expect strong synergy effects in sharing the specific yet often related views on uncertainty. — Dr. Nils Jansen Assistant Professor Department of Software Science Radboud University Nijmegen http://nilsjansen.org ___ uai mailing list uai@engr.orst.edu https://it.engineering.oregonstate.edu/mailman/listinfo/uai
[UAI] Flavors of UNCerTainty in Verification, Planning, and OpTimizatiON (FUNCTION)@ ICALP - 2nd Call for Presentations and Participation
FUNCTION 2021, co-located with ICALP, is the first workshop focussing on “Flavors of UNCerTainty in Verification, Planning, and OpTimizatiON”. We ask for presentations of ongoing or previously published work to enable discussions on a broad range of topics. These presentations will not be subject to proceedings publication. We encourage all interested speakers to submit an abstract of maximum 1 page via Easychair: https://easychair.org/conferences/?conf=function2021 <https://easychair.org/conferences/?conf=function2021> == IMPORTANT DATES == Abstract submission: June 30, 2021 Notification: July 05, 2021 Workshop: July 11-12, 2021 == INVITED SPEAKERS == Rob Basten, Eindhoven University of Technology, NL Radu Calinescu, University of York, UK Rayna Dimitrova, CISPA Helmholtz Center for Information Security, DE Sebastian Junges, University of California, Berkeley, US Bruno Lacerda, University of Oxford, UK Morteza Lahijanian, University of Colorado Boulder, US Ahmadreza Marandi, Eindhoven University of Technology, NL Ransalu Senanayake, Stanford University, US Matthijs Spaan, Delft University 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 Glasgow, UK (gethin.nor...@glasgow.ac.uk) == REGISTRATION == Registration is free by contacting the workshop organizers via email or through http://easyconferences.eu/icalp2021/registration/ Where workshop registration is free when registering for the ICALP conference and otherwise €10 until June 30 and €20 afterwards. == INFORMATION == https://function-2021.cs.ru.nl/ This interdisciplinary workshop aims at bringing together researchers from different areas that formally model and analyze systems under uncertainty. We aim to solicit presentations and discussions on aspects of uncertainty including: Epistemic vs Aleatoric Uncertainty, where there may be uncertainty on exact distributions in a system and solutions need to robustly account for such uncertainty; Parametric Uncertainty, where controllable system parameters are described by a function and solutions need to synthesize parameter values that satisfy given system specifications; Uncertainty that stems from statistical inference of distributions that are subject to confidence values and may take the form of interval Markov models; Uncertainty in the exact system state due to for example measurement errors or imprecise sensors, leading to partial or incorrect information. Such topics constitute active and relevant research in the areas including artificial intelligence, formal methods, operations research, and optimization. However, techniques and results have been obtained largely independently, and we expect strong synergy effects in sharing the specific yet often related views on uncertainty. — Dr. Nils Jansen Assistant Professor Department of Software Science Radboud University Nijmegen http://nilsjansen.org ___ uai mailing list uai@engr.orst.edu https://it.engineering.oregonstate.edu/mailman/listinfo/uai
[UAI] Assistant Professor of Software Technology (tenure track) at Radboud University
Assistant Professor of Software Technology (tenure track) Employment: 0.8 - 1.0 FTE Faculty of Science, Radboud University, Nijmegen, The Netherlands Application deadline: 20 January 2022 To strengthen and expand the research of the Software Science (SWS https://www.sws.cs.ru.nl/) group, we seek a Tenure-track Assistant Professor of Software Technology who will focus on applications and transfer of academic results to industry/society. You will have the opportunity to develop your own research line in the context of the SWS group's future activities. You will be expected to supervise a number of PhD candidates and to teach Bachelor's degree courses in Computer Science (e.g. Software Engineering and New Devices Lab) and Master's degree courses in Software Science. You will also actively contribute to the supervision of Bachelor's and Master's projects and will be involved in organisational tasks within the institute. All teaching is in English. The position is available in the Software Science (SWS https://www.sws.cs.ru.nl/) group of the Institute for Computing and Information Sciences (iCIS https://www.ru.nl/icis/) at Radboud University. The mission of the SWS group is to conduct world-leading research on the use of models for design and analysis of software. The group is well-known for work on model-based software engineering, model learning, model-based testing, model checking, combining formal verification and machine learning, functional programming and HPC/array computing, proof assistants, and mathematical foundations. We find it important (and inspiring!) to cover the full spectrum from theory to applications in a single research group. Through collaboration with stakeholders from industry and society, we obtain a better understanding of when and how software science can help to solve real-world problems. Thus we have joint projects with, for instance, Canon Production Printing, ASML, Alfa Laval, Philips Healthcare, Google, Intel, the Netherlands Defence Academy (NLDA), and our spin-off TOP Software Technology. 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 Professor Department of Software Science Radboud University Nijmegen http://nilsjansen.org ___ uai mailing list uai@engr.orst.edu https://it.engineering.oregonstate.edu/mailman/listinfo/uai
[UAI] BOOM! 2018 @ CONFESTA - Call for Contributions
The BOOM! workshop solicits presentations of ongoing or previously published work to enable discussions on a broad range of topics, without formal proceedings. Selected abstracts will be invited for full submission as part of a special issue of the Journal on Reliable Intelligent Environments. Call for presentations (abstracts) BOOM! 2018 Workshop on Big Data meets Formal Methods September 08, 2018, Beijing, China. Co-Located with CONFESTA 2018 http://wwwhome.ewi.utwente.nl/~marielle/boom.html <http://wwwhome.ewi.utwente.nl/~marielle/boom.html> Big data is booming. Advanced data analytic techniques, like deep learning, predict the weather, buy and sell stocks, beat the humans in chess playing, diagnose diseases from CT scans, and recommend us which books to buy. Big data is gaining more and more importance in the area of formal methods: quantitative analysis techniques largely depend on the values of the input parameters, which could be learned from historic data. Moreover, automatic learning formal models themselves, or model skeletons as well as solutions have gained a lot of momentum with techniques like model mining, and reinforcement learning. In the other direction, formal methods have also a lot to offer for the development of big data analytic techniques, such as the verification of deep learning algorithms, model-based classification algorithms, methods and models for data cleaning etc. As there are no formal proceedings for the workshop, the main focus is on a broad range of topics that trigger lively discussions. == INVITED SPEAKERS == Alessandro Abate, University of Oxford, United Kingdom Luca Bortolussi, University of Trieste, Italy == IMPORTANT DATES == Abstract submission: June 10, 2018 Notification: June 30, 2018 Workshop: September 08, 2018 == SUBMISSIONS == We encourage all interested authors to submit an abstract of their presentation through Easychair under the following link: https://easychair.org/conferences/?conf=boom2018 <https://easychair.org/conferences/?conf=boom2018> We particularly invite work recently accepted to top conferences and ongoing work. The submission should be a pdf of at most two pages in the llncs style. Accepted presentations will not be subject to proceedings publication, though there will be invitations for selected abstracts for a special issue of the Journal on Reliable 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://nilsjansen.org ___ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai
[UAI] PhD Position on Explainable Data Science using Formal Verification @Radboud University
Are you interested in improving the explainability of machine learning using formal verification? Are you interested in being a part of cutting edge research in cooperation with TNO and the iCIS institute at Radboud University, Nijmegen? Then apply for a PhD position within the EXoDuS project, 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 funded by the VWDATA programme and the Institute for Computing and Information Science (iCIS) of Radboud University and will be carried out in close cooperation with TNO. The impact of artificial intelligence (AI) on autonomous driving, robot-assisted surgery, and home automation has resulted in an increased reliance on AI systems. In mission-critical applications, the inherent vulnerability of such systems to adversarial attacks poses a serious challenge. We propose to immerse humans in the process of robustifying AI systems against problems such as adversarial learning or data poisoning via formal methods. Formal verification in particular provides tools and algorithms to rigorously assess the correctness of a system. The key element is to enable humans to understand AI-made decisions in an adversarial environment. Decision-making is sufficiently captured by so-called strategies; a neural network, for example, represents a strategy that has been learned. For such strategies, data scientists and system engineers lack tools to answer transparency-related questions. You will use formal techniques and directions such as SMT solving, model checking, and partially observable Markov decision processes. From the AI perspective, you will marry the aforementioned concepts with (convolutional) deep neural networks and decision trees. * Work environment Strategically located in Europe, Radboud University is one of the leading academic communities in the Netherlands. The position is available in the Software Science group of the Institute for Computing and Information Sciences (iCIS) at Radboud University. Research at iCIS focuses on software science, digital security and data science. Our research mission is to improve the security and reliability of computer-based systems and algorithms through mathematically founded theories, methods and tools. During recent evaluations, iCIS has been consistently ranked as the No. 1 Computing Science department in the Netherlands. Evaluation committees praised our flat and open organisational structure, our ability to attract external funding, our strong ties to other disciplines, and our solid contacts with government and industrial partners. The Software Science group is well known for its contributions to the mathematical foundations of software, formal methods, and functional programming. * Details The application deadline is March 31, 2019. More information is available here: https://www.ru.nl/werken/details/details_vacature_0/?recid=601933 <https://www.ru.nl/werken/details/details_vacature_0/?recid=601933> For questions please contact Nils Jansen (n.jan...@science.ru.nl <mailto:n.jan...@science.ru.nl>). * Further information http://nilsjansen.org <http://nilsjansen.org/> https://www.uantwerpen.be/en/staff/guillermoalberto-perez/ <https://www.uantwerpen.be/en/staff/guillermoalberto-perez/> https://www.ru.nl/english/working-at/why-work-at-radboud-university-0/terms-employment/ <https://www.ru.nl/english/working-at/why-work-at-radboud-university-0/terms-employment/> https://commit2data.nl/en/vwdata <https://commit2data.nl/en/vwdata> https://www.ru.nl/icis/ <https://www.ru.nl/icis/> https://www.tno.nl/en/ <https://www.tno.nl/en/> -- Dr. Nils Jansen Assistant Professor Department of Software Science Radboud University Nijmegen http://nilsjansen.org ___ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai
[UAI] PhD Position on Explainable Data Science using Formal Verification @Radboud University
Are you interested in improving the explainability of machine learning using formal verification? Are you interested in being a part of cutting edge research in cooperation with TNO and the iCIS institute at Radboud University, Nijmegen? Then apply for a PhD position within the EXoDuS project, 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 funded by the VWDATA programme and the Institute for Computing and Information Science (iCIS) of Radboud University and will be carried out in close cooperation with TNO. The impact of artificial intelligence (AI) on autonomous driving, robot-assisted surgery, and home automation has resulted in an increased reliance on AI systems. In mission-critical applications, the inherent vulnerability of such systems to adversarial attacks poses a serious challenge. We propose to immerse humans in the process of robustifying AI systems against problems such as adversarial learning or data poisoning via formal methods. Formal verification in particular provides tools and algorithms to rigorously assess the correctness of a system. The key element is to enable humans to understand AI-made decisions in an adversarial environment. Decision-making is sufficiently captured by so-called strategies; a neural network, for example, represents a strategy that has been learned. For such strategies, data scientists and system engineers lack tools to answer transparency-related questions. You will use formal techniques and directions such as SMT solving, model checking, and partially observable Markov decision processes. From the AI perspective, you will marry the aforementioned concepts with (convolutional) deep neural networks and decision trees. * Work environment Strategically located in Europe, Radboud University is one of the leading academic communities in the Netherlands. The position is available in the Software Science group of the Institute for Computing and Information Sciences (iCIS) at Radboud University. Research at iCIS focuses on software science, digital security and data science. Our research mission is to improve the security and reliability of computer-based systems and algorithms through mathematically founded theories, methods and tools. During recent evaluations, iCIS has been consistently ranked as the No. 1 Computing Science department in the Netherlands. Evaluation committees praised our flat and open organisational structure, our ability to attract external funding, our strong ties to other disciplines, and our solid contacts with government and industrial partners. The Software Science group is well known for its contributions to the mathematical foundations of software, formal methods, and functional programming. * Details The application deadline is April 14, 2019. More information and application form: https://www.ru.nl/werken/details/details_vacature_0/?recid=601933 <https://www.ru.nl/werken/details/details_vacature_0/?recid=601933> For questions please contact Nils Jansen (n.jan...@science.ru.nl <mailto:n.jan...@science.ru.nl>). * Further information http://nilsjansen.org <http://nilsjansen.org/> https://www.uantwerpen.be/en/staff/guillermoalberto-perez/ <https://www.uantwerpen.be/en/staff/guillermoalberto-perez/> https://www.ru.nl/english/working-at/why-work-at-radboud-university-0/terms-employment/ <https://www.ru.nl/english/working-at/why-work-at-radboud-university-0/terms-employment/> https://commit2data.nl/en/vwdata <https://commit2data.nl/en/vwdata> https://www.ru.nl/icis/ <https://www.ru.nl/icis/> https://www.tno.nl/en/ <https://www.tno.nl/en/> -- Dr. Nils Jansen Assistant Professor Department of Software Science Radboud University Nijmegen http://nilsjansen.org <http://nilsjansen.org/> ___ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai
[UAI] FORMATS 2020 **Call for Papers**
Call for Papers FORMATS 2020 September 1st-3rd Vienna, Austria co-located with CONCUR, FMICS, and QEST https://formats-2020.cs.ru.nl/ <https://formats-2020.cs.ru.nl/> Invited Speakers: Alessandro Abate, Roderick Bloem, Annabelle McIver - Objective Timing aspects of systems from a variety of computer science domains have been treated independently by different communities. Researchers interested in semantics, verification, and performance analysis study models such as timed automata and timed Petri nets, the digital design community focuses on propagation and switching delays, while designers of embedded controllers have to take account of the time taken by controllers to compute their responses after sampling the environment. Timing-related questions in these separate disciplines do have their particularities. However, there is a growing awareness that there are basic problems that are common to all of them. In particular, all these sub-disciplines treat systems whose behaviour depends upon combinations of logical and temporal constraints; namely, constraints on the temporal distances between occurrences of events. - Topics The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems. This year again, FORMATS aims at being more inclusive with respect to applications, notably real-time systems and emerging directions such as data science. Typical topics include (but are not limited to): • Foundations and Semantics: Theoretical foundations of timed systems and languages; comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models). • Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (scheduling, worst-case execution time analysis,optimization, model checking, testing, constraint solving, etc.). • Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication). - Special Sessions This year, FORMATS additionally encourages submissions in two particular topics. Data-driven methods for timed systems (chaired by Guillermo Alberto Perez). We are interested in all kind of data-driven methods such as machine learning or automata learning that consider timing aspects. Examples are automata learning for timed automata or reinforcement learning with timing constraints. Probabilistic and timed systems (chaired by Arnd Hartmanns). Real-time systems often encompass probabilistic or random behavior. We are interested in all approaches to model or analyze such systems, for instance through probabilistic timed automata, or stochastic timed Petri nets. - Paper Submission FORMATS 2020 solicits high-quality papers reporting research results and/or experience reports related to the topics mentioned above. Submitted papers must contain original, unpublished contributions, not submitted for publication elsewhere. The papers should be submitted electronically in PDF, following the Springer LNCS style guidelines. Submissions should not exceed 15 pages in length (excluding references, that are therefore not limited). Each paper will undergo a thorough review process. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Papers will be submitted electronically via the EasyChair online submission system: https://easychair.org/conferences/?conf=formats2020 <https://easychair.org/conferences/?conf=formats2020> Publication and best paper award The proceedings of FORMATS 2020 will be published by Springer in the Lecture Notes in Computer Science series. The best paper of the conference will be awarded the Oded Maler Award in Timed Systems. Important dates •Abstract submission: April 6, 2020 •Paper submission: April 13, 2020 •Notification of acceptance: June 29, 2020 •Final version due: July 08, 2020 •Conference: September 1-3, 2019 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) Eugene Asarin (France) Martin Fränzle (chair, Germany) Thomas A. Henzinger (Austria) Joost-Pieter Katoen (Germany) Kim G. Larsen (Denmark) Oded Maler (founding chair, France) (1957-2018) Pavithra Prabhakar (USA) Mariëlle Stoelinga (The Netherlands) Wang Yi (Sweden) - Program Chairs Nathalie Bertrand (
[UAI] FORMATS 2020 ** 2nd Call for Papers**
stions, 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 Nathalie Bertrand (France) Nils Jansen (The Netherlands) - General Chair Ezio Bartocci (Austria) - Steering Committee Rajeev Alur (USA) Eugene Asarin (France) Martin Fränzle (chair, Germany) Thomas A. Henzinger (Austria) Joost-Pieter Katoen (Germany) Kim G. Larsen (Denmark) Oded Maler (founding chair, France) (1957-2018) Pavithra Prabhakar (USA) Mariëlle Stoelinga (The Netherlands) Wang Yi (Sweden) - Program Committee Mohamadreza Ahmadi (USA) Nicolas Basset (France) Anne Bouillard (France) Patricia Bouyer-Decitre (France) Milan Ceska (Czech Republic) Aiswarya Cyriac (India) Rayna Dimitrova (UK) Uli Fahrenberg (France) Gilles Geeraerts (Belgium) Arnd Hartmanns (The Netherlands) Frédéric Herbreteau (France) Laura Humphrey (USA) Sebastian Junges (Germany) Gethin Norman (UK) Marco Paolieri (USA) Guillermo Perez (Belgium) Hasan Poonawala (USA) Krishna S (India) Ocan Sankur (France) Ana Sokolova (Austria) Jiri Srba (Denmark) B Srivathsan (India) Ufuk Topcu (USA) Patrick Totzke (UK) Jana Tumova (Sweden) Frits W. Vaandrager (The Netherlands) Masaki Waga (Japan) Lijun Zhang (China) -- Nils Jansen Assistant Professor Department of Software Science Radboud University Nijmegen http://nilsjansen.org <http://nilsjansen.org/>___ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai
