Christian Schilling
PublicationsSoftwareArchived events

Archived events

  • Aug 11, 2022:
    I talked about reachability analysis for neural-network control systems at the DIREC Seminar 2022. The slides are available here.
  • Aug 11, 2022:
    I co-organized the WOLVERINE workshop at FLoC 2022.
  • Jul 13, 2022:
    I talked about reachability analysis (video video link) at the Institute for Risk and Uncertainty in Liverpool. The slides are available here.
  • May 31-Jun 6, 2022:
    I visited Anna Lukina and Emir Demirović at TU Delft's Algorithmics group. There I also talked about verification of neural-network control systems. The slides are available here.
  • Dec 9-11, 2021:
    I co-organized the JuliaReach & JuliaIntervals Days 2021.
  • Oct 19, 2021:
    I talked about reachability analysis at the MIT Julia Lab. The slides are available here.
  • Oct 18, 2021:
    I co-organized the WOLVERINE workshop at ATVA 2021.
  • Jul 28, 2021:
    I co-organized a minisymposium about set propagation (video video link) and talked about JuliaReach (video video link) at JuliaCon 2021.