Many important theoretical and practical advances have taken place in the areaof Formal Methods (FMs), and impressive applications have been developed.Furthermore, FMs and their associated tools are now routinely used in manyindustries. However, their full potential remains partly unexploited. In pg. 57 ofa recent FMs survey [47], I gave my own view about their future in a positionstatement whe…
This book focuses on returned former child soldiers of the so-called Lord’s Re-sistance Army (LRA) in northern Uganda, and their reintegration into public, occu-pational and family life. In the last chapter (chapter5), we will compare their history and present situation with that of ex-rebels in the neighboring region of West Nile, and discuss the instructive similarities and differ…