Description
The Fourth Workshop on Hybrid Logic (HyLo@LICS) will take place as an affiliated workshop to LICS 2002, the IEEE Symposium on Logic in Computer Science Copenhagen, Denmark.

Thanks to the contributions of the many speakers, the workshop promises to be a very interesting event, with a good mixture of fundamental notions, new ideas, and lively discussions.

The workshop will take place on July 25th, from 9.00 to 18.00 hs.

You will find a detailed description of the talks under the Full Program link, which includes information about the different speakers and the relevant material for each day.

The workshop organizers Carlos Areces, Patrick Blackburn, Maarten Marx and Ulrike Sattler would like to thank all the people who got interested in the workshop, and invite everybody to come over and ``enjoy the show.'' We are looking forward to a day of discussions and useful interchange of ideas.


Hybrid Logics Site
Web Master: Carlos Areces

Copyright © 2002.