5ŒŽ7“ú(‹à)
13:30--‘ã�”Šô‰½ŠwƒZƒ~ƒi�[ (�”Šw“�208)�@
�¬“c�@’‰—Y Ž��i“Œ–k‘å–¼—_‹³Žö�j
Finite graphs, crystal lattices and convex tilings
15:30--16:30 ƒ�ƒWƒbƒNƒZƒ~ƒi�[�@(�‡“¯“�1201)
–x”¨ ‰À�G Ž� (“Œ–k‘åŠw‘åŠw‰@—�ŠwŒ¤‹†‰È)
Weak theories of concatenation and undecidability
16:00--17:30 CRESTƒZƒ~ƒi�[�@(�î•ñ‰ÈŠwŒ¤‹†“�3ŠK�¬‰ï‹cŽº)
�™•ô�@�L–¾ Ž��i“Œ–k‘åŠw‘åŠw‰@—�ŠwŒ¤‹†‰È�j
‹«ŠE‚ɋ쓮—Í‚ðŽ�‚”r‘¼‰ß’ö‚Ì—¬‘Ì—ÍŠw‹ÉŒÀ‚Æ‘å•Î�·Œ´—�‚Ì�ЉîII