Report on First Schema Meeting

A number of topics were discussed:

• Schemas and Formal Language Theory
• Different Forms of Schema Slicing
• Revisiting Sebastian's thesis with Freeness
• Decidability of Freeness