| 9:00 - 9:30 |
Registration
|
|
| 9:30 - 9:45 |
Opening of the meeting
|
|
| 9:45 - 10:30 |
Patrick Cegielski,
Serge Grigorieff and Denis Richard (France) |
"On elementary theories of natural numbers equipped with
Cantor pairing function"
|
| 10:30 - 11:00 |
Maxim Vsemirnov
(Russia) |
"On n-tupling polynomials of small degrees"
|
| 11:00 - 11:15 |
Coffee-break
|
|
| 11:15 - 12:00 |
Ivan Korec
(Slovakia) |
"Arithmetical operations strongest with respect
to the first order definability"
|
| 12:00 - 12:30 |
Zofia Adamowicz (Poland) |
"On Tableau consistency in weak theories"
|
| 13:00 - 14:00 |
Lunch
|
|
| 14:30 - 15:15 |
Jean-Yves Marion
(France) and D.Leviant (USA) |
"Predicative Functionals and Poly-space"
|
| 15:15 - 15:45 |
Anatoly Beltiukov
(Russia) |
"Theories with subrecursively realizable theorems"
|
| 15:45 - 16:00 |
Coffee-break
|
|
| 16:00 - 16:30 |
Anatoly Beltiukov
(Russia) |
"New results in initial subrecursive classes"
|
| 16:30 - 17:15 |
Henri Alex Esbelin,
(France) |
"New closure property of the counting of rudimentary relations
and the Grzegorcyk Hierarchy"
|
| 9:45 - 10:30 |
Arnaud Maes
(Belgium) |
"Morphisms and Almost-Periodicity"
|
| 10:30 - 10:45 |
Coffee-break
|
|
| 10:45 - 11:30 |
Marcel Guillaume
(France) |
"Simplified models establishing some of Nezondet's results
on the Erdos-Woods conjecture and related statements".
|
| 11:30 - 12:00 |
Konstantin Verchinine
(France) and Volodimir Rudenko (Ukraine) |
"Two proof methods for two three-valued modal logics"
|
| 12:00 - 12:15 |
Coffee-break
|
|
| 12:15 - 13:00 |
Lev Beklemishev
(Russia) |
"On parameter-free induction schemata"
|
| 13:00 - 13:30 |
Jacques Duparc
(France) |
"Computer science and the fine structure of Borel sets"
|
| 14:00 - 15:00 |
Lunch
|
|
| 15:30 - 19:30 |
Guided (in English) bus excursion around the city
|
|
| 20:00 - ..... |
Meeting's party
|
|
| 10:00 - 10:45 |
Nikolai Kossovski
and
Artem Tishkov
(Russia) |
"Weak theory of linear inequalities with integer coefficients and variables"
|
| 10:45 - 11:00 |
Coffee-break
|
|
| 11:00 - 11:45 |
Alexis Bes
(France) |
"On results of Michaux and Villemaire"
|
| 11:45 - 12:30 |
Roger Espel Llima
(France) |
"One can count modulo n within the structure (N, + , Vk)"
|
| 13:00 - 14:00 |
Lunch
|
|
| 14:30 - 15:15 |
Maurice Margenstern
(France) |
"On quasi-unilateral universal Turing machines"
|
| 14:30 - 15:15 |
Anca Muscholl
(Germany) |
"Coding problems for trace monoids"
|
| 15:45 - 16:00 |
Coffee-break
|
|
| 16:00 - 16:30 |
Olivier Teytaud
(France) |
"Decidability of the halting problem for Matiyasevich
deterministic machines".
|
| 16:30 - 17:00 |
Yuri Matiyasevich
(Russia) |
"Bounding the existential variables after the elimination of a
bounded universal quantifier"
|
| 17:00 - 17:15 |
Closing of the meeting. Announcing of the next meeting. |
|