Systems herein allow an administrator to efficiently set up user devices for use in a classroom environment. A management server can display a graphical user interface that includes selection options for defining and using carts of user devices. The carts can be selected and assigned to classes. The GUI also allows the administrator to specify which applications a class will use. Based on these selections, the management server can then manage which user devices install which applications, and allocate licenses accordingly.