Program
|
Participants
|
| There were 43 participants at the seminar. The program consisted of five invited survey talks, namely Phokion Kolaitis (Database Query Languages), Martin Otto (Finite Model Theory), Colin Stirling (Games in Verification), Jan Van den Bussche (Constraint Databases), Pierre Wolper (Infinite Structures in Databases and Verification) and 25 other presentations, mostly of ongoing research. In addition we had a very lively evening session on Logic in Computer Science Education (chaired by Wolfgang Thomas) and numerous informal discussions in smaller groups. |
|
Résumé
|
| We, the organizers, believe that this workshop has been a success. It has certainly helped to increase the awareness of the researchers working in one field of the problems and methods in the others and thus to increase the interaction and collaboration of the three fields, and the transfer of methodologies from one field to another. |
|
Download Workshop Report: Résumé
and Abstracts
|
|
|
Dagstuhl
Workshop on FMT, Databases, and CAV (PDF)