- Email: [email protected]
Third Advanced Course on Foundations of Computer Science
224
ANNOUNCEMENT
Announcement THIRD ADVANCED
COURSE ON F O U N D A T I O N S OF COMPUTER SCIENCE under the auspices of the Commission of the European Communities August 21-September 1, 1978, Amsterdam, The Netherlands Lecturers
J. ENGELFRIET (Enschede) Two-way atttomata and checking automata K. MEHLHORN (Saarbrticken) Dynamic data structures A. R. MEYER (Cambridge, USA) Computationally complex decision problems M. NIVAT (Paris) Infinite words and infinite trees generated by algebraic grammars V. R. PRATT (Cambridge, USA) Dynamic logic M. O. RABIN (Jeruzalem) Probabilistic algorithms C. P. SCHNORR (Frankfurt) Elementary methods in algebraic complexity theory J. W. THATCHER (Yorktown Heights) Algebraic semantics Directors of the course
J. W. de BAKKER, Mathematical Centre and Free University, Amsterdam, The Netherlands J. van LEEUWEN, University of Utrecht, Utrecht, The Netherlands For application forms ask your institution, or write to Professor J. W. de Bakker Registration Advanced Course Mathematical Centre 2e Boerhaavestraat 49 1091 AL Amsterdam, The Netherlands telephone (020) 947272, telex 12571 Deadline for application is: MAY 15, 1978 The Third Advanced Course on Foundations of Computer Science is jointly sponsored by the European Communities, the Dutch Ministry of Education, the University of Utrecht, the Mathematical Centre, and the European Association for Theoretical ComPuter Science.
ANNOUNCEMENT
Announcement THIRD ADVANCED
COURSE ON F O U N D A T I O N S OF COMPUTER SCIENCE under the auspices of the Commission of the European Communities August 21-September 1, 1978, Amsterdam, The Netherlands Lecturers
J. ENGELFRIET (Enschede) Two-way atttomata and checking automata K. MEHLHORN (Saarbrticken) Dynamic data structures A. R. MEYER (Cambridge, USA) Computationally complex decision problems M. NIVAT (Paris) Infinite words and infinite trees generated by algebraic grammars V. R. PRATT (Cambridge, USA) Dynamic logic M. O. RABIN (Jeruzalem) Probabilistic algorithms C. P. SCHNORR (Frankfurt) Elementary methods in algebraic complexity theory J. W. THATCHER (Yorktown Heights) Algebraic semantics Directors of the course
J. W. de BAKKER, Mathematical Centre and Free University, Amsterdam, The Netherlands J. van LEEUWEN, University of Utrecht, Utrecht, The Netherlands For application forms ask your institution, or write to Professor J. W. de Bakker Registration Advanced Course Mathematical Centre 2e Boerhaavestraat 49 1091 AL Amsterdam, The Netherlands telephone (020) 947272, telex 12571 Deadline for application is: MAY 15, 1978 The Third Advanced Course on Foundations of Computer Science is jointly sponsored by the European Communities, the Dutch Ministry of Education, the University of Utrecht, the Mathematical Centre, and the European Association for Theoretical ComPuter Science.