Martin Leucker for the steering committee opening ICTAC’23.

#ictac2023 2/finis

Impressions from ICTAC’23 – I’ve presented our work on “Modular Soundness Checking of Feature Model Evolution Plans”, joint work with Ida Motzfeldt (formerly UiO, now Finn.no), Ingrid Chieh Yu (UiO), Crystal Din (UiB), Violet Ka I Pun and me (HVL). You can find the full paper until end of the year directly from the ICTAC webpage, or in our full-text repository (https://app.cristin.no/results/show.jsf?id=2212099) once that has been processed.

#ictac2023 #spl 1/2

Shout-out to the friendly #Lufthansa agent in #Bergen airport who printed my boarding pass GRU-LIM (I was wondering why that was taking like a minute) -- half of Frankfurt airport has failed to manage the same for my companion, and only the senior agent at a LATAM-gate finally managed to pull off an equivalent feat!

#ictac2023

The paper "Simplifying process parameters by unfolding algebraic data types" by Anna Stramaglia, Thomas Neele and yt will be presented at #ictac2023

We describe how algebraic data types can be unfolded to improve the performance of symbolic #modelchecking in #mCRL2.

Abstract: https://easychair.org/smart-program/ICTAC2023/2023-12-08.html#talk:239997

#CallForPapers #ICTAC2023 (International Colloquium on Theoretical Aspects of Computing) "bring[s] together researchers and practitioners from academia, industry, and government to present research and exchange ideas and experiences within theoretical aspects of computing through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries". https://ictac2023.compsust.utec.edu.pe/call-for-papers/ I published my first ever paper at ICTAC! #TheoreticalCS