print · source · login   

News

2019

  • Alexis Linard will defend his PhD thesis Learning Models for Cyber-Physical Systems on December 18, 2019 at 11.00hrs in the Senaatszaal of Radboud University, Nijmegen.
  • Peter Achten and Pieter Koopman organize the 2nd Workshop on Programming Languages in The Netherlands on Thursday, December 12, 2019, at Radboud University.
  • Marielle Stoelinga received an ERC consolidator grant on Integrating Safety and Cybersecurity through Stochastic Model Checking, December 2019.
  • Alexis Linard received a best presentation award at the SETTA2019 conference in Shanghai, November 28-29, for his presentation entitled Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm.
  • The paper State Identification for Labeled Transition Systems with Inputs and Outputs by Petra van den Bos and Frits Vaandrager received the best paper award at the FACS2019 conference in Amsterdam, October 23-25.
  • Marielle Stoelinga is PC co-chair of the FORMATS'19 conference in Amsterdam, 26-31 August 2019.
  • Jurriaan Rot is PC co-chair of the EXPRESS/SOS'19 workshop in Amsterdam, 26 August 2019.
  • Frits Vaandrager was invited lecturer at the Summer School on Data Science and Machine Learning that was organized by the Tehran Institute for Advanced Studies in Tehran, Iran from 24-27 August 2019.
  • Rinus Plasmeijer and Tim Steenvoorden gave a lecture on Visual Prototyping using Task Oriented Programming and Pieter Koopman and Mart Lubbers gave a lecture on Task Oriented Programming for the Internet of Things for the Central European Functional Programming School of the ERASMUS+ project No. 2017-1-SK01-KA203-035402, Budapest between August 17-21, 2019.
  • The paper Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks by Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Serban, Bernd Becker, and Ufuk Topcu was presented at IJCAI 2019 in Macao, China, 10-16 August 2019.
  • Frits Vaandrager gave an invited lecture at the ICALP 2019 conference in Patras, Greece, 8-12 July 2019.
  • On July 1, 2019, Joshua Moerman successfully defended his PhD thesis Nominal Techniques and Black Box Testing for Automata Learning in the Auditorium (Aula) of the Radboud University Nijmegen.
  • Herman Geuvers is PC chair of the International Conference on Formal Structures for Computation and Deduction (FSCD'19), Dortmund, Germany, June 24-30, 2019,
  • Nils Jansen gave an invited talk at the LearnAut 2019 workshop at LICS 2019 in Vancouver, Canada, June 23, 2019.
  • Marielle Stoelinga gave a keynote at the Netwerk Risicomanament Symposium "Speaking Truth to Power", Rotterdam, June 20, 2019.
  • Marielle Stoelinga (coordinator) and Nils Jansen received a grant from the Dutch National Research Agenda for project on predictive maintenance, June 12, 2019.
  • Sicco Verwer, a former member of the SWS group who is now at TU Delft, has been awarded a VIDI grant, May 2019. Congratulations, Sicco!
  • Pieter Koopman received a grant, together with Phil Trinder from Glasgow University, from the Radboud-Glasgow Collaboration Fund, entitled BEST: Better Smart Campus Sensor Technologies, May 2019.
  • Marielle Stoelinga has recorded a video lecture (in Dutch) at the Universiteit van Nederland about Risk Management: Waarom is appen op de fiets statistisch gezien behoorlijk dom?, May 2019.
  • Paul Fiterau received a first prize for his PhD thesis at the VERSEN PhD award ceremony at the ICT Open conference in Hilversum on March 20, 2019. The jury commented: "An outstanding thesis that uses foundational techniques for a common, relevant, and urgent software engineering problem."
  • Nils Jansen received a grant for the VWData kickstarter project ‘EXoDuS - EXplainable Data Science’. The research will focus on applying formal methods to increase the understandability of decision­-making tools that use machine learning methods as a black­ box. With additional support from iCIS, a PhD position will be funded from this grant.
  • The paper 'Shepherding Hordes of Markov Chains' by Milan Češka, Nils Jansen, Sebastian Junges and Joost-Pieter Katoen was presented at TACAS 2019 in Prague, 6-11 April 2019.
  • The paper 'Coalgebra Learning via Duality' by Simone Barlocco, Clemens Kupke and Jurriaan Rot was presented at FOSSACS 2019 in Prague, 6-11 April 2019.
  • Nils Jansen gave an invited talk at the SynCop 2019 workshop at ETAPS in Prague, 6-11 April 2019
  • The Rigorous Examination of Reactive Systems (RERS) challenge is a contest that allows any tool or technique to be used to analyze a given piece of software, including e.g. source code analysis, passive learning, active automata learning, and combinations of techniques. In 2019, for the first time, RERS features an industrial track, co-organized by our group, with problems provided by ASML. The RERS competition was part of the TOOLympics at ETAPS in Prague, 6-11 April 2019.
  • Marielle Stoelinga gave a keynote lecture at the Smart Industries forum in Zwolle, March 14, 2019.

2018