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