This book constitutes the refereed proceedings of the First International Symposium on Functional Programming Languages in Education, FPLE '95, held in Nijmegen, The Netherlands in December 1995.
The 17 revised full papers included represent the current state-of-the-art in using functional languages in computer science education. Most papers report teaching experience in some detail, however, the emphasis is generally on technical issues. Functional languages are increasingly used for teaching in a number of important areas such as algorithms, data structures, compiler construction,...

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Critical Information Infrastructures Security, CRITIS 2013, held in Amsterdam, The Netherlands, in September 2013. The 16 revised full papers and 4 short papers were thoroughly reviewed and selected from 57 submissions. The papers are structured in the following topical sections: new challenges, natural disasters, smart grids, threats and risk, and SCADA/ICS and sensors.