print · source · login   

News

  • Nils Jansen is PC co-chair of the 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), September 1-3, 2020, Vienna, Austria
  • Jurriaan Rot is PC co-chair of the 15th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'20) in Dublin, 25-26 April 2020.
  • Alexis Linard will defend his PhD thesis Learning Models for Cyber-Physical Systems on December 18, 2019 at 11.00hrs in the Senaatszaal of the 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.
  • The paper State Identification for Labeled Transition Systems with Inputs and Outputs by Petra van den Bos and Frits Vaandrager has been nominated for a best paper award at FACS2019 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.
  • Big Dutch National Research Agenda subsidy for project on predictive maintenance by Marielle Stoelinga (coordinator) and Nils Jansen, 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. 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.
  • In December 2018, Cynthia Kop and Frits Vaandrager received the good news that they both have been awarded an NWO Top grant. See also this news item from Radboud University.
  • In November 2018, Marielle Stoelinga gave her inaugural lecture A certain risk: quantitative risk management for high-tech systems both at Radboud University and Twente University. Her appeal that the Netherlands needs a National Nerd was discussed on national TV and radio, and in the newspapers, e.g. RTL nieuws, RTV Oost, Radio1, BNR nieuwsradio, De Telegraaf, and De Gelderlander.
  • Frits Vaandrager gave a keynote presentation at the 18th International Conference on Runtime Verification (RV'18), Limassol, Cyprus, November 10-13, 2018.
  • Petra van den Bos had a research internship of three months with dr. Vlad Rusu at the University of Lille, September-November 2018.
  • Joshua Moerman was one of the 200 young researchers selected to participate in the 2018 Heidelberg Laureate Forum, where he met 33 winners of the Turing Award, Nevallinna prize, Fields medal and Abel Prize.
  • Frits Vaandrager gave a keynote presentation at the 14th International Conference on Grammatical Inference (ICGI'18), September 5-7, 2018, Wroclaw, Poland.
  • Nils Jansen, together with Joost-Pieter Katoen, Pushmeet Kohli and Jan Kretinsky, organized Dagstuhl Seminar 18121: Machine Learning and Model Checking Join Forces, Wadern, March 18-23, 2018
  • Frits Vaandrager, together with Joeri de Ruiter and Juray Somorovsky, organized the Lorentz Center workshop on Systematic Analysis of Security Protocol Implementations, Leiden, June 11-15, 2018
  • Rinus Plasmeijer, Pieter Koopman et al. organized the Three “CO” (Composability, Comprehensibility and Correctness) Winter School (3COWS) of the ERASMUS+ project No. 2017-1-SK01-KA203-035402, Kosice, Slovakia between January 22-26, 2018. In October we had all teachers of this project in Nijmegen for a full week of teacher training.