Final Call for Participation / AiML-ICTL 2000

Final Call for Participation / AiML-ICTL 2000
Advances in Modal Logic - International Conference on Temporal Logic 2000
October 4-7, 2000, University of Leipzig, Germany

FURTHER INFORMATION E-mail enquiries about AiML-ICTL 2000 should be directed to wolter@informatik.uni-leipzig.de. Information about AiML can be obtained on the World-Wide Web at http://www.aiml.net/, and about AiML-ICTL 2000 at http://www.informatik.uni-leipzig.de/~wolter/aiml.html.