Scientific Programme of CSL'02

Invited Talks

The following invited lectures will be given at the conference:

Contributed Papers

The programme committee selected thirty-seven papers out of one hundred and eleven submissions:


Two tutorials are offered on the Saturday before the conference, Introduction to mu-calculi and Parameterized Complexity Theory.

Home | Call for Papers | Programme Committee | Scientific Programme | Conference Arrangements | Photos

Last modified: Thu Jun 13 17:39:04 BST 2002