Meeting in Crete, Greece, 01 - 02 November 2024

The next meeting is a short one, it will take place in Crete on 1-2 November, colocated with ISoLA/AISoLA.

Talks

Fri, 01 November 2024

• 11:00 Symbolic Runtime Verification for Monitoring under Uncertainties and Assumptions by Martin Leucker      abstract slides paper
• 11:30 Refinement strategies for correct by construction algorithms by Dominique Méry      abstract
• 14:30 SMT-Based Model Checking for Signal Temporal Logic by Kyungmin Bae      abstract
• 15:15 Iteration Calculus by Benjamin Lucien Kaminski      abstract
• 16:30 Optimality-preserving Reduction of Chemical Reaction Networks by Max Tschaikowski      abstract
• 17:15 From Thin Trees to Thin Coalgebras by Corina Cirstea      abstract

Sat, 02 November 2024

• 11:00 Initial Algebras Unchained by Stefan Milius      abstract slides paper
• 11:45 Relational Connectors by Lutz Schröder     
• 14:30 OntoUML and OntoObject-Z_based Ontologies: Application to Computer Communication Protocols by Mohamed Bettaz      abstract slides
• 15:15 A Systematic Study on the Potentials and Limitations of LLM-assisted Software Development by Sabine Glesner     
• 16:30 Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic by Peter Ölveczky      abstract
• 17:00 Business meeting by Corina Cirstea