[TYPES/announce] Metafinite 2017 - Call for Presentations

[European Association of Computer Science Logic]

Call for Presentations:

                          Workshop on
             Metafinite model theory and definability and
               complexity of numeric graph parameters

                       (Metafinite 2017)

                   Affiliated with LICS 2017

               June 19 2017,  Reykjavik, Iceland

           http://cs.technion.ac.il/~janos/metafinte2017

AIM:
The 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.

(A) Gurevich and Graedel in 1998 initiated the study of metafinite model
theory to study descriptive complexity of numeric parameters.
Metafinite model theory found most of its applications in databases and
abstract state machines (ASM), but was not widely studied in connection
to numeric combinatorial parameters.

(B) Courcelle, Makowsky and Rotics initiated a definability theory for graph
polynomials in 2000 and proved metatheorems for graph polynomials and numeric
structural parameters.

(C) Kotek, Makowsky and Ravve questioned wether the
Turing model of computation was the right choice to discuss the complexity
of numeric graph parameters and proposed alternatives
using the Blum-Shub-Smale model of computation.

The aim of the workshop is to bring together researchers of these three strands
in order to further explore and elaborate on the appropriate framework for the
study of numeric structural parameters and polynomials and to investigate
further metatheorems.

For more background see
           http://cs.technion.ac.il/~janos/metafinte2017

ORGANIZERS and PC:
A. Goodall (Charles University, Prague)
J.A. Makowsky (Technion, Haifa)
E.V. Ravve (ORT-Braude, Karmiel)

KEYNOTE SPEAKERS:
Y. Gurevich (Microsoft, Redmond)
E. Graedel (RWTH, Aachen)

CONFIRMED SPEAKERS:
K. Meer (BTU, Cottbus)
M. Ziegler (KAIST, Southkorea)
T. Kotek (TU, Vienna)
N. Labai (TU, Vienna)
A. Manuel (CMI, Chennai)
T. Colcombet (Paris VII, Paris)

SUBMISSION:
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.
There will be no formal proceedings.
Hence submissions should have a single author who is the speaker.
The abstract may include a list of coauthors.
Proposals for presentation should be sent to
                    cselena at braude.ac.il
with subject: Metafinite 2017

PUBLICATION:
Accepted presentations will be posted on the workshop homepage.
It is planned to publish a special issue
in a suitable journal, based on the accepted presentations.
The special issue is meant to focus on Metafinite Model Theory
and its applications.

IMPORTANT DATES (AoE):
  * Submission: Friday 7 April 2017
  * Notification: Monday 24 April 2017
  * Final version: Monday 15 May 2017
  * Workshop: Monday June 19 2017

CONTACT: For further questions write to Dr. Elena Ravve at
              cselena at braude.ac.il

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170212/e5a4e3e3/attachment-0001.html>