Çѱ¹Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸ °Ü¿ïÇб³
(SIGPL Winter School 2010)
|
ÀϽÃ: 2010³â 2¿ù 19ÀÏ(±Ý)
Àå¼Ò: ¼º½Å¿©ÀÚ´ëÇб³ ¼º½Å°ü 710È£
|
|---|
Çѱ¹Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î ¿¬±¸È¸(SIGPL)´Â ¸Å³â ¿©¸§°ú °Ü¿ï ¹æÇбⰣ¿¡ ´ëÇпø»ý°ú ¿£Áö´Ï¾î, ±³¼ö, ¿¬±¸ÀÚµéÀ» ´ë»óÀ¸·Î °èÀýÇб³¸¦ °³ÃÖÇϰí ÀÖ½À´Ï´Ù. À̹ø °Ü¿ïÇб³¿¡´Â º´·ÄÇÁ·Î±×·¡¹Ö, ŸÀÔ ÀÌ·Ð, ÇÔ¼öÇü ÇÁ·Î±×·¡¹Ö, ¼ÒÇÁÆ®¿þ¾î ÀúÀ۱ǰú °ü·ÃµÈ °Àǰ¡ ÁغñµÇ¾î ÀÖ½À´Ï´Ù. ¸¹Àº °ü½É°ú Âü¿©¸¦ ºÎʵ右´Ï´Ù.
Çѱ¹Á¤º¸°úÇÐȸ ÇÁ·Î±×·¡¹Ö¾ð¾î¿¬±¸È¸ ¿î¿µÀ§¿øÀå º¯¼®¿ì
ÇÁ·Î±×·¥ ÀÏÁ¤
| 09:30-09:45 | µî·Ï | | | ¿ÀÀü ¼¼¼Ç |
|---|
|
09:45-10:45 | Á÷·Ä·Î »ý°¢ÇÏ´Â ¹ö¸© ±ú±â (Breaking Sequential Habits of Thought) 1 | ·ù¼®¿µ (KAIST) | |
11:00-12:00 | Á÷·Ä·Î »ý°¢ÇÏ´Â ¹ö¸© ±ú±â (Breaking Sequential Habits of Thought) 2 | ·ù¼®¿µ (KAIST) | | ¿ÀÈÄ ¼¼¼Ç |
|---|
|
13:30-14:45 | Programming with dependent types | À̰è½Ä (¼¿ï´ë) | |
15:00-16:15 | ¸ð³ªµå¿Í ¸ð³ªµå Æ®·£½ºÆ÷¸Ó¸¦ ÀÌ¿ëÇÏ´Â ÇÁ·Î±×·¡¹Ö | º¯¼®¿ì (°æ¼º´ë) | |
16:30-17:45 | ¼ÒÇÁÆ®¿þ¾î ÀúÀÛ±Ç º¸È£¸¦ À§ÇÑ ÄÚµå µµ¿ë ŽÁö ¹æ¹ý | ÀÓÇöÀÏ (KAIST)
| |
µî·Ï¾È³»
- µî·Ïºñ
| | Çлýȸ¿ø | ÀϹÝȸ¿ø | ºñȸ¿ø |
| µî·Ïºñ | 80,000¿ø | 120,000¿ø | 150,000¿ø |
- Áß½Ä/¼®½Ä Á¦°ø
- µî·Ï ¹æ¹ý: µî·ÏÆäÀÌÁö¸¦ ÅëÇÏ¿© µî·Ï
- Á¦ÇÑµÈ ¿¹»ê ³»¿¡¼ Áö¿øÀÌ ÇÊ¿äÇÑ Çлýȸ¿ø¿¡°Ô µî·Ïºñ ÀϺθ¦ Áö¿øÇÒ ¿¹Á¤ÀÔ´Ï´Ù. µî·Ïºñ Áö¿øÀÌ ÇÊ¿äÇϽŠºÐÀº À̸ÞÀÏ
·Î µî·Ï Àü¿¡ ¹Ì¸® ½Åû ¹Ù¶ø´Ï´Ù. (ÀÌ °æ¿ì Çö±Ý ÀÌü »çÀüµî·Ï¸¸ °¡´É)
ÁغñÀ§¿øÈ¸
- ÇмúÀ§¿øÀå: ½Å½Âö ±³¼ö (Çѱ¹±â¼ú±³À°´ëÇб³)
- Á¶Á÷À§¿øÀå: ±èµµÇü ±³¼ö (¼º½Å¿©ÀÚ´ëÇб³)
- ¹®ÀÇ: ¾ÈÁؼ± ±³¼ö (Çѱ¹Ç×°ø´ëÇб³, 010-6208-5593,
)
Àå¼Ò¾È³»
¼º½Å¿©ÀÚ´ëÇб³ ¿À½Ã´Â ±æ
- ÁÖ¼Ò: ¼¿ïƯº°½Ã ¼ººÏ±¸ µ¿¼±µ¿3°¡ 249-1 (µ¿¼±µ¿±æ 54-7)
- ÀüÈ: 02-920-7114
- ¹ö½º
- ¼º½Å¿©´ë ÀÔ±¸: 101, 102, 103, 104, 106, 107, 140, 142, 143, 149, 150, 152, 160, 161, 162, 171, 172, 1162, 1212
- ¼ººÏ±¸Ã» ÀÔ±¸: 103, 142, 152, 272, 1014, 1111
- ÁöÇÏö: 4È£¼± ¼º½Å´ëÀÔ±¸¿ª ¶Ç´Â 6È£¼± º¸¹®¿ª 4¹ø Ãⱸ¿¡¼ ÇÏÂ÷ÇϽðí 10ºÐ Á¤µµ À̵¿ÇÏ½Ã¸é µË´Ï´Ù.
Çб³³»ºÎ¿¡¼ Çà»çÀå¼Ò±îÁö ¿À½Ã´Â ±æ