The Association is named Association for Logic in India (henceforth abbreviated as ALI). Its functioning shall be governed by the guidelines and bye-laws set forth in this Constitution.
The Founding Address of the Association is:
The Institute of Mathematical Sciences,
The Constitution consists of three parts: Objectives of the Association, Activities of the Association and Structure of the Association.
The aims and objectives of the Association are:
To build a Logic community in India, bringing together researchers and academicians interested in Logic from all disciplines, including Mathematics, Philosophy, Linguistics, Computer Science, Artificial Intelligence, Cognitive Science and other fields,
To foster the growth of basic research in India on Logic, and promote Logic education at various levels (universities as well as schools),
To contribute to increased interaction among logicians in India and their colleagues abroad,
To help disseminate advanced knowledge to the Logic community engaged in teaching, research and developmental activities,
To disseminate information about Logic to the general public, and
To interact with governmental agencies / bodies to identify and support (emerging) areas of Logic and its applications.
Apart from these, additional objectives may be formulated by the Association and adopted by due process, as formulated below.
The activities of the Association will have the following guidelines as their basis. The activities shall broadly encompass:
Holding Workshops / Advanced Schools / State-of-the-Art Seminars, Conferences in various areas of Logic; in particular, continuing the ongoing effort of organizing a biennial international conference (Indian Conference on Logic and its Applications, abbreviated ICLA) in India, as well as a biennial international instructional school (Indian School on Logic and its Applications, abbreviated ISLA) in India;
Getting lecture notes / Proceedings of aforementioned events published, as and when required (in print or in other forms);
Publishing Journals of the Association catering to research and education in Logic and its applications;
Ensuring a significant presence for the Association in the World-Wide Web, and if necessary, publishing (electronically or using other media) a Newsletter of the Association;
Forming Special Interest Groups, as the need arises, to promote research and academic interests in special areas of Logic;
Interacting with other Societies / Associations in India and abroad having similar interests / aims for mutual benefit;
Evolving mechanisms to support exchange of Ph.D. scholars, and scientists between institutions within India and outside;
Contributing to the development of curricula in Logic at the graduate and post graduate level;
Instituting awards/prizes/lecturerships to encourage excellence in teaching, research and innovative activities;
Raising funds, receive donations/grants/gifts to carry out the above activities;
Forming committees to carry out the above activities, and
Performing any other activity consistent with the objectives of ALI.
While ALI activities are intended to nurture a community of logicians in India, the extent of these activities shall be international.
The Association shall be made of registered members. Its structure is given by:
the General Assembly, (abbreviated as GA) consisting of all members,
the Executive Committee, (abbreviated as EC) consisting typically of 7 members, and
the Council, consisting typically of 20 members.
If special circumstances so warrant, the strength of the Executive Committee may be increased upto 10 members, with sufficient cited reasons.
The function of the Executive Committee shall be to responsibly carry out all activities of the Association.
The following office bearers (or post holders) shall be elected from within the Executive Committee:
The post holders of the Executive Committee are the corresponding post holders of ALI for their term.
The Council consists of the EC, the Editor of the Newsletter (or such persons as responsible for periodic activities of ALI) and other members co-opted by the EC for functional reasons or in an advisory capacity.
The function of the Council shall be to shape the major policies of the Association. Its duties include discussions, initiated by the Council Chairperson, about various aspects of ALI (meetings, journals, publishing, nominations for various positions, etc.), resulting in advice for action by the General Assembly or the Executive Committee.
The General Assembly shall meet once in two years at the ICLA conference. Decisions taken by the EC may be taken up at the General Assembly for discussion and / or ratification. The Agenda is decided by the EC and posted by the Secretary; members may send agenda items to the Secretary a month or more before the General Assembly. Voting is by simple majority. The time and venue for the GA is fixed according to the schedule of the ICLA conference during which it is held.
An Extraordinary General Assembly (EGA) can be called by the EC, or by written request from at least 20% of the members, specifying what is to be discussed. The time and venue for the EGA is to be fixed by the EC.
When the GA needs to take up a vote, quorum is required. The quorum for the General Assembly is 10% of the membership (present or by authorized communication), while the quorum for an Extraordinary General Assembly is 20% of membership (present or by authorized communication).
The General Assembly and Extraordinary General Assembly are presided over by the Chairperson, or (in that order, in case of absences) the Secretary, or any member of the Council nominated by the EC for this purpose.
The term of the Committee is two years, from ICLA to ICLA. Its meetings are typically electronic, and it meets as and when required for the discharge of its duties.
Nominations to the Committee should be sent to the Secretary of the existing Council two months before the term ends. Each nomination should be signed by two General Assembly members (proposed and seconded), and offer a justification for the nomination. A member may sign at most 2 different nominations. Nominations should be accompanied by signed written statements from nominated members saying they are willing to serve on the Committee. Nominations without such statements stand invalid.
The nominations are announced at least two weeks before the General Assembly, which elects a new Executive Committee from among the nominations received. Members absent at the GA can participate by sending in their votes at least a week in advance (perhaps by electronic means).
The new Committee elects its office-bearers. No individual may hold the Chairperson's post or the Secretary's post for more than two consecutive terms, or three terms (in toto).
The Council is nominated by the Executive Committee and its term is synchronous with that of the Committee. Though the post holders of ALI are ex-officio members of the Council, the latter may have a separate Chairperson. Considerations of liaising with other international associations and institutions, and maximizing visibility for ALI may guide the composition of the Council.
Membership fee structure is proposed by the EC and decided by the General Assembly.
Individuals become members by paying the fees (if any) to the Treasurer. The Treasurer and Secretary maintain the current list of members. Membership is terminated by non-renewal, or by a letter of resignation to the Secretary.
Membership is international and open to everyone who supports the aims of the Association.
Any such move may only be decided by a vote consisting of at least two-thirds of the members present at the General Assembly, or if quorum is not present, by a postal / electronic referendum. A simple majority at the General Assembly can decide adhesion to another scientific body. On dissolution, the Council will dispose the balance of the assets of the ALI to a scientific body.