Although you can also regiter on site, we kindly request that the participants (of Mon–Wed) register in advance if possible. On-line registration is closed.
The registration fee is 12000 Japanese yen including the banquet on Tuesday.
No registration (or fee) is required for the Workshop on Theory and Practice of Real Computation on the first day (Sunday, July 12).
Abstracts for Monday–Wednesday (PDF, 4.61MB)
German-Japanese Workshop on Theory and Practice of Real Computation
On the Uniform Computational Content of Computability Theory
On the Computational Content of Ramsey's Theorem
Game characterizations and Weihrauch degrees
The Weihrauch degrees define monads
Nonstandard Analysis Meets Programming Language Theory
Operators for BSS RAM's
Logic for Gray code computation
The topology of universal graphons
Weakenings of Cauchy Convergence
Intuitionistic provability versus uniform provability in RCA
Computable Analysis from an Engineering Perspective
Continuous Enclosures and Best Approximations of Discontinuous Operations
Real Numbers in Exact Geometric Computation
On the Image and Length of Polynomial Time Computable Curves
Average-Case Complexity of Real Functions
Towards Computational Complexity Theory on Advanced Function Spaces in Analysis
On the Computational Complexity of Positive Linear Functionals on C[0;1]
On Computability of Navier-Stokes' Equation
Computation of the asymptotic behavior of dynamical systems
Continuous models of computation: from computability to complexity
|Banquet (see below) Click here for directions|
Computability on the countable ordinals and the Hausdorff-Kuratowski theorem
Extending continuous valuations on quasi-Polish spaces to Borel measures
Coherence Spaces for Computable Analysis
Effective zero-dimensionality and retracts
Differentiability and effective genericity
A Hofmann-Mislove Theorem for Scott open sets
The Baire property holds in the projective hierarchy almost uniformly (Abstract)
CafeOBJ for real - using an algebraic specification language as theorem prover for computational reals
Algorithmic identification of probabilities is hard
Low functions of reals
The conference will take place on the 4th floor of the Shikonkan building (more information in Japanese here) in the Surugadai Campus of Meiji University. The building is about 5 minutes' walk from Ochanomizu (御茶ノ水), Shin-Ochanomizu (新御茶ノ水), and Jimbocho (神保町) stations (click the map to enlarge).
Click here for directions (PDF)
Tuesday, July 14, on a Yakatabune cruise
A Yakatabune literally means a Japanese-style houseboat, which cruises around Sumida river and Tokyo bay serving traditional Japanese dishes. Further information on Yakatabune can be found at Tokyo Yakatabune Association.
Book early! The conference hall is located in a busy area. There are many hotels nearby, but they are in high demand. To stay at a reasonable cost, please try to book your hotel as early as possible. Some hotels within walking distance:
Breakfast is usually not included unless explicitly mentioned (though this should be no problem since there are cafes everywhere).
If you look for more economical options, you may consider booking hotels somewhat far away and coming to the conference by subway. In that case, the directions in which the prices go down most quickly are probably the Shinjuku or Sobu Line to the east and the Chiyoda Line to the north.
The ELC Project
(MEXT Scientific Research on Innovative Areas)
|German JSPS Alumni Club|
Kayamori Foundation of
Informational Science Advancement
Organizing committee: Naohi Eguchi (Chiba U), Kojiro Higuchi (Chiba U), Akitoshi Kawamura (U Tokyo), Kenshi Miyabe (Meiji U), Ryuhei Mori (Tokyo Institute of Technology), Hideki Tsuiki (Kyoto U)