ICTAC 2019, ICTAC

Robotic Events (َICTAC 2019): 16th International Colloquium on Theoretical Aspects of Computing ICTAC 2019, The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing.

Topics (ICTAC 2019)

• Languages and automata 
• Semantics of programming languages 
• Logic in computer science 
• Lambda calculus, type theory and category theory 
• Domain-specific languages 
• Theories of concurrency and mobility 
• Theories of distributed, grid and cloud computing 
• Models of objects and components 
• Coordination models 
• Models of software architectures 
• Autonomous systems 
• Timed, hybrid, embedded and cyber-physical systems 
• Static analysis 
• Software verification 
• Software testing 
• Program generation and transformation 
• Model checking and automated theorem proving 
• Interactive theorem proving 
• Verified software, formalized programming theory 

Sponsors (ICTAC 2019)

Date:

• 30 Oct, 04 Nov 2019

Where:

• Hammamet, Tunisia

Email:

• slim.kallel@fsegs.usf.tn