Á¦¸ñ | ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸ 2004³âµµ °Ü¿ïÇб³(LiComR Winter School 2004 ) | ||||
---|---|---|---|---|---|
°³ÃÖÀÏ | µî·ÏÀÏ | 2004.02.10 | |||
ȨÆäÀÌÁö | ¹Ù·Î°¡±â ¢Ñ | ||||
ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸ 2004³âµµ °Ü¿ïÇб³ LiComR Winter School 2004 2004³â 2¿ù 11ÀÏ(¼ö) - 13ÀÏ(±Ý) Ãæ³² ÅÂ¾È ¸¸¸®Æ÷ ÇØ¾ç ¿¬¼ö¿ø ¾È³çÇϽʴϱî? ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸¿¡¼´Â 2003³âºÎÅÍ Logic in Computing Research¶õ ÁÖÁ¦¸¦ °¡Áö°í ¸Å³â ¿©¸§°ú °Ü¿ï¿¡ ±³¼ö, ¿¬±¸¿ø, ´ëÇпø»ý µî ¿¬±¸ÀÚ¸¦ ´ë»óÀ¸·Î °èÀýÇб³¸¦ °³ÃÖÇÏ°í ÀÖ½À´Ï´Ù. LiComR °èÀýÇб³´Â ÇÁ·Î±×·¡¹Ö¾ð¾î»Ó¸¸ ¾Æ´Ï¶ó Àü»êÇÐÀÇ Åä´ë°¡ µÇ´Â °íÀü ³í¸®¿Í ºñ°íÀü ³í¸®·ÎºÎÅÍ ÇÁ·Î±×·¡¹Ö¾ð¾î ¿¬±¸ÀÇ ±âÃÊ À̷аú ÃֽŠµ¿Çâ¿¡ À̸£´Â ´Ù¾çÇÑ Æ©Å丮¾ó °Á·ΠÀÌ·ç¾îÁý´Ï´Ù. ÇÁ·Î±×·¡¹Ö¾ð¾î ¿¬±¸ÀÇ È°¼ºÈ¿Í Àúº¯ È®´ë¸¦ À§ÇØ ¸¶·ÃÇÏ¿´À¸´Ï ¸¹Àº Âü¿©¸¦ ºÎŹµå¸³´Ï´Ù. Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸ ¿î¿µÀ§¿øÀå µµ°æ±¸ 2004³â 2¿ù 11ÀÏ(¼ö) 14:00-15:00 µî·Ï 15:00-17:00 Simply Typed Lambda Calculus and Cartesian Closed Category - ÃÖÁø¿µ(°í·Á´ë) 19:00-21:00 [Invited Lecture] Martin-Lof Type Theory - Bengt Nordstrom(Chalmers University of Technology, Sweden, Áß¾Ó´ë) 2004³â 2¿ù 12ÀÏ(¸ñ) 10:00-12:00 Typeful Staged Computations - ±èÀͼø(¼¿ï´ë) 14:00-16:00 Quantum Programming (¾çÀÚ ÇÁ·Î±×·¡¹Ö) - À̱¤±Ù(¼¿ï´ë) 16:00-18:00 JVM and Bytecode Verification - ⺴¸ð(¼÷¸í¿©´ë) 2004³â 2¿ù 13ÀÏ(±Ý) 09:30-11:30 Program Analyses for Memory - ÀÌ¿í¼¼(¼¿ï´ë) |
ÀÌÀü±Û | HCI 2004 |
---|---|
´ÙÀ½±Û | Çѱ¹¾îÁ¤º¸Ã³¸® 2004 µ¿°è Æ©Å丮¾ó |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.