اين كارگاه را دكتر رمضانيان، عضو هيات علمي دانشكده علوم رياضي و با همكاري انجمن علمي دانشجويي اين دانشكده، به منظور آشنايي دانشجويان با نحوه مدل سازي صوري "پروتكل هاي ارتباطي" با روش هاي منطقي، همچنين فراهم آوردن زمينه مناسب براي طرح موضوعات پژوهشي دراين حوزه،ارايه نمودند.
