+ 15/11 Anunci Tesi doctoral de Joan Espasa - Dijous 15 novembre: SMT Techniques for Planning Problems