INDIAN STATISTICAL INSTITUTE

STAT-MATH DIVISION

203 BARRACKPORE TRUNK ROAD CALCUTTA 700035

Telephones : 556-8085 (4lines)
Telegram : STATISTICA, CALCUTTA 700035
Telex : 033-214152 STAT IN
Fax : 033-556 6680

will organise a

WINTER SCHOOL IN LOGIC & COMPUTER SCIENCE

at its Calcutta campus during 23 December 1996 through 10 January 1997. The School is meant for research workers as well as teachers in Colleges and Universities who are interested in Theoretical Computer Science or in the use of Logic in Theoretical Computer Science. The topics to be covered will be from the following:

Propositional and first-order logic, Model theory, Turing machines and computability, computational complexity, logics capturing complexity classes, deductive data-bases and logic programming, temporal logic of concurrency and logics of knowledge, automata-theoretic methods in temporal logic etc.

Outstation participants will be provided free board and lodging in the campus. Limited travel funds are also available.

Application on plain paper for participation in the School may be sent to Coordinator, Winter School in Logic & Computer Science, at the address given above (e-mail: rana@isical.ernet.in or, sikdar@isical.ernet.in) so as to reach on or before 1 October 1996. The application should be accompanied by a certificate from the supervisor/head of department in support of the application and should include the following information:

Name, sex, date of birth, designation and affiliation, address for correspondence (including e-mail address, if available), academic qualifications, research and teaching experience, details of all the courses relevant to the topics of the Winter School attended, whether travel grant can be obtained from contingent grant or any other source, whether hostel accomodation is needed and any other relevant information.

Applicants selected for participation will be informed by 22 October 1996.