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