Monday's Report
Patrick Blackburn was in charge of ``kicking the ball,'' during the first day of HyLo 2000.

And he did, in full 100% Blackburn style. I.e., diving full steam into what are hybrid languages, why are they interesting, and how do they work.

[-Monday1-]
[-Monday2-] Maarten Marx took the post after Patrick, and explained everything you always wanted to know about the complexity of hybrid languages but were afraid to ask.
You can see here the people attending HyLo, joining enthusiastically in the discussion.
Looks like the promising start of a fruitful workshop.
[-Monday3-] [-Monday3-]

Hybrid Logics Site
Web Master: Carlos Areces

Copyright © 2000.