Conference Programme


Preliminary Programme:

Monday, June 11

09:00–09:30
REGISTRATION  
09:30–10:00
OPENING TALK: "About the history and philosophy of the series of Jaf meetings".
J.P. Ressayre (Paris)
 
10:00–10:30
COFFEE BREAK  
10:30–11:30
INVITED TALK: "Ideas and results in weak analysis".
F. Ferreira (Lisbon)
Abstract
11:30–12:00
CONTRIBUTED TALK: "Computability Problems for Differential Equations".
Daniel S. Graça (joint work with N. Zhong, J. Buescu, and M. L. Campagnolo)
Abstract
12:00–12:30
CONTRIBUTED TALK: "Bounded Arithmetic With Bounded Finite Types".
Kerry Ojakian
Abstract
13:00–15:30
LUNCH  
15:30–16:30
INVITED TALK: "Superexponential computations in exponential domain".
P. Pudlák (Prague)
Abstract
16:30–17:00
COFFEE BREAK  
17:00–18:00
INVITED TALK: "Proof complexity generators".
J. Krajíček (Prague)
Abstract
18:00–18:30
CONTRIBUTED TALK: "On the second order intuitionistic propositional logic without universal quantifier".
Konrad Zdanowski
Abstract
18:30–19:00
CONTRIBUTED TALK: "Definable theories in the lattice of equational theories of commutative semigroups".
Mariusz Grech
Abstract

Tuesday, June 12

09:00–10:30
TUTORIAL(I): "O-minimality".
A. Rambaud (Mons)
Abstract
10:30–11:00
COFFEE BREAK  
11:00–12:00
INVITED TALK: "Arithmetics of the real exponential field".
S. Boughattas (Paris) (joint work with J.P. Ressayre)
Abstract
12:00–12:30
CONTRIBUTED TALK: "On a problem of J. Paris".
Alla Sirokofskich (joint work with C. Dimitracopoulos)
Abstract
12:30–13:00
CONTRIBUTED TALK: "Versions of the Pigeonhole Principle for Increasing Functions".
Charalampos Kornaros
Abstract
13:00–15:30
LUNCH  
15:30–16:30
INVITED TALK: "Finite arithmetics".
M. Mostowski (Warsaw) (joint work with M. Krynicki and K. Zdanowski)
Abstract
16:30–17:00
COFFEE BREAK  
17:00–18:00
OPEN PROBLEM SESSION: "Rudimentary predicates".
A. Esbelin (Clermont-Ferrand)
Abstract
21:00
CONFERENCE DINNER  

Wednesday, June 13

09:00–10:30
TUTORIAL(II): "O-minimality".
A. Rambaud (Mons)
Abstract
10:30–11:00
COFFEE BREAK  
11:00–11:30
CONTRIBUTED TALK: "Self-applied proof verification".
Eugenio G. Omodeo (joint work with G. D'Agostino, J. Schwartz and A. Tomescu)
Abstract
12:00–13:00
CLOSING TALK(*): "Mathematical Logic".
J. Krajíček (Prague)
Abstract
13:00–15:30
LUNCH  
Wed Afternoon
SOCIAL EVENT:
Visit to the city
 
(*) Joint talk with "Coloquios de Matemáticas" (IMUS, University of Seville).

Home | Programme | Speakers | Steering C. | Organizing C. | Registration | Submission | Accommodation | Travel Info | Contact


 
JAF26/Weak Arithmetics Days