The following topics are dealt with: power system simulation; smart power grids; power system security; cyber-physical systems; power engineering computing; distributed power generation; power grids; digital simulation; security of data; and formal specification.