ICTAC 2021

18th International Colloquium on Theoretical Aspects of Computing

The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries.

The conference concerns all aspect of theoretical computer science, including, but not limited to:

  • 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 computing
  • Models of objects and components
  • Coordination models
  • Timed, hybrid, embedded and cyber-physical systems
  • Security and privacy
  • Static analysis
  • Probabilistic and statistical verification
  • Software verification
  • Software testing
  • Runtime verification
  • Program generation and transformation
  • Model checking and theorem proving
  • Applications and case studies
José Proença
José Proença
Senior Assistant Researcher

José Proença is an assistant researcher and invited professor at Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, working in the Research Center in Real-Time & Embedded Computing Systems, investigating mainly coordination aspects and formal methods in the context of Cyber-Physical Systems. He is actively involved in a H2020 project and in 2 FCT projects, in one of which as coordinator. He currently belongs to the steering committee of 2 international conferences in fundamental computer science, he chaired the program committee of 5 international research venues with edited proceedings, edited 2 journal volumes, and was the member of 16 program-committees of international venues.