title 1 (English): An hands-on tutorial on LP and LPI modeling
title 2 (Italian): Minicorso introduttivo alla modellazione in PL e PLI

instructors: Alice Raffaele and Romeo Rizzi

weeks:
  20-24 november
  11-15 december

timetable:
* first week (20-24 november):
+Mon 14.30-15.30,  Lab. Gamma (booked 14:00-16:30)
+Tue 13.30-15.30 room H, (booked 13:30-15:30) 
+Wen 14.30-15.30 room G, (booked 14:00-15:30)
+Thu 11.30-13.30 Lab. Ciberfisico (booked 11:30-13:30)
+Fri 9.30-13.30 Lab. Ciberfisico (booked 09:30-13:30)
* second week (likely 11-15 december):

note: if you have one, you better come with your own laptop.

website of the course:
  http://profs.sci.univr.it/~rrizzi/classes/modeling-intro/index.html

description:
(English) we will face together the modeling of small didactical problems in the languges of LP and LPI. The obtained mathematical models will be cast in a modeling language like AMPL and/or GMPL.
Then, we will experiment some solvers like Gurobi and GLPK in order to obtain actual solutions.
This minicourse is the first step of a path and proposal in mathematical modeling and programming. According to our plans, the next steps that will follow (again within the Math Decisions seminar course) will be:
 + a course or a cycle of seminars on more advanced techniques and uses of state of the art LPI solvers (possible theoretical topics: cutting planes, column generation, compact formulations. Possible applied setting: vehicle routing);
 + one or more meetings with firm representatives that will propose some of the problematics they need to cope with and waiting for models and solutions. These meetings are also meant to play as occasions to start up stages by the firm (or in the department but on topics from the firm), thesis, and/or collaborations.

(Italian) illustreremo esempi di come possano essere modellati in termini di PL o di PLI alcuni piccoli problemi. Codificheremo i modelli ottenuti in AMPL e/o GMPL.
Sperimenteremo con alcuni solutori quali Gurobi e GLPK.
Questo corso e` il primo passo di un percorso nella modellazione matematica. Successivi passi di questo percorso in previsione per il seminariale Math Decisions nell'anno accademico 2017/18 saranno:
 + un approfondimento su un utilizzo piu` avanzato di solutori per modelli di PLI (possibili argomenti teorici: piani di taglio, column generation, formulazioni compatte. Possibili argomenti applicativi: vehicle routing);
 + uno o piu` incontri con aziende che offrono problematiche in attesa di modellazioni con proposte di stage, tesi e/o collaborazione.


Riferimenti:
+Sito del corso:
  http://profs.sci.univr.it/~rrizzi/classes/modeling-intro/index.html
+Materiale di riferimento per AMPL (proprietario ma prevede utilizzo gratuito ai nostri scopi):
   -il sito di AMPL:
      http://ampl.com/
   -presentazione efficace (cosa e' AMPL):
      http://www.slideshare.net/macdario/ricerca-operativa-ampl
   -il libro di AMPL (estremamente chiaro e divulgativo):
      http://ampl.com/resources/the-ampl-book/
   -una breve guida in italiano all'uso di AMPL:
      http://profs.sci.univr.it/~rrizzi/classes/PLS2015/AMPL/manualeampl.pdf
   -una sintesi (slides in italiano) di alcuni aspetti sottostanti la sintassi di AMPL:
      http://www.math.unipd.it/~rinaldi/teaching/Sintassi_Esempi.pdf

+Materiale di riferimento per GMPL (mondo open source):
   -guida GMPL:
      http://profs.sci.univr.it/~rrizzi/classes/modeling-intro/gmpl.pdf
      https://en.wikibooks.org/wiki/GLPK/GMPL_(MathProg)
      https://www.cs.unb.ca/~bremner/docs/glpk/gmpl.pdf

+Solvers:
   -Gurobi (proprietario ma prevede licenze gratuite ai nostri scopi):
      http://www.gurobi.com
    Consigliamo agli studenti di registrarsi e richiedere subito una licenza accademica (https://user.gurobi.com/download/licenses/free-academic), scaricando poi il software dal download center (http://www.gurobi.com/downloads/download-center).  
   -GLPK (mondo open source):
      https://www.gnu.org/software/glpk/
      http://en.wikibooks.org/wiki/GLPK
      https://spokutta.wordpress.com/the-gnu-linear-programming-kit-glpk/
      https://www3.nd.edu/~jeff/mathprog/glpk-4.47/doc/gmpl.pdf
    Non ho avuto problemi ad installarmi GLPK semplicemente tramite Ubuntu Software Center.
    GLPK e' incluso nell'installazione standard di Sage.