Invited Papers.- How To Be Fickle.- Finite Model Theory on Tame Classes of Structures.- Minimum C...

Invited Talks.- Refinement and Verification Applied to an In-Flight Data Acquisition Unit*.- A De...

This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engine...

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory...