(English version below)
Les journées du GT Calculabilités du GdR Informatique Mathématique
auront lieu du 25 au 27 novembre 2019 à la Villa Finaly à Florence
(Italie). L’inscription est obligatoire (et ouverte !) :
https://gtc2019.sciencesconf.org/
Ces journées ont pour but de rassembler des chercheurs de France et
d’ailleurs autour de la notion de calculabilité au sens très large du terme.
Cela inclut notamment:
* Calculabilité classique (réductions, degrés, méthodes de priorité, etc.)
* Autres modèles de calculs: modèles géométriques (pavages, machines à
signaux), modèles algébriques (Abstract State Machines), modèles
dynamiques et distribués (automates cellulaires, protocoles de
population, tas de sable, etc), calcul à temps continu, calcul à temps
ordinal, calcul sur les structures infinies (réels, ordres).
* Applications et interactions de la calculabilité avec les domaines
suivants: mathématiques constructives/calculables, cryptologie,
virologie, théorie de l’information et de l’aléatoire (complexité de
Kolmogorov), complexité algorithmique, théorie des modèles, théorie de
la preuve et mathématiques à rebours, théorie des ensembles (modèles
intérieurs, forcing, théorie descriptive, détermination), théorie des
domaines.
Nous espérons vous voir nombreux.
Benoit, Julien et Pascal
—
The 2019 computability days of GdR IM will take place in villa Finaly,
Florence, Italy from November 25th to 27th. Registration is mandatory
(and open!):
https://gtc2019.sciencesconf.org/
The aim of these days is to gather French and foreign researchers
interested in computabilities:
* Classical computability (reductions, degrees, priority methods, …)
* Other computation models: geometrical models (tilings, cellular
automata …), algebraic models (Abstract State Machines), dynamical and
distributed models (sand piles, population protocols, …), continuous
time computation, ordinal time computation, computation on infinite
structures (reals, orders…).
* Applications and interactions of computability with the following
fields: constructive/computable mathematics, cryptology, virology,
information theory, randomness, Kolmogorov complexity, algorithmic
complexity, model theory, proof theory, reverse mathematics, set
theory, domain theory.
We are looking forward to seeing many of you in Florence,
Benoit, Julien and Pascal