We are grateful to this year’s sponsors and supporters.
Amazon, KRAFTON, Microsoft, and VPlusLab Inc. are hosting some special events via Zoom to inform about their activities. Please see the program for details.
Tue 19 JulDisplayed time zone: Seoul change
04:00 - 05:00
AmazonSponsors at Sponsors
Our applied scientists work at the intersection of theory and practice to drive scientific innovation and provide value for our customers. AWS Automated Reasoning teams are responsible for delivering tools that are called billions of times daily. Amazon development teams are integrating automated reasoning tools such as Dafny, P, and SAW into their development processes, raising the bar on the security, durability, availability, and quality of our products. AWS Automated Reasoning teams are changing how computer systems built on top of the cloud are built and operated.
10:00 - 11:00
KRAFTONSponsors at Sponsors
KRAFTON, creators of Player Unknown’s Battlegrounds(PUBG), provides a unique environment for researchers to collaborate with top tier engineers from AAA game makers to apply their academic findings to real-world products. We welcome you to join us and learn about ongoing deep learning research projects in KRAFTON to create virtual friend, and related opportunities (job, internship and academic collaboration).
15:00 - 16:00
MicrosoftSponsors at Sponsors
Microsoft Research (MSR) provides a dynamic environment for research careers with a network of world-class research labs led by globally recognized research scientists and engineers. You are welcome to join this session to learn about the opportunities (job, internship, and academic collaboration) in MSR.
Wed 20 JulDisplayed time zone: Seoul change
04:00 - 05:00
VPlusLab Inc.Sponsors at Sponsors
VPlusLab Inc. was founded by the KAIST professors who have developed automated software testing/debugging techniques with industries for 20 years. To improve software quality and reliability cost-effectively, we provide automated software testing tools, training, and services.
See also this video about VPlusLab Inc.