Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29 | Kaicus Deutschland