19 Jun 2017
Reykjavik, Iceland
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@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@braude.ac.il
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam