[TYPES/announce] ICTAC 2023: Call for Participation

[Silvia Lizeth Tapia Tarifa]

** 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.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20231017/68c9c8e7/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 3299 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20231017/68c9c8e7/attachment-0001.p7s>