<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><font face="Menlo">** Apologies for multiple copies **</font></div><div><br></div><div><font face="Menlo">------------------------------------------------------------------------------</font></div><div><font face="Menlo"> <span class="Apple-tab-span" style="white-space:pre"> </span>ICTAC 2023 - Call for Participation</font></div><div><font face="Menlo"> 20th International Colloquium on Theoretical Aspects of Computing</font></div><div><font face="Menlo"> 04-08 December 2023, Lima - Peru (on-site event)</font></div><div><font face="Menlo"> https://ictac2023.compsust.utec.edu.pe/</font></div><div><font face="Menlo">------------------------------------------------------------------------------</font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo">News: Registration is now open for ICTAC 2023! </font></div><div><font face="Menlo"> Early registration deadline: 31st of October.</font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo">SCOPE</font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo"> The ICTAC conference series aims at bringing together researchers</font></div><div><font face="Menlo"> and practitioners from academia, industry, and government to present</font></div><div><font face="Menlo"> research and exchange ideas and experiences within theoretical aspects </font></div><div><font face="Menlo"> of computing through methods and tools for system development. </font></div><div><font face="Menlo"> ICTAC also aims to promote research cooperation between developing </font></div><div><font face="Menlo"> and industrial countries.</font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo">REGISTRATION</font></div><div><font face="Menlo"> </font></div><div><font face="Menlo"> Registration details: https://ictac2023.compsust.utec.edu.pe/registration/</font></div><div><font face="Menlo"> ICTAC 2023 will offer reduced fees for students.</font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo">FULL PROGRAM</font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo"> https://ictac2023.compsust.utec.edu.pe/program_ICTAC/</font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo">PRACTICAL INFORMATION</font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo"> Location: University of Engineering and Technology (UTEC) - Lima, Peru</font></div><div><font face="Menlo"> </font></div><div><font face="Menlo"> Further details: </font></div><div><font face="Menlo"> https://ictac2023.compsust.utec.edu.pe/practical-information/</font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo">INVITED SPEAKERS</font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo"> - Marijn J.H. Heule (Carnegie Mellon University):</font></div><div><font face="Menlo"> Without Loss of Satisfaction.</font></div><div><font face="Menlo"> - Pedro R. D'Argenio (National University of Córdoba):</font></div><div><font face="Menlo"> Optimal Route Synthesis in Space DTN using Markov Decision Processes.</font></div><div><font face="Menlo"> - Ana Cavalcanti (University of York):</font></div><div><font face="Menlo"> Learning in RoboStar.</font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo">TUTORIALS</font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo"> - Shaukat Ali, Mahsa Varshosaz:</font></div><div><font face="Menlo"> Testing Cyber-Physical Systems: Synergizing Model and AI-based Approaches.</font></div><div><font face="Menlo"> - Ina Schaefer, Maximilian Kodetzki:</font></div><div><font face="Menlo"> The Correctness-by-Construction Approach to Programming Using CorC.</font></div><div><font face="Menlo"> - Einar Broch Johnsen:</font></div><div><font face="Menlo"> The Semantically Lifted Digital Twin.</font></div><div><font face="Menlo"> - Maurice H. ter Beek: </font></div><div><font face="Menlo"> Formal Methods and Tools for Software Product Lines. </font></div><div><font face="Menlo"> - Martin Leucker:</font></div><div><font face="Menlo"> Automata Learning with an Application to Learn and Verify </font></div><div><font face="Menlo"> Recurrent Neural Networks.</font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo">ACCEPTED PAPERS</font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo"> - Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki:</font></div><div><font face="Menlo"> A game-theoretic approach to indistinguishability of winning objectives </font></div><div><font face="Menlo"> as user privacy</font></div><div><font face="Menlo"> - Florian Dorfhuber, Julia Eisentraut and Jan Kretinsky:</font></div><div><font face="Menlo"> Learning Attack Trees by Genetic Algorithms <span class="Apple-tab-span" style="white-space:pre"> </span></font></div><div><font face="Menlo"> - Suthee Ruangwises:</font></div><div><font face="Menlo"> The Landscape of Computing Symmetric $n$-Variable Functions with $2n$ Cards </font></div><div><font face="Menlo"> - Stepan Kuznetsov:</font></div><div><font face="Menlo"> On the complexity of reasoning in Kleene algebras with commutativity </font></div><div><font face="Menlo"> conditions </font></div><div><font face="Menlo"> - Matteo Cimini:</font></div><div><font face="Menlo"> Towards the Complexity Analysis of Programming Language Proof Methods</font></div><div><font face="Menlo"> - Carlos G. Lopez Pombo, Agustín E. Martínez Suñé and Emilio Tuosto:</font></div><div><font face="Menlo"> A Dynamic Temporal Logic for Quality of Service in Choreographic Models</font></div><div><font face="Menlo"> - Jan Tušil, Péter Bereczky and Dániel Horpácsi:</font></div><div><font face="Menlo"> Interactive Matching Logic Proofs in Coq </font></div><div><font face="Menlo"> - Tom T.P. Franken, Thomas Neele and Jan Friso Groote:</font></div><div><font face="Menlo"> An Autonomous Data Language </font></div><div><font face="Menlo"> - Karla Morris, Thai Son Hoang, Colin Snook and Michael Butler:</font></div><div><font face="Menlo"> Formal Language Semantics for Triggered Enable Statecharts with a </font></div><div><font face="Menlo"> Run-to-Completion Scheduling<span class="Apple-tab-span" style="white-space:pre"> </span></font></div><div><font face="Menlo"> - Beniamino Accattoli, Giulio Guerrieri and Maico Leberle:</font></div><div><font face="Menlo"> Strong Call-by-Value and Multi Types </font></div><div><font face="Menlo"> - Weihao Su, Rongchen Li, Chengyao Peng and Haiming Chen:</font></div><div><font face="Menlo"> Algorithms for Checking Intersection Non-emptiness of Regular Expressions </font></div><div><font face="Menlo"> - Maurice ter Beek, Rolf Hennicker and José Proença:</font></div><div><font face="Menlo"> Realisability of Global Models of Interaction </font></div><div><font face="Menlo"> - Matías Brizzio and César Sánchez:</font></div><div><font face="Menlo"> Efficient Reactive Synthesis Using Mode Decomposition </font></div><div><font face="Menlo"> - Leo Lobski, Fabio Zanasi and Ella Gale:</font></div><div><font face="Menlo"> A Categorical Approach to Synthetic Chemistry </font></div><div><font face="Menlo"> - Amazigh Amrane, Hugo Bazille, Uli Fahrenberg and Krzysztof Ziemianski:</font></div><div><font face="Menlo"> Closure and Decision Properties for Higher-Dimensional Automata <span class="Apple-tab-span" style="white-space:pre"> </span></font></div><div><font face="Menlo"> - Francesco Dagnino, Amin Farjudian and Eugenio Moggi:</font></div><div><font face="Menlo"> Robustness in Metric Spaces over Continuous Quantales and the </font></div><div><font face="Menlo"> Hausdorff-Smyth Monad </font></div><div><font face="Menlo"> - Karam Kharraz, Martin Leucker, Shaun Azzopardi and Gerardo Schneider.</font></div><div><font face="Menlo"> Synchronous Agents, Verification, and Blame — A Deontic View </font></div><div><font face="Menlo"> - Uwe Nestmann and Nadine Karsten:</font></div><div><font face="Menlo"> Store Locally, Prove Globally </font></div><div><font face="Menlo"> - Erik Voogd, Åsmund Aqissiaq Arild Kløvstad and Einar Broch Johnsen:</font></div><div><font face="Menlo"> Denotational Semantics for Symbolic Execution </font></div><div><font face="Menlo"> - Marian Johannes Begemann, Hannes Kallwies, Martin Leucker </font></div><div><font face="Menlo"> and Malte Schmitz:</font></div><div><font face="Menlo"> TOOL PAPER: Tessla-ROS-Bridge - Runtime Verification of Robotic Systems</font></div><div><font face="Menlo"> - Anna Stramaglia, Jeroen J.A. Keiren and Thomas Neele:</font></div><div><font face="Menlo"> Simplifying process parameters by unfolding algebraic data types.<span class="Apple-tab-span" style="white-space:pre"> </span></font></div><div><font face="Menlo"> - Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, </font></div><div><font face="Menlo"> Violet Ka I Pun and Volker Stolz:</font></div><div><font face="Menlo"> Modular Soundness Checking of Feature Model Evolution Plans </font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo">TRAINING SCHOOL</font></div><div><font face="Menlo"><br></font></div><div><font face="Menlo"> - Pedro R. D'Argenio (National University of Córdoba):</font></div><div><font face="Menlo"> Probabilistic Model Checking.</font></div><div><font face="Menlo"> - Christian Colombo (University of Malta):</font></div><div><font face="Menlo"> The Theory and Practice of Runtime Verification:</font></div><div><font face="Menlo"> A Hand-On Introduction to the Formal Methods Technique with Applications </font></div><div><font face="Menlo"> in Cyber Security Monitoring.</font></div><div><font face="Menlo"> - Marijn J.H. Heule (Carnegie Mellon University):</font></div><div><font face="Menlo"> Satisfiability Solving.</font></div><div><font face="Menlo"> - Ana Cavalcanti, Ziggy Attala, Jim Woodcock (University of York):</font></div><div><font face="Menlo"> Software Engineering for Robotics: RoboStar technology.</font></div><div><font face="Menlo"><br class="Apple-interchange-newline">
</font></div>
<br></body></html>