Events
22 April 2022, the paper "Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?" by Luca Aceto, Valentina Castiglioni, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik is accepted for publiction on ACM Transactions on Computational Logic.
25 June 2022: The paper “On the Axiomatisation of Branching Bisimulation Congruence over CCS” by Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir and Bas Luttik has been accepted for the scientific programme of CONCUR 2022.
3-9 August 2022, Michele Loreti (University of Camerino) and Simone Tini (University of Insubria) visit ICE-TCS.
7 September 2022: The paper "Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction" by Luca Aceto, Elli Anastasiadi, Valentina Castiglioni and Anna Ingolfsdottir has been accepted for publication as a chapter in the book A Journey from Process Algebra via Timed Automata to Model Learning.
24 November 2022, Valentina Castiglioni delivers an invited talk at the FSA Colloquium at TUE in Eindhoven, The Netherlands. The talk, entitled "Uncertainties, adaptability, and verification", presents the evolution sequence model and the Robustness Temporal Logic.
1 December 2022, Valentina Castiglioni delivers the talk "Uncertainties, adaptability, and verification" also at the ICE-TCS seminar series, at Reykjavik University.
9-21 January 2023, Valentina Castiglioni visits University of Insubria.
8 April 2023: The paper "STARK: A Software Tool for the Analysis of Robustness in the unKnown environment" by Valentina Castiglioni, Michele Loreti and Simone Tini has been accepted for COORDINATION 2023.
25 April - 5 May 2023, Simone Tini (University of Insubria) visits ICE-TCS.
20 May 2023: The paper "A framework to measure the robustness of programs in the unpredictable environment" by Valentina Castiglioni, Michele Loreti and Simone Tini has been accepted for publication in the journal Logical Methods in Computer Science.
19 June 2023, Valentina Castiglioni delivers an invited talk at OPCT 2023 in Bertinoro, Italy. The talk, entitled "A formal framework for cyber-physical systems: Uncertainties, adaptability, and verification", presents an overview of project ULTRON, our achievements and some future work.
19 July 2023: The paper "DisTL: A Temporal Logic for the Analysis of the Expected Behaviour of Cyber-Physical Systems" by Valentina Castiglioni, Michele Loreti and Simone Tini has been accepted for ICTCS 2023.