Undefined index significa che la varibile post non è stata valorizzata.
Cause :
O la form ha come method = GET
oppure il name della input non è corretto

molto importante la seconda altrimenti non recupererai mai la tua varibile.

io suggerisco di fare cosi :

$laboratori = 0;
if(isset($_REQUEST['laboratori']) && $_REQUEST['laboratori']!="")
$laboratori = $_REQUEST['laboratori'];

$_REQUEST[''] recupera la varibile o da post o da get indistintamente da dove si trova

Ciao