Universiteit van Amsterdam


Institute for Logic, Language and Computation

19 June 2017, Workshop on Metafinite model theory and definability and complexity of numeric graph parameters (Metafinite 2017), Reykjavik, Iceland

Date: Monday 19 June 2017
Location: Reykjavik, Iceland
Deadline: Friday 7 April 2017

The LICS 2017 workshop will bring together three strands of investigation dealing with the model theory and complexity of numeric graph parameters and their generalization to other first order structures.

Proposal for 30 minutes talk are sollicited in the form of an abstract of up to 4 pages in pdf-format. This may include already published material relevant for the workshop, original contributions, as well as work in progress. Submissions are for talks, not for papers, and should have a single author who is the speaker. The abstract may include a list of coauthors.

For more information, see http://cs.technion.ac.il/~janos/metafinite2017 or contact Dr. Elena Ravve at .