International Colloquium on Theoretical Aspects of Computing

Aims and Objectives

The International Colloquium on Theoretical Aspects of Computing (ICTAC) was founded in 2004. 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. Beyond these scholarly goals, another main purpose of the conference is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries.


The main conference normally lasts three days, but is typically enriched with a school and, possibly, tutorials. All should be welcome to the school, but it should be targetted specifically at (local) students and early career researchers, with courses presented by invited speakers before the main conference. The tutorials, if any, should be targeted at the conference participants and can be presented either by international or local invited speakers. In total, the technical programme should cover at least five days. The school itself can run for up to one week.


The proceedings of the conference have been published in the Springer Lecture Notes in Computer Science series.

If you are from a developing country and willing to organising an ICTAC event or if you are interested in helping organising such an event in a developing country, please contact Martin Leucker. Every year, the Steering Committee issues a call for organization.

Principles and Procedure

When organising an ICTAC edition, the following principles and procedure are followed:

  1. The Steering Committee (SC) is responsible for appointing, for each event:

    a. The General Chair(s), which is(are) responsible for the logistic and financial success of the event. They are also the main point of contact of the SC regarding any of these matters. We note, however that, the term "General Chair" does not have a universally accepted meaning, and the SC is happy for the General Chairs to adopt any title that best reflects their responsibilities, as explained above, in the community where the event takes place. Some examples of alternative terms are "Organisation Chair" or "Conference Chair".

    b. The Programme Chair(s), which is(are) responsible for the success and quality of the event from an academic point of view. This should be done 18 months before the conference.

  2. The conference general chairs appoint the local organization team and provide them with guidance concerning local organization and providing support in mobilizing local resources needed for the organization of the conference. The general chairs are primarily responsible for fund raising needed for the organization. They also play a role in ceremonial activities.

  3. The program chairs are in charge of the academic activities of the conference, including the organization of the Program Committee (PC) and selecting Keynote Speakers, conducting the process of review and selection of papers, publication of the proceedings, and organization and implementation of the conference program (with help from the general chairs and local organization team).

  4. The General and PC chairs, in agreement, decide and invite publicity chairs and workshop chairs if they see necessary. The nomination of a publicity chair is, in particular, strongly recommended.

  5. There should be three or four keynote speakers and it is advisable to have about 35 PC members.

  6. When drawing up lists of candidates for the PC and keynote speakers, the PC chairs should consult the general chairs, and they can also ask the SC to suggest candidates.

  7. The lists of candidates for the PC and keynote speakers are to be communicated to the SC for final comments before invitations are sent. It is advisable to have six to eight candidates for keynote speakers for consideration by the SC.

  8. All the above discussions and consultation should be completed, and the first Call for Papers circulated, within about 6 months.

  9. It is suggested that PC members are encouraged to submit papers, but the PC chairs and conference chairs should not.

  10. When making the conference budget, best efforts should be made to keep the registration fee as low as possible and yet to provide interesting social and cultural activities for the participants to enjoy.

  11. The organisation of a special issue in a reputable journal is strongly encouraged.