Welcome to Provable Software Lab.
- Software Engineering Group
- Department of Computer Science
- Korea Advanced Institute of Science and Technology (KAIST)
- Feb 14, 2012: Slides for introducing pswlab to new graduate students
- 한국소프트웨어공학 학술대회 Korea Conference on Software Engineering (KCSE) 2012"
- Conf. date : Feb 8-10, 2012
- Paper deadline : Dec 16, 2011
- Feb 9, 2011: For new-coming graduate students, we will have a lab orientation on Feb 16 (Wed) 2011 8:30-9:00 PM @ Rm#2438.
- Nov 6, 2012: We are hiring Post-Doc from Jan 2013-Dec 2013. Please contact firstname.lastname@example.org