Established in 2004 by the International Institute for Software<br>Technology of the United Nations University (UNU–IIST), the ICTAC<br>conference series aims at bringing together researchers and<br>practitioners from academia, industry and government to present<br>research and exchange ideas and experience addressing challenges in<br>both theoretical aspects of computing and the exploitation of theory<br>through methods and tools for system development. ICTAC also aims to<br>promote research cooperation between developing and industrial<br>countries.<br>SCOPE<br>The topics of the conference include, but are not limited to:<br>* Languages and automata<br>* Semantics of programming languages<br>* Logic in computer science<br>* Lambda calculus, type theory and category theory<br>* Domain–specific languages<br>* Theories of concurrency and mobility<br>* Theories of distributed, grid and cloud computing<br>* Models of objects and components<br>* Coordination models<br>* Models of software architectures<br>* Timed, hybrid, embedded and cyber–physical systems<br>* Static analysis<br>* Software verification<br>* Software testing<br>* Program generation and transformation<br>* Model checking and automated theorem proving<br>* Interactive theorem proving<br><div>* Verified software, formalized programming theory</div><div><br></div>
Abbrevation
ICTAC
City
Hammamet
Country
Tunisia
Deadline Paper
Start Date
End Date
Abstract