Schedule

Sunday (2nd December)

9am: Workshop on New Ideas and Emerging Results (NIER’18)

Monday (3rd December)

9:30am: Welcome
9am: Technical Track
10:30am: Morning Tea/Coffee
11am: (Keynote) Amal Ahmed, “Compositional Compiler Verification for a Multi-Language World”
2pm Technical Track
3:30pm: Afternoon Tea/Coffee
4pm Technical Track
6pm Poster Session

Tuesday (4th December)

9am: Technical Track
10:30am: Morning Tea/Coffee
11am: (Keynote) Viktor Vafeiadis, “Correctness in a weakly consistent setting”
1:30pm Pickup for excursion to Weta Digitial.
5pm Drop off at Te Papa, time to explore!
6:30pm Evening Banquet at Te Papa

Wednesday (5th December)

9am: Technical Track
10:30am: Morning Tea/Coffee
11am: (Keynote) Isil Dillig, “Program Synthesis with Program Abstractions”
2pm Technical Track
3:30pm: Afternoon Tea/Coffee
4pm Technical Track

Thursday (6th December)

9am: Sydney Area Programming Languages Interest Group (SAPLING’18)

Friday (7th December)

9am: Software Innovation NZ Meeting