Speakers

Tutorial speakers

Logic:                                       Brunella Gerla  (University of Insubria)

Language:                              Lisa Matthewson  (University of British Columbia)

Computation:                       Joel Ouaknine  (Oxford University)

Invited speakers 

Logic:

Melvin Fitting  (Graduate School and University Center of New York)

George Metcalfe (University of Bern)

Language:

Rajesh Bhatt (University of Massachusetts),

Sarah Murray (Cornell University)

Computation: 

Helle Hansen (Delft University of Technology)

Mehrnoosh Sadrzadeh (Queen Mary, University of London)