Workshop B
(updated: June 18th, 2010) '
&
$
%
Day 2: Tuesday, June 22
nd9:15-10:30 Invited Talk(UC Main Program)
◃ Shun-ichi Amari (RIKEN BSI): Computations Inspired from the Brain 10:30-11:00 Coffee Break
11:00-11:05 Welcome 11:05-11:50 Invited Talk
◃ Rajagopal Nagarajan (Univ. of Warwick): Formal Methods for Quantum Information Science
11:50-12:20 ▹ Yuuta Mukai, Kenichi Morita(Hiroshima Univ.):Realizing Reversible Logic Elements with Memory in the Billiard Ball Model
12:20-13:45 Lunch
13:45-15:00 Invited Talk(UC Main Program)
◃ Jos´e F´elix Costa (Technical Univ. of Lisbon): Computable Scientists, Uncom- putable World
15:00-15:30 Coffee Break
15:30-16:00 ▹ Selmer Bringsjord, Eugene Eberbach, Naveen Sundar G, Yin- grui Yang (Rensselaer Polytechnic Institute): Might the Rigorous Modeling of Economic Phenomena Require Hypercomputation?
16:00-16:30 ▹ Jacques Patarin (Univ. of Versailles): Transfinite Cryptography
16:30-17:00 ▹ Karl Svozil, Volkmar Putz (Vienna Univ. of Technology): Can a Computer be “Pushed” to Perform Faster-Than-Light?
17:00-17:30 ▹ J´erˆome Durand-Lose(Univ. d’Orl´eans):A Reversible and Conservative Model Based on Rational Signal Machines for Black Hole Computation
18:00 Bus starts from Entrance of Sanjo Conference Hall to Boat Bridge 19:00 Yakatabune Boat departs from Reimei-Bashi Bridge at Kachidoki 19:00-21:30 Banquet on Yakatabune Boat (Sumida River Cruise)
22:30 Bus arrives at Hongo Campus – Finish –
◃ Invited
▹ Contributed