During the last decade, the areas of automata, concurrency and logic have been brought closer together thanks to their interaction in the areas of verification and modelchecking. This workshop will discuss some recent research in the area (for example, on starfree languages, message-passing languages, timed automata, discrete controllers). The talks include:
Preceding the Workshop we will have a preparatory School aimed towards university and college teachers and senior research students, who have some basic background in Automata theory but may not be fully conversant with recent research in the area. An attempt will be made to provide the technical preliminaries necessary to follow the Workshop.
If you are interested in attending the Workshop, please contact the following address for further details. The participation is limited and so you are strongly encouraged to register as soon as possible, in any case before January 20th.
Please send your complete address (including email, phone, fax) and your qualifications. Please also state your background in Automata theory (both teaching and research). Limited amount of travel support and accommodation is available for those who cannot obtain support from their parent organization. If you want to apply for the same, please mention explicitly whether you need travel support and/or accommodation. A message informing you of your selection to participate will reach you by January 22nd.
Address for Correspondence:
Kamal Lodaya
The Institute of Mathematical
Sciences
C. I. T. Campus
Chennai 600 113. INDIA
| Phone: | +91 044 254 1856, 254 2588, 254 1050, 254 2398 |
| Fax: | +91 044 254 1586 |
| Email: | kamal AT imsc DOT res DOT in |
| Web: | http://www.imsc.res.in/tcsweb/acl.html |
Important Dates
| Registration deadline: | January 20th, 2001 |
| Workshop: | January 29-31, 2001 |