Schedule for: 16w5099 - Interval Analysis and Constructive Mathematics
Beginning on Sunday, November 13 and ending Friday November 18, 2016
All times in Oaxaca, Mexico time, CST (UTC-6).
| Sunday, November 13 | |
|---|---|
| 14:00 - 23:59 | Check-in begins (Front desk at your assigned hotel) |
| 19:30 - 22:00 | Dinner (Restaurant Hotel Hacienda Los Laureles) |
| 20:30 - 21:30 |
Informal gathering ↓ A welcome drink will be served at the hotel. (Hotel Hacienda Los Laureles) |
| Monday, November 14 | |
|---|---|
| 07:30 - 09:00 | Breakfast (Restaurant at your assigned hotel) |
| 09:30 - 09:45 | Introduction and Welcome (Conference Room San Felipe) |
| 09:45 - 10:30 | Baker Kearfott: Interval Arithmetic: Fundamentals, History, and Semantics, 1st half (Conference Room San Felipe) |
| 10:30 - 10:45 | Coffee Break (Conference Room San Felipe) |
| 10:45 - 11:30 | Baker Kearfott: Interval Arithmetic: Fundamentals, History, and Semantics, 2nd half (Conference Room San Felipe) |
| 11:30 - 13:15 | Hajime Ishihara: Constructive Analysis: Philosophy, Proof and Fundamentals (Conference Room San Felipe) |
| 13:15 - 13:25 | Group Photo (Hotel Hacienda Los Laureles) |
| 13:30 - 15:00 | Lunch (Restaurant Hotel Hacienda Los Laureles) |
| 15:00 - 15:45 | Siegfried Rump: Verification methods - mathematically correct results in floating-point, 1st half (Conference Room San Felipe) |
| 15:45 - 16:15 | Coffee Break (Conference Room San Felipe) |
| 16:15 - 17:00 | Siegfried Rump: Verification methods - mathematically correct results in floating-point, 2nd half (Conference Room San Felipe) |
| 19:00 - 21:00 | Dinner (Restaurant Hotel Hacienda Los Laureles) |
| Tuesday, November 15 | |
|---|---|
| 07:30 - 09:00 | Breakfast (Restaurant at your assigned hotel) |
| 09:30 - 10:15 | Jens Blanck: Implementing Computable Analysis, 1st half (Conference Room San Felipe) |
| 10:15 - 10:30 | Coffee Break (Conference Room San Felipe) |
| 10:30 - 11:15 | Jens Blanck: Implementing Computable Analysis, 2nd half (Conference Room San Felipe) |
| 13:30 - 15:00 | Lunch (Restaurant Hotel Hacienda Los Laureles) |
| 15:00 - 15:45 | Francesco Ciraulo: Interval numbers in point-free topology: localic suplattices and positivity relations. (Conference Room San Felipe) |
| 15:45 - 16:15 | Coffee Break (Conference Room San Felipe) |
| 16:15 - 17:00 | Mark Bickford: Formalized Brouwerian Real Analysis using the Nuprl proof assistant (Conference Room San Felipe) |
| 17:00 - 17:45 |
Henri Lombardi: Towards a constructive theory of O-minimal structures ↓ (joint work with Assia Mahboubi) (Conference Room San Felipe) |
| 19:00 - 21:00 | Dinner (Restaurant Hotel Hacienda Los Laureles) |
| Wednesday, November 16 | |
|---|---|
| 07:30 - 09:00 | Breakfast (Restaurant at your assigned hotel) |
| 09:15 - 10:00 | Hideki Tsuiki: Gray/pre-Gray code and program extraction based on pre-Gray code (Conference Room San Felipe) |
| 10:00 - 10:45 | Ulrich Berger: Non-determinism and partiality in realizability: Pure Gray code (Conference Room San Felipe) |
| 10:45 - 11:15 | Coffee Break (Conference Room San Felipe) |
| 11:15 - 12:00 | Dieter Spreen: Digit Spaces --- Topological Foundations (Conference Room San Felipe) |
| 12:00 - 12:30 | Helmut Schwichtenberg: Lab, Minlog (Conference Room San Felipe) |
| 12:30 - 13:30 | Lunch (Restaurant Hotel Hacienda Los Laureles) |
| 13:30 - 17:30 | Free Afternoon / Excursion (Monte Alban) |
| 19:00 - 21:00 | Dinner (Restaurant Hotel Hacienda Los Laureles) |
| Thursday, November 17 | |
|---|---|
| 07:30 - 09:00 | Breakfast (Restaurant at your assigned hotel) |
| 09:30 - 10:15 | Luis Benet: Some Julia tools for validated numerics (Conference Room San Felipe) |
| 10:15 - 11:00 |
Raazesh Sainudiin: Nonparametric Density Estimation with Statistical Regular Pavings ↓ joint work with Warwick Tucker (Conference Room San Felipe) |
| 11:00 - 11:30 | Coffee Break (Conference Room San Felipe) |
| 11:30 - 12:15 | Guillaume Melquiond: Interval arithmetic, real analysis, and formal proofs (Conference Room San Felipe) |
| 13:30 - 15:00 | Lunch (Restaurant Hotel Hacienda Los Laureles) |
| 15:00 - 15:45 | Takako Nemoto: Weak König's lemma for convex tree (Conference Room San Felipe) |
| 15:45 - 16:15 | Coffee Break (Conference Room San Felipe) |
| 16:15 - 17:00 |
Robert Lubarsky: Notions of Cauchyness ↓ joint work with Hannes Diener (Conference Room San Felipe) |
| 17:00 - 17:45 | Iosif Petrakis: Constructive Comfort-compactness (Conference Room San Felipe) |
| 19:00 - 21:00 | Dinner (Restaurant Hotel Hacienda Los Laureles) |
| Friday, November 18 | |
|---|---|
| 07:30 - 09:00 | Breakfast (Restaurant at your assigned hotel) |
| 09:30 - 10:15 | Sam Sanders: On the connection between Nonstandard Analysis and Constructive Analysis (Conference Room San Felipe) |
| 10:15 - 10:45 | Pedro Francisco Valencia Vizcaíno: Operators for Computation over Partially Ordered Structures (Conference Room San Felipe) |
| 10:45 - 11:15 | Coffee Break (Conference Room San Felipe) |
| 11:15 - 12:00 | Angus Macintyre: Schanuel's Conjecture: Constructive Aspects (Conference Room San Felipe) |
| 12:00 - 12:15 | Conclusion (Conference Room San Felipe) |
| 12:15 - 14:30 | Lunch (Restaurant Hotel Hacienda Los Laureles) |
