A compendium of articles and papers presented at FCS â13. Selected topics include HPC + Load-Balancing + Approximation Algorithms + N-P Hard Problems; Formal Verification + Automata; Encryption + Calculus + Testing Methods And New Methodologies; Quantum Computing; Grammar Rules and Text Compression Methods.