A Symbolic Circuit Simulator is described and implemented within the Mathematica scientific environment. Four lectures will take place, all at the Ranzani Laboratory (Via Ranzani 14/b, 1st Floor). The lectures are intended for students of the Computational Mathematics course, within the Degree Courses: Laurea Magistrale in Informatica, Laurea Magistrale in Matematica, Laurea Magistrale in Scienze di Internet. All interested people, though, are very welcome to attend. The lecturer is Dr. Oliver Ruebenkoenig, Kernel Developer, Research and Development Department, Wolfram Research, Urbana - Champaign, Illinois, USA. Further to be a Mathematica Kernel devoper, Dr. Ruebenkoenig is an expert in the following research areas: - PDEs in general - Finite Element Method - Symbolic finite elements (for automatic code generation) - Finite Volume, Finite Difference - PDE modeling (using PDEs to model engineering applications, like structural mechanics, fluid flow) - Meshing (computational geometry) - Model order reduction (MOR) - Parametric PDE models - Practical computer science in general / data structures - Lumped system modeling (e.g. circuit simulation)