Logic List Mailing Archive

CfP: ICTAC 2024: 21st International Colloquium on Theoretical Aspects of Computing, 25-29 November 2024, Bangkok (Thailand)

** Apologies for multiple copies **

----------------------------------------------------------------------------
ICTAC 2024 - Call for Participation

21st International Colloquium on Theoretical Aspects of Computing

25-29 November 2024, Bangkok - Thailand

https://ictac2024.cs.ait.ac.th
---------------------------------------------------------------------------

News: Registration is now open for ICTAC 2024! Early registration deadline: 1st 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

Early registration (before 1 October)
ICTAC full program (25-29 November): 20,000 THB (13,500 THB student)
ICTAC conference only (27-29 November): 15,000 THB (10,000 THB student)

Late registration (after 1 October)
ICTAC full program (25-29 November): 22,500 THB (16,000 THB student)
ICTAC conference only (27-29 November): 17,500 THB (12,500 THB student)

Registration details:
https://ictac2024.cs.ait.ac.th/registration/


PRACTICAL INFORMATION

The Training and Tutorial lectures will be held on 25 and 26 November at the AIT Conference Center, in the campus of the Asian Institute of Technology, north of Bangkok, Thailand.

The main conference will be held from 27 to 29 November at the Berkeley Hotel in Bangkok city centre, Thailand.

Further details: https://ictac2024.cs.ait.ac.th/practical-information/


PROGRAM

Program will soon be available at https://ictac2024.cs.ait.ac.th/program/


INVITED SPEAKERS (https://ictac2024.cs.ait.ac.th/speakers/)

 - Ichiro Hasuo (National Institute of Informatics, JP)
Proving Safety of Automated Driving Vehicles

 - Annabelle McIver (Macquarie University, AU)
Probabilistic Datatypes

 - Alfons Laarman (Leiden University, NL)
The Unreasonable Effectiveness of Automated Reasoning in Quantum Computing

- Priyanka Golia (Indian Institute of Technology Delhi, IN)
Automated Synthesis: Fusing Formal Methods and AI


TUTORIALS (https://ictac2024.cs.ait.ac.th/training-and-tutorials/)

 - Ichiro Hasuo (National Institute of Informatics, JP)
Abstract and Concrete Model Checking: Through the Lens of Lattice Theory and Category Theory

 - Alfons Laarman and Tim Coopman (Leiden University, NL)
Quantum Circuit Compilation using Formal Methods

 - Uwe Nestmann and Nadine Karsten (Technische Universität Berlin, DE)
ProofBuddy: A Gentle Online Proof Assistant for Learners

 - Martin Leuker (University of Lubeck, DE)
t.b.a.


TRAINING SCHOOL (https://ictac2024.cs.ait.ac.th/training-and-tutorials/)

 - Priyanka Golia (Indian Institute of Technology Delhi, IN)
SAT Solvers: Modern Approaches and Applications

 - Zhiming Liu (Southwest University, Chongqing, CH)
Formal Aspects of Model-Driven Development — A Unified Method

 - Emil Sekerinski (McMaster University, CA)
A Formal Look at Programming


ACCEPTED PAPERS (https://ictac2024.cs.ait.ac.th/accepted-papers/)

 - Stefan Zetzsche and Wojciech Rozowski
Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny

 - Marco Bernardo and Claudio Antares Mezzina
Reversibility in Process Calculi with Nondeterminism and Probabilities

 - Kittiphon Phalakarn, Sasinee Pruekprasert and Ichiro Hasuo
Winning Strategy Templates for Stochastic Parity Games towards Permissive and Resilient Control

 - Benoit Ballenghien and Burkhart Wolff
A Theory of Proc-Omata - and a Proof Technique for Parameterized Process Architectures

 - Leo Lobski, Fabio Zanasi and Ella Gale
Disconnection Rules are Complete for Chemical Reactions

 - Szilard Zsolt Fazekas and Xinhao Huang
Generalized Parikh Matrices For Tracking Subsequence Occurrences

 - Billy Thornton and Diego Marmsoler
Verifying Type Safety for Isabelle/Solidity

 - Sini Chen, Huibiao Zhu, Ran Li, Lili Xiao, Jiapeng Wang, Ning Ge and Xinbin Cao
Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs

 - Kazumasa Shinagawa
Card-Based Protocols with Single-Card Encoding

 - Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki
Verification with Common Knowledge of Rationality for Graph Games

 - Szilard Zsolt Fazekas, Victor Mitrana, Andrei Păun and Mihaela Păun
Jump Complexity of Deterministic Finite Automata with Translucent Letters

 - Ekaterina Piotrovskaya, Leo Lobski and Fabio Zanasi
Learning Closed Signal Flow Graphs

 - Jinting Bian, Hans-Dieter Hiep and Frank de Boer
History-Based Reasoning about Behavioral Subtyping

 - Anton Chernev, Helle Hvid Hansen and Clemens Kupke
Dual Adjunction Between Ω-Automata and Wilke Algebra Quotients

 - Emil Sekerinski
On Concurrent Program Algebra and Demonic Automata

 - Safa Zouari, Uli Fahrenberg and Krzysztof Ziemianski
Bisimulations and Logics for Higher-Dimensional Automata

 - Zhenbing Zeng, Jian Lu and Liangyu Chen
Automated proof of Ramsey theorem via symbolic computation

 - Ankit Pradhan, C.G. Mitun Akil and Srinivas Pinisetty
Runtime Enforcement with Event Reordering



--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php