Detailed printable schedule

Sessions take place in building Bloque I: auditorium 1002 on Thursday; "Salon de Actos" on Friday.

Thursday, February 19

10:30 AM   Students’ meeting (organised by students)

1:00 PM     Lunch

2:30 PM     Welcome

2:45 PM     Session: Ongoing Research (by researchers)

                    Negation and Fuzzy resoning via CLP - by Susana Muñoz, UPM.

3:45 PM     Coffee Break

4:00 PM     Session: Ongoing Projects and Thesis (by students)

5:30 PM     Session: Open discussion

6:00 PM     End of session

Evening   Joint EMCL dinner

Friday, February 20

10:00 AM   Best thesis presentation by Jean Christoph Jung

10:30 AM   Session: Ongoing Research (by researchers)

                    Proof Carrying Code - by Gilles Barthe, IMDEA Software.

11:30 AM   Coffee Break

11:45 AM   Session: Ongoing Projects and Thesis (by students)

1:00 PM     Lunch

2:15 PM     Session: Ongoing Projects and Thesis (by students)

3:15 PM     Coffee Break

3:45 PM     PhD Perspectives after EMCL - by Evgeny Kharlamov, EMCL alumni

4:00 PM     Closing Session, including EMCL Best thesis 2008 award delivery

4:30 PM     End of session